DOCSLIB.ORG

Bounded Treewidth

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Bounded Treewidth JASS 2008 Bounded Treewidth Stephan Holzer Technische Universität München Plan of talk History Definitions Examples Applications Plan of talk History Definitions Examples Applications History • Ohm’s laws: series R1 R2 parallel R1 R2 History Series parallel graphs R1 R2 R3 R4 R5 R6 series parallel R7 History Series parallel graphs Tree structure: R1 R2 Forget graph structure S Essential information: R8 R3 R4 R8P S S P R1 R2 R3 R4 R5 R6 R7 R5 R6 series parallel R7 Early results (1960s / 70s)‏ • Tree structures help! restricted to easy! e m • So NP-complete problems on general graphs are hard • trees • series parallel graphs Even some PSPACE-complete problems become easy Paul Seymour Neil Robertson GENERALIZE! Tree-decomposition, Treewidth Plan of talk History Definitions Examples Applications Tree-decomposition Treewidth Plan of talk History Definitions Examples Applications Example f d k c tw(G)=2 g j e b h i a df ij cde deg hik abc egh Examples Graph classes with bounded treewidth include • Trees tw=1 • Series-parallel graphs tw=2 • Outerplanar graphs tw=3 • Halin graphs tw=3 • Pseudoforests tw=2 • Cactus graphs tw=2 • Control flow graphs arising in the compilation of structured programs All results for bounded treewidth apply to theses classes! Cactus graph Examples Pseudoforest O u t e r p l a n a r Planar graphs? Grid graph Plan of talk History Definitions Examples Applications Applications • Cholesky factorisation • Evolutionary Theory • Expert Systems • VLSI Layouts (via pathwidth)‏ • Natural language processing • Computing Tutte-polynomial of graphs with bounded treewidth in polynomial time • Linear time algorithms (for Independent Set)* • and other NP-complete problems* * when the undelying class of graphs has constant bounded tree width Treewidth and Cholesky factorisation Relation to graph: blackboard Treewidth and Cholesky factorisation Treewidth and evolutionary theory chordal?? Chordal graphs So every induced cycle is a triangle! Treewidth: linear time algorithm for IS Treewidth: linear time algorithm for IS T X X 2 1 X X X X 3 4 5 6 X X X X 7 8 9 10 X 1 Y2 Treewidth: linear time algorithm for IS Treewidth: linear time algorithm for IS Treewidth: linear time algorithm for IS Treewidth: linear time algorithm for IS Treewidth: linear time algorithm for IS Treewidth: linear time algorithm for IS many problems Treewidth: linear time algorithms for IS General idea: • Each table entry gives information about an equivalence class of partial solutions • Number of equivalence classes is bounded by some constant when treewidth is bounded by a constant • Tables can be computed using only the tables of the children of the node Treewidth: linear time algorithm for IS Other results: • Large classes of problems can be solved in linear time when a tree-decomposition with constant bounded treewidth is available • Approximation results Finding tree-decompositions ? Treewidth: linear time algorithm for IS Finding tree-decompositions •For constant treewidth k=1,2,3,4 graphs can be recognized in linear time • Arbitrary fixed k: O(n logn)‏ Thank You.
Load more

Recommended publications
  • Graph Varieties Axiomatized by Semimedial, Medial, and Some Other Groupoid Identities
    Discussiones Mathematicae General Algebra and Applications 40 (2020) 143–157 doi:10.7151/dmgaa.1344 GRAPH VARIETIES AXIOMATIZED BY SEMIMEDIAL, MEDIAL, AND SOME OTHER GROUPOID IDENTITIES Erkko Lehtonen Technische Universit¨at Dresden Institut f¨ur Algebra 01062 Dresden, Germany e-mail: [email protected] and Chaowat Manyuen Department of Mathematics, Faculty of Science Khon Kaen University Khon Kaen 40002, Thailand e-mail: [email protected] Abstract Directed graphs without multiple edges can be represented as algebras of type (2, 0), so-called graph algebras. A graph is said to satisfy an identity if the corresponding graph algebra does, and the set of all graphs satisfying a set of identities is called a graph variety. We describe the graph varieties axiomatized by certain groupoid identities (medial, semimedial, autodis- tributive, commutative, idempotent, unipotent, zeropotent, alternative). Keywords: graph algebra, groupoid, identities, semimediality, mediality. 2010 Mathematics Subject Classification: 05C25, 03C05. 1. Introduction Graph algebras were introduced by Shallon [10] in 1979 with the purpose of providing examples of nonfinitely based finite algebras. Let us briefly recall this concept. Given a directed graph G = (V, E) without multiple edges, the graph algebra associated with G is the algebra A(G) = (V ∪ {∞}, ◦, ∞) of type (2, 0), 144 E. Lehtonen and C. Manyuen where ∞ is an element not belonging to V and the binary operation ◦ is defined by the rule u, if (u, v) ∈ E, u ◦ v := (∞, otherwise, for all u, v ∈ V ∪ {∞}. We will denote the product u ◦ v simply by juxtaposition uv. Using this representation, we may view any algebraic property of a graph algebra as a property of the graph with which it is associated.
    [Show full text]
  • A Faster Parameterized Algorithm for PSEUDOFOREST DELETION
    A faster parameterized algorithm for PSEUDOFOREST DELETION Citation for published version (APA): Bodlaender, H. L., Ono, H., & Otachi, Y. (2018). A faster parameterized algorithm for PSEUDOFOREST DELETION. Discrete Applied Mathematics, 236, 42-56. https://doi.org/10.1016/j.dam.2017.10.018 Document license: Unspecified DOI: 10.1016/j.dam.2017.10.018 Document status and date: Published: 19/02/2018 Document Version: Accepted manuscript including changes made at the peer-review stage 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]
  • Sphere-Cut Decompositions and Dominating Sets in Planar Graphs
    Sphere-cut Decompositions and Dominating Sets in Planar Graphs Michalis Samaris R.N. 201314 Scientific committee: Dimitrios M. Thilikos, Professor, Dep. of Mathematics, National and Kapodistrian University of Athens. Supervisor: Stavros G. Kolliopoulos, Dimitrios M. Thilikos, Associate Professor, Professor, Dep. of Informatics and Dep. of Mathematics, National and Telecommunications, National and Kapodistrian University of Athens. Kapodistrian University of Athens. white Lefteris M. Kirousis, Professor, Dep. of Mathematics, National and Kapodistrian University of Athens. Aposunjèseic sfairik¸n tom¸n kai σύνοla kuriarqÐac se epÐpeda γραφήματa Miχάλης Σάμαρης A.M. 201314 Τριμελής Epiτροπή: Δημήτρioc M. Jhlυκός, Epiblèpwn: Kajhγητής, Tm. Majhmatik¸n, E.K.P.A. Δημήτρioc M. Jhlυκός, Staύρoc G. Kolliόποuloc, Kajhγητής tou Τμήμatoc Anaπληρωτής Kajhγητής, Tm. Plhroforiκής Majhmatik¸n tou PanepisthmÐou kai Thl/ni¸n, E.K.P.A. Ajhn¸n Leutèrhc M. Kuroύσης, white Kajhγητής, Tm. Majhmatik¸n, E.K.P.A. PerÐlhyh 'Ena σημαντικό apotèlesma sth JewrÐa Γραφημάτwn apoteleÐ h apόdeixh thc eikasÐac tou Wagner από touc Neil Robertson kai Paul D. Seymour. sth σειρά ergasi¸n ‘Ελλάσσοna Γραφήματα’ apo to 1983 e¸c to 2011. H eikasÐa αυτή lèei όti sthn κλάση twn γραφημάtwn den υπάρχει άπειρη antialusÐda ¸c proc th sqèsh twn ελλασόnwn γραφημάτwn. H JewrÐa pou αναπτύχθηκε gia thn απόδειξη αυτής thc eikasÐac eÐqe kai èqei ακόμα σημαντικό antÐktupo tόσο sthn δομική όσο kai sthn algoriθμική JewrÐa Γραφημάτwn, άλλα kai se άλλα pedÐa όπως h Παραμετρική Poλυπλοκόthta. Sta πλάιsia thc απόδειξης oi suggrafeÐc eiσήγαγαν kai nèec paramètrouc πλά- touc. Se autèc ήτan h κλαδοαποσύνθεση kai to κλαδοπλάτoc ενός γραφήματoc. H παράμετρος αυτή χρησιμοποιήθηκε idiaÐtera sto σχεδιασμό algorÐjmwn kai sthn χρήση thc τεχνικής ‘διαίρει kai basÐleue’.
    [Show full text]
  • Sparsity Counts in Group-Labeled Graphs and Rigidity
    Sparsity Counts in Group-labeled Graphs and Rigidity Rintaro Ikeshita1 Shin-ichi Tanigawa2 1University of Tokyo 2CWI & Kyoto University July 15, 2015 1 / 23 I Examples I k = ` = 1: forest I k = 1; ` = 0: pseudoforest I k = `: Decomposability into edge-disjoint k forests (Nash-Williams) I ` ≤ k: Decomposability into edge-disjoint k − ` pseudoforests and ` forests I general k; `: Rigidity of graphs and scene analysis (k; `)-sparsity def I A finite undirected graph G = (V ; E) is (k; `)-sparse , jF j ≤ kjV (F )j − ` for every F ⊆ E with kjV (F )j − ` ≥ 1. 2 / 23 (k; `)-sparsity def I A finite undirected graph G = (V ; E) is (k; `)-sparse , jF j ≤ kjV (F )j − ` for every F ⊆ E with kjV (F )j − ` ≥ 1. I Examples I k = ` = 1: forest I k = 1; ` = 0: pseudoforest I k = `: Decomposability into edge-disjoint k forests (Nash-Williams) I ` ≤ k: Decomposability into edge-disjoint k − ` pseudoforests and ` forests I general k; `: Rigidity of graphs and scene analysis 2 / 23 I Examples I k = ` = 1: graphic matroid I k = 1; ` = 0: bicircular matroid I ` ≤ k: union of k − ` copies of bicircular matroid and ` copies of graphic matroid I k = 2; ` = 3: generic 2-rigidity matroid (Laman70) Count Matroids I Suppose ` ≤ 2k − 1. Then Mk;`(G) = (E; Ik;`) forms a matroid, called the (k; `)-count matroid, where Ik;` = fI ⊆ E : I is (k; `)-sparseg: 3 / 23 Count Matroids I Suppose ` ≤ 2k − 1. Then Mk;`(G) = (E; Ik;`) forms a matroid, called the (k; `)-count matroid, where Ik;` = fI ⊆ E : I is (k; `)-sparseg: I Examples I k = ` = 1: graphic matroid I k = 1; ` = 0: bicircular matroid I ` ≤ k: union of k − ` copies of bicircular matroid and ` copies of graphic matroid I k = 2; ` = 3: generic 2-rigidity matroid (Laman70) 3 / 23 Group-labeled Graphs I A group-labeled graph (Γ-labeled graph) (G; ) is a directed finite graph whose edges are labeled invertibly from a group Γ.
    [Show full text]
  • On the Planar Split Thickness of Graphs∗
    On the Planar Split Thickness of Graphs∗ David Eppstein1, Philipp Kindermann2, Stephen Kobourov3, Giuseppe Liotta4, Anna Lubiw5, Aude Maignan6, Debajyoti Mondal5, Hamideh Vosoughpour5, Sue Whitesides7, and Stephen Wismath8 1University of California, Irvine, USA [email protected] 2FernUniversit¨atin Hagen, Germany. [email protected] 3University of Arizona, USA. [email protected] 4Universit`adegli Studi di Perugia, Italy. [email protected] 5University of Waterloo, Canada. alubiw | dmondal | hvosough @uwaterloo.ca 6Universit. Grenoblef Alpes, France. [email protected] 7University of Victoria, Canada. [email protected] 8University of Lethbridge, Canada. [email protected] Abstract Motivated by applications in graph drawing and information visualization, we ex- amine the planar split thickness of a graph, that is, the smallest k such that the graph is k-splittable into a planar graph. A k-split operation substitutes a vertex v by at most k new vertices such that each neighbor of v is connected to at least one of the new vertices. We first examine the planar split thickness of complete graphs, complete bipartite graphs, multipartite graphs, bounded degree graphs, and genus-1 graphs. We then prove that it is NP-hard to recognize graphs that are 2-splittable into a planar graph, and show that one can approximate the planar split thickness of a graph within a constant factor. If the treewidth is bounded, then we can even verify k-splittability in linear time, for a constant k. 1 Introduction arXiv:1512.04839v4 [math.CO] 6 Jun 2017 Transforming one graph into another by repeatedly applying an operation such as ver- tex/edge deletion, edge flip or vertex split is a classic problem in graph theory [24].
    [Show full text]
  • Orientation-Based Edge-Colorings and Linear Arboricity of Multigraphs
    Orientation-based edge-colorings and linear arboricity of multigraphs Ronen Wdowinski∗ August 27, 2021 Abstract The Goldberg-Seymour Conjecture for f-colorings states that the f-chromatic index of a loopless multigraph is essentially determined by either a maximum degree or a maximum density parameter. We introduce an oriented version of f-colorings, where now each color class of the edge-coloring is required to be orientable in such a way that every vertex v has indegree and outdegree at most some specified values g(v) and h(v). We prove that the associated (g, h)-oriented chromatic index satisfies a Goldberg- Seymour formula. We then present simple applications of this result to variations of f-colorings. In particular, we show that the Linear Arboricity Conjecture holds for k- degenerate loopless multigraphs when the maximum degree is at least 4k−2, improving a bound recently announced by Chen, Hao, and Yu for simple graphs. Finally, we demonstrate that the (g, h)-oriented chromatic index is always equal to its list coloring analogue. 1 Introduction For basic terminology on multigraphs, simple graphs, and oriented graphs, see Diestel [11]. arXiv:2108.11816v1 [math.CO] 26 Aug 2021 1.1 f-colorings Given a loopless multigraph G and a function f : V (G) → N\{0}, an f-coloring of G is an assignment of a color to each edge of G such that each color class is a subgraph of G in which every vertex v ∈ V (G) has degree d(v) at most f(v). We will refer to such subgraphs as degree-f subgraphs.
    [Show full text]
  • Generalized Pseudoforest Deletion: Algorithms and Uniform Kernel⋆
    Generalized Pseudoforest Deletion: Algorithms and Uniform Kernel? Geevarghese Philip1, Ashutosh Rai2, Saket Saurabh2;3?? 1 Chennai Mathematical Institute, Chennai, India. [email protected] 2 The Institute of Mathematical Sciences, HBNI, Chennai, India. fashutosh|[email protected] 3 University of Bergen, Bergen, Norway. Abstract. Feedback Vertex Set (FVS) is one of the most well stud- ied problems in the realm of parameterized complexity. In this problem we are given a graph G and a positive integer k and the objective is to test whether there exists S ⊆ V (G) of size at most k such that G − S is a forest. Thus, FVS is about deleting as few vertices as possible to get a forest. The main goal of this paper is to study the following interesting problem: How can we generalize the family of forests such that the nice structural properties of forests and the interesting algorithmic proper- ties of FVS can be extended to problems on this class? Towards this we define a graph class, Fl, that contains all graphs where each connected component can transformed into forest by deleting at most l edges. The class F1 is known as pseudoforest in the literature and we call Fl as l-pseudoforest. We study the problem of deleting k vertices to get into Fl, l-pseudoforest Deletion, in the realm of parameterized complex- ity. We show that l-pseudoforest Deletion admits an algorithm with k O(1) 2 running time cl n and admits a kernel of size f(l)k . Thus, for every fixed l we have a kernel of size O(k2).
    [Show full text]
  • Arxiv:1904.12435V3 [Math.CO] 25 Jun 2019 Iinof Sition D Eoetemxmmdge N U-Erersetvl.For Respectively
    ON DECOMPOSING GRAPHS INTO FORESTS AND PSEUDOFORESTS LOGAN GROUT AND BENJAMIN MOORE Abstract. We prove that for k ∈ N and d ≤ 2k + 2, if a graph has maximum average k 2d G k degree at most 2 + d+k+1 , then decomposes into + 1 pseudoforests, where one of the pseudoforests has all connected components having at most d edges. 1. Introduction Throughout this paper, all graphs are finite and may contain multiple edges, but have no loops. All undefined graph theory terminology can be found in [1]. For a graph G, V (G) denotes the vertex set and E(G) denotes the edge set. We will let v(G) = |V (G)| and e(G)= |E(G)|. Given a graph G, an orientation of G is obtained from E(G) by taking each edge xy, and replacing xy with exactly one of the arcs (x,y) or (y,x). For any vertex v, let d(v) and d+(v) denote the degree and out-degree, respectively, of v. Let ∆(G) and ∆+(G) denote the maximum degree and out-degree respectively. For any graph G, we will say a decomposition of G is a set of edge disjoint subgraphs such that the union of their edges sets is E(G). We will focus on decompositions of G into pseudoforests. A pseudoforest is a graph where each connected component has at most one cycle. We motivate our results by looking at known results and conjectures about decomposing into forests. An interesting question is to determine conditions on a graph G to guarantee a decompo- sition of G into k (pseudo)forests.
    [Show full text]
  • Periodic Body-And-Bar Frameworks Ciprian Borcea Rider University
    Smith ScholarWorks Computer Science: Faculty Publications Computer Science 1-15-2015 Periodic Body-And-Bar Frameworks Ciprian Borcea Rider University Ileana Streinu Smith College, [email protected] Shin-Ichi Tanigawa Kyoto University Follow this and additional works at: https://scholarworks.smith.edu/csc_facpubs Part of the Discrete Mathematics and Combinatorics Commons Recommended Citation Borcea, Ciprian; Streinu, Ileana; and Tanigawa, Shin-Ichi, "Periodic Body-And-Bar Frameworks" (2015). Computer Science: Faculty Publications. 7. https://scholarworks.smith.edu/csc_facpubs/7 This Article has been accepted for inclusion in Computer Science: Faculty Publications by an authorized administrator of Smith ScholarWorks. For more information, please contact [email protected] SIAM J. DISCRETE MATH. c 2015 Society for Industrial and Applied Mathematics Vol. 29, No. 1, pp. 93–112 ∗ PERIODIC BODY-AND-BAR FRAMEWORKS † ‡ AND § CIPRIAN BORCEA , ILEANA STREINU , SHIN-ICHI TANIGAWA Abstract. Periodic body-and-bar frameworks are abstractions of crystalline structures made of rigid bodies connected by fixed-length bars and subject to the action of a lattice of translations. We give a Maxwell–Laman characterization for minimally rigid periodic body-and-bar frameworks in terms of their quotient graphs. As a consequence we obtain efficient polynomial time algorithms for their recognition based on matroid partition and pebble games. Key words. periodic frameworks, rigidity, matroids, crystalline structure AMS subject classifications. 52C25, 05B35, 74E15 DOI. 10.1137/120900265 1. Introduction. In this paper, we study d-dimensional periodic frameworks made of rigid bodies connected with rigid bars. Figure 1 gives an example. We prove a combinatorial characterization for the quotient graphs of minimally rigid frameworks, in terms of matroid unions of graphs satisfying Maxwell-sparsity conditions.
    [Show full text]
  • Generalized Pseudoforest Deletion: Algorithms and Uniform Kernel
    Generalized Pseudoforest Deletion: Algorithms and Uniform Kernel Geevarghese Philip1, Ashutosh Rai2, Saket Saurabh2? 1 Max-Planck-Institut f¨urInformatik (MPII), Germany. [email protected] 2 The Institute of Mathematical Sciences, Chennai, India. fashutosh|[email protected] Abstract. Feedback Vertex Set (FVS) is one of the most well stud- ied problems in the realm of parameterized complexity. In this problem we are given a graph G and a positive integer k and the objective is to test whether there exists S ⊆ V (G) of size at most k such that G − S is a forest. Thus, FVS is about deleting as few vertices as possible to get a forest. The main goal of this paper is to study the following in- teresting problem: How can we generalize the family of forests such that the nice structural properties of forests and the interesting algorithmic properties of FVS can be extended to problems on this class? Towards this we define a graph class, Fl, that contains all graphs where each connected component can transformed into forest by deleting at most l edges. The class F1 is known as pseudoforest in the literature and we call Fl as l-pseudoforest. We study the problem of deleting k-vertices to get into Fl, l-pseudoforest Deletion, in the realm of parameterized com- plexity. We show that l-pseudoforest Deletion admits an algorithm k O(1) 2 with running time cl n and admits a kernel of size f(l)k . Thus, for every fixed l we have a kernel of size O(k2).
    [Show full text]
  • Three Ways to Cover a Graph
    Three ways to cover a graph Kolja Knauer∗ Torsten Ueckerdt† October 2, 2015 Abstract We consider the problem of covering an input graph H with graphs from a fixed covering class G. The classical covering number of H with respect to G is the minimum number of graphs from G needed to cover the edges of H without covering non-edges of H. We introduce a unifying notion of three covering parameters with respect to G, two of which are novel concepts only considered in special cases before: the local and the folded covering number. Each parameter measures “how far” H is from G in a different way. Whereas the folded covering number has been investigated thoroughly for some covering classes, e.g., interval graphs and planar graphs, the local covering number has received little attention. We provide new bounds on each covering number with respect to the following covering classes: linear forests, star forests, caterpillar forests, and interval graphs. The classical graph parameters that result this way are interval number, track number, linear arboricity, star arboricity, and caterpillar arboricity. As input graphs we consider graphs of bounded degeneracy, bounded degree, bounded tree-width or bounded simple tree-width, as well as outerplanar, planar bipartite, and planar graphs. For several pairs of an input class and a covering class we determine exactly the maximum ordinary, local, and folded covering number of an input graph with respect to that covering class. 1 Introduction Graph covering is one of the most classical topics in graph theory. In 1891, in one of the first purely graph-theoretical papers, Petersen [47] showed that any 2r-regular graph can be covered with r sets of vertex disjoint cycles.
    [Show full text]
  • On Algebras and Matroids Associated to Undirected Graphs
    On algebras and matroids associated to undirected graphs Boris Shapiro, Arkady Vaintrob Abstract In this short note we make a few remarks on a class of generalized incidence matrices whose matroids do not depend on the orientation of the underlying graph and natural commutative algebras associated to such matrices. 1 Introduction Two decades ago answering a geometrical question of Vl. Arnold [Ar] related to the Berry phases, the first author jointly with M. Shapiro and A. Postnikov introduced a certain algebra initially related to a complete graph and later defined for any given undirected graph, see [SS, PSS, PS]. At the same time and independently, motivated by the necessities of the matroid theory D. Wagner [Wa1, Wa2] discovered the same algebra. The latter algebra is defined as follows. Let G =(V,E) be a undirected graph (multiple edges and loops are allowed) with the vertex set V and the edge set E. For a field K of zero characteristic, consider the square-free algebra defined as the quotient B(E)=K[E]/(x2),e E, e 2 of the polynomial algebra in the edge variables xe,e E, by the ideal generated by their squares. 2 Given an orientation σ of G, we define the standard directed incidence matrix A(G,σ) of G whose entries are given by 1, if the edge e begins at v; − av,e = 81, if e ends at v; (1) <>0, if e is a loop or it is not incident to v. (The rows of A(G,σ) are labeled:> by the vertices and its columns by the edges of G).
    [Show full text]