Characterizations of Graphs Without Certain Small Minors by J. Zachary
Total Page:16
File Type:pdf, Size:1020Kb
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. -
The Complexity of Two Graph Orientation Problems
The Complexity of Two Graph Orientation Problems Nicole Eggemann∗ and Steven D. Noble† Department of Mathematical Sciences, Brunel University Kingston Lane Uxbridge UB8 3PH United Kingdom [email protected] and [email protected] November 8, 2018 Abstract We consider two orientation problems in a graph, namely the mini- mization of the sum of all the shortest path lengths and the minimization of the diameter. We show that it is NP-complete to decide whether a graph has an orientation such that the sum of all the shortest paths lengths is at most an integer specified in the input. The proof is a short reduction from a result of Chv´atal and Thomassen showing that it is NP-complete to decide whether a graph can be oriented so that its diameter is at most 2. In contrast, for each positive integer k, we describe a linear-time algo- rithm that decides for a planar graph G whether there is an orientation for which the diameter is at most k. We also extend this result from planar graphs to any minor-closed family F not containing all apex graphs. 1 Introduction We consider two problems concerned with orienting the edges of an undirected graph in order to minimize two global measures of distance in the resulting directed graph. Our work is motivated by an application involving the design of arXiv:1004.2478v1 [math.CO] 14 Apr 2010 urban light rail networks of the sort described in [22]. In such an application, a number of stations are to be linked with unidirectional track in order to minimize some function of the travel times between stations and subject to constraints on cost, engineering and planning. -
Arxiv:2104.09976V2 [Cs.CG] 2 Jun 2021
Finding Geometric Representations of Apex Graphs is NP-Hard Dibyayan Chakraborty* and Kshitij Gajjar† June 3, 2021 Abstract Planar graphs can be represented as intersection graphs of different types of geometric objects in the plane, e.g., circles (Koebe, 1936), line segments (Chalopin & Gonc¸alves, 2009), L-shapes (Gonc¸alves et al., 2018). For general graphs, however, even deciding whether such representations exist is often NP-hard. We consider apex graphs, i.e., graphs that can be made planar by removing one vertex from them. We show, somewhat surprisingly, that deciding whether geometric representations exist for apex graphs is NP-hard. More precisely, we show that for every positive integer k, recognizing every graph class G which satisfies PURE-2-DIR ⊆ G ⊆ 1-STRING is NP-hard, even when the input graphs are apex graphs of girth at least k. Here, PURE-2-DIR is the class of intersection graphs of axis-parallel line segments (where intersections are allowed only between horizontal and vertical segments) and 1-STRING is the class of intersection graphs of simple curves (where two curves share at most one point) in the plane. This partially answers an open question raised by Kratochv´ıl & Pergel (2007). Most known NP-hardness reductions for these problems are from variants of 3-SAT. We reduce from the PLANAR HAMILTONIAN PATH COMPLETION problem, which uses the more intuitive notion of planarity. As a result, our proof is much simpler and encapsulates several classes of geometric graphs. Keywords: Planar graphs, apex graphs, NP-hard, Hamiltonian path completion, recognition problems, geometric intersection graphs, 1-STRING, PURE-2-DIR. -
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]). -
Arxiv:1602.02002V1 [Math.CO] 5 Feb 2016 Dept
a The Structure of W4-Immersion-Free Graphs R´emy Belmonteb;c Archontia Giannopouloud;e Daniel Lokshtanovf ;g Dimitrios M. Thilikosh;i ;j Abstract We study the structure of graphs that do not contain the wheel on 5 vertices W4 as an immersion, and show that these graphs can be constructed via 1, 2, and 3-edge-sums from subcubic graphs and graphs of bounded treewidth. Keywords: Immersion Relation, Wheel, Treewidth, Edge-sums, Structural Theorems 1 Introduction A recurrent theme in structural graph theory is the study of specific properties that arise in graphs when excluding a fixed pattern. The notion of appearing as a pattern gives rise to various graph containment relations. Maybe the most famous example is the minor relation that has been widely studied, in particular since the fundamental results of Kuratowski and Wagner who proved that planar graphs are exactly those graphs that contain neither K5 nor K3;3 as a (topological) minor. A graph G contains a graph H as a topological minor if H can be obtained from G by a sequence of vertex deletions, edge deletions and replacing internally vertex-disjoint paths by single edges. Wagner also described the structure of the graphs that exclude K5 as a minor: he proved that K5- minor-free graphs can be constructed by \gluing" together (using so-called clique-sums) planar graphs and a specific graph on 8 vertices, called Wagner's graph. aEmails of authors: [email protected] [email protected], [email protected], [email protected] b arXiv:1602.02002v1 [math.CO] 5 Feb 2016 Dept. -
The Structure of Graphs Not Topologically Containing the Wagner Graph
The structure of graphs not topologically containing the Wagner graph John Maharry, Neil Robertson1 Department of Mathematics The Ohio State University Columbus, OH USA [email protected], [email protected] Abstract A structural characterization of graphs not containing the Wagner graph, also known as V8, is shown. The result was announced in 1979 by the second author, but until now a proof has not been published. Keywords: Wagner graph, V8 graph, Excluded-minor 1. Introduction Graphs in this paper are finite and have no loops or multiple edges. Given a graph G, one can obtain a contraction K of G by contracting pairwise dis- joint connected induced subgraphs to single (distinct) vertices where distinct vertices of K are adjacent if and only if there exists an edge of G with an end- vertex in each of the corresponding subgraphs of G. A graph M is a minor of a graph G when M is a contraction of a subgraph of G. We write H ≤m G when H is isomorphic to a minor M of G. Given an edge e 2 E(G) with endvertices x and y, we define the single-edge contraction to be the graph formed by contracting the edge e to a new vertex, call it z. An equivalent definition of minor inclusion of a graph is H ≤m G if and only if H is iso- morphic to a graph obtained by a series of single-edge contractions starting with a subgraph S of G. 1Research funded in part by King Abdulaziz University, 2011 and in part by SERC Visiting Fellowship Research Grant, University of London, 1985 Preprint submitted to Journal Combin. -
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. -
On Graph Crossing Number and Edge Planarization∗
On Graph Crossing Number and Edge Planarization∗ Julia Chuzhoyy Yury Makarychevz Anastasios Sidiropoulosx Abstract Given an n-vertex graph G, a drawing of G in the plane is a mapping of its vertices into points of the plane, and its edges into continuous curves, connecting the images of their endpoints. A crossing in such a drawing is a point where two such curves intersect. In the Minimum Crossing Number problem, the goal is to find a drawing of G with minimum number of crossings. The value of the optimal solution, denoted by OPT, is called the graph's crossing number. This is a very basic problem in topological graph theory, that has received a significant amount of attention, but is still poorly understood algorithmically. The best currently known efficient algorithm produces drawings with O(log2 n) · (n + OPT) crossings on bounded-degree graphs, while only a constant factor hardness of approximation is known. A closely related problem is Minimum Planarization, in which the goal is to remove a minimum-cardinality subset of edges from G, such that the remaining graph is planar. Our main technical result establishes the following connection between the two problems: if we are given a solution of cost k to the Minimum Planarization problem on graph G, then we can efficiently find a drawing of G with at most poly(d) · k · (k + OPT) crossings, where d is the maximum degree in G. This result implies an O(n · poly(d) · log3=2 n)-approximation for Minimum Crossing Number, as well as improved algorithms for special cases of the problem, such as, for example, k-apex and bounded-genus graphs. -
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’. -
Topics in Low Dimensional Computational Topology
THÈSE DE DOCTORAT présentée et soutenue publiquement le 7 juillet 2014 en vue de l’obtention du grade de Docteur de l’École normale supérieure Spécialité : Informatique par ARNAUD DE MESMAY Topics in Low-Dimensional Computational Topology Membres du jury : M. Frédéric CHAZAL (INRIA Saclay – Île de France ) rapporteur M. Éric COLIN DE VERDIÈRE (ENS Paris et CNRS) directeur de thèse M. Jeff ERICKSON (University of Illinois at Urbana-Champaign) rapporteur M. Cyril GAVOILLE (Université de Bordeaux) examinateur M. Pierre PANSU (Université Paris-Sud) examinateur M. Jorge RAMÍREZ-ALFONSÍN (Université Montpellier 2) examinateur Mme Monique TEILLAUD (INRIA Sophia-Antipolis – Méditerranée) examinatrice Autre rapporteur : M. Eric SEDGWICK (DePaul University) Unité mixte de recherche 8548 : Département d’Informatique de l’École normale supérieure École doctorale 386 : Sciences mathématiques de Paris Centre Numéro identifiant de la thèse : 70791 À Monsieur Lagarde, qui m’a donné l’envie d’apprendre. Résumé La topologie, c’est-à-dire l’étude qualitative des formes et des espaces, constitue un domaine classique des mathématiques depuis plus d’un siècle, mais il n’est apparu que récemment que pour de nombreuses applications, il est important de pouvoir calculer in- formatiquement les propriétés topologiques d’un objet. Ce point de vue est la base de la topologie algorithmique, un domaine très actif à l’interface des mathématiques et de l’in- formatique auquel ce travail se rattache. Les trois contributions de cette thèse concernent le développement et l’étude d’algorithmes topologiques pour calculer des décompositions et des déformations d’objets de basse dimension, comme des graphes, des surfaces ou des 3-variétés. -
The Alon-Tarsi Number of K5-Minor-Free Graphs
The Alon-Tarsi number of K5-minor-free graphs Toshiki Abea, Seog-Jin Kimb, Kenta Ozekia aGraduate school of Environmental and Information Science, Yokohama National University bDepartment of Mathematics Education, Konkuk university November 12, 2019 Abstract In this paper, we show the following three theorems. Let G be a K5-minor-free graph. Then Alon-Tarsi number of G is at most 5, there exists a matching M of G such that the Alon-Tarsi number of G−M is at most 4, and there exists a forest F such that the Alon-Tarsi number of G − E(F ) is at most 3. Key words. planar graph, defective-coloring, list coloring; Combinatorial Nullstellensatz; Alon-Tarsi number 1 Introductions In this paper, we only deal with finite and simple graphs. A d-defective coloring of G is a coloring c : V (G) ! N such that each color class induces a subgraph of maximum degree at most d. Especially, a 0-defective coloring is also called a proper coloring of G. A k-list assignment of a graph G is a mapping L which assigns to each vertex v of G a set L(v) of k permissible colors. Given a k-list assignment arXiv:1911.04067v1 [math.CO] 11 Nov 2019 L of G, a d-defective L-coloring of G is a d-defective coloring c such that c(v) 2 L(v) for every vertex v. We say that G is d-defective k-choosable if G has a d-defective L-coloring for every k-list assignment L. -
Linearity of Grid Minors in Treewidth with Applications Through Bidimensionality∗
Linearity of Grid Minors in Treewidth with Applications through Bidimensionality∗ Erik D. Demaine† MohammadTaghi Hajiaghayi† Abstract We prove that any H-minor-free graph, for a fixed graph H, of treewidth w has an Ω(w) × Ω(w) grid graph as a minor. Thus grid minors suffice to certify that H-minor-free graphs have large treewidth, up to constant factors. This strong relationship was previously known for the special cases of planar graphs and bounded-genus graphs, and is known not to hold for general graphs. The approach of this paper can be viewed more generally as a framework for extending combinatorial results on planar graphs to hold on H-minor-free graphs for any fixed H. Our result has many combinatorial consequences on bidimensionality theory, parameter-treewidth bounds, separator theorems, and bounded local treewidth; each of these combinatorial results has several algorithmic consequences including subexponential fixed-parameter algorithms and approximation algorithms. 1 Introduction The r × r grid graph1 is the canonical planar graph of treewidth Θ(r). In particular, an important result of Robertson, Seymour, and Thomas [38] is that every planar graph of treewidth w has an Ω(w) × Ω(w) grid graph as a minor. Thus every planar graph of large treewidth has a grid minor certifying that its treewidth is almost as large (up to constant factors). In their Graph Minor Theory, Robertson and Seymour [36] have generalized this result in some sense to any graph excluding a fixed minor: for every graph H and integer r > 0, there is an integer w > 0 such that every H-minor-free graph with treewidth at least w has an r × r grid graph as a minor.