The Graph Parameter Hierarchy

Total Page:16

File Type:pdf, Size:1020Kb

The Graph Parameter Hierarchy The Graph Parameter Hierarchy February 15, 2019 1 About The purpose of this document is to gather graph parameters (also called graph invariants) and their relationships in a central place. It was edited by Manuel Sorge1 and Mathias Weller2 with contributions by Ren´evan Bevern, Florent Foucaud, OndˇrejSuch´y,Pascal Ochem, Martin Vatshelle, and Gerhard J. Woeg- inger. This project and the diagram shown in Figure 1 is inspired by the work of Bart M. P. Jansen [20]. Some further related work (in no particular order) is the Information System on Graph Classes and their Inclusions (ISGCI)3, the Graph Parameter Project4, INGRID: a graph invariant manipulator [12] and the work by Martin Vatshelle [26]. 2 Terminology A graph parameter is a function φ: G ! R where G is the set of finite graphs and R is the set of real numbers. Let φ, graph parameters. The parameter φ upper bounds another parameter , if there is some function f such that for every graph G in G it holds that (G) ≤ f(φ(G)); we write φ . Parameter φ is unbounded in if :( φ). Parameter φ strictly upper bounds if φ ^ :( φ). If (:(φ )) ^ :( φ) then φ and are incomparable. If φ ^ φ then φ and are equal. [email protected] [email protected] 3http://www.graphclasses.org 4https://robert.sasak.sk/gpp/index.php 1 Distance to Clique Vertex Cover Max Leaf # 4.28 4.10 4.25 Minimum Distance to Distance to Distance to Feedback Treedepth Clique Cover Co-Cluster Cluster Disjoint Paths Edge Set Bandwidth 4.26 4.22 4.27 Maximum Distance to Distance to Feedback Maximum Bisection Independent Set Cograph Interval Vertex Set Pathwidth 4.19 Degree Width 4.20 Minimum Distance to Distance to Dominating Set Chordal Outerplanar Genus h-index 4.17 4.16 Max Diameter 4.8 4.7 2 of Components Treewidth 4.21 as 4.16 4.12 Average Acyclic Distance Chromatic # 4.23 4.9 Boxicity 4.13 4.18 Girth 4.15 Degeneracy Distance to Cliquewidth Chordality Bipartite Average Degree Distance to Perfect Minimum Chromatic # Degree Maximum Distance to Domatic # Clique Disconnected Figure 1: Hasse diagram of the known part of the boundedness relation between graph parameters. 3 Parameter Definitions 3.1 Acyclic Chromatic Number The acyclic chromatic number of a graph G = (V; E) is the smallest size of a vertex partition P = fV1;:::;V`g such that each Vi is an independent set and for all Vi;Vj the graph G[Vi [ Vj] does not contain a cycle. In other words, the acyclic chromatic number is the smallest number of colors needed for a proper vertex coloring such that every two-chromatic subgraph is acyclic. Introduced by Gr¨unbaum [18]. 3.2 Covering Parameters 3.2.1 Path Number The path number of a graph G is the minimum number of paths the edges of G can be partitioned into [2]. Exists in \disjoint" and \overlapping" versions where the paths have to be disjoint or not, respectively. 3.2.2 Arboricity The arboricity of a graph G is the minimum number of forests the edges of G can be partitioned into. It is called linear arboricity if the forests are linear (collection of paths). 3.2.3 Vertex Arboricity The vertex arboricity (or \point arboricity") of a graph G is the minimum number of vertex subsets Vi of G such that G[Vi] induces a forest for each i. It is called linear vertex arboricity if the forests are linear (collection of paths). If G is the line graph of G0, then this equals the (linear) arboricity of G0 [2]. 3.2.4 Average Degree The average degree of a graph G = (V; E) is 2jEj=jV j. 3.3 Graph Intersection Parameters Let G be a class of graphs and let G = (V; E) not necessarily in G. Let p be the T smallest number p of sets Ei with E = i≤p Ei and each (V; Ei) 2 G. Then, p is called G's G-intersection number. 3.3.1 Interval-Intersection (Boxicity) The boxicity is the G-intersection number for G being the class of interval graphs. Exceptionally, each clique has boxicity 0. An equivalent alternative definition is the following. An axis-parallel b- dimensional box is a Cartesian product R1 × R2 × ::: × Rb where Ri (for 3 1 ≤ i ≤ b) is a closed interval of the form [ai; bi] on the real line. For a graph G, its boxicity is the minimum dimension b such that G is representable as the intersection graph of (axis-parallel) boxes in b-dimensional space. 3.3.2 Chordal-Intersection (Chordality) The chordality is the G-intersection number for G being the class of chordal graphs. 3.4 Average Distance n P The average distance of a graph G = (V; E) is 1= 2 · u;v2V d(u; v), where d(u; v) is the length of a shortest path between u and v in G. 3.5 Bandwidth The bandwidth bw of a graph G is the maximum \length" of an edge in a one dimensional layout of G. Formally: ml := min f max fji(u) − i(v)jg : i is injectiveg i:V !N fu;vg2E 3.6 Bisection Width The width of a bipartition of a graph is the number of edges going between the parts. The bisection width of a graph G = (V; E) is the smallest width of a bipartition of G such that the difference of the parts' numbers of vertices is at most one. 3.7 Branchwidth A branch decomposition of a hypergraph H = (V; F) is a tuple (T; τ), where T is a rooted binary tree and where τ is a bijection from the leaves of T to the hyperedges F. The order of an edge e in T is the number of vertices v in H such that there are leaves t1; t2 in different connected components of T n e for which τ(t1); τ(t2) both are incident to v. The width of a branch decomposition is the maximum order of edges in T . The branchwidth of H is the minimum width of branch-decompositions of H. 3.8 Chromatic Number The chromatic number χ of a graph G is the smallest number i such that the the vertices of G can be partitioned into i independent sets. 4 3.9 Cliquewidth Let q be a positive integer. We call (G; λ) a q-labeled graph if G is a graph and λ : V (G) ! f1; 2; : : : ; qg is a mapping. The number λ(v) is called label of a vertex v. We introduce the following operations on labeled graphs: (1) For every i in f1; : : : ; qg, we let •i denote the graph with only one vertex that is labeled by i (a constant operation). (2) For every distinct i and j from f1; 2; : : : ; qg, we define a unary operator 0 0 0 ηi;j such that ηi;j(G; λ) = (G ; λ), where V (G ) = V (G), and E(G ) = E(G) [ fvw : v; w 2 V; λ(v) = i; λ(w) = jg. In other words, the operator adds all edges between label-i vertices and label-j vertices. (3) For every distinct i and j from f1; 2; : : : ; qg, we let ρi!j be the unary 0 0 operator such that ρi!j(G; λ) = (G; λ ), where λ (v) = j if λ(v) = i, and λ0(v) = λ(v) otherwise. The operator only changes the labeling so that the vertices that originally had label i will now have label j. (4) Finally, ⊕ is a binary operation that makes the disjoint union, while keeping the labels of the vertices unchanged. Note explicitly that the union is disjoint in the sense that (G; λ) ⊕ (G; λ) has twice the number of vertices of G. A q-expression is a well-formed expression ' written with these symbols. The q-labeled graph produced by performing these operations in order therefore has a vertex for each occurrence of the constant symbol in '; and this q-labeled graph (and any q-labeled graph isomorphic to it) is called the value val(') of '. If a q-expression ' has value (G; λ), we say that ' is a q-expression of G. The cliquewidth of a graph G, denoted by cwd(G), is the minimum q such that there is a q-expression of G. Cliquewidth has been defined by Courcelle and Olariu [7]. The definition above is inspired by Hlinˇen´yet al. [19]. 3.10 Clique Cover A clique cover of a graph G = (V; E) is a partition P of V such that each part in P induces a clique in G. The minimum clique cover of G is a clique cover with a minimum number of parts. Note that the clique cover number of a graph is exactly the chromatic number of its complement. 3.11 Coloring Number Is one larger than the degeneracy. Introduced by Erd}osand Hajnal [13]. 3.12 Degeneracy The degeneracy of a graph G is the maximum, with respect to all subgraphs G0 of G, of the minimum degree of G0. Equivalent definitions include the minimum 5 outdegree over all acyclic orientations of G and the minimum, over all linear ordering so the vertices, of the maximum, over all vertices v, of the number of neighbors of v that occur later in the ordering. 3.13 Density Also known as average degree. 3.14 Distance to Π The distance to Π of a graph G = (V; E) is the minimum size of a set X ⊆ V such that G[V n X] 2 Π, where Π is a graph class, e.
Recommended publications
  • On Treewidth and Graph Minors
    On Treewidth and Graph Minors Daniel John Harvey Submitted in total fulfilment of the requirements of the degree of Doctor of Philosophy February 2014 Department of Mathematics and Statistics The University of Melbourne Produced on archival quality paper ii Abstract Both treewidth and the Hadwiger number are key graph parameters in structural and al- gorithmic graph theory, especially in the theory of graph minors. For example, treewidth demarcates the two major cases of the Robertson and Seymour proof of Wagner's Con- jecture. Also, the Hadwiger number is the key measure of the structural complexity of a graph. In this thesis, we shall investigate these parameters on some interesting classes of graphs. The treewidth of a graph defines, in some sense, how \tree-like" the graph is. Treewidth is a key parameter in the algorithmic field of fixed-parameter tractability. In particular, on classes of bounded treewidth, certain NP-Hard problems can be solved in polynomial time. In structural graph theory, treewidth is of key interest due to its part in the stronger form of Robertson and Seymour's Graph Minor Structure Theorem. A key fact is that the treewidth of a graph is tied to the size of its largest grid minor. In fact, treewidth is tied to a large number of other graph structural parameters, which this thesis thoroughly investigates. In doing so, some of the tying functions between these results are improved. This thesis also determines exactly the treewidth of the line graph of a complete graph. This is a critical example in a recent paper of Marx, and improves on a recent result by Grohe and Marx.
    [Show full text]
  • Randomly Coloring Graphs of Logarithmically Bounded Pathwidth Shai Vardi
    Randomly coloring graphs of logarithmically bounded pathwidth Shai Vardi To cite this version: Shai Vardi. Randomly coloring graphs of logarithmically bounded pathwidth. 2018. hal-01832102 HAL Id: hal-01832102 https://hal.archives-ouvertes.fr/hal-01832102 Preprint submitted on 6 Jul 2018 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. Randomly coloring graphs of logarithmically bounded pathwidth Shai Vardi∗ Abstract We consider the problem of sampling a proper k-coloring of a graph of maximal degree ∆ uniformly at random. We describe a new Markov chain for sampling colorings, and show that it mixes rapidly on graphs of logarithmically bounded pathwidth if k ≥ (1 + )∆, for any > 0, using a new hybrid paths argument. ∗California Institute of Technology, Pasadena, CA, 91125, USA. E-mail: [email protected]. 1 Introduction A (proper) k-coloring of a graph G = (V; E) is an assignment σ : V ! f1; : : : ; kg such that neighboring vertices have different colors. We consider the problem of sampling (almost) uniformly at random from the space of all k-colorings of a graph.1 The problem has received considerable attention from the computer science community in recent years, e.g., [12, 17, 24, 26, 33, 44, 45].
    [Show full text]
  • Lecture 10: April 20, 2005 Perfect Graphs
    Re-revised notes 4-22-2005 10pm CMSC 27400-1/37200-1 Combinatorics and Probability Spring 2005 Lecture 10: April 20, 2005 Instructor: L´aszl´oBabai Scribe: Raghav Kulkarni TA SCHEDULE: TA sessions are held in Ryerson-255, Monday, Tuesday and Thursday 5:30{6:30pm. INSTRUCTOR'S EMAIL: [email protected] TA's EMAIL: [email protected], [email protected] IMPORTANT: Take-home test Friday, April 29, due Monday, May 2, before class. Perfect Graphs k 1=k Shannon capacity of a graph G is: Θ(G) := limk (α(G )) : !1 Exercise 10.1 Show that α(G) χ(G): (G is the complement of G:) ≤ Exercise 10.2 Show that χ(G H) χ(G)χ(H): · ≤ Exercise 10.3 Show that Θ(G) χ(G): ≤ So, α(G) Θ(G) χ(G): ≤ ≤ Definition: G is perfect if for all induced sugraphs H of G, α(H) = χ(H); i. e., the chromatic number is equal to the clique number. Theorem 10.4 (Lov´asz) G is perfect iff G is perfect. (This was open under the name \weak perfect graph conjecture.") Corollary 10.5 If G is perfect then Θ(G) = α(G) = χ(G): Exercise 10.6 (a) Kn is perfect. (b) All bipartite graphs are perfect. Exercise 10.7 Prove: If G is bipartite then G is perfect. Do not use Lov´asz'sTheorem (Theorem 10.4). 1 Lecture 10: April 20, 2005 2 The smallest imperfect (not perfect) graph is C5 : α(C5) = 2; χ(C5) = 3: For k 2, C2k+1 imperfect.
    [Show full text]
  • Arxiv:2106.16130V1 [Math.CO] 30 Jun 2021 in the Special Case of Cyclohedra, and by Cardinal, Langerman and P´Erez-Lantero [5] in the Special Case of Tree Associahedra
    LAGOS 2021 Bounds on the Diameter of Graph Associahedra Jean Cardinal1;4 Universit´elibre de Bruxelles (ULB) Lionel Pournin2;4 Mario Valencia-Pabon3;4 LIPN, Universit´eSorbonne Paris Nord Abstract Graph associahedra are generalized permutohedra arising as special cases of nestohedra and hypergraphic polytopes. The graph associahedron of a graph G encodes the combinatorics of search trees on G, defined recursively by a root r together with search trees on each of the connected components of G − r. In particular, the skeleton of the graph associahedron is the rotation graph of those search trees. We investigate the diameter of graph associahedra as a function of some graph parameters. It is known that the diameter of the associahedra of paths of length n, the classical associahedra, is 2n − 6 for a large enough n. We give a tight bound of Θ(m) on the diameter of trivially perfect graph associahedra on m edges. We consider the maximum diameter of associahedra of graphs on n vertices and of given tree-depth, treewidth, or pathwidth, and give lower and upper bounds as a function of these parameters. Finally, we prove that the maximum diameter of associahedra of graphs of pathwidth two is Θ(n log n). Keywords: generalized permutohedra, graph associahedra, tree-depth, treewidth, pathwidth 1 Introduction The vertices and edges of a polyhedron form a graph whose diameter (often referred to as the diameter of the polyhedron for short) is related to a number of computational problems. For instance, the question of how large the diameter of a polyhedron arises naturally from the study of linear programming and the simplex algorithm (see, for instance [27] and references therein).
    [Show full text]
  • A Special Planar Satisfiability Problem and a Consequence of Its NP-Completeness
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector DISCRETE APPLIED MATHEMATICS ELSEVIER Discrete Applied Mathematics 52 (1994) 233-252 A special planar satisfiability problem and a consequence of its NP-completeness Jan Kratochvil Charles University, Prague. Czech Republic Received 18 April 1989; revised 13 October 1992 Abstract We introduce a weaker but still NP-complete satisfiability problem to prove NP-complete- ness of recognizing several classes of intersection graphs of geometric objects in the plane, including grid intersection graphs and graphs of boxicity two. 1. Introduction Intersection graphs of different types of geometric objects in the plane gained more attention in recent years, mainly in connection with fast development of computa- tional geometry and computer science. Just to mention the most frequently cited classes, these are interval graphs, circular arc graphs, circle graphs, permutation graphs, etc. If we consider only connected objects (more precisely arc-connected sets) the most general class of intersection graphs are string graphs (intersection graphs of curves in the plane) which were originally introduced by Sinden [16] in the connection with thin film RC-circuits. String graphs were then considered by several authors [4,6,7]. In a recent paper [S], I have shown that recognition of string graphs is NP-hard and in fact, the method developed in [S] is refined in this note to obtain other NP- completeness results. It is striking that so far no finite algorithm for string graph recognition is known. It seems that relatively simpler classes will arise if we consider straight-line segments instead of curves and furthermore, if these segments are allowed to follow only a bounded number of directions.
    [Show full text]
  • A Study of the Upper Domatic Number of a Graph
    A STUDY OF THE UPPER DOMATIC NUMBER OF A GRAPH A Thesis by NICHOLAS PHILLIPS Submitted to the Graduate School at Appalachian State University in partial fulfillment of the requirements for the degree of MASTER OF COMPUTER SCIENCE May 2017 Department of Computer Science A STUDY OF THE UPPER DOMATIC NUMBER OF A GRAPH A Thesis by NICHOLAS PHILLIPS May 2017 APPROVED BY: Alice McRae, Ph.D Chairperson, Thesis Committee Raghuveer Mohan, Ph.D Member, Thesis Committee Rahman Tashakkori, Ph.D Member, Thesis Committee James Wilkes, Ph.D Chairperson, Department of Computer Science Max C. Poole, Ph.D Dean, Cratis D. Williams School of Graduate Studies Copyright by Nicholas Phillips c 2017 All Rights Reserved Abstract A STUDY OF THE UPPER DOMATIC NUMBER OF A GRAPH Nicholas Phillips B.S., Appalachian State University M.S., Appalachian State University Chairperson: Alice McRae Given a graph G we can partition the vertices of G into k disjoint sets represented as π = fV1;V2;:::;Vkg: We say a set A of vertices dominates another set of vertices, B, if for every vertex b 2 B there exists some vertex a 2 A adjacent to b. The upper domatic number of a graph G is written D(G) and defined as the maximum integer k such that G can be partitioned into k sets where for every pair of sets Vi;Vj 2 π either Vi dominates Vj or Vj dominates Vi or both. In this thesis we introduce the upper domatic number of a graph and provide various results on the properties of the upper domatic number, notably that D(G) ≤ ∆(G), as well as relating it to other well-studied graph properties such as the achromatic, pseudoachromatic, and transitive numbers.
    [Show full text]
  • Regular Clique Covers of Graphs
    Regular clique covers of graphs Dan Archdeacon Dept. of Math. and Stat. University of Vermont Burlington, VT 05405 USA [email protected] Dalibor Fronˇcek Dept. of Math. and Stat. Univ. of Minnesota Duluth Duluth, MN 55812-3000 USA and Technical Univ. Ostrava 70833Ostrava,CzechRepublic [email protected] Robert Jajcay Department of Mathematics Indiana State University Terre Haute, IN 47809 USA [email protected] Zdenˇek Ryj´aˇcek Department of Mathematics University of West Bohemia 306 14 Plzeˇn, Czech Republic [email protected] Jozef Sir´ˇ aˇn Department of Mathematics SvF Slovak Univ. of Technology 81368Bratislava,Slovakia [email protected] Australasian Journal of Combinatorics 27(2003), pp.307–316 Abstract A family of cliques in a graph G is said to be p-regular if any two cliques in the family intersect in exactly p vertices. A graph G is said to have a p-regular k-clique cover if there is a p-regular family H of k-cliques of G such that each edge of G belongs to a clique in H. Such a p-regular k- clique cover is separable if the complete subgraphs of order p that arise as intersections of pairs of distinct cliques of H are mutually vertex-disjoint. For any given integers p, k, ; p<k, we present bounds on the smallest order of a graph that has a p-regular k-clique cover with exactly cliques, and we describe all graphs that have p-regular separable k-clique covers with cliques. 1 Introduction An orthogonal double cover of a complete graph Kn by a graph H is a collection H of spanning subgraphs of Kn, all isomorphic to H, such that each edge of Kn is contained in exactly two subgraphs in H and any two distinct subgraphs in H share exactly one edge.
    [Show full text]
  • Minimal Acyclic Forbidden Minors for the Family of Graphs with Bounded Path-Width
    Discrete Mathematics 127 (1994) 293-304 293 North-Holland Minimal acyclic forbidden minors for the family of graphs with bounded path-width Atsushi Takahashi, Shuichi Ueno and Yoji Kajitani Department of Electrical and Electronic Engineering, Tokyo Institute of Technology. Tokyo, 152. Japan Received 27 November 1990 Revised 12 February 1992 Abstract The graphs with bounded path-width, introduced by Robertson and Seymour, and the graphs with bounded proper-path-width, introduced in this paper, are investigated. These families of graphs are minor-closed. We characterize the minimal acyclic forbidden minors for these families of graphs. We also give estimates for the numbers of minimal forbidden minors and for the numbers of vertices of the largest minimal forbidden minors for these families of graphs. 1. Introduction Graphs we consider are finite and undirected, but may have loops and multiple edges unless otherwise specified. A graph H is a minor of a graph G if H is isomorphic to a graph obtained from a subgraph of G by contracting edges. A family 9 of graphs is said to be minor-closed if the following condition holds: If GEB and H is a minor of G then H EF. A graph G is a minimal forbidden minor for a minor-closed family F of graphs if G#8 and any proper minor of G is in 9. Robertson and Seymour proved the following deep theorems. Theorem 1.1 (Robertson and Seymour [15]). Every minor-closed family of graphs has a finite number of minimal forbidden minors. Theorem 1.2 (Robertson and Seymour [14]).
    [Show full text]
  • Structural Parameterizations of Clique Coloring
    Structural Parameterizations of Clique Coloring Lars Jaffke University of Bergen, Norway lars.jaff[email protected] Paloma T. Lima University of Bergen, Norway [email protected] Geevarghese Philip Chennai Mathematical Institute, India UMI ReLaX, Chennai, India [email protected] Abstract A clique coloring of a graph is an assignment of colors to its vertices such that no maximal clique is monochromatic. We initiate the study of structural parameterizations of the Clique Coloring problem which asks whether a given graph has a clique coloring with q colors. For fixed q ≥ 2, we give an O?(qtw)-time algorithm when the input graph is given together with one of its tree decompositions of width tw. We complement this result with a matching lower bound under the Strong Exponential Time Hypothesis. We furthermore show that (when the number of colors is unbounded) Clique Coloring is XP parameterized by clique-width. 2012 ACM Subject Classification Mathematics of computing → Graph coloring Keywords and phrases clique coloring, treewidth, clique-width, structural parameterization, Strong Exponential Time Hypothesis Digital Object Identifier 10.4230/LIPIcs.MFCS.2020.49 Related Version A full version of this paper is available at https://arxiv.org/abs/2005.04733. Funding Lars Jaffke: Supported by the Trond Mohn Foundation (TMS). Acknowledgements The work was partially done while L. J. and P. T. L. were visiting Chennai Mathematical Institute. 1 Introduction Vertex coloring problems are central in algorithmic graph theory, and appear in many variants. One of these is Clique Coloring, which given a graph G and an integer k asks whether G has a clique coloring with k colors, i.e.
    [Show full text]
  • Clique-Width and Tree-Width of Sparse Graphs
    Clique-width and tree-width of sparse graphs Bruno Courcelle Labri, CNRS and Bordeaux University∗ 33405 Talence, France email: [email protected] June 10, 2015 Abstract Tree-width and clique-width are two important graph complexity mea- sures that serve as parameters in many fixed-parameter tractable (FPT) algorithms. The same classes of sparse graphs, in particular of planar graphs and of graphs of bounded degree have bounded tree-width and bounded clique-width. We prove that, for sparse graphs, clique-width is polynomially bounded in terms of tree-width. For planar and incidence graphs, we establish linear bounds. Our motivation is the construction of FPT algorithms based on automata that take as input the algebraic terms denoting graphs of bounded clique-width. These algorithms can check properties of graphs of bounded tree-width expressed by monadic second- order formulas written with edge set quantifications. We give an algorithm that transforms tree-decompositions into clique-width terms that match the proved upper-bounds. keywords: tree-width; clique-width; graph de- composition; sparse graph; incidence graph Introduction Tree-width and clique-width are important graph complexity measures that oc- cur as parameters in many fixed-parameter tractable (FPT) algorithms [7, 9, 11, 12, 14]. They are also important for the theory of graph structuring and for the description of graph classes by forbidden subgraphs, minors and vertex-minors. Both notions are based on certain hierarchical graph decompositions, and the associated FPT algorithms use dynamic programming on these decompositions. To be usable, they need input graphs of "small" tree-width or clique-width, that furthermore are given with the relevant decompositions.
    [Show full text]
  • Graphs with Small Intersection Dimension Patrick Lillis Advisor: Dr
    Graphs With Small Intersection Dimension Patrick Lillis Advisor: Dr. R. Sritharan Abstract An X-Graph Split Graphs The boxicity of a graph G, denoted as box(G), We prove that the split graph of a is defined as the minimum integer k such that G is an intersection graph of axis-parallel k- convex graph has boxicity at most 2, dimensional boxes. We examine some known using intersecting chain graphs. A properties of graphs with respect to boxicity, chain graph is always an interval graph, so a 2 chain graph as well as show boxicity results pertaining to Add edge to get B several classes of graphs, including split representation is equivalent to a 2- graphs, X-graphs, and powers of trees. We dimensional box representation. also propose efficient algorithms to produce We then prove than any X-Graph is the intersection of 2 convex graphs, A the relevant k-dimensional representations. Add edge to get A and B (see left). As any convex graph Introduction has boxicity at most 2, any X-graph The graph classes we study all have low then has boxicity at most 4. bounds on boxicity (e.g. a tree has boxicity at most 2), or some result pertaining to small Powers of Trees (left) A tree T, with Δ ≤ 3 boxicity (e.g. it is NP-complete to determine if We find a constant bound on the boxicity (below) An embedding of a split graph has boxicity at most 3). We of powers of trees with Δ at most 3; any T in a revised perfect study specific subclasses of these graph even power of such a tree has binary tree T’.
    [Show full text]
  • Parameterized Algorithms for Recognizing Monopolar and 2
    Parameterized Algorithms for Recognizing Monopolar and 2-Subcolorable Graphs∗ Iyad Kanj1, Christian Komusiewicz2, Manuel Sorge3, and Erik Jan van Leeuwen4 1School of Computing, DePaul University, Chicago, USA, [email protected] 2Institut für Informatik, Friedrich-Schiller-Universität Jena, Germany, [email protected] 3Institut für Softwaretechnik und Theoretische Informatik, TU Berlin, Germany, [email protected] 4Max-Planck-Institut für Informatik, Saarland Informatics Campus, Saarbrücken, Germany, [email protected] October 16, 2018 Abstract A graph G is a (ΠA, ΠB)-graph if V (G) can be bipartitioned into A and B such that G[A] satisfies property ΠA and G[B] satisfies property ΠB. The (ΠA, ΠB)-Recognition problem is to recognize whether a given graph is a (ΠA, ΠB )-graph. There are many (ΠA, ΠB)-Recognition problems, in- cluding the recognition problems for bipartite, split, and unipolar graphs. We present efficient algorithms for many cases of (ΠA, ΠB)-Recognition based on a technique which we dub inductive recognition. In particular, we give fixed-parameter algorithms for two NP-hard (ΠA, ΠB)-Recognition problems, Monopolar Recognition and 2-Subcoloring, parameter- ized by the number of maximal cliques in G[A]. We complement our algo- rithmic results with several hardness results for (ΠA, ΠB )-Recognition. arXiv:1702.04322v2 [cs.CC] 4 Jan 2018 1 Introduction A (ΠA, ΠB)-graph, for graph properties ΠA, ΠB , is a graph G = (V, E) for which V admits a partition into two sets A, B such that G[A] satisfies ΠA and G[B] satisfies ΠB. There is an abundance of (ΠA, ΠB )-graph classes, and important ones include bipartite graphs (which admit a partition into two independent ∗A preliminary version of this paper appeared in SWAT 2016, volume 53 of LIPIcs, pages 14:1–14:14.
    [Show full text]