Reachability, Routing and Distance Labeling Schemes in Graphs with Applications in Networks and Graph Databases

Total Page:16

File Type:pdf, Size:1020Kb

Reachability, Routing and Distance Labeling Schemes in Graphs with Applications in Networks and Graph Databases REACHABILITY, ROUTING AND DISTANCE LABELING SCHEMES IN GRAPHS WITH APPLICATIONS IN NETWORKS AND GRAPH DATABASES A dissertation submitted to Kent State University in partial fulfillment of the requirements for the degree of Doctor of Philosophy by Yang Xiang December 2009 TABLE OF CONTENTS LISTOFFIGURES .................................. vii LISTOFTABLES ................................... x Acknowledgements ................................... xi 1 INTRODUCTION ................................. 1 1.1 Problem definitions and basic notations . ..... 1 1.2 Application backgrounds and related work . ..... 5 1.2.1 Reachability schemes . 5 1.2.2 Routing and distance estimation schemes . ... 12 1.3 Main contributions of this dissertation . ...... 20 2 PATH-TREE: EFFICIENTLY ANSWERING REACHABILITY QUERIES ON VERYLARGEDIRECTEDGRAPHS . 26 2.1 Path-Tree Cover For Reachability Query . .... 28 2.1.1 Notations ............................... 28 2.1.2 Path-DecompositionofDAG. 29 2.1.3 Path Subgraph and Minimal Equivalent Edge Set . .. 31 2.1.4 Path-Graph and its Spanning Tree ( -tree)............ 34 SP 2.1.5 Reachability Labeling for Path-Tree Cover . .... 36 2.1.6 Transitive Closure Compression and Reachability Query Answering 41 iii 2.2 Theoretical Analysis of Optimal Path-Tree Cover Construction. 43 2.2.1 Optimal Path-Tree Cover with Path-Decomposition . ..... 44 2.2.2 OptimalPath-Decomposition . 47 2.2.3 Superiority of Path-Tree Cover Approach . ... 49 2.2.4 VeryFastQueryProcessing . 49 2.3 Experimentalresults . .. .. 51 3 3-HOP: ANSWERING REACHABILITY QUERIES IN DENSE DIRECTED GRAPHS ...................................... 56 3.1 BasicIdeasof3-HopIndexing . 58 3.1.1 Basic3-Hop.............................. 58 3.1.2 ChainDecompositionfor3-Hop . 60 3.1.3 3-HopIndexingandOurApproach . 62 3.2 TransitiveClosureContour. .. 63 3.2.1 NotationandChain-Decomposition . 63 3.2.2 Transitive Closure between Two Chains . .. 64 3.2.3 Computing Transitive Closure Contour . .. 70 3.3 3-HOP Labeling for Transitive Closure Contour . ...... 72 3.3.1 ProblemDefinition . .. .. 72 3.3.2 A Basic Approximation Algorithm for 3-Hop Cover . ... 75 3.3.3 AFasterAlgorithmfor3-HOPLabeling . 78 3.4 Reachability Query Processing using 3-HOP Indexing . ........ 84 3.4.1 3-HOPContourQueryProcessing. 85 iv 3.4.2 3-HOP Segment Query Processing . 87 3.5 ExperimentalEvaluation . 89 4 HYPERRECTANGLE SUMMARIZATION FOR 0/1 MATRICES . 94 4.1 SummarizationObjectives . 95 4.2 The Hardness of Hyperrectangle Summarization . ...... 96 4.3 Algorithms for Summarization without False Positives . .......... 98 4.3.1 The Intuitive Greedy Algorithm . 98 4.3.2 The Hyper Algorithm........................ 100 4.3.3 Pruning Technique for Hyper .................... 105 4.4 Summarization of the Covering Database . 107 4.5 Related Summarization Works in data mining . 110 4.6 ExperimentalResults. .. .. 114 5 GREEDY ROUTING BY AID OF SPANNING TREES . 116 5.1 GreedyRoutingRules ............................ 117 5.2 Preliminaryresults .............................. 124 5.3 Framesforduallychordalgraphs . 126 5.4 Frames for k-chordalgraphsandsubclasses. 128 5.4.1 k-Chordalgraphs ........................... 130 5.4.2 Chordal bipartite graphs and AT-free graphs . 137 5.5 Localized frames for tree-length λ graphs and δ-hyperbolic graphs . 140 5.5.1 Tree-length λ graphs ......................... 141 5.5.2 δ-hyperbolicgraphs . 155 v 5.6 Appendix: Experimental Results . 157 5.6.1 Performance under various densities . 158 5.6.2 Performance under various localities . 159 6 DISTANCE AND ROUTING LABELING SCHEMES BY TREE SPANNERS 161 6.1 Distance and routing labeling schemes for circle graphs .......... 163 6.2 Distance and routing labeling schemes for k-gongraphs . 169 7 CONCLUSIONANDFUTUREWORK . 175 BIBLIOGRAPHY ................................... 178 vi LIST OF FIGURES 1 Path-DecompositionforaDAG . .. .. 31 2 PathRelationshipsinaDAG ........................ 33 3 (a) Weighted Directed Path-Graph & (b) maximum Directed Spanning Tree 35 4 Labeling for Path-Path (A simple case of Path-Tree) . ..... 37 5 CompleteLabelingforthePath-Tree . 40 6 Asimpleexamplefor3-hopand2-hop . 59 7 A simple DAG with a chain decomposition. (Dotted arrow from 13 14 → is not an edge in the original DAG, but an inferred one using reachability). 61 8 Two examples of Reachability between segments (through chains C2 and C3)....................................... 62 9 Pseudo-diagonal and Pseudo-upper triangular submatrix. All blank cells are0-cells.................................... 66 10 Edgelink between chain C1 and C3, and between chain C3 and C4. Dotted arrowsarevirtualedges(paths).. 69 11 Generalized Join and Chain-Center Bipartite Graph . ....... 73 12 3-Hop Labeling of Transitive Closure Contour . ..... 85 13 Index sizes of Synthetic Datasets (2K) by 3HOP-Contour, 3HOP-Segment, Path-Tree,and2HOP ............................ 92 14 A hyperrectangle H C . Shaded cells are covered by hyperrectangles ∈ α currently available in CDB . ......................... 103 vii 15 A graph and its rooted spanning tree with precomputed ancestry intervals. For (ordered) pair of vertices 10 and 4, both IGR and IGRF produce path 10,8,3,4 (TDGR produces 10,5,4). For pair 5 and 8, IGR produces path 5,2,1,8, while IGRF produces path 5,3,8 (TDGR produces 5,10,8). For pair 5 and 7, IGR produces path 5,2,1,7, while IGRF produces path 5,3,2,1,7 (TDGRproduces5,2,1,7). 121 16 Rectilinear grid and its column-wise Hamiltonian path. ........ 126 17 A simple graph demonstrating that IGRF strategy may produce a shorter routingpaththanIGRstrategy. 126 18 Illustration to the proof of Theorem 20 in Chapter 5. ...... 133 19 A 5-chordal graph with a LexBFS-ordering: length (RG,T (x, y )) = 4 + dG(x, y )..................................... 134 20 A chordal graph with a BFS-ordering: d (x, y ) = length (R (x, y )) 2 135 G G,T − 21 A chordal graph with a LexBFS-tree. This tree is not an additive r-carcass for r < 5. ................................... 137 22 A chordal graph with an additive 0-fframe. This graph has neither additive 0-carcassnoradditive0-frame.. 137 23 A chordal graph with an additive 0-frame (which is also an additive 0- fframe). This graph does not have any additive 0-carcass. 137 24 Illustration to the proof of Theorem 23 in Chapter 5. (1) NCA T (X, Y ) = X; (2) NCA T (X, Y ) = Y ; (3) NCA T (X, Y ) := A is neither X nor Y . 143 25 A tree-length 6 graph and its corresponding tree-decomposition. 145 26 A tree-length 8 graph and its corresponding tree-decomposition. 146 viii 27 (a) A path is a tree path. (b) A path is not a tree path. The edge ab is on the right side of CR. (c) A path is not a tree path. The edge ab is on the left side of CL. .............................. 153 28 Maximum multiplicative-stretch factors by varying densities, for several IGR,TDGR,andIGRFstrategies. 159 29 Average multiplicative-stretch factors by varying densities, for several IGR, TDGR,andIGRFstrategies. 159 30 Maximum multiplicative-stretch factors by varying localities, for several IGR,TDGR,andIGRFstrategies. 160 31 Average multiplicative-stretch factors by varying localities, for several IGR,TDGR,andIGRFstrategies. 160 32 A circle graph with an intersection model and two special chords a and b. A balanced separator S = N [a, b ] and the connected components of G S G \ arealsoshown. ................................ 164 33 (a) a house (or l-house for l = 1), (b) an l-house for l = 3, (c) a tree of l-houses of depth 3 where l =2. ...................... 168 34 A 6-gon graph with an intersection model and two special chords a and b. A balanced separator S = NG[a, b ] and the connected components of G S arealsoshown.............................. 170 \ ix LIST OF TABLES 1 Worst-Case Complexities of Available reachability Schemes........ 8 2 List of Some Important Routing Labeling Schemes (RLS). Labeling time ofthoseRLSispolynomial. 20 3 List of Some Important Distance Labeling Schemes (DLS). Labeling time ofthoseDLSispolynomial. 20 4 Real Datasets Used in Empirical Study of Path-Tree . .... 52 5 Comparison between Optimal Tree Cover Approach and Path-Tree Ap- proachonRealDatasets . .. .. 53 6 Query Time of Synthetic Datasets (2K) by 3HOP-Contour, 3HOP-Segment, Path-Tree, 2HOP, Breadth-First Search, and Depth-First Search . 91 7 Average densities of UDGs for nodes with different radiuses. ....... 158 x Acknowledgements I would like to thank my dissertation advisor Dr. Feodor F. Dragan. I will not forget in my life so many times he helped me to identify research problems and to refine my analytical skills in algorithmic graph theory. I would like to thank Dr. Ruoming Jin. Under his inspiration, I have found many interesting connections between algorithmic graph theory and broad application areas in databases and data mining. I would like to thank Dr. Hassan Peyravi. He helped me many times during my Ph.D. studies and gave me many good suggestions. Finally, I would like to thank all dissertation committee members, all my co-authors, and all my friends who supported me in completion of this Ph.D. dissertation. Partic- ularly, I would like to thank my co-authors Ning Ruan and David Fuhry, who worked together with me. Both of them did outstanding programming jobs. xi CHAPTER 1 INTRODUCTION To be able to answer whether a vertex can reach another vertex in a directed graph, to route a message from a source vertex to a destination vertex, to calculate or estimate the distance between two vertices, are fundamental research problems in algorithmic graph theory with wide range of applications in networks and graph databases. Although the three problems are different, they are quite related. In this dissertation, I primarily focus on designing efficient solutions for the above three problems by graph labeling approaches, i.e. assigning some bits of information to each vertex in a graph to achieve various goals. Section 1.1 formally defines the problems and gives the basic notations that will be used in the dissertation. Section 1.2 introduces the application backgrounds of these research problems and related work. Finally, Section 1.3 outlines the main contribution of this dissertation. The conclusion, future work, and open questions of this dissertation are given in Chapter 7.
Recommended publications
  • Mutant Knots and Intersection Graphs 1 Introduction
    Mutant knots and intersection graphs S. V. CHMUTOV S. K. LANDO We prove that if a finite order knot invariant does not distinguish mutant knots, then the corresponding weight system depends on the intersection graph of a chord diagram rather than on the diagram itself. Conversely, if we have a weight system depending only on the intersection graphs of chord diagrams, then the composition of such a weight system with the Kontsevich invariant determines a knot invariant that does not distinguish mutant knots. Thus, an equivalence between finite order invariants not distinguishing mutants and weight systems depending on intersections graphs only is established. We discuss relationship between our results and certain Lie algebra weight systems. 57M15; 57M25 1 Introduction Below, we use standard notions of the theory of finite order, or Vassiliev, invariants of knots in 3-space; their definitions can be found, for example, in [6] or [14], and we recall them briefly in Section 2. All knots are assumed to be oriented. Two knots are said to be mutant if they differ by a rotation of a tangle with four endpoints about either a vertical axis, or a horizontal axis, or an axis perpendicular to the paper. If necessary, the orientation inside the tangle may be replaced by the opposite one. Here is a famous example of mutant knots, the Conway (11n34) knot C of genus 3, and Kinoshita–Terasaka (11n42) knot KT of genus 2 (see [1]). C = KT = Note that the change of the orientation of a knot can be achieved by a mutation in the complement to a trivial tangle.
    [Show full text]
  • How to Morph Graphs on the Torus
    How to Morph Graphs on the Torus Erin Wolf Chambers† Jeff Erickson‡ Patrick Lin‡ Salman Parsa† Abstract first algorithm to morph graphs on any higher-genus surface. In fact, it is the first algorithm to compute We present the first algorithm to morph graphs on the torus. any form of isotopy between surface graphs; existing Given two isotopic essentially 3-connected embeddings of the algorithms to test whether two graphs on the same surface same graph on the Euclidean flat torus, where the edges in both are isotopic are non-constructive 29 . Our algorithm drawings are geodesics, our algorithm computes a continuous [ ] outputs a morph consisting of O n steps; within each step, deformation from one drawing to the other, such that all edges ( ) all vertices move along parallel geodesics at (different) are geodesics at all times. Previously even the existence of constant speeds, and all edges remain geodesics (“straight such a morph was not known. Our algorithm runs in O n1+!=2 ( ) line segments”). Our algorithm runs in O n1+!=2 time; the time, where ! is the matrix multiplication exponent, and the ( ) running time is dominated by repeatedly solving a linear computed morph consists of O n parallel linear morphing steps. ( ) system encoding a natural generalization of Tutte’s spring Existing techniques for morphing planar straight-line graphs do embedding theorem. not immediately generalize to graphs on the torus; in particular, Cairns’ original 1944 proof and its more recent improvements rely on the fact that every planar graph contains a vertex of degree 1.1 Prior Results (and Why They Don’t Generalize).
    [Show full text]
  • 1 Introduction and Terminology
    A Survey of Solved Problems and Applications on Bandwidth, Edgesum and Pro le of Graphs Yung-Ling Lai National Chiayi Teacher College Chiayi, Taiwan, R.O.C. Kenneth Williams Western Michigan University Abstract This pap er provides a survey of results on the exact bandwidth, edge- sum, and pro le of graphs. A bibliographyof work in these areas is pro- vided. The emphasis is on comp osite graphs. This may be regarded as an up date of the original survey of solved bandwidth problems by Chinn, Chvatalova, Dewdney, and Gibbs[10] in 1982. Also several of the applica- tion areas involving these graph parameters are describ ed. 1 Intro duction and terminology For a graph G, V (G) denotes the set of vertices of G and E (G) denotes the set of edges of G. Let G = (V; E ) be a graph on n vertices. A 1-1 mapping f : V ! f1; 2;:::;ng is called a proper numbering of G. The bandwidth B (G) of aproper f numbering f of G is the number B (G)= maxfjf (u) f (v )j : uv 2 E g; f and the bandwidth B(G) of G is the number B (G)= minfB (G): f is a prop er numb ering of Gg: f A prop er numb ering f is called a bandwidth numbering of G if B (G)=B (G). f For example, Figure 1 shows bandwidth numb erings for the graphs P ;C ;K 4 5 1;4 and K . In general, B (P ) = 1, B (C ) = 2, B (K ) = dn=2e and B (K ) = 2;3 n n 1;n m;n m + dn=2e1form n.
    [Show full text]
  • Parallelization of Reordering Algorithms for Bandwidth and Wavefront Reduction
    Parallelization of Reordering Algorithms for Bandwidth and Wavefront Reduction Konstantinos I. Karantasis∗, Andrew Lenharthy, Donald Nguyenz, Mar´ıa J. Garzaran´ ∗, Keshav Pingaliy,z ∗Department of Computer Science, yInstitute for Computational Engineering and Sciences and University of Illinois at Urbana-Champaign zDepartment of Computer Science, fkik, [email protected] University of Texas at Austin [email protected], fddn, [email protected] Abstract—Many sparse matrix computations can be speeded More recently, reordering has become popular even in the up if the matrix is first reordered. Reordering was originally context of iterative sparse solvers where problems like mini- developed for direct methods but it has recently become popular mizing fill do not arise. The key computation in an iterative for improving the cache locality of parallel iterative solvers since reordering the matrix to reduce bandwidth and wavefront sparse solver is sparse matrix-vector multiplication (SpMV) can improve the locality of reference of sparse matrix-vector (say y = Ax). If the matrix is stored in compressed row- multiplication (SpMV), the key kernel in iterative solvers. storage (CRS) and the SpMV computation is performed by In this paper, we present the first parallel implementations of rows, the accesses to y and A enjoy excellent locality, but the two widely used reordering algorithms: Reverse Cuthill-McKee accesses to x may not. One way to improve the locality of (RCM) and Sloan. On 16 cores of the Stampede supercomputer, accesses to the elements of x is to reorder the sparse matrix our parallel RCM is 5.56 times faster on the average than a state-of-the-art sequential implementation of RCM in the HSL A using a bandwidth-reducing ordering (RCM is popular).
    [Show full text]
  • Representations of Edge Intersection Graphs of Paths in a Tree Martin Charles Golumbic, Marina Lipshteyn, Michal Stern
    Representations of Edge Intersection Graphs of Paths in a Tree Martin Charles Golumbic, Marina Lipshteyn, Michal Stern To cite this version: Martin Charles Golumbic, Marina Lipshteyn, Michal Stern. Representations of Edge Intersection Graphs of Paths in a Tree. 2005 European Conference on Combinatorics, Graph Theory and Appli- cations (EuroComb ’05), 2005, Berlin, Germany. pp.87-92. hal-01184396 HAL Id: hal-01184396 https://hal.inria.fr/hal-01184396 Submitted on 14 Aug 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. EuroComb 2005 DMTCS proc. AE, 2005, 87–92 Representations of Edge Intersection Graphs of Paths in a Tree Martin Charles Golumbic1,† Marina Lipshteyn1 and Michal Stern1 1Caesarea Rothschild Institute, University of Haifa, Haifa, Israel Let P be a collection of nontrivial simple paths in a tree T . The edge intersection graph of P, denoted by EP T (P), has vertex set that corresponds to the members of P, and two vertices are joined by an edge if the corresponding members of P share a common edge in T . An undirected graph G is called an edge intersection graph of paths in a tree, if G = EP T (P) for some P and T .
    [Show full text]
  • NP-Complete and Cliques
    CSC373— Algorithm Design, Analysis, and Complexity — Spring 2018 Tutorial Exercise 10: Cliques and Intersection Graphs for Intervals 1. Clique. Given an undirected graph G = (V,E) a clique (pronounced “cleek” in Canadian, heh?) is a subset of vertices K ⊆ V such that, for every pair of distinct vertices u,v ∈ K, the edge (u,v) is in E. See Clique, Graph Theory, Wikipedia. A second concept that will be useful is the notion of a complement graph Gc. We say Gc is the complement (graph) of G = (V,E) iff Gc = (V,Ec), where Ec = {(u,v) | u,v ∈ V,u 6= v, and (u,v) ∈/ E} (see Complement Graph, Wikipedia). That is, the complement graph Gc is the graph over the same set of vertices, but it contains all (and only) the edges that are not in E. Finally, a clique K ⊂ V of G =(V,E) is said to be a maximal clique iff there is no superset W such that K ⊂ W ⊆ V and W is a clique of G. Consider the decision problem: Clique: Given an undirected graph and an integer k, does there exist a clique K of G with |K|≥ k? Clearly, Clique is in NP. We wish to show that Clique is NP-complete. To do this, it is convenient to first note that the independent set problem IndepSet(G, k) is very closely related to the Clique problem for the complement graph, i.e., Clique(Gc,k). Use this strategy to show: IndepSet ≡p Clique. (1) 2. Consider the interval scheduling problem we started this course with (which is also revisited in Assignment 3, Question 1).
    [Show full text]
  • Planar Diameter Via Metric Compression
    Planar Diameter via Metric Compression Jason Li Merav Parter CMU Weizmann Institute [email protected] [email protected] Abstract We develop a new approach for distributed distance computation in planar graphs that is based on a variant of the metric compression problem recently introduced by Abboud et al. [SODA’18]. In our variant of the Planar Graph Metric Compression Problem, one is given an n-vertex planar graph G = (V, E), a set of S ⊆ V source terminals lying on a single face, and a subset of target terminals T ⊆ V. The goal is to compactly encode the S × T distances. One of our key technical contributions is in providing a compression scheme that encodes all S × T distances using Oe(jSj · poly(D) + jTj) bits1, for unweighted graphs with diameter D. This significantly improves the state of the art of Oe(jSj · 2D + jTj · D) bits. We also con- sider an approximate version of the problem for weighted graphs, where the goal is to encode (1 + e) approximation of the S × T distances, for a given input parameter e 2 (0, 1]. Here, our compression scheme uses Oe(poly(jSj/e) + jTj) bits. In addition, we describe how these compression schemes can be computed in near-linear time. At the heart of this compact com- pression scheme lies a VC-dimension type argument on planar graphs, using the well-known Sauer’s lemma. This efficient compression scheme leads to several improvements and simplifications in the setting of diameter computation, most notably in the distributed setting: • There is an Oe(D5)-round randomized distributed algorithm for computing the diameter in planar graphs, w.h.p.
    [Show full text]
  • On Intersection Graphs of Graphs and Hypergraphs: a Survey
    Intersection Graphs of Graphs and Hypergraphs: A Survey Ranjan N. Naika aDepartment of Mathematics, Lincoln University, PA, USA [email protected] Abstract The survey is devoted to the developmental milestones on the characterizations of intersection graphs of graphs and hypergraphs. The theory of intersection graphs of graphs and hypergraphs has been a classical topic in the theory of special graphs. To conclude, at the end, we have listed some open problems posed by various authors whose work has contributed to this survey and also the new trends coming out of intersection graphs of hyeprgraphs. Keywords: Hypergraphs, Intersection graphs, Line graphs, Representative graphs, Derived graphs, Algorithms (ALG),, Forbidden induced subgraphs (FIS), Krausz partitions, Eigen values Mathematics Subject Classification : 06C62, 05C65, 05C75, 05C85, 05C69 1. Introduction We follow the terminology of Berge, C. [3] and [4]. This survey does not address intersection graphs of other types of graphs such as interval graphs etc. An introduction of intersection graphs of interval graphs etc. are available in Pal [40]. A graph or a hypergraph is a pair (V, E), where V is the vertex set and E is the edge set a family of nonempty subsets of V. Two edges of a hypergraph are l -intersecting if they share at least l common vertices. This concept was studied in [6] and [18] by Bermond, Heydemann and Sotteau. A hypergraph H is called a k-uniform hypergraph if its edges have k number of vertices. A hypergraph is linear if any two edges have at most one common vertex. A 2-uniform linear hypergraph is called a graph or a linear graph.
    [Show full text]
  • An Algorithmic Study of Fully Dynamic Independent Sets for Map Labeling
    An Algorithmic Study of Fully Dynamic Independent Sets for Map Labeling Sujoy Bhore Algorithms and Complexity Group, TU Wien, Austria [email protected] Guangping Li Algorithms and Complexity Group, TU Wien, Austria [email protected] Martin Nöllenburg Algorithms and Complexity Group, TU Wien, Austria [email protected] Abstract Map labeling is a classical problem in cartography and geographic information systems (GIS) that asks to place labels for area, line, and point features, with the goal to select and place the maximum number of independent, i.e., overlap-free, labels. A practically interesting case is point labeling with axis-parallel rectangular labels of common size. In a fully dynamic setting, at each time step, either a new label appears or an existing label disappears. Then, the challenge is to maintain a maximum cardinality subset of pairwise independent labels with sub-linear update time. Motivated by this, we study the maximal independent set (MIS) and maximum independent set (Max-IS) problems on fully dynamic (insertion/deletion model) sets of axis-parallel rectangles of two types – (i) uniform height and width and (ii) uniform height and arbitrary width; both settings can be modeled as rectangle intersection graphs. We present the first deterministic algorithm for maintaining a MIS (and thus a 4-approximate Max-IS) of a dynamic set of uniform rectangles with amortized sub-logarithmic update time. This breaks the natural barrier of Ω(∆) update time (where ∆ is the maximum degree in the graph) for vertex updates presented by Assadi et al. (STOC 2018). We continue by investigating Max-IS and provide a series of deterministic dynamic approximation schemes.
    [Show full text]
  • Treewidth and Pathwidth of Permutation Graphs
    Treewidth and pathwidth of permutation graphs Citation for published version (APA): Bodlaender, H. L., Kloks, A. J. J., & Kratsch, D. (1992). Treewidth and pathwidth of permutation graphs. (Universiteit Utrecht. UU-CS, Department of Computer Science; Vol. 9230). Utrecht University. Document status and date: Published: 01/01/1992 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.
    [Show full text]
  • Recognizing Some Subclasses of Vertex Intersection Graphs of 0-Bend Paths in a Grid⋆
    Recognizing some subclasses of vertex intersection graphs of 0-bend paths in a grid⋆ Steven Chaplick1, Elad Cohen2, and Juraj Stacho2 1 Department of Computer Science, University of Toronto, 10 Kings College Road, Toronto, Ontario M5S 3G4, Canada, ([email protected]) 2 Caesarea Rothschild Institute, University of Haifa, Mt. Carmel, Haifa, Israel 31905 ([email protected] and [email protected]) Abstract. We investigate graphs that can be represented as vertex in- tersections of horizontal and vertical paths in a grid, known as B0-VPG graphs. Recognizing these graphs is an NP-hard problem. In light of this, we focus on their subclasses. In the paper, we describe polynomial time algorithms for recognizing chordal B0-VPG graphs, and for recognizing B0-VPG graphs that have a representation on a grid with 2 rows. 1 Introduction A VPG representation† of a graph G is a collection of paths of the two-dimensional grid where the paths represent the vertices of G in such a way that two vertices of G are adjacent if and only if the corresponding paths share at least one vertex. We focus on a special subclass of VPG representations. A B0-VPG representation of G is a VPG representation in which all paths in the collection have no bends. In other words, it is a representation of G by the intersections of orthogonal segments of the plane. Here, we emphasize the grid-based definition in order to focus on some properties of the underlying grid (e.g. size). A graph is a B0-VPG graph if it has a B0-VPG representation.
    [Show full text]
  • Coloring K K-Free Intersection Graphs of Geometric Objects in the Plane
    Coloring Kk-free intersection graphs of geometric objects in the plane ¤ y Jacob Fox János Pach Department of Mathematics Dept. Computer Science Princeton University City College of New York Princeton, NJ 08544, USA New York, NY 10031, USA [email protected] [email protected] ABSTRACT size of the largest clique, and the chromatic number Â(G) The intersection graph of a collection C of sets is a graph of G is the minimum number of colors needed to properly color the vertices of G. To compute or to approximate these on the vertex set C, in which C1;C2 2 C are joined by an parameters is a notoriously di±cult problem [18, 35, 23]. In edge if and only if C1 \ C2 6= ;. Erd}os conjectured that the chromatic number of triangle-free intersection graphs of n this paper, we study some geometric versions of the question. segments in the plane is bounded from above by a constant. The intersection graph G(C) of a family C of sets has ver- Here we show that it is bounded by a polylogarithmic func- tex set C and two sets in C are adjacent if they have non- tion of n, which is the ¯rst nontrivial bound for this problem. empty intersection. The independence number of an inter- More generally, we prove that for any t and k, the chromatic section graph G(C) is often referred to in the literature as the packing number of C. It is well known that the problem number of every Kk-free intersection graph of n curves in the plane, every pair of which have at most t points in common, of computing this parameter, even for intersection graphs of log n c log k families of very simple geometric objects such as unit disks is at most (ct ) , where c is an absolute constant log k or axis-aligned unit squares, is NP-hard [17, 25].
    [Show full text]