DOCSLIB.ORG

Chromatic and Structural Properties of Sparse Graph Classes

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Chromatic and Structural Properties of Sparse Graph Classes Chromatic and Structural Properties of Sparse Graph Classes Daniel A. Quiroz Supervisor: Jan van den Heuvel A thesis presented for the degree of Doctor of Philosophy Department of Mathematics London School of Economics and Political Science 1 Declaration I certify that the thesis I have presented for examination for the MPhil/PhD degree of the London School of Economics and Political Science is solely my own work, with the following exceptions: • Chapter 2 is joint work with Jan van den Heuvel, Patrice Ossona de Mendez, Roman Rabinovich, and Sebastian Siebertz. It is based on published work [39]. • Chapter 3 is joint work with Jan van den Heuvel and Hal Kierstead. It is based on work accepted for publication [37]. • Chapter 5 is joint work with Jan van den Heuvel, Stephan Kreutzer, MichalPilipczuk, Roman Rabinovich, and Sebastian Siebertz. It is based on published work [38]. The copyright of this thesis rests with the author. Quotation from this thesis is permitted, provided that full acknowledgement is made. This thesis may not be reproduced without my prior written consent. I warrant that this authorisation does not, to the best of my belief, infringe the rights of any third party. 2 Abstract A graph is a mathematical structure consisting of a set of objects, which we call vertices, and links between pairs of objects, which we call edges. Graphs are used to model many problems arising in areas such as physics, sociology, and computer science. It is partially because of the simplicity of the definition of a graph that the concept can be so widely used. Nevertheless, when applied to a particular task, it is not always necessary to study graphs in all their generality, and it can be convenient to studying them from a restricted point of view. Restriction can come from requiring graphs to be embeddable in a particular surface, to admit certain types of decompositions, or by forbidding some substructure. A collection of graphs satisfying a fixed restriction forms a class of graphs. Many important classes of graphs satisfy that graphs belonging to it cannot have many edges in comparison with the number of vertices. Such is the case of classes with an upper bound on the maximum degree, and of classes excluding a fixed minor. Recently, the notion of classes with bounded expansion was introduced by Neˇsetˇriland Ossona de Mendez [62], as a generalisation of many important types of sparse classes. In this thesis we study chromatic and structural properties of classes with bounded expansion. We say a graph is k-degenerate if each of its subgraphs has a vertex of degree at most k. The degeneracy is thus a measure of the density of a graph. This notion has been generalised with the introduction, by Kierstead and Yang [47], of the generalised colouring numbers. These parameters have found applications in many areas of Graph Theory, including a char- acterisation of classes with bounded expansion. One of the main results of this thesis is a series of upper bounds on the generalised colouring numbers, for different sparse classes of graphs, such as classes excluding a fixed complete minor, classes with bounded genus and classes with bounded tree-width. We also study the following problem: for a fixed positive integer p, how many colours do we need to colour a given graph in such a way that vertices at distance exactly p get different colours? When considering classes with bounded expansion, we improve dramatically on the previously known upper bounds for the number of colours needed. Finally, we introduce a notion of addition of graph classes, and show various cases in which sparse classes can be summed so as to obtain another sparse class. 3 Acknowledgement \I would maintain that thanks are the highest form of thought, and that gratitude is happiness doubled by wonder." { Gilbert K. Chesterton It will soon be four years, since I started my \PhD studies". During this chapter of my life, I have been accompanied and sustained by many persons and, for this, I owe them immense gratitude. The fact that this chapter is summarised now, in the form of the present thesis, produces in me an indescribable mixture of feelings. I would like to thank my wife Maria, for never restraining her immense heart. Thank you for all your hard work, your patience and for accompanying me with so much care in everything I do. Although reading it may have a soporific effect on you, this thesis is as much yours as it is mine. Thanks also to my son Lucas { you and your mum are an oasis of sweetness and beauty. I would like to thank my parents for their love and sacrifice, and for introducing me to the beauty of mathematics and of life in general. To my brother Andr´es{ your are always with me despite the distance { and to my sister Isabel { it has been an immense blessing to have you near by during these years! A special thanks to my supervisor, Jan van den Heuvel. It has been an immense pleasure to get to know and work with such an amazing mathematician and great person. Thank you for your patience, your kindness, your sincere enthusiasm, for introducing me to the problems and theory which comprise this thesis, and for working with me on these. Thank you also for proofreading this thesis so many times. Thanks to all my other co-authors: Hal Kierstead, Stephan Kreutzer, Patrice Ossona de Mendez, Micha l Pilipczuk, Roman Rabinovich, and Sebastian Siebertz. Special thanks to Hal, Roman and Sebastian for stimulating discussions and for pointing to the right tools at the right time. Thanks to everyone in the Department of Mathematics. To all the academic staff, specially those in the Discrete Mathematics group. To my fellow PhD students, specially Ahmad, Barnaby, Bernhardt, Jos´eand Nicola. To the administrative staff, specially Becca and Kate. Thanks to the Department and the Financial Support Office for always stepping in when the going got tough. 4 Thanks to my examiners for giving my thesis such a careful reading, and for their com- ments and suggestions. Thanks to Mark, Meera, Becca, and all those who have welcomed us with their friendship in this country. Thanks also to all my friends and family, those who remain in Venezuela and those who have fled. Thanks to Danny, Ascenci´on,and all my grandparents for their constant prayers. Thanks to Saint Jude Thaddeus, patron of difficult and desperate causes, and to Saint Thomas Aquinas, patron of students, for their intercession. Thanks to the Most Blessed Virgin Mary, for her most sweet care and her constant inter- cession. Praise and thanks to the three persons of the Most Holy Trinity, for sustaining our exis- tence, and humanity through the Sacraments. Contents 1 Introduction 7 1.1 Subgraphs, minors and classes with bounded expansion . 9 1.2 Chromatic number, degeneracy and the generalised colouring numbers . 16 1.3 Graph powers and exact distance graphs . 20 1.4 Summary . 24 2 Generalised colouring numbers of graphs that exclude a fixed minor 27 2.1 Introduction . 27 2.2 Tree-width and generalised colouring numbers . 32 2.3 Flat decompositions . 35 2.4 The weak k-colouring numbers of graphs excluding a fixed complete minor . 39 2.5 The strong k-colouring numbers of graphs excluding a fixed minor . 41 2.6 The generalised colouring numbers of planar graphs . 46 2.6.1 The weak k-colouring number of planar graphs . 46 2.6.2 The strong k-colouring number of planar graphs . 48 3 Chromatic Numbers of Exact Distance Graphs 54 3.1 Introduction . 54 3.2 Exact distance graphs and generalised colouring numbers . 60 3.2.1 Proof of Theorem 3.1.7 . 60 3.2.2 Proof of Theorem 3.1.8 . 61 3.3 Explicit upper bounds on the chromatic number of exact distance graphs . 65 3.3.1 Graphs with bounded tree-width . 65 3.3.2 Graphs with excluded complete minors . 66 5 Contents 6 3.4 Lower bounds on the chromatic number of exact distance-3 graphs . 68 3.5 Lower bounds on the chromatic number of weak distance-p graphs . 70 4 Colouring exact distance graphs of chordal graphs 74 4.1 Introduction . 74 4.2 Level partitions of chordal graphs . 78 4.3 Adjacent-cliques graphs . 80 4.4 Exact distance graphs of chordal graphs . 81 4.5 A remark on graphs with bounded genus . 83 5 When are sparse graph classes closed under addition? 86 5.1 Introduction . 86 5.1.1 Adding edges, graphs, and classes . 86 5.1.2 k-admissibility and uniform orderings . 90 5.2 Classes with bounded tree-width plus the class of paths . 92 5.3 Page number and adding minor closed classes . 95 5.4 Adding spanning trees of small degree while preserving k-admissibility . 96 5.5 An application of Theorem 5.1.11 . 103 5.5.1 First-order logic . 103 5.5.2 Model-checking for successor-invariant first-order logic . 104 6 Open problems and further directions 108 6.1 Chromatic number of exact distance graphs . 108 6.1.1 Mind the gap . 108 6.1.2 Obtaining upper bounds for more graph classes . 109 6.1.3 Considering multiple odd distances . 111 6.2 Generalised colouring numbers . 112 6.3 Adding graph classes . 113 Bibliography 115 Chapter 1 Introduction In the same year as the Great Fire of London, a young Leibniz presented, as part of his doctoral thesis, his Dissertatio de arte combinatoria [58]. While the present thesis shares with that of Leibniz that it deals with problems which fall within the broad area of Combinatorics, we cannot claim, as Leibniz did in the front page of his dissertatio, that we \prove the existence of God with complete mathematical certainty".
Load more

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]
  • K-Outerplanar Graphs, Planar Duality, and Low Stretch Spanning Trees
    k-Outerplanar Graphs, Planar Duality, and Low Stretch Spanning Trees Yuval Emek∗ Abstract Low distortion probabilistic embedding of graphs into approximating trees is an extensively studied topic. Of particular interest is the case where the approximating trees are required to be (subgraph) spanning trees of the given graph (or multigraph), in which case, the focus is usually on the equivalent problem of finding a (single) tree with low average stretch. Among the classes of graphs that received special attention in this context are k-outerplanar graphs (for a fixed k): Chekuri, Gupta, Newman, Rabinovich, and Sinclair show that every k-outerplanar graph can be probabilistically embedded into approximating trees with constant distortion regardless of the size of the graph. The approximating trees in the technique of Chekuri et al. are not necessarily spanning trees, though. In this paper it is shown that every k-outerplanar multigraph admits a spanning tree with constant average stretch. This immediately translates to a constant bound on the distortion of probabilistically embedding k-outerplanar graphs into their spanning trees. Moreover, an efficient randomized algorithm is presented for constructing such a low average stretch spanning tree. This algorithm relies on some new insights regarding the connection between low average stretch spanning trees and planar duality. Keywords: planar graphs, outerplanarity, average stretch, planar dual. ∗Microsoft Israel R&D Center, Herzelia, Israel and School of Electrical Engineering, Tel Aviv University, Tel Aviv, Israel. E-mail: [email protected]. Supported in part by the Israel Science Foundation, grants 221/07 and 664/05. 1 Introduction The problem.
    [Show full text]
  • Packing and Covering Dense Graphs
    Packing and Covering Dense Graphs Noga Alon ∗ Yair Caro y Raphael Yuster z Abstract Let d be a positive integer. A graph G is called d-divisible if d divides the degree of each vertex of G. G is called nowhere d-divisible if no degree of a vertex of G is divisible by d. For a graph H, gcd(H) denotes the greatest common divisor of the degrees of the vertices of H. The H-packing number of G is the maximum number of pairwise edge disjoint copies of H in G. The H-covering number of G is the minimum number of copies of H in G whose union covers all edges of G. Our main result is the following: For every fixed graph H with gcd(H) = d, there exist positive constants (H) and N(H) such that if G is a graph with at least N(H) vertices and has minimum degree at least (1 − (H)) G , then the H-packing number of G and the H-covering number of G can be computed j j in polynomial time. Furthermore, if G is either d-divisible or nowhere d-divisible, then there is a closed formula for the H-packing number of G, and the H-covering number of G. Further extensions and solutions to related problems are also given. 1 Introduction All graphs considered here are finite, undirected and simple, unless otherwise noted. For the standard graph-theoretic terminology the reader is referred to [1]. Let H be a graph without isolated vertices. An H-covering of a graph G is a set L = G1;:::;Gs of subgraphs of G, where f g each subgraph is isomorphic to H, and every edge of G appears in at least one member of L.
    [Show full text]
  • Average Degree Conditions Forcing a Minor∗
    Average degree conditions forcing a minor∗ Daniel J. Harvey David R. Wood School of Mathematical Sciences Monash University Melbourne, Australia [email protected], [email protected] Submitted: Jun 11, 2015; Accepted: Feb 22, 2016; Published: Mar 4, 2016 Mathematics Subject Classifications: 05C83 Abstract Mader first proved that high average degree forces a given graph as a minor. Often motivated by Hadwiger's Conjecture, much research has focused on the av- erage degree required to force a complete graph as a minor. Subsequently, various authors have considered the average degree required to force an arbitrary graph H as a minor. Here, we strengthen (under certain conditions) a recent result by Reed and Wood, giving better bounds on the average degree required to force an H-minor when H is a sparse graph with many high degree vertices. This solves an open problem of Reed and Wood, and also generalises (to within a constant factor) known results when H is an unbalanced complete bipartite graph. 1 Introduction Mader [13, 14] first proved that high average degree forces a given graph as a minor1. In particular, Mader [13, 14] proved that the following function is well-defined, where d(G) denotes the average degree of a graph G: f(H) := inffD 2 R : every graph G with d(G) > D contains an H-minorg: Often motivated by Hadwiger's Conjecture (see [18]), much research has focused on f(Kt) where Kt is the complete graph on t vertices. For 3 6 t 6 9, exact bounds on the number of edges due to Mader [14], Jørgensen [6], and Song and Thomas [19] implyp that f(Kt) = 2t−4.
    [Show full text]
  • Embedding Trees in Dense Graphs
    Embedding trees in dense graphs Václav Rozhoň February 14, 2019 joint work with T. Klimo¹ová and D. Piguet Václav Rozhoň Embedding trees in dense graphs February 14, 2019 1 / 11 Alternative definition: substructures in graphs Extremal graph theory Definition (Extremal graph theory, Bollobás 1976) Extremal graph theory, in its strictest sense, is a branch of graph theory developed and loved by Hungarians. Václav Rozhoň Embedding trees in dense graphs February 14, 2019 2 / 11 Extremal graph theory Definition (Extremal graph theory, Bollobás 1976) Extremal graph theory, in its strictest sense, is a branch of graph theory developed and loved by Hungarians. Alternative definition: substructures in graphs Václav Rozhoň Embedding trees in dense graphs February 14, 2019 2 / 11 Density of edges vs. density of triangles (Razborov 2008) (image from the book of Lovász) Extremal graph theory Theorem (Mantel 1907) Graph G has n vertices. If G has more than n2=4 edges then it contains a triangle. Generalisations? Václav Rozhoň Embedding trees in dense graphs February 14, 2019 3 / 11 Extremal graph theory Theorem (Mantel 1907) Graph G has n vertices. If G has more than n2=4 edges then it contains a triangle. Generalisations? Density of edges vs. density of triangles (Razborov 2008) (image from the book of Lovász) Václav Rozhoň Embedding trees in dense graphs February 14, 2019 3 / 11 3=2 The answer for C4 is of order n , lower bound via finite projective planes. What is the answer for trees? Extremal graph theory Theorem (Mantel 1907) Graph G has n vertices. If G has more than n2=4 edges then it contains a triangle.
    [Show full text]
  • Fractional Arboricity, Strength, and Principal Partitions in Graphs and Matroids
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Discrete Applied Mathematics 40 (1992) 285-302 285 North-Holland Fractional arboricity, strength, and principal partitions in graphs and matroids Paul A. Catlin Wayne State University, Detroit, MI 48202. USA Jerrold W. Grossman Oakland University, Rochester, MI 48309, USA Arthur M. Hobbs* Texas A & M University, College Station, TX 77843, USA Hong-Jian Lai** West Virginia University, Morgantown, WV 26506, USA Received 15 February 1989 Revised 15 November 1989 Abstract Catlin, P.A., J.W. Grossman, A.M. Hobbs and H.-J. Lai, Fractional arboricity, strength, and principal partitions in graphs and matroids, Discrete Applied Mathematics 40 (1992) 285-302. In a 1983 paper, D. Gusfield introduced a function which is called (following W.H. Cunningham, 1985) the strength of a graph or matroid. In terms of a graph G with edge set E(G) and at least one link, this is the function v(G) = mmFr9c) IFl/(w(G F) - w(G)), where the minimum is taken over all subsets F of E(G) such that w(G F), the number of components of G - F, is at least w(G) + 1. In a 1986 paper, C. Payan introduced thefractional arboricity of a graph or matroid. In terms of a graph G with edge set E(G) and at least one link this function is y(G) = maxHrC lE(H)I/(l V(H)1 -w(H)), where H runs over Correspondence to: Professor A.M. Hobbs, Department of Mathematics, Texas A & M University, College Station, TX 77843, USA.
    [Show full text]
  • Characterizations of Restricted Pairs of Planar Graphs Allowing Simultaneous Embedding with Fixed Edges
    Characterizations of Restricted Pairs of Planar Graphs Allowing Simultaneous Embedding with Fixed Edges J. Joseph Fowler1, Michael J¨unger2, Stephen Kobourov1, and Michael Schulz2 1 University of Arizona, USA {jfowler,kobourov}@cs.arizona.edu ⋆ 2 University of Cologne, Germany {mjuenger,schulz}@informatik.uni-koeln.de ⋆⋆ Abstract. A set of planar graphs share a simultaneous embedding if they can be drawn on the same vertex set V in the Euclidean plane without crossings between edges of the same graph. Fixed edges are common edges between graphs that share the same simple curve in the simultaneous drawing. Determining in polynomial time which pairs of graphs share a simultaneous embedding with fixed edges (SEFE) has been open. We give a necessary and sufficient condition for when a pair of graphs whose union is homeomorphic to K5 or K3,3 can have an SEFE. This allows us to determine which (outer)planar graphs always an SEFE with any other (outer)planar graphs. In both cases, we provide efficient al- gorithms to compute the simultaneous drawings. Finally, we provide an linear-time decision algorithm for deciding whether a pair of biconnected outerplanar graphs has an SEFE. 1 Introduction In many practical applications including the visualization of large graphs and very-large-scale integration (VLSI) of circuits on the same chip, edge crossings are undesirable. A single vertex set can be used with multiple edge sets that each correspond to different edge colors or circuit layers. While the pairwise union of all edge sets may be nonplanar, a planar drawing of each layer may be possible, as crossings between edges of distinct edge sets are permitted.
    [Show full text]
  • Limits of Graph Sequences
    Snapshots of modern mathematics № 10/2019 from Oberwolfach Limits of graph sequences Tereza Klimošová Graphs are simple mathematical structures used to model a wide variety of real-life objects. With the rise of computers, the size of the graphs used for these models has grown enormously. The need to ef- ficiently represent and study properties of extremely large graphs led to the development of the theory of graph limits. 1 Graphs A graph is one of the simplest mathematical structures. It consists of a set of vertices (which we depict as points) and edges between the pairs of vertices (depicted as line segments); several examples are shown in Figure 1. Many real-life settings can be modeled using graphs: for example, social and computer networks, road and other transport network maps, and the structure of molecules (see Figure 2a and 2b). These models are widely used in computer science, for instance for route planning algorithms or by Google’s PageRank algorithm, which generates search results. What these models all have in common is the representation of a set of several objects (the vertices) and relations or connections between pairs of those objects (the edges). In recent years, with the increasing use of computers in all areas of life, it has become necessary to handle large volumes of data. To represent such data (for example, connections between internet servers) in turn requires graphs with very many vertices and an even larger number of edges. In such situations, traditional algorithms for processing graphs are often impractical, or even impossible, because the computations take too much time and/or computational 1 Figure 1: Examples of graphs.
    [Show full text]
  • The Hadwiger Number, Chordal Graphs and Ab-Perfection Arxiv
    The Hadwiger number, chordal graphs and ab-perfection∗ Christian Rubio-Montiel [email protected] Instituto de Matem´aticas, Universidad Nacional Aut´onomade M´exico, 04510, Mexico City, Mexico Department of Algebra, Comenius University, 84248, Bratislava, Slovakia October 2, 2018 Abstract A graph is chordal if every induced cycle has three vertices. The Hadwiger number is the order of the largest complete minor of a graph. We characterize the chordal graphs in terms of the Hadwiger number and we also characterize the families of graphs such that for each induced subgraph H, (1) the Hadwiger number of H is equal to the maximum clique order of H, (2) the Hadwiger number of H is equal to the achromatic number of H, (3) the b-chromatic number is equal to the pseudoachromatic number, (4) the pseudo-b-chromatic number is equal to the pseudoachromatic number, (5) the arXiv:1701.08417v1 [math.CO] 29 Jan 2017 Hadwiger number of H is equal to the Grundy number of H, and (6) the b-chromatic number is equal to the pseudo-Grundy number. Keywords: Complete colorings, perfect graphs, forbidden graphs characterization. 2010 Mathematics Subject Classification: 05C17; 05C15; 05C83. ∗Research partially supported by CONACyT-Mexico, Grants 178395, 166306; PAPIIT-Mexico, Grant IN104915; a Postdoctoral fellowship of CONACyT-Mexico; and the National scholarship programme of the Slovak republic. 1 1 Introduction Let G be a finite graph. A k-coloring of G is a surjective function & that assigns a number from the set [k] := 1; : : : ; k to each vertex of G.A k-coloring & of G is called proper if any two adjacent verticesf haveg different colors, and & is called complete if for each pair of different colors i; j [k] there exists an edge xy E(G) such that x &−1(i) and y &−1(j).
    [Show full text]
  • Minor-Closed Graph Classes with Bounded Layered Pathwidth
    Minor-Closed Graph Classes with Bounded Layered Pathwidth Vida Dujmovi´c z David Eppstein y Gwena¨elJoret x Pat Morin ∗ David R. Wood { 19th October 2018; revised 4th June 2020 Abstract We prove that a minor-closed class of graphs has bounded layered pathwidth if and only if some apex-forest is not in the class. This generalises a theorem of Robertson and Seymour, which says that a minor-closed class of graphs has bounded pathwidth if and only if some forest is not in the class. 1 Introduction Pathwidth and treewidth are graph parameters that respectively measure how similar a given graph is to a path or a tree. These parameters are of fundamental importance in structural graph theory, especially in Roberston and Seymour's graph minors series. They also have numerous applications in algorithmic graph theory. Indeed, many NP-complete problems are solvable in polynomial time on graphs of bounded treewidth [23]. Recently, Dujmovi´c,Morin, and Wood [19] introduced the notion of layered treewidth. Loosely speaking, a graph has bounded layered treewidth if it has a tree decomposition and a layering such that each bag of the tree decomposition contains a bounded number of vertices in each layer (defined formally below). This definition is interesting since several natural graph classes, such as planar graphs, that have unbounded treewidth have bounded layered treewidth. Bannister, Devanny, Dujmovi´c,Eppstein, and Wood [1] introduced layered pathwidth, which is analogous to layered treewidth where the tree decomposition is arXiv:1810.08314v2 [math.CO] 4 Jun 2020 required to be a path decomposition.
    [Show full text]
  • Some Remarks on Even-Hole-Free Graphs
    Some remarks on even-hole-free graphs Zi-Xia Song∗ Department of Mathematics, University of Central Florida, Orlando, FL 32816, USA Abstract A vertex of a graph is bisimplicial if the set of its neighbors is the union of two cliques; a graph is quasi-line if every vertex is bisimplicial. A recent result of Chudnovsky and Seymour asserts that every non-empty even-hole-free graph has a bisimplicial vertex. Both Hadwiger’s conjecture and the Erd˝os-Lov´asz Tihany conjecture have been shown to be true for quasi-line graphs, but are open for even-hole-free graphs. In this note, we prove that for all k ≥ 7, every even-hole-free graph with no Kk minor is (2k − 5)-colorable; every even-hole-free graph G with ω(G) < χ(G) = s + t − 1 satisfies the Erd˝os-Lov´asz Tihany conjecture provided that t ≥ s>χ(G)/3. Furthermore, we prove that every 9-chromatic graph G with ω(G) ≤ 8 has a K4 ∪ K6 minor. Our proofs rely heavily on the structural result of Chudnovsky and Seymour on even-hole-free graphs. 1 Introduction All graphs in this paper are finite and simple. For a graph G, we use V (G) to denote the vertex set, E(G) the edge set, |G| the number of vertices, e(G) the number of edges, δ(G) the minimum degree, ∆(G) the maximum degree, α(G) the independence number, ω(G) the clique number and χ(G) the chromatic number. A graph H is a minor of a graph G if H can be obtained from a subgraph of G by contracting edges.
    [Show full text]
  • The $ K $-Strong Induced Arboricity of a Graph
    The k-strong induced arboricity of a graph Maria Axenovich, Daniel Gon¸calves, Jonathan Rollin, Torsten Ueckerdt June 1, 2017 Abstract The induced arboricity of a graph G is the smallest number of induced forests covering the edges of G. This is a well-defined parameter bounded from above by the number of edges of G when each forest in a cover consists of exactly one edge. Not all edges of a graph necessarily belong to induced forests with larger components. For k > 1, we call an edge k-valid if it is contained in an induced tree on k edges. The k-strong induced arboricity of G, denoted by fk(G), is the smallest number of induced forests with components of sizes at least k that cover all k-valid edges in G. This parameter is highly non-monotone. However, we prove that for any proper minor-closed graph class C, and more gener- ally for any class of bounded expansion, and any k > 1, the maximum value of fk(G) for G 2 C is bounded from above by a constant depending only on C and k. This implies that the adjacent closed vertex-distinguishing number of graphs from a class of bounded expansion is bounded by a constant depending only on the class. We further t+1 d prove that f2(G) 6 3 3 for any graph G of tree-width t and that fk(G) 6 (2k) for any graph of tree-depth d. In addition, we prove that f2(G) 6 310 when G is planar.
    [Show full text]