Automorphic Decompositions of Graphs Robert Beeler Clemson University, [email protected]

Total Page:16

File Type:pdf, Size:1020Kb

Automorphic Decompositions of Graphs Robert Beeler Clemson University, Rbeeler@Clemson.Edu Clemson University TigerPrints All Dissertations Dissertations 8-2007 Automorphic Decompositions of Graphs Robert Beeler Clemson University, [email protected] Follow this and additional works at: https://tigerprints.clemson.edu/all_dissertations Part of the Applied Mathematics Commons Recommended Citation Beeler, Robert, "Automorphic Decompositions of Graphs" (2007). All Dissertations. 92. https://tigerprints.clemson.edu/all_dissertations/92 This Dissertation is brought to you for free and open access by the Dissertations at TigerPrints. It has been accepted for inclusion in All Dissertations by an authorized administrator of TigerPrints. For more information, please contact [email protected]. AUTOMORPHIC DECOMPOSITIONS OF GRAPHS A Dissertation Presented to the Graduate School of Clemson University In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy Mathematical Sciences by Robert A. Beeler August 2007 Accepted by: Dr. Robert E. Jamison, Committee Chair Dr. Neil J. Calkin Dr. Gretchen L. Matthews Dr. Douglas R. Shier ABSTRACT Let G and H be graphs. A G-decomposition D of a graph H is a partition of the edge set of H such that the subgraph induced by the edges in each part of the partition is isomorphic to G. It is well known that a graceful labelling (or more generally a ρ-valuation) of a graph G induces a cyclic G-decomposition of a complete graph. We will extend these notions to that of a general valuation in a cyclic group. Such valuations yield decompositions of circulant graphs. We will show that every graph has a valuation and hence is a divisor of arbitrarily large circulant graphs. The problem of which graphs can host a decomposition by a graph G is much more difficult and is still open. Let D be a G-decomposition of H. The intersection graph generated by the decom- position D, denoted I(D), has a vertex for each part of the partition and an edge if the parts of the partition share a common node in H. While the problem of determining whether a G-decomposition of H exists is a well-studied one, the structure of the resulting intersection graph has not been the subject of much research. As such, we are interested in the structure of these graphs. Of specific interest is whether there exist H, G, and a G-decomposition of H such that the resulting intersection graph is isomorphic to H. A decomposition D such that I(D) =∼ H is said to be automorphic (“self-shaped”). If a graph H is able to host an automorphic decomposition, then we say that H is an automorphic host. Similarly, if there exists an H such that there exists an automorphic G-decomposition of H, then we say that G is an automorphic divisor. In this dissertation, we will give several necessary conditions for the existence of an automorphic G-decomposition of H. These will allow us to examine the problem of which graphs are automorphic hosts. We conjecture that only even regular graphs are able to host an automorphic decomposition. In an attempt to prove this conjecture, we have shown the following special cases: iv • If χ(H) ≤ 3, then H is 2e(G)-regular. • If χ(H)= n(G) and G is d-regular, then H is n(G)d-regular. • If χ(H) = n(G), G is not a disjoint union of P2’s, and the smallest elements of dseq(G) are 1 and a, where a ≥ 2e(G) − n(G) + 1, then H must be 2e(G)-regular. • If G =∼ P4 and χ(H) = 4, then H is 6-regular. • If G is d-regular and any two blocks share at most one common node in H, then H is n(G)d-regular. This dissertation will also examine the problem of which graphs are automorphic divisors. We conjecture that every graph is an automorphic divisor. In an attempt to prove this, we generalize our notion of a valuation for arbitrary groups. This allows us to consider direct products of the related valuations. ACKNOWLEDGMENTS I would first like to thank my family, D. Beeler, L. Beeler, J. Beeler, and P. Keck for their love and support throughout my life. To M. Bennett for carefully proofreading the dissertation. To J. Chrispell for his assistance in formatting the document. To my advisor, R. Jamison for his guidance in constructing and editing this dissertation. To my committee members, N. Calkin, G. Matthews, and D. Shier, for their comments and suggestions in the final stages of this process. Finally, I wish to acknowledge the other excellent math teachers in my career. In particular, I would like to thank J. Dydak, R. Sharp, C. Wagner, J. Xiong, and especially D. Vinson. TABLE OF CONTENTS Page TITLEPAGE ....................................... i ABSTRACT ........................................ iii ACKNOWLEDGMENTS ................................. v LISTOFTABLES..................................... ix LISTOFFIGURES .................................... xi CHAPTER 1. BASICDEFINITIONS .............................. 1 1.1 BasicGraphTheory............................. 1 1.2 A Brief Introduction to Abstract Algebra and Number Theory..... 12 1.3 Factorizations and Matchings of Graphs . 14 1.4 CombinatorialDesigns ........................... 15 1.5 Preview.................................... 19 2. GRAPHDECOMPOSITIONS.......................... 23 2.1 Labellings and Valuations on Graphs . 24 2.2 Circulants .................................. 29 2.3 DecompositionsofGraphs ......................... 35 2.4 IntersectionGraphs ............................. 47 3. AUTOMORPHICDECOMPOSITIONS . 55 3.1 Examples of Automorphic Decompositions . 55 3.2 NecessaryConditions ............................ 61 4. AUTOMORPHICHOSTS ............................ 69 4.1 Simple Automorphic Decompositions . 69 4.2 Fully Automorphic Decompositions . 74 4.3 Automorphic Hosts with a Pendant Node . 82 5. AUTOMORPHICDIVISORS .......................... 93 5.1 Transulants, Translational Decompositions, and Γ-valuations . 93 5.2 Subproducts and Subjoins of Graphs . 99 5.3 OtherConstructions............................. 110 5.4 PersistentAutomorphicDivisors . 118 viii Table of Contents (Continued) Page 5.5 Fully Automorphic Divisors and Their Hosts . 123 6. EXTENSIONS................................... 129 6.1 Automorphic Decompositions of Multigraphs . 129 6.2 FamiliesofPrototypes ........................... 136 7. CONCLUDINGREMARKS ........................... 139 APPENDICES A. List of P3 Intersections Representing a Vertex of Degree Two . 143 B.ListofNotation .................................. 147 BIBLIOGRAPHY ..................................... 149 LIST OF TABLES Table Page 2.1 Lengths of Small Optimal Golomb Rulers . ..... 42 2.2 SmallOptimalGolombRulers. 43 2.3 SmallDifferenceSets.............................. 45 5.1 Examples of Fully Automorphic Decompositions . ........ 123 5.2 p-Modular Valuations of Kp for p ≤ 6 ...................... 126 LIST OF FIGURES Figure Page 1.1 AGraph....................................... 2 1.2 SpecialGraphsonSixVertices . .... 5 1.3 ProductsonGraphs ................................ 8 1.4 AGraphanditsLineGraph ........................... 9 1.5 An Automorphic P3-Decomposition of K5 .................... 11 1.6 ProjectivePlaneofOrder2 . 17 2.1 A Gracefully Labelled Caterpillar - C(6, 1, 4) .................. 27 2.2 Graceful Labellings For Non-Caterpillar Trees With n(G) ≤ 9......... 28 2.3 Graceful Labellings of a Non-Caterpillar Tree With n(G)=7 ......... 28 2.4 Circulant - C6(1, 2)................................. 29 2.5 A Z63-Valuation on K6 ............................... 41 2.6 Q3 and Intersection Graphs of P3-Decompositions. 48 2.7 All Graphs Can Be Represented As Decomposition Graphs . ........ 50 2.8 Graphs That Are Not Vertex Induced Subgraphs of Line Graphs ....... 51 3.1 K3 ∨ C6(2, 3) and a K3-DecompositionGraph . 60 4.1 Possible P3 Intersections Representing a Node of Degree One . 83 4.2 AnExposedNode ................................. 88 5.1 Γ-Transulant CD6 (r, sr) .............................. 94 5.2 A (Z3 × Z3)-ValuationofaGraph ........................ 95 5.3 Various Subproducts of P2 and P3 ........................ 101 5.4 Subjoins of P2 and P3 ............................... 107 5.5 Superimpositions of P2 and P3 .......................... 111 5.6 A Closed Z13-Valuation of the “Bowtie” . 120 6.1 An Extension of H ................................. 130 xii List of Figures (Continued) Figure Page 6.2 Multi-Circulant - C6((1, 1), (2, 2))......................... 131 6.3 An Automorphic P2-Decomposition of 2P2 .................... 134 6.4 An Automorphic K-Decomposition of K4 − e .................. 137 CHAPTER 1 BASIC DEFINITIONS The goal of this chapter is to introduce the major ideas that will be used throughout the dissertation. Readers who are familiar with the standard texts will recognize many of these terms. As notation often varies in different sources, we wish to standardize the internal notation of this document. 1.1 Basic Graph Theory A (simple) graph G is a triple consisting of a vertex set V (G), an edge set E(G), and an incidence relation that associates with each edge exactly two vertices called its endpoints. Often, we will use the more compact notation G = (V,E). In this case the incidence relation will be implicit. An edge e with endpoints u,v ∈ V (G) will often be denoted uv. If uv ∈ E(G), then we say that u and v are adjacent and are neighbors. We say that an edge e is incident with a vertex v if and only if e has v as one of its endpoints. A graph G = (V,E) is finite if and only if V and E are both finite sets [75]. Unless otherwise explicitly stated, we will assume that all graphs in this dissertation are finite. Let G and H be graphs. We say that G is a subgraph, or more properly, an edge induced subgraph, of H if V (G) ⊆ V (H) and E(G) ⊆ E(H). In this case, we say that H contains G and write G ⊆ H [75]. Let A ⊆ V (G). The subgraph of G induced by A, denoted GA, is the graph with vertex set A and E(GA) = {xy : x, y ∈ A, xy ∈ E(G)}. Such graphs are called vertex induced subgraphs [33]. An isomorphism between two graphs G and H is a bijection f : V (G) → V (H) such that uv ∈ E(G) if and only if f(u)f(v) ∈ E(H). If such an isomorphism exists, we say that G is isomorphic to H, and denote this by G =∼ H. We say that H is G-free if for all A ⊆ V (H), HA is not isomorphic to G.
Recommended publications
  • Lipics-WABI-2021-7.Pdf (2
    Tree Diet: Reducing the Treewidth to Unlock FPT Algorithms in RNA Bioinformatics Bertrand Marchand # LIX CNRS UMR 7161, Ecole Polytechnique, Institut Polytechnique de Paris, Palaiseau, France LIGM, CNRS, Univ Gustave Eiffel, F77454 Marne-la-vallée, France Yann Ponty1 # LIX CNRS UMR 7161, Ecole Polytechnique, Institut Polytechnique de Paris, Palaiseau, France Laurent Bulteau1 # LIGM, CNRS, Univ Gustave Eiffel, F77454 Marne-la-vallée, France Abstract Hard graph problems are ubiquitous in Bioinformatics, inspiring the design of specialized Fixed- Parameter Tractable algorithms, many of which rely on a combination of tree-decomposition and dynamic programming. The time/space complexities of such approaches hinge critically on low values for the treewidth tw of the input graph. In order to extend their scope of applicability, we introduce the Tree-Diet problem, i.e. the removal of a minimal set of edges such that a given tree-decomposition can be slimmed down to a prescribed treewidth tw′. Our rationale is that the time gained thanks to a smaller treewidth in a parameterized algorithm compensates the extra post-processing needed to take deleted edges into account. Our core result is an FPT dynamic programming algorithm for Tree-Diet, using 2O(tw)n time and space. We complement this result with parameterized complexity lower-bounds for stronger variants (e.g., NP-hardness when tw′ or tw−tw′ is constant). We propose a prototype implementation for our approach which we apply on difficult instances of selected RNA-based problems: RNA design, sequence-structure alignment, and search of pseudoknotted RNAs in genomes, revealing very encouraging results. This work paves the way for a wider adoption of tree-decomposition-based algorithms in Bioinformatics.
    [Show full text]
  • Complexity and Exact Algorithms for Vertex Multicut in Interval and Bounded Treewidth Graphs 1
    Complexity and Exact Algorithms for Vertex Multicut in Interval and Bounded Treewidth Graphs 1 Jiong Guo a,∗ Falk H¨uffner a Erhan Kenar b Rolf Niedermeier a Johannes Uhlmann a aInstitut f¨ur Informatik, Friedrich-Schiller-Universit¨at Jena, Ernst-Abbe-Platz 2, D-07743 Jena, Germany bWilhelm-Schickard-Institut f¨ur Informatik, Universit¨at T¨ubingen, Sand 13, D-72076 T¨ubingen, Germany Abstract Multicut is a fundamental network communication and connectivity problem. It is defined as: given an undirected graph and a collection of pairs of terminal vertices, find a minimum set of edges or vertices whose removal disconnects each pair. We mainly focus on the case of removing vertices, where we distinguish between allowing or disallowing the removal of terminal vertices. Complementing and refining previous results from the literature, we provide several NP-completeness and (fixed- parameter) tractability results for restricted classes of graphs such as trees, interval graphs, and graphs of bounded treewidth. Key words: Combinatorial optimization, Complexity theory, NP-completeness, Dynamic programming, Graph theory, Parameterized complexity 1 Introduction Motivation and previous results. Multicut in graphs is a fundamental network design problem. It models questions concerning the reliability and ∗ Corresponding author. Tel.: +49 3641 9 46325; fax: +49 3641 9 46002 E-mail address: [email protected]. 1 An extended abstract of this work appears in the proceedings of the 32nd Interna- tional Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2006) [19]. Now, in particular the proof of Theorem 5 has been much simplified. Preprint submitted to Elsevier Science 2 February 2007 robustness of computer and communication networks.
    [Show full text]
  • A Width Parameter Useful for Chordal and Co-Comparability Graphs
    A width parameter useful for chordal and co-comparability graphs Dong Yeap Kang1, O-joung Kwon2, Torstein J. F. Strømme3, and Jan Arne Telle3 ? 1 Department of Mathematical Sciences, KAIST, Daejeon, South Korea 2 Institute of Software Technology and Theoretical Computer Science, TU Berlin, Germany 3 Department of Informatics, University of Bergen, Norway [email protected], [email protected], [email protected], [email protected] Abstract. In 2013 Belmonte and Vatshelle used mim-width, a graph parameter bounded on interval graphs and permutation graphs that strictly generalizes clique-width, to explain existing algorithms for many domination-type problems, also known as (σ; ρ)- problems or LC-VSVP problems, on many special graph classes. In this paper, we focus on chordal graphs and co-comparability graphs, that strictly contain interval graphs and permutation graphs respectively. First, we show that mim-width is unbounded on these classes, thereby settling an open problem from 2012. Then, we introduce two graphs Kt Kt and Kt St to restrict these graph classes, obtained from the disjoint union of two cliques of size t, and one clique of size t and one independent set of size t respec- tively, by adding a perfect matching. We prove that (Kt St)-free chordal graphs have mim-width at most t − 1, and (Kt Kt)-free co-comparability graphs have mim-width at most t − 1. From this, we obtain several algorithmic consequences, for instance, while Dominating Set is NP-complete on chordal graphs, like all LC-VSVP problems it can be solved in time O(nt) on chordal graphs where t is the maximum among induced sub- graphs Kt St in the given graph.
    [Show full text]
  • Graceful Labeling of Graphs
    GRACEFUL LABELING OF GRAPHS Rodrigo Ming Zhou Dissertação de Mestrado apresentada ao Programa de Pós-graduação em Engenharia de Sistemas e Computação, COPPE, da Universidade Federal do Rio de Janeiro, como parte dos requisitos necessários à obtenção do título de Mestre em Engenharia de Sistemas e Computação. Orientadores: Celina Miraglia Herrera de Figueiredo Vinícius Gusmão Pereira de Sá Rio de Janeiro Dezembro de 2016 GRACEFUL LABELING OF GRAPHS Rodrigo Ming Zhou DISSERTAÇÃO SUBMETIDA AO CORPO DOCENTE DO INSTITUTO ALBERTO LUIZ COIMBRA DE PÓS-GRADUAÇÃO E PESQUISA DE ENGENHARIA (COPPE) DA UNIVERSIDADE FEDERAL DO RIO DE JANEIRO COMO PARTE DOS REQUISITOS NECESSÁRIOS PARA A OBTENÇÃO DO GRAU DE MESTRE EM CIÊNCIAS EM ENGENHARIA DE SISTEMAS E COMPUTAÇÃO. Examinada por: Prof. Celina Miraglia Herrera de Figueiredo, D.Sc. Prof. Vinícius Gusmão Pereira de Sá, D.Sc. Prof. Rosiane de Freitas Rodrigues, D.Sc. Prof. Raphael Carlos Santos Machado, D.Sc. RIO DE JANEIRO, RJ – BRASIL DEZEMBRO DE 2016 Zhou, Rodrigo Ming Graceful Labeling of Graphs/Rodrigo Ming Zhou. – Rio de Janeiro: UFRJ/COPPE, 2016. IX, 40 p.: il.; 29; 7cm. Orientadores: Celina Miraglia Herrera de Figueiredo Vinícius Gusmão Pereira de Sá Dissertação (mestrado) – UFRJ/COPPE/Programa de Engenharia de Sistemas e Computação, 2016. Bibliography: p. 38 – 40. 1. graceful labeling. 2. computational proofs. 3. graphs. I. de Figueiredo, Celina Miraglia Herrera et al. II. Universidade Federal do Rio de Janeiro, COPPE, Programa de Engenharia de Sistemas e Computação. III. Título. iii Resumo da Dissertação apresentada à COPPE/UFRJ como parte dos requisitos necessários para a obtenção do grau de Mestre em Ciências (M.Sc.) GRACEFUL LABELING OF GRAPHS Rodrigo Ming Zhou Dezembro/2016 Orientadores: Celina Miraglia Herrera de Figueiredo Vinícius Gusmão Pereira de Sá Programa: Engenharia de Sistemas e Computação Em 1966, A.
    [Show full text]
  • Improved Lower Bounds for Graph Embedding Problems
    Improved Lower Bounds for Graph Embedding Problems Hans L. Bodlaender1;2? and Tom C. van der Zanden1 1 Department of Computer Science, Utrecht University, Utrecht, The Netherlands fH.L.Bodlaender,[email protected] 2 Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands Abstract. In this paper, we give new, tight subexponential lower bounds for a number of graph embedding problems. We introduce two related combinatorial problems, which we call String Crafting and Orthog- onal Vector Crafting, and show that these cannot be solved in time 2o(jsj= log jsj), unless the Exponential Time Hypothesis fails. These results are used to obtain simplified hardness results for several graph embedding problems, on more restricted graph classes than previ- ously known: assuming the Exponential Time Hypothesis, there do not exist algorithms that run in 2o(n= log n) time for Subgraph Isomorphism on graphs of pathwidth 1, Induced Subgraph Isomorphism on graphs of pathwidth 1, Graph Minor on graphs of pathwidth 1, Induced Graph Minor on graphs of pathwidth 1, Intervalizing 5-Colored Graphs on trees, and finding a tree or path decomposition with width at most c with a minimum number of bags, for any fixed c ≥ 16. 2Θ(n= log n) appears to be the \correct" running time for many pack- ing and embedding problems on restricted graph classes, and we think String Crafting and Orthogonal Vector Crafting form a useful framework for establishing lower bounds of this form. 1 Introduction Many NP-complete graph problems admit faster algorithms when restricted to planar graphs.
    [Show full text]
  • Durham Research Online
    Durham Research Online Deposited in DRO: 08 November 2010 Version of attached le: Published Version Peer-review status of attached le: Peer-reviewed Citation for published item: Carvalho, C. and Dalmau, V. and Krokhin, A. (2008) 'Caterpillar duality for constraint satisfaction problems.', in Twenty-third Annual IEEE Symposium on Logic in Computer Science, 24-27 June 2008, Pittsburgh, PA ; proceedings. Los Alamitos, CA: IEEE, 307 -316 . Further information on publisher's website: http://dx.doi.org/10.1109/LICS.2008.19 Publisher's copyright statement: c 2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. Additional information: Use policy The full-text may be used and/or reproduced, and given to third parties in any format or medium, without prior permission or charge, for personal research or study, educational, or not-for-prot purposes provided that: • a full bibliographic reference is made to the original source • a link is made to the metadata record in DRO • the full-text is not changed in any way The full-text must not be sold in any format or medium without the formal permission of the copyright holders. Please consult the full DRO policy for further details. Durham University Library, Stockton Road, Durham DH1 3LY, United Kingdom Tel : +44 (0)191 334 3042 | Fax : +44 (0)191 334 2971 https://dro.dur.ac.uk 23rd Annual IEEE Symposium on Logic in Computer Science Caterpillar duality for constraint satisfaction problems Catarina Carvalho V´ıctor Dalmau Andrei Krokhin Durham University University Pompeu Fabra Durham University Durham, DH1 3LE, UK Barcelona, 08003 Spain Durham, DH1 3LE, UK [email protected] [email protected] [email protected] Abstract programming language Datalog and its fragments are ar- guably some of the most important tools for solving CSPs.
    [Show full text]
  • The Line Graph of a Tree and Its Edge Ideal
    THE LINE GRAPH OF A TREE AND ITS EDGE IDEAL ANDA OLTEANU Abstract. We describe all the trees with the property that the corresponding edge ideal of their line graph has a linear resolution. As a consequence, we give a complete characterization of those trees T for which the line graph L(T ) is co- chordal. We compute also the second Betti number of the edge ideal of L(T ) and we determine the number of cycles in L(T ). As a consequence, we obtain also the first Zagreb index of a graph. For edge ideals of line graphs of caterpillar graphs we determine the Krull dimension, the Castelnuovo-Mumford regularity, and the projective dimension under some additional assumption on the degrees of the cutpoints. Introduction Firstly used under this name by Harary and Norman in [15], line graphs have been intensively studied in combinatorics. Recall that, for a finite simple graph G, its line graph, denoted by L(G), is the graph with the vertex set given by the edges of G and two vertices in L(G) are joined by an edge if the corresponding edges are adjacent in G. There are several characterizations of graphs which are lines of some graphs. For instance, Beineken characterized the line graphs in terms of the forbidden induced subgraphs [3]. Moreover, combinatorial properties of line graphs have been studied: Akiyama solved seven graph equations which involved line graphs, powers of graphs and the complementary of a graph [1] and Milaniˇc,Oversberg and Schaudt gave a characterization of those line graphs which are squares of graphs [23].
    [Show full text]
  • 0 Interval Deletion Is Fixed-Parameter Tractable
    0 Interval Deletion is Fixed-Parameter Tractable YIXIN CAO and DANIEL´ MARX, Hungarian Academy of Sciences (MTA SZTAKI) We study the minimum interval deletion problem, which asks for the removal of a set of at most k vertices to make a graph of n vertices into an interval graph. We present a parameterized algorithm of runtime 10k · nO(1) for this problem, that is, we show the problem is fixed-parameter tractable. Categories and Subject Descriptors: G.2.2 [Graph Theory]: Graph algorithms; F.2.2 [Nonnumerical Algorithms and Problems]: Computations on discrete structures General Terms: Algorithms Additional Key Words and Phrases: Asteroidal triple, congenial hole, modular decomposition ACM Reference Format: Yixin Cao and D´anielMarx. 2014. Interval Deletion is Fixed-Parameter Tractable. ACM Trans. Algor. 0, 0, Article 0 ( 20xx), 34 pages. DOI:http://dx.doi.org/10.1145/0000000.0000000 1. INTRODUCTION A graph is an interval graph if its vertices can be assigned to intervals of the real line such that there is an edge between two vertices if and only if their corresponding intervals intersect. Interval graphs are the natural models for DNA chains in biology and many other applications, among which the most cited ones include jobs scheduling in industrial engineering [Bar-Noy et al. 2001] and seriation in archeology [Kendall 1969]. Motivated by pure contemplation of combinatorics and practical problems of biology respectively, Haj´os [1957] and Benzer [1959] independently initiated the study of interval graphs. Interval graphs are a proper subset of chordal graphs. After more than half century of intensive investigation, the properties and the recognition of interval and chordal graphs are well understood [Booth and Lueker 1976].
    [Show full text]
  • Clique-Width of Full Bubble Model Graphs
    Forschungsberichte Mathematik/Informatik Fachbereich IV, Universit¨at Trier Clique-width of full bubble model graphs Daniel Meister and Udi Rotics Report No. 13-1 April 2013 Clique-width of full bubble model graphs Daniel Meister∗ Udi Rotics† Abstract A bubble model is a 2-dimensional representation of proper interval graphs. We consider proper interval graphs that have bubble models of specific properties. We characterise the maximal such proper interval graphs of bounded clique-width and of bounded linear clique- width and the minimal such proper interval graphs whose clique-width and linear clique- width exceed the bounds. As a consequence, we can efficiently compute the clique-width and linear clique-width of the considered graphs. 1 Introduction Clique-width is a graph width parameter with applications in efficient graph algorithms [3, 4, 20]. Clique-width generalises treewidth in the sense that graphs of bounded treewidth also have bounded clique-width [5], but graphs of bounded clique-width may have unbounded treewidth. A simple example for the latter relationship are the complete graphs, whose clique-width is at most 2 and whose treewidth is proportional to the number of vertices. Next to their applicational importance, width parameters in general are also and necessarily studied with a focus on their theoretical aspects. The basic questions are about the complexity of recognising graphs of bounded width and about the structure of graphs of bounded width. In this paper, we address these basic questions for clique-width and full bubble model graphs. Clique-width is a graph parameter that is difficult to deal with.
    [Show full text]
  • Algorithm Graph Theory: How Hard Is Your Combinatorial Optimization Problem?
    Algorithm Graph Theory: How hard is your combinatorial optimization problem? Short Course – Lecture 5 June 9, 2017 Slides available at: https://www.math2.rwth‐aachen.de/de/mitarbeiter/koster/agtclemson 09.06.2017 Algorithmic Graph Theory ‐ © Prof. Dr. Arie M.C.A. Koster, 2017 1 Schedule 9.00‐10.30 10.30‐11.00 11:00‐12:30 Wed 06/07 Basics: Complexity Break Basics: First Examples Basics: chordal and perfect Thu 06/08 Basics: Interval graphs Break graphs Treewidth: Graph classes of Fri 06/09 Treewidth: introduction Break bounded treewidth Treewidth: Lower and Upper Treewidth: Dynamic Mon 06/12 Break Bounds Programming Tue 06/13 FPT: Parameterized Complexity Break FPT: Kernelization Wed 06/14 Exact: Branching Algorithms Break Exact: Dynamic Programming 09.06.2017 Algorithmic Graph Theory ‐ © Prof. Dr. Arie M.C.A. Koster, 2017 2 Yesterday: . For chordal graphs we have: vw E k K with v, w V ∈ ⇔∃ ∈ ∈ k . What happens if we change to property to: vw E k K with v,w V ∈ ⇒∃ ∈ ∈ k . So the vertices do not need to be pairwise adjacent in Vk 09.06.2017 Algorithmic Graph Theory ‐ © Prof. Dr. Arie M.C.A. Koster, 2017 3 Tree Decomposition . A tree decomposition (T,X) of G=(V,E): . Tree T=(I,F) with a a g vertex set X associated h i b with every node iI c f . For all edges {v,w}E: d e there is a set Xi containing both v and w . For every vV: the aac f ag g h nodes iI that contain v b c f form a connected subtree d ce 09.06.2017 Alg.
    [Show full text]
  • Algorithmic Complexity Between Structure and Knowledge Nicolas Nisse
    Sophia Antipolis N◦ d'ordre : Habilitation `aDiriger la Recherche pr´esent´eepour obtenir le grade de HDR Sp´ecialit´e: Informatique − Algorithmic complexity Between Structure and Knowledge How Pursuit-evasion Games help Nicolas Nisse − Soutenue le 26 mai 2014 devant le jury compos´ede : Rapporteurs : Cyril GAVOILLE Professeur Dimitrios M. THILIKOS Directeur de Recherche Peter WIDMAYER Professeur Examinateurs : Victor CHEPOI Professeur David COUDERT Charg´ede Recherche Fedor V. FOMIN Professeur Pierre FRAIGNIAUD Directeur de Recherche Jean-Charles REGIN´ Professeur Contents Introduction 5 Pursuit-evasion games . .6 Telecommunication networks and algorithmic perspectives . .7 Organization of the manuscript and personal contributions . .9 1 Turn-by-turn Two-Player Games in Graphs 15 1.1 Cop-number in a nutshell . 16 1.1.1 Cop-number and Meyniel Conjecture . 17 1.1.2 Beyond Meyniel conjecture: when graph structure helps . 21 1.2 Variants of Cops and Robber games . 27 1.2.1 Fast Cops and Robber. 27 1.2.2 Visibility, radius of capture and other variants . 31 1.3 Web-page prefetching and Surveillance game . 33 1.3.1 Complexity and algorithms in several graph classes . 36 1.3.2 Connected and online Surveillance Game . 39 1.4 Fractional Combinatorial games . 41 1.4.1 Fractional Cops and Robber and Surveillance Games . 41 1.4.2 General fractional Games . 43 2 Tree Decomposition, Graph Searching and Applications 45 2.1 Algorithmic applications of tree-decompositions . 46 2.1.1 Treewidth . 46 2.1.2 Applications to parameterized complexity . 47 2.1.3 Computing chordality and \caterpillar" tree-decompositions . 50 2.2 From pursuit-evasion games' point of view .
    [Show full text]
  • CYCLEWIDTH: an ANALOGY of TREEWIDTH 1 Introduction
    CYCLEWIDTH: AN ANALOGY OF TREEWIDTH NICOLE WEIN Advisor: Glencora Borradaile Abstract. In this work we study cyclewidth, a generalization of treewidth and path- width to cycles. Although treewidth and pathwidth have been extensively studied, cyclewidth has only been mentioned in a single paper, to the best of the author's knowledge. We prove that the decision problem of determining whether the cyclewidth of a graph is at most k is NP-complete. We also present an algorithm for finding the cyclewidth of cactus graphs and prove that the pathwidth of a given cactus graph is at most one greater than its cyclewidth. Additionally, we characterize edge-maximal graphs of pathwidth k and leave the problem of recognizing them unsolved. 1 Introduction Treewidth was introduced independently by Halin [9] and Robinson and Seymour [18], and pathwidth was introduced by Robertson and Seymour [17]. One primary value of treewidth and pathwidth is that many NP-hard problems can be solved in polynomial time on graphs of bounded treewidth or pathwidth. Treewidth and pathwidth have also proved useful in electrical networks [3], graph drawing [16], and searching games [6]. We generalize treewidth and pathwidth to a concept we call cyclewidth. As far as the author can tell, cyclewidth only appears in a single paper, by Sharp and Kozen [14]. Sharp and Kozen use cyclewidth peripherally to prove the following result about graph coloring: (d; k)-colorable graphs for k ≤ ⌊3d~2⌋ have cyclewidth at most d. We investigate the properties of cyclewidth centrally, especially in relation to treewidth and pathwidth. Notation. Let G be an graph with vertex set V (G) and edge set E(G).
    [Show full text]