Showing 1–50 of 55 results for author: Dvorák, Z

Maximum edge colouring problem on graphs that exclude a fixed minor

Authors: Zdeněk Dvořák, Abhiruk Lahiri

Abstract: The maximum edge colouring problem considers the maximum colour assignment to edges of a graph under the condition that every vertex has at most a fixed number of distinct coloured edges incident on it. If that fixed number is $q$ we call the colouring a maximum edge $q$-colouring. The problem models a non-overlap** frequency channel assignment question on wireless networks. The problem has also… ▽ More The maximum edge colouring problem considers the maximum colour assignment to edges of a graph under the condition that every vertex has at most a fixed number of distinct coloured edges incident on it. If that fixed number is $q$ we call the colouring a maximum edge $q$-colouring. The problem models a non-overlap** frequency channel assignment question on wireless networks. The problem has also been studied from a purely combinatorial perspective in the graph theory literature. We study the question when the input graph is sparse. We show the problem remains $NP$-hard on $1$-apex graphs. We also show that there exists $PTAS$ for the problem on minor-free graphs. The $PTAS$ is based on a recently developed Baker game technique for proper minor-closed classes, thus avoiding the need to use any involved structural results. This further pushes the Baker game technique beyond the problems expressible in the first-order logic. △ Less

Submitted 5 July, 2023; originally announced July 2023.

Comments: 10 pages, to appear in the proceedings of WG 2023

MSC Class: 05C85 ACM Class: F.2.2

Efficient Approximation for Subgraph-Hitting Problems in Sparse Graphs and Geometric Intersection Graphs

Authors: Zdeněk Dvořák, Daniel Lokshtanov, Fahad Panolan, Saket Saurabh, Jie Xue, Meirav Zehavi

Abstract: We investigate a fundamental vertex-deletion problem called (Induced) Subgraph Hitting: given a graph $G$ and a set $\mathcal{F}$ of forbidden graphs, the goal is to compute a minimum-sized set $S$ of vertices of $G$ such that $G-S$ does not contain any graph in $\mathcal{F}$ as an (induced) subgraph. This is a generic problem that encompasses many well-known problems that were extensively studied… ▽ More We investigate a fundamental vertex-deletion problem called (Induced) Subgraph Hitting: given a graph $G$ and a set $\mathcal{F}$ of forbidden graphs, the goal is to compute a minimum-sized set $S$ of vertices of $G$ such that $G-S$ does not contain any graph in $\mathcal{F}$ as an (induced) subgraph. This is a generic problem that encompasses many well-known problems that were extensively studied on their own, particularly (but not only) from the perspectives of both approximation and parameterization. In this paper, we study the approximability of the problem on a large variety of graph classes. Our first result is a linear-time $(1+\varepsilon)$-approximation reduction from (Induced) Subgraph Hitting on any graph class $\mathcal{G}$ of bounded expansion to the same problem on bounded degree graphs within $\mathcal{G}$. This directly yields linear-size $(1+\varepsilon)$-approximation lossy kernels for the problems on any bounded-expansion graph classes. Our second result is a linear-time approximation scheme for (Induced) Subgraph Hitting on any graph class $\mathcal{G}$ of polynomial expansion, based on the local-search framework of Har-Peled and Quanrud [SICOMP 2017]. This approximation scheme can be applied to a more general family of problems that aim to hit all subgraphs satisfying a certain property $π$ that is efficiently testable and has bounded diameter. Both of our results have applications to Subgraph Hitting (not induced) on wide classes of geometric intersection graphs, resulting in linear-size lossy kernels and (near-)linear time approximation schemes for the problem. △ Less

Submitted 3 December, 2023; v1 submitted 26 April, 2023; originally announced April 2023.

Comments: 52 pages, subsuming the article arXiv:2304.12789

A note on local search for hitting sets

Authors: Zdeněk Dvořák

Abstract: Let $π$ be a property of pairs $(G,Z)$, where $G$ is a graph and $Z\subseteq V(G)$. In the \emph{minimum $π$-hitting set problem}, given an input graph $G$, we want to find a smallest set $X\subseteq V(G)$ such that $X$ intersects every set $Z\subseteq V(G)$ such that $(G,Z)$ has the property $π$. An important special case is that $π$ is satisfied by $(G,Z)$ exactly if $G[Z]$ is isomorphic to one… ▽ More Let $π$ be a property of pairs $(G,Z)$, where $G$ is a graph and $Z\subseteq V(G)$. In the \emph{minimum $π$-hitting set problem}, given an input graph $G$, we want to find a smallest set $X\subseteq V(G)$ such that $X$ intersects every set $Z\subseteq V(G)$ such that $(G,Z)$ has the property $π$. An important special case is that $π$ is satisfied by $(G,Z)$ exactly if $G[Z]$ is isomorphic to one of graphs in a finite set $\mathcal{F}$; in this \emph{minimum $\mathcal{F}$-hitting set} problem, $X$ needs to hit all appearances of the graphs from $\mathcal{F}$ as induced subgraphs of $G$. In this note, we show that the local search argument of Har-Peled and Quanrud gives a PTAS for the minimum $\mathcal{F}$-hitting set problem for graphs from any class with polynomial expansion. Moreover, we argue that the local search argument applies more generally to all properties $π$ such that one can test whether $X$ is a $π$-hitting set in polynomial time and $G[Z]$ has bounded diameter whenever $(G,Z)$ satisfies $π$; this is a common generalization of the minimum $\mathcal{F}$-hitting set problem and minimum $r$-dominating set problem. Finaly, we note that the analogous claim also holds for the dual problem of finding the maximum number of disjoint sets $Z$ such that $(G,Z)$ has the property $π$; this generalizes maximum $F$-matching, maximum induced $F$-matching, and maximum $r$-independent set problems. △ Less

Submitted 25 April, 2023; originally announced April 2023.

Comments: 12 pages, no figures

MSC Class: 05C85

Embedded graph 3-coloring and flows

Authors: Caroline Bang, Zdeněk Dvořák, Emily Heath, Bernard Lidický

Abstract: A graph drawn in a surface is a near-quadrangulation if the sum of the lengths of the faces different from 4-faces is bounded by a fixed constant. We leverage duality between colorings and flows to design an efficient algorithm for 3-precoloring-extension in near-quadrangulations of orientable surfaces. Furthermore, we use this duality to strengthen previously known sufficient conditions for 3-col… ▽ More A graph drawn in a surface is a near-quadrangulation if the sum of the lengths of the faces different from 4-faces is bounded by a fixed constant. We leverage duality between colorings and flows to design an efficient algorithm for 3-precoloring-extension in near-quadrangulations of orientable surfaces. Furthermore, we use this duality to strengthen previously known sufficient conditions for 3-colorability of triangle-free graphs drawn in orientable surfaces. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Comments: 53 pages, 15 figures

An efficient implementation and a strengthening of Alon-Tarsi list coloring method

Authors: Zdeněk Dvořák

Abstract: As one of the first applications of the polynomial method in combinatorics, Alon and Tarsi gave a way to prove that a graph is choosable (colorable from any lists of prescribed size). We describe an efficient way to implement this approach, making it feasible to test choosability of graphs with around 70 edges. We also show that in case that Alon-Tarsi method fails to show that the graph is choosa… ▽ More As one of the first applications of the polynomial method in combinatorics, Alon and Tarsi gave a way to prove that a graph is choosable (colorable from any lists of prescribed size). We describe an efficient way to implement this approach, making it feasible to test choosability of graphs with around 70 edges. We also show that in case that Alon-Tarsi method fails to show that the graph is choosable, further coefficients of the graph polynomial provide constraints on the list assignments from which the graph cannot be colored. This often enables us to confirm colorability from a given list assignment, or to decide choosability by testing just a few list assignments. The implementation can be found at https://gitlab.mff.cuni.cz/dvorz9am/alon-tarsi-method. △ Less

Submitted 16 January, 2023; originally announced January 2023.

Comments: 21 pages, no figures

MSC Class: 05C15

Product structure of graph classes with strongly sublinear separators

Authors: Zdeněk Dvořák, David R. Wood

Abstract: We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more precise result, we show that if any hereditary graph class $\mathcal{G}$ admits $O(n^{1-ε})$ separators, then for any fixed $δ\in(0,ε)$ every $n$-vertex graph in… ▽ More We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more precise result, we show that if any hereditary graph class $\mathcal{G}$ admits $O(n^{1-ε})$ separators, then for any fixed $δ\in(0,ε)$ every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-depth and a complete graph of size $O(n^{1-ε+δ})$. This result holds with $δ=0$ if we allow $H$ to have tree-depth $O(\log\log n)$. Moreover, using extensions of classical isoperimetric inequalties for grids graphs, we show the dependence on $δ$ in our results and the above $\text{td}(H)\in O(\log\log n)$ bound are both best possible. We prove that $n$-vertex graphs of bounded treewidth are subgraphs of the product of a graph with tree-depth $t$ and a complete graph of size $O(n^{1/t})$, which is best possible. Finally, we investigate the conjecture that for any hereditary graph class $\mathcal{G}$ that admits $O(n^{1-ε})$ separators, every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-width and a complete graph of size $O(n^{1-ε})$. We prove this for various classes $\mathcal{G}$ of interest. △ Less

Submitted 27 September, 2023; v1 submitted 22 August, 2022; originally announced August 2022.

Comments: v2: added bad news subsection; v3: removed section "Polynomial Expansion Classes" which had an error, added section "Lower Bounds", and added a new author; v4: minor revisions and corrections;

Square roots of nearly planar graphs

Authors: Zdeněk Dvořák, Benjamin Moore, Abhiruk Lahiri

Abstract: We prove that it is NP-hard to decide whether a graph is the square of a 6-apex graph. This shows that the square root problem is not tractable for squares of sparse graphs (or even graphs from proper minor-closed classes). We prove that it is NP-hard to decide whether a graph is the square of a 6-apex graph. This shows that the square root problem is not tractable for squares of sparse graphs (or even graphs from proper minor-closed classes). △ Less

Submitted 13 July, 2023; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: 6 pages, no figures; v2: Corrected an author name

MSC Class: 05C12

Representation of short distances in structurally sparse graphs

Authors: Zdeněk Dvořák

Abstract: A partial orientation $\vec{H}$ of a graph $G$ is a weak $r$-guidance system if for any two vertices at distance at most $r$ in $G$, there exists a shortest path $P$ between them such that $\vec{H}$ directs all but one edge in $P$ towards this edge. In case $\vec{H}$ has bounded maximum outdegree, this gives an efficient representation of shortest paths of length at most $r$ in $G$. We show that g… ▽ More A partial orientation $\vec{H}$ of a graph $G$ is a weak $r$-guidance system if for any two vertices at distance at most $r$ in $G$, there exists a shortest path $P$ between them such that $\vec{H}$ directs all but one edge in $P$ towards this edge. In case $\vec{H}$ has bounded maximum outdegree, this gives an efficient representation of shortest paths of length at most $r$ in $G$. We show that graphs from many natural graph classes admit such weak guidance systems, and study the algorithmic aspects of this notion. △ Less

Submitted 17 October, 2022; v1 submitted 19 April, 2022; originally announced April 2022.

Comments: 33 pages, no figures; v3: Added an improved approximation subject to VC-dimension constraints and an application for the approximation of distance domination and independence number

MSC Class: 05C12

On Comparable Box Dimension

Authors: Zdenek Dvorák, Daniel Goncalves, Abhiruk Lahiri, Jane Tan, Torsten Ueckerdt

Abstract: Two boxes in $\mathbb{R}^d$ are comparable if one of them is a subset of a translation of the other one. The comparable box dimension of a graph $G$ is the minimum integer $d$ such that $G$ can be represented as a touching graph of comparable axis-aligned boxes in $\mathbb{R}^d$. We show that proper minor-closed classes have bounded comparable box dimensions and explore further properties of this… ▽ More Two boxes in $\mathbb{R}^d$ are comparable if one of them is a subset of a translation of the other one. The comparable box dimension of a graph $G$ is the minimum integer $d$ such that $G$ can be represented as a touching graph of comparable axis-aligned boxes in $\mathbb{R}^d$. We show that proper minor-closed classes have bounded comparable box dimensions and explore further properties of this notion. △ Less

Submitted 15 March, 2022; originally announced March 2022.

Comments: 23 pages, 1 figure, accepted for presentation at SoCG 2022

MSC Class: 05C85 ACM Class: F.2.2

Approximation schemes for bounded distance problems on fractionally treewidth-fragile graphs

Authors: Zdeněk Dvořák, Abhiruk Lahiri

Abstract: We give polynomial-time approximation schemes for monotone maximization problems expressible in terms of distances (up to a fixed upper bound) and efficiently solvable in graphs of bounded treewidth. These schemes apply in all fractionally treewidth-fragile graph classes, a property that is true for many natural graph classes with sublinear separators. We also provide quasipolynomial-time approxim… ▽ More We give polynomial-time approximation schemes for monotone maximization problems expressible in terms of distances (up to a fixed upper bound) and efficiently solvable in graphs of bounded treewidth. These schemes apply in all fractionally treewidth-fragile graph classes, a property that is true for many natural graph classes with sublinear separators. We also provide quasipolynomial-time approximation schemes for these problems in all classes with sublinear separators. △ Less

Submitted 4 May, 2021; originally announced May 2021.

Comments: 14 pages, no figures

MSC Class: 05C85 ACM Class: F.2.2

Weak Coloring Numbers of Intersection Graphs

Authors: Zdeněk Dvořák, Jakub Pekárek, Torsten Ueckerdt, Yelena Yuditsky

Abstract: Weak and strong coloring numbers are generalizations of the degeneracy of a graph, where for each natural number $k$, we seek a vertex ordering such every vertex can (weakly respectively strongly) reach in $k$ steps only few vertices with lower index in the ordering. Both notions capture the sparsity of a graph or a graph class, and have interesting applications in the structural and algorithmic g… ▽ More Weak and strong coloring numbers are generalizations of the degeneracy of a graph, where for each natural number $k$, we seek a vertex ordering such every vertex can (weakly respectively strongly) reach in $k$ steps only few vertices with lower index in the ordering. Both notions capture the sparsity of a graph or a graph class, and have interesting applications in the structural and algorithmic graph theory. Recently, the first author together with McCarty and Norin observed a natural volume-based upper bound for the strong coloring numbers of intersection graphs of well-behaved objects in $\mathbb{R}^d$, such as homothets of a centrally symmetric compact convex object, or comparable axis-aligned boxes. In this paper, we prove upper and lower bounds for the $k$-th weak coloring numbers of these classes of intersection graphs. As a consequence, we describe a natural graph class whose strong coloring numbers are polynomial in $k$, but the weak coloring numbers are exponential. We also observe a surprising difference in terms of the dependence of the weak coloring numbers on the dimension between touching graphs of balls (single-exponential) and hypercubes (double-exponential). △ Less

Submitted 7 April, 2021; v1 submitted 31 March, 2021; originally announced March 2021.

Approximation metatheorems for classes with bounded expansion

Authors: Zdeněk Dvořák

Abstract: We give a number of approximation metatheorems for monotone maximization problems expressible in the first-order logic, in substantially more general settings than the previously known. We obtain * constant-factor approximation algorithm in any class of graphs with bounded expansion, * a QPTAS in any class with strongly sublinear separators, and * a PTAS in any fractionally treewidth-fragile class… ▽ More We give a number of approximation metatheorems for monotone maximization problems expressible in the first-order logic, in substantially more general settings than the previously known. We obtain * constant-factor approximation algorithm in any class of graphs with bounded expansion, * a QPTAS in any class with strongly sublinear separators, and * a PTAS in any fractionally treewidth-fragile class (which includes all common classes with strongly sublinear separators. Moreover, our tools also give an exact subexponential-time algorithm in any class with strongly sublinear separators. △ Less

Submitted 9 October, 2021; v1 submitted 15 March, 2021; originally announced March 2021.

Comments: 35 pages, no figures; revised the presentation

MSC Class: 05C85 ACM Class: F.2.2

On decidability of hyperbolicity

Authors: Zdeněk Dvořák, Luke Postle

Abstract: We prove that a wide range of coloring problems in graphs on surfaces can be resolved by inspecting a finite number of configurations. We prove that a wide range of coloring problems in graphs on surfaces can be resolved by inspecting a finite number of configurations. △ Less

Submitted 4 October, 2020; originally announced October 2020.

Comments: 13 pages, no figures

MSC Class: 05C15

Notes on Graph Product Structure Theory

Authors: Zdeněk Dvořák, Tony Huynh, Gwenaël Joret, Chun-Hung Liu, David R. Wood

Abstract: It was recently proved that every planar graph is a subgraph of the strong product of a path and a graph with bounded treewidth. This paper surveys generalisations of this result for graphs on surfaces, minor-closed classes, various non-minor-closed classes, and graph classes with polynomial growth. We then explore how graph product structure might be applicable to more broadly defined graph class… ▽ More It was recently proved that every planar graph is a subgraph of the strong product of a path and a graph with bounded treewidth. This paper surveys generalisations of this result for graphs on surfaces, minor-closed classes, various non-minor-closed classes, and graph classes with polynomial growth. We then explore how graph product structure might be applicable to more broadly defined graph classes. In particular, we characterise when a graph class defined by a cartesian or strong product has bounded or polynomial expansion. We then explore graph product structure theorems for various geometrically defined graph classes, and present several open problems. △ Less

Submitted 2 July, 2020; v1 submitted 23 January, 2020; originally announced January 2020.

Comments: 19 pages, 0 figures

MSC Class: 05C10; 68R10; 05C83; 05C05; 05C76

Journal ref: In: Wood D.R., de Gier J., Praeger C.E., Tao T. (eds) 2019-20 MATRIX Annals. MATRIX Book Series, vol 4, 513--533, 2021. Springer

Induced odd cycle packing number, independent sets, and chromatic number

Authors: Zdeněk Dvořák, Jakub Pekárek

Abstract: The induced odd cycle packing number $iocp(G)$ of a graph $G$ is the maximum integer $k$ such that $G$ contains an induced subgraph consisting of $k$ pairwise vertex-disjoint odd cycles. Motivated by applications to geometric graphs, Bonamy et al.~\cite{indoc} proved that graphs of bounded induced odd cycle packing number, bounded VC dimension, and linear independence number admit a randomized EPT… ▽ More The induced odd cycle packing number $iocp(G)$ of a graph $G$ is the maximum integer $k$ such that $G$ contains an induced subgraph consisting of $k$ pairwise vertex-disjoint odd cycles. Motivated by applications to geometric graphs, Bonamy et al.~\cite{indoc} proved that graphs of bounded induced odd cycle packing number, bounded VC dimension, and linear independence number admit a randomized EPTAS for the independence number. We show that the assumption of bounded VC dimension is not necessary, exhibiting a randomized algorithm that for any integers $k\ge 0$ and $t\ge 1$ and any $n$-vertex graph $G$ of induced odd cycle packing number at most $k$ returns in time $O_{k,t}(n^{k+4})$ an independent set of $G$ whose size is at least $α(G)-n/t$ with high probability. In addition, we present $χ$-boundedness results for graphs with bounded odd cycle packing number, and use them to design a QPTAS for the independence number only assuming bounded induced odd cycle packing number. △ Less

Submitted 12 November, 2021; v1 submitted 8 January, 2020; originally announced January 2020.

Coloring near-quadrangulations of the cylinder and the torus

Authors: Zdeněk Dvořák, Jakub Pekárek

Abstract: Let G be a simple connected plane graph and let C_1 and C_2 be cycles in G bounding distinct faces f_1 and f_2. For a positive integer l, let r(l) denote the number of integers n such that -l<=n<=l, n is divisible by 3, and n has the same parity as l; in particular, r(4)=1. Let r_{f_1,f_2}(G) be the product of r(|f|) over all faces f of G distinct from f_1 and f_2, and let q(G)=1+sum_{f:|f|\neq 4}… ▽ More Let G be a simple connected plane graph and let C_1 and C_2 be cycles in G bounding distinct faces f_1 and f_2. For a positive integer l, let r(l) denote the number of integers n such that -l<=n<=l, n is divisible by 3, and n has the same parity as l; in particular, r(4)=1. Let r_{f_1,f_2}(G) be the product of r(|f|) over all faces f of G distinct from f_1 and f_2, and let q(G)=1+sum_{f:|f|\neq 4} |f|, where the sum is over all faces f of G. We give an algorithm with time complexity O(r_{f_1,f_2}(G)q(G)|G|) which, given a 3-coloring psi of C_1 and C_2, either finds an extension of psi to a 3-coloring of G, or correctly decides no such extension exists. The algorithm is based on a min-max theorem for a variant of integer 2- commodity flows, and consequently in the negative case produces an obstruction to the existence of the extension. As a corollary, we show that every triangle-free graph drawn in the torus with edge-width at least 21 is 3-colorable. △ Less

Submitted 26 September, 2019; originally announced September 2019.

Comments: 34 pages, no figures

MSC Class: 05C15

Bounded maximum degree conjecture holds precisely for $c$-crossing-critical graphs with $c \leq 12$

Authors: Drago Bokal, Zdeněk Dvořák, Petr Hliněný, Jesús Leaños, Bojan Mohar, Tilo Wiedera

Abstract: We study $c$-crossing-critical graphs, which are the minimal graphs that require at least $c$ edge-crossings when drawn in the plane. For every fixed pair of integers with $c\ge 13$ and $d\ge 1$, we give first explicit constructions of $c$-crossing-critical graphs containing a vertex of degree greater than $d$. We also show that such unbounded degree constructions do not exist for $c\le 12$, preci… ▽ More We study $c$-crossing-critical graphs, which are the minimal graphs that require at least $c$ edge-crossings when drawn in the plane. For every fixed pair of integers with $c\ge 13$ and $d\ge 1$, we give first explicit constructions of $c$-crossing-critical graphs containing a vertex of degree greater than $d$. We also show that such unbounded degree constructions do not exist for $c\le 12$, precisely, that there exists a constant $D$ such that every $c$-crossing-critical graph with $c\le 12$ has maximum degree at most $D$. Hence, the bounded maximum degree conjecture of $c$-crossing-critical graphs, which was generally disproved in 2010 by Dvořák and Mohar (without an explicit construction), holds true, surprisingly, exactly for the values $c\le 12.$ △ Less

Submitted 5 May, 2021; v1 submitted 13 March, 2019; originally announced March 2019.

Flexibility of planar graphs of girth at least six

Authors: Zdeněk Dvořák, Tomáš Masařík, Jan Musílek, Ondřej Pangrác

Abstract: Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G has girth at least six and all lists have size at least three, then there exists an L-coloring respecting at least a constant fraction of the preferences. Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G has girth at least six and all lists have size at least three, then there exists an L-coloring respecting at least a constant fraction of the preferences. △ Less

Submitted 11 February, 2019; originally announced February 2019.

Comments: 11 pages, no figures. arXiv admin note: text overlap with arXiv:1902.02971

MSC Class: 05C15

Journal ref: Journal of Graph Theory 95(3), 457-466 (2020)

Flexibility of triangle-free planar graphs

Authors: Zdeněk Dvořák, Tomáš Masařík, Jan Musílek, Ondřej Pangrác

Abstract: Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G is triangle-free and all lists have size at least four, then there exists an L-coloring respecting at least a constant fraction of the preferences. Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G is triangle-free and all lists have size at least four, then there exists an L-coloring respecting at least a constant fraction of the preferences. △ Less

Submitted 8 February, 2019; originally announced February 2019.

Comments: 28 pages, 5 figures

MSC Class: 05C15

Journal ref: Journal of Graph Theory 96(4), 619-641 (2021)

Baker game and polynomial-time approximation schemes

Authors: Zdeněk Dvořák

Abstract: Baker devised a technique to obtain approximation schemes for many optimization problems restricted to planar graphs; her technique was later extended to more general graph classes. In particular, using the Baker's technique and the minor structure theorem, Dawar et al. gave Polynomial-Time Approximation Schemes (PTAS) for all monotone optimization problems expressible in the first-order logic whe… ▽ More Baker devised a technique to obtain approximation schemes for many optimization problems restricted to planar graphs; her technique was later extended to more general graph classes. In particular, using the Baker's technique and the minor structure theorem, Dawar et al. gave Polynomial-Time Approximation Schemes (PTAS) for all monotone optimization problems expressible in the first-order logic when restricted to a proper minor-closed class of graphs. We define a Baker game formalizing the notion of repeated application of Baker's technique interspersed with vertex removal, prove that monotone optimization problems expressible in the first-order logic admit PTAS when restricted to graph classes in which the Baker game can be won in a constant number of rounds, and prove without use of the minor structure theorem that all proper minor-closed classes of graphs have this property. △ Less

Submitted 7 January, 2019; originally announced January 2019.

Comments: 27 pages, no figures

MSC Class: 05C85 (Primary) 05C83 (Secondary) ACM Class: G.2.2; F.2.2

Single-conflict colouring

Authors: Zdeněk Dvořák, Louis Esperet, Ross J. Kang, Kenta Ozeki

Abstract: Given a multigraph, suppose that each vertex is given a local assignment of $k$ colours to its incident edges. We are interested in whether there is a choice of one local colour per vertex such that no edge has both of its local colours chosen. The least $k$ for which this is always possible given any set of local assignments we call the {\em single-conflict chromatic number} of the graph. This pa… ▽ More Given a multigraph, suppose that each vertex is given a local assignment of $k$ colours to its incident edges. We are interested in whether there is a choice of one local colour per vertex such that no edge has both of its local colours chosen. The least $k$ for which this is always possible given any set of local assignments we call the {\em single-conflict chromatic number} of the graph. This parameter is closely related to separation choosability and adaptable choosability. We show that single-conflict chromatic number of simple graphs embeddable on a surface of Euler genus $g$ is $O(g^{1/4}\log g)$ as $g\to\infty$. This is sharp up to the logarithmic factor. △ Less

Submitted 9 October, 2020; v1 submitted 29 March, 2018; originally announced March 2018.

Comments: 15 pages; in v2, changed the main terminology, added one example, adjusted Conjecture 3; to appear in Journal of Graph Theory

MSC Class: 05C15

Structure and generation of crossing-critical graphs

Authors: Zdeněk Dvořák, Petr Hliněný, Bojan Mohar

Abstract: We study c-crossing-critical graphs, which are the minimal graphs that require at least c edge-crossings when drawn in the plane. For c=1 there are only two such graphs without degree-2 vertices, K_5 and K_3,3, but for any fixed c>1 there exist infinitely many c-crossing-critical graphs. It has been previously shown that c-crossing-critical graphs have bounded path-width and contain only a bounded… ▽ More We study c-crossing-critical graphs, which are the minimal graphs that require at least c edge-crossings when drawn in the plane. For c=1 there are only two such graphs without degree-2 vertices, K_5 and K_3,3, but for any fixed c>1 there exist infinitely many c-crossing-critical graphs. It has been previously shown that c-crossing-critical graphs have bounded path-width and contain only a bounded number of internally disjoint paths between any two vertices. We expand on these results, providing a more detailed description of the structure of crossing-critical graphs. On the way towards this description, we prove a new structural characterisation of plane graphs of bounded path-width. Then we show that every c-crossing-critical graph can be obtained from a c-crossing-critical graph of bounded size by replicating bounded-size parts that already appear in narrow "bands" or "fans" in the graph. This also gives an algorithm to generate all the c-crossing-critical graphs of at most given order n in polynomial time per each generated graph. △ Less

Submitted 5 March, 2018; originally announced March 2018.

On distance r-dominating and 2r-independent sets in sparse graphs

Authors: Zdeněk Dvořák

Abstract: Dvorak (2013) gave a bound on the minimum size of a distance r dominating set in the terms of the maximum size of a distance 2r independent set and generalized coloring numbers, thus obtaining a constant factor approximation algorithm for the parameters in any class of graphs with bounded expansion. We improve and clarify this dependence using an LP-based argument inspired by the work of Bansal an… ▽ More Dvorak (2013) gave a bound on the minimum size of a distance r dominating set in the terms of the maximum size of a distance 2r independent set and generalized coloring numbers, thus obtaining a constant factor approximation algorithm for the parameters in any class of graphs with bounded expansion. We improve and clarify this dependence using an LP-based argument inspired by the work of Bansal and Umboh (2017). △ Less

Submitted 27 October, 2017; originally announced October 2017.

Comments: 14 pages, no figures

MSC Class: 05C69

On classes of graphs with strongly sublinear separators

Authors: Zdeněk Dvořák

Abstract: For real numbers c,epsilon>0, let G_{c,epsilon} denote the class of graphs G such that each subgraph H of G has a balanced separator of order at most c|V(H)|^{1-epsilon}. A class of graphs has strongly sublinear separators if it is a subclass of G_{c,epsilon} for some c,epsilon>0. We investigate properties of such graph classes, leading in particular to an approximate algorithm to determine member… ▽ More For real numbers c,epsilon>0, let G_{c,epsilon} denote the class of graphs G such that each subgraph H of G has a balanced separator of order at most c|V(H)|^{1-epsilon}. A class of graphs has strongly sublinear separators if it is a subclass of G_{c,epsilon} for some c,epsilon>0. We investigate properties of such graph classes, leading in particular to an approximate algorithm to determine membership in G_{c,epsilon}: there exist c'>0 such that for each input graph G, this algorithm in polynomial time determines either that G belongs to G_{c',epsilon^2/160}, or that G does not belong to G_{c,epsilon}. △ Less

Submitted 9 February, 2018; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: 18 pages, no figures; updated according to reviewer comments

MSC Class: 05C75 (Primary) 05C85 (Secondary) ACM Class: G.2.2

Induced 2-degenerate Subgraphs of Triangle-free Planar Graphs

Authors: Zdeněk Dvořák, Tom Kelly

Abstract: A graph is $k$-degenerate if every subgraph has minimum degree at most $k$. We provide lower bounds on the size of a maximum induced 2-degenerate subgraph in a triangle-free planar graph. We denote the size of a maximum induced 2-degenerate subgraph of a graph $G$ by $α_2(G)$. We prove that if $G$ is a connected triangle-free planar graph with $n$ vertices and $m$ edges, then… ▽ More A graph is $k$-degenerate if every subgraph has minimum degree at most $k$. We provide lower bounds on the size of a maximum induced 2-degenerate subgraph in a triangle-free planar graph. We denote the size of a maximum induced 2-degenerate subgraph of a graph $G$ by $α_2(G)$. We prove that if $G$ is a connected triangle-free planar graph with $n$ vertices and $m$ edges, then $α_2(G) \geq \frac{6n - m - 1}{5}$. By Euler's Formula, this implies $α_2(G) \geq \frac{4}{5}n$. We also prove that if $G$ is a triangle-free planar graph on $n$ vertices with at most $n_3$ vertices of degree at most three, then $α_2(G) \geq \frac{7}{8}n - 18 n_3$. △ Less

Submitted 19 February, 2018; v1 submitted 12 September, 2017; originally announced September 2017.

Comments: 17 pages, 3 figures -- v2 revised according to referee comments

Additive non-approximability of chromatic number in proper minor-closed classes

Authors: Zdeněk Dvořák, Ken-ichi Kawarabayashi

Abstract: Robin Thomas asked whether for every proper minor-closed class C, there exists a polynomial-time algorithm approximating the chromatic number of graphs from C up to a constant additive error independent on the class C. We show this is not the case: unless P=NP, for every integer k>=1, there is no polynomial-time algorithm to color a K_{4k+1}-minor-free graph G using at most chi(G)+k-1 colors. More… ▽ More Robin Thomas asked whether for every proper minor-closed class C, there exists a polynomial-time algorithm approximating the chromatic number of graphs from C up to a constant additive error independent on the class C. We show this is not the case: unless P=NP, for every integer k>=1, there is no polynomial-time algorithm to color a K_{4k+1}-minor-free graph G using at most chi(G)+k-1 colors. More generally, for every k>=1 and 1<=β<=4/3, there is no polynomial-time algorithm to color a K_{4k+1}-minor-free graph G using less than beta.chi(G)+(4-3beta)k colors. As far as we know, this is the first non-trivial non-approximability result regarding the chromatic number in proper minor-closed classes. We also give somewhat weaker non-approximability bound for K_{4k+1}-minor-free graphs with no cliques of size 4. On the positive side, we present additive approximation algorithm whose error depends on the apex number of the forbidden minor, and an algorithm with additive error 6 under the additional assumption that the graph has no 4-cycles. △ Less

Submitted 12 July, 2017; originally announced July 2017.

Comments: 22 pages, no figures

MSC Class: 05C15 ACM Class: F.2.2

Thin graph classes and polynomial-time approximation schemes

Authors: Zdeněk Dvořák

Abstract: Baker devised a powerful technique to obtain approximation schemes for various problems restricted to planar graphs. Her technique can be directly extended to various other graph classes, among the most general ones the graphs avoiding a fixed apex graph as a minor. Further generalizations (e.g., to all proper minor closed graph classes) are known, but they use a combination of techniques and usua… ▽ More Baker devised a powerful technique to obtain approximation schemes for various problems restricted to planar graphs. Her technique can be directly extended to various other graph classes, among the most general ones the graphs avoiding a fixed apex graph as a minor. Further generalizations (e.g., to all proper minor closed graph classes) are known, but they use a combination of techniques and usually focus on somewhat restricted classes of problems. We present a new type of graph decompositions (thin systems of overlays) generalizing Baker's technique and leading to straightforward polynomial-time approximation schemes. We also show that many graph classes (all proper minor-closed classes, and all subgraph-closed classes with bounded maximum degree and strongly sublinear separators) admit such decompositions. △ Less

Submitted 1 April, 2017; originally announced April 2017.

Comments: 30 pages, no figures

MSC Class: 68W25 (Primary) 05C75 (Secondary) ACM Class: G.2.2

Triangle-free planar graphs with small independence number

Authors: Zdeněk Dvořák, Jordan Venters

Abstract: Since planar triangle-free graphs are 3-colourable, such a graph with n vertices has an independent set of size at least n/3. We prove that unless the graph contains a certain obstruction, its independence number is at least n/(3-epsilon) for some fixed epsilon>0. We also provide a reduction rule for this obstruction, which enables us to transform any plane triangle-free graph G into a plane trian… ▽ More Since planar triangle-free graphs are 3-colourable, such a graph with n vertices has an independent set of size at least n/3. We prove that unless the graph contains a certain obstruction, its independence number is at least n/(3-epsilon) for some fixed epsilon>0. We also provide a reduction rule for this obstruction, which enables us to transform any plane triangle-free graph G into a plane triangle-free graph G' such that alpha(G')-|G'|/3=alpha(G)-|G|/3 and |G'|<=(alpha(G)-|G|/3)/epsilon. We derive a number of algorithmic consequences as well as a structural description of n-vertex plane triangle-free graphs whose independence number is close to n/3. △ Less

Submitted 9 February, 2017; originally announced February 2017.

Comments: 24 pages, 1 figure

MSC Class: 05C69 (Primary); 05C85 (Secondary) ACM Class: G.2.2

Independent sets near the lower bound in bounded degree graphs

Authors: Zdenek Dvorak, Bernard Lidicky

Abstract: By Brook's Theorem, every n-vertex graph of maximum degree at most Delta >= 3 and clique number at most Delta is Delta-colorable, and thus it has an independent set of size at least n/Delta. We give an approximate characterization of graphs with independence number close to this bound, and use it to show that the problem of deciding whether such a graph has an indepdendent set of size at least n/D… ▽ More By Brook's Theorem, every n-vertex graph of maximum degree at most Delta >= 3 and clique number at most Delta is Delta-colorable, and thus it has an independent set of size at least n/Delta. We give an approximate characterization of graphs with independence number close to this bound, and use it to show that the problem of deciding whether such a graph has an indepdendent set of size at least n/Delta+k has a kernel of size O(k). △ Less

Submitted 3 October, 2016; v1 submitted 28 September, 2016; originally announced September 2016.

Comments: 19 pages, 6 figures; fixes an error pointed out by Andrea Munaro

MSC Class: 05C85 (Primary); 05C69 (Secondary) ACM Class: F.2.2; G.2.2

Graphic TSP in cubic graphs

Authors: Zdenek Dvorak, Daniel Kral, Bojan Mohar

Abstract: We present a polynomial-time 9/7-approximation algorithm for the graphic TSP for cubic graphs, which improves the previously best approximation factor of 1.3 for 2-connected cubic graphs and drops the requirement of 2-connectivity at the same time. To design our algorithm, we prove that every simple 2-connected cubic n-vertex graph contains a spanning closed walk of length at most 9n/7-1, and that… ▽ More We present a polynomial-time 9/7-approximation algorithm for the graphic TSP for cubic graphs, which improves the previously best approximation factor of 1.3 for 2-connected cubic graphs and drops the requirement of 2-connectivity at the same time. To design our algorithm, we prove that every simple 2-connected cubic n-vertex graph contains a spanning closed walk of length at most 9n/7-1, and that such a walk can be found in polynomial time. △ Less

Submitted 5 September, 2016; v1 submitted 26 August, 2016; originally announced August 2016.

Triangle-free planar graphs with the smallest independence number

Authors: Zdeněk Dvořák, Tomáš Masařík, Jan Musílek, Ondřej Pangrác

Abstract: Steinberg and Tovey proved that every n-vertex planar triangle-free graph has an independent set of size at least (n+1)/3, and described an infinite class of tight examples. We show that all n-vertex planar triangle-free graphs except for this one infinite class have independent sets of size at least (n+2)/3. Steinberg and Tovey proved that every n-vertex planar triangle-free graph has an independent set of size at least (n+1)/3, and described an infinite class of tight examples. We show that all n-vertex planar triangle-free graphs except for this one infinite class have independent sets of size at least (n+2)/3. △ Less

Submitted 20 June, 2016; originally announced June 2016.

Comments: 16 pages, 5 figures

MSC Class: 05C69 ACM Class: G.2.2

Journal ref: Journal of Graph Theory 90(3): 443-454 (2019)

Three-coloring triangle-free graphs on surfaces VII. A linear-time algorithm

Authors: Zdenek Dvorak, Daniel Kral, Robin Thomas

Abstract: We give a linear-time algorithm to decide 3-colorability of a triangle-free graph embedded in a fixed surface, and a quadratic-time algorithm to output a 3-coloring in the affirmative case. The algorithms also allow to prescribe the coloring of a bounded number of vertices. We give a linear-time algorithm to decide 3-colorability of a triangle-free graph embedded in a fixed surface, and a quadratic-time algorithm to output a 3-coloring in the affirmative case. The algorithms also allow to prescribe the coloring of a bounded number of vertices. △ Less

Submitted 5 November, 2020; v1 submitted 6 January, 2016; originally announced January 2016.

Comments: 22 pages, no figures; updated for reviewer remarks, reworked the final section. arXiv admin note: text overlap with arXiv:1509.01013

MSC Class: 05C15 (Primary) 05C85 (Secondary)

Three-coloring triangle-free graphs on surfaces VI. 3-colorability of quadrangulations

Authors: Zdenek Dvorak, Daniel Kral, Robin Thomas

Abstract: We give a linear-time algorithm to decide 3-colorability (and find a 3-coloring, if it exists) of quadrangulations of a fixed surface. The algorithm also allows to prescribe the coloring for a bounded number of vertices. We give a linear-time algorithm to decide 3-colorability (and find a 3-coloring, if it exists) of quadrangulations of a fixed surface. The algorithm also allows to prescribe the coloring for a bounded number of vertices. △ Less

Submitted 19 August, 2020; v1 submitted 3 September, 2015; originally announced September 2015.

Comments: 32 pages, no figures; updated for reviewer comments

MSC Class: 05C85 (Primary); 05C15 (Secondary) ACM Class: F.2.2; G.2.2

Treewidth of graphs with balanced separations

Authors: Zdenek Dvorak, Sergey Norin

Abstract: We prove that if every subgraph of a graph $G$ has a balanced separation of order at most $a$ then $G$ has treewidth at most $15a$. This establishes a linear dependence between the treewidth and the separation number. We prove that if every subgraph of a graph $G$ has a balanced separation of order at most $a$ then $G$ has treewidth at most $15a$. This establishes a linear dependence between the treewidth and the separation number. △ Less

Submitted 20 December, 2018; v1 submitted 17 August, 2014; originally announced August 2014.

Comments: Final version accepted for publication in J. Comb. Theory B

Sublinear separators, fragility and subexponential expansion

Authors: Zdenek Dvorak

Abstract: Let G be a subgraph-closed graph class with bounded maximum degree. We show that if G has balanced separators whose size is smaller than linear by a polynomial factor, then G has subexponential expansion. This gives a partial converse to a result of Nešetřil and Ossona de Mendez. As an intermediate step, the proof uses a new kind of graph decompositions. Let G be a subgraph-closed graph class with bounded maximum degree. We show that if G has balanced separators whose size is smaller than linear by a polynomial factor, then G has subexponential expansion. This gives a partial converse to a result of Nešetřil and Ossona de Mendez. As an intermediate step, the proof uses a new kind of graph decompositions. △ Less

Submitted 8 April, 2015; v1 submitted 28 April, 2014; originally announced April 2014.

Comments: 28 pages, 1 figure

MSC Class: 05C75 (Primary); 05C85 (Secondary) ACM Class: G.2.2

List-coloring apex-minor-free graphs

Authors: Zdenek Dvorak, Robin Thomas

Abstract: A graph H is t-apex if H-X is planar for some subset X of V(H) of size t. For any integer t>=0 and a fixed t-apex graph H, we give a polynomial-time algorithm to decide whether a (t+3)-connected H-minor-free graph is colorable from a given assignment of lists of size t+4. The connectivity requirement is the best possible in the sense that for every t>=1, there exists a t-apex graph H such that tes… ▽ More A graph H is t-apex if H-X is planar for some subset X of V(H) of size t. For any integer t>=0 and a fixed t-apex graph H, we give a polynomial-time algorithm to decide whether a (t+3)-connected H-minor-free graph is colorable from a given assignment of lists of size t+4. The connectivity requirement is the best possible in the sense that for every t>=1, there exists a t-apex graph H such that testing (t+4)-colorability of (t+2)-connected H-minor-free graphs is NP-complete. Similarly, the size of the lists cannot be decreased (unless P=NP), since for every t>=1, testing (t+3)-list-colorability of (t+3)-connected K_{t+4}-minor-free graphs is NP-complete. △ Less

Submitted 26 December, 2016; v1 submitted 7 January, 2014; originally announced January 2014.

Comments: 48 pages, 5 figures; expanded version taking into account referee comments

MSC Class: 05C15 (Primary) 05C85; 68Q17 (Secondary) ACM Class: G.2.2

Large Independent Sets in Triangle-Free Planar Graphs

Authors: Zdenek Dvorak, Matthias Mnich

Abstract: Every triangle-free planar graph on n vertices has an independent set of size at least (n+1)/3, and this lower bound is tight. We give an algorithm that, given a triangle-free planar graph G on n vertices and an integer k>=0, decides whether G has an independent set of size at least (n+k)/3, in time 2^{O(sqrt{k})}n. Thus, the problem is fixed-parameter tractable when parameterized by k. Furthermor… ▽ More Every triangle-free planar graph on n vertices has an independent set of size at least (n+1)/3, and this lower bound is tight. We give an algorithm that, given a triangle-free planar graph G on n vertices and an integer k>=0, decides whether G has an independent set of size at least (n+k)/3, in time 2^{O(sqrt{k})}n. Thus, the problem is fixed-parameter tractable when parameterized by k. Furthermore, as a corollary of the result used to prove the correctness of the algorithm, we show that there exists epsilon>0 such that every planar graph of girth at least five on n vertices has an independent set of size at least n/(3-epsilon). △ Less

Submitted 22 September, 2014; v1 submitted 12 November, 2013; originally announced November 2013.

Comments: 14 pages, 1 figure

MSC Class: 68R10 ACM Class: G.2.2

Immersion in four-edge-connected graphs

Authors: Maria Chudnovsky, Zdeněk Dvořák, Tereza Klimošová, Paul Seymour

Abstract: Fix g>1. Every graph of large enough tree-width contains a g x g grid as a minor; but here we prove that every four-edge-connected graph of large enough tree-width contains a g x g grid as an immersion (and hence contains any fixed graph with maximum degree at most four as an immersion). This result has a number of applications. Fix g>1. Every graph of large enough tree-width contains a g x g grid as a minor; but here we prove that every four-edge-connected graph of large enough tree-width contains a g x g grid as an immersion (and hence contains any fixed graph with maximum degree at most four as an immersion). This result has a number of applications. △ Less

Submitted 4 August, 2013; originally announced August 2013.

Comments: 11 pages

MSC Class: 05C83; 05C75 ACM Class: G.2.2

Dynamic Data Structure for Tree-Depth Decomposition

Authors: Zdenek Dvorak, Martin Kupec, Vojtech Tuma

Abstract: We present a dynamic data structure for representing a graph $G$ with tree-depth at most $D$. Tree-depth is an important graph parameter which arose in the study of sparse graph classes. The structure allows addition and removal of edges and vertices such that the resulting graph still has tree-depth at most $D$, in time bounds depending only on $D$. A tree-depth decomposition of the graph is ma… ▽ More We present a dynamic data structure for representing a graph $G$ with tree-depth at most $D$. Tree-depth is an important graph parameter which arose in the study of sparse graph classes. The structure allows addition and removal of edges and vertices such that the resulting graph still has tree-depth at most $D$, in time bounds depending only on $D$. A tree-depth decomposition of the graph is maintained explicitly. This makes the data structure useful for dynamization of static algorithms for graphs with bounded tree-depth. As an example application, we give a dynamic data structure for MSO-property testing, with time bounds for removal depending only on $D$ and constant-time testing of the property, while the time for the initialization and insertion also depends on the size of the formula expressing the property. △ Less

Submitted 10 July, 2013; originally announced July 2013.

Planar 4-critical graphs with four triangles

Authors: Oleg V. Borodin, Zdeněk Dvořák, Alexandr V. Kostochka, Bernard Lidický, Matthew Yancey

Abstract: By the Grunbaum-Aksenov Theorem (extending Grotzsch's Theorem) every planar graph with at most three triangles is 3-colorable. However, there are infinitely many planar 4-critical graphs with exactly four triangles. We describe all such graphs. This answers a question of Erdos from 1990. By the Grunbaum-Aksenov Theorem (extending Grotzsch's Theorem) every planar graph with at most three triangles is 3-colorable. However, there are infinitely many planar 4-critical graphs with exactly four triangles. We describe all such graphs. This answers a question of Erdos from 1990. △ Less

Submitted 6 June, 2013; originally announced June 2013.

Comments: 20 pages, 7 figures

MSC Class: 05C15; 05C10 ACM Class: G.2.2

4-critical graphs on surfaces without contractible (<=4)-cycles

Authors: Zdeněk Dvořák, Bernard Lidický

Abstract: We show that if G is a 4-critical graph embedded in a fixed surface $Σ$ so that every contractible cycle has length at least 5, then G can be expressed as $G=G'\cup G_1\cup G_2\cup ... \cup G_k$, where $|V(G')|$ and $k$ are bounded by a constant (depending linearly on the genus of $Σ$) and $G_1\ldots,G_k$ are graphs (of unbounded size) whose structure we describe exactly. The proof is computer-ass… ▽ More We show that if G is a 4-critical graph embedded in a fixed surface $Σ$ so that every contractible cycle has length at least 5, then G can be expressed as $G=G'\cup G_1\cup G_2\cup ... \cup G_k$, where $|V(G')|$ and $k$ are bounded by a constant (depending linearly on the genus of $Σ$) and $G_1\ldots,G_k$ are graphs (of unbounded size) whose structure we describe exactly. The proof is computer-assisted - we use computer to enumerate all plane 4-critical graphs of girth 5 with a precolored cycle of length at most 16, that are used in the basic case of the inductive proof of the statement. △ Less

Submitted 3 January, 2014; v1 submitted 13 May, 2013; originally announced May 2013.

Comments: 52 pages, 19 figures

MSC Class: 05C15; 05C10 ACM Class: G.2.2

3-coloring triangle-free planar graphs with a precolored 8-cycle

Authors: Zdeněk Dvořák, Bernard Lidický

Abstract: Let G be a planar triangle-free graph and let C be a cycle in G of length at most 8. We characterize all situations where a 3-coloring of C does not extend to a proper 3-coloring of the whole graph. Let G be a planar triangle-free graph and let C be a cycle in G of length at most 8. We characterize all situations where a 3-coloring of C does not extend to a proper 3-coloring of the whole graph. △ Less

Submitted 10 May, 2013; originally announced May 2013.

Comments: 20 pages, 5 figures

MSC Class: 05C15; 05C10 ACM Class: G.2.2

Strong immersions and maximum degree

Authors: Zdenek Dvorak, Tereza Klimosova

Abstract: A graph H is strongly immersed in G if G is obtained from H by a sequence of vertex splittings (i.e., lifting some pairs of incident edges and removing the vertex) and edge removals. Equivalently, vertices of H are mapped to distinct vertices of G (branch vertices) and edges of H are mapped to pairwise edge-disjoint paths in G, each of them joining the branch vertices corresponding to the ends of… ▽ More A graph H is strongly immersed in G if G is obtained from H by a sequence of vertex splittings (i.e., lifting some pairs of incident edges and removing the vertex) and edge removals. Equivalently, vertices of H are mapped to distinct vertices of G (branch vertices) and edges of H are mapped to pairwise edge-disjoint paths in G, each of them joining the branch vertices corresponding to the ends of the edge and not containing any other branch vertices. We show that there exists a function d:N->N such that for all graphs H and G, if G contains a strong immersion of the star K_{1,d(Delta(H))|V(H)|} whose branch vertices are Delta(H)-edge-connected to one another, then H is strongly immersed in G. This has a number of structural consequences for graphs avoiding a strong immersion of H. In particular, a class C of simple 4-edge-connected graphs contains all graphs of maximum degree 4 as strong immersions if and only if C has either unbounded maximum degree or unbounded tree-width. △ Less

Submitted 2 April, 2013; originally announced April 2013.

Comments: 10 pages

MSC Class: 05C38 (Primary) 05C40; 05C75; 05C83 (Secondary) ACM Class: G.2.2

Three-coloring triangle-free planar graphs in linear time

Authors: Zdenek Dvorak, Ken-ichi Kawarabayashi, Robin Thomas

Abstract: Grotzsch's theorem states that every triangle-free planar graph is 3-colorable. Several relatively simple proofs of this fact were provided by Thomassen and other authors. It is easy to convert these proofs into quadratic-time algorithms to find a 3-coloring, but it is not clear how to find such a coloring in linear time (Kowalik used a nontrivial data structure to construct an O(n log n) algorith… ▽ More Grotzsch's theorem states that every triangle-free planar graph is 3-colorable. Several relatively simple proofs of this fact were provided by Thomassen and other authors. It is easy to convert these proofs into quadratic-time algorithms to find a 3-coloring, but it is not clear how to find such a coloring in linear time (Kowalik used a nontrivial data structure to construct an O(n log n) algorithm). We design a linear-time algorithm to find a 3-coloring of a given triangle-free planar graph. The algorithm avoids using any complex data structures, which makes it easy to implement. As a by-product we give a yet simpler proof of Grotzsch's theorem. △ Less

Submitted 20 February, 2013; originally announced February 2013.

Comments: 22 pages

Journal ref: ACM Transactions on Algorithms 7 (2011), Article 41

Three-coloring triangle-free graphs on surfaces II. 4-critical graphs in a disk

Authors: Zdenek Dvorak, Daniel Kral, Robin Thomas

Abstract: Let G be a plane graph of girth at least five. We show that if there exists a 3-coloring phi of a cycle C of G that does not extend to a 3-coloring of G, then G has a subgraph H on O(|C|) vertices that also has no 3-coloring extending phi. This is asymptotically best possible and improves a previous bound of Thomassen. In the next paper of the series we will use this result and the attendant theor… ▽ More Let G be a plane graph of girth at least five. We show that if there exists a 3-coloring phi of a cycle C of G that does not extend to a 3-coloring of G, then G has a subgraph H on O(|C|) vertices that also has no 3-coloring extending phi. This is asymptotically best possible and improves a previous bound of Thomassen. In the next paper of the series we will use this result and the attendant theory to prove a generalization to graphs on surfaces with several precolored cycles. △ Less

Submitted 5 July, 2017; v1 submitted 8 February, 2013; originally announced February 2013.

Comments: 48 pages, 4 figures This version: Revised according to reviewer comments

MSC Class: 05C15 (Primary); 05C10 (Secondary) ACM Class: G.2.2

Subcubic triangle-free graphs have fractional chromatic number at most 14/5

Authors: Zdeněk Dvořák, Jean-Sébastien Sereni, Jan Volec

Abstract: We prove that every subcubic triangle-free graph has fractional chromatic number at most 14/5, thus confirming a conjecture of Heckman and Thomas [A new proof of the independence ratio of triangle-free cubic graphs. Discrete Math. 233 (2001), 233--237]. We prove that every subcubic triangle-free graph has fractional chromatic number at most 14/5, thus confirming a conjecture of Heckman and Thomas [A new proof of the independence ratio of triangle-free cubic graphs. Discrete Math. 233 (2001), 233--237]. △ Less

Submitted 19 November, 2013; v1 submitted 22 January, 2013; originally announced January 2013.

MSC Class: 05C15; 05C72; 05C69

List-coloring embedded graphs

Authors: Zdenek Dvorak, Ken-ichi Kawarabayashi

Abstract: For any fixed surface Sigma of genus g, we give an algorithm to decide whether a graph G of girth at least five embedded in Sigma is colorable from an assignment of lists of size three in time O(|V(G)|). Furthermore, we can allow a subgraph (of any size) with at most s components to be precolored, at the expense of increasing the time complexity of the algorithm to O(|V(G)|^{K(g+s)+1}) for some ab… ▽ More For any fixed surface Sigma of genus g, we give an algorithm to decide whether a graph G of girth at least five embedded in Sigma is colorable from an assignment of lists of size three in time O(|V(G)|). Furthermore, we can allow a subgraph (of any size) with at most s components to be precolored, at the expense of increasing the time complexity of the algorithm to O(|V(G)|^{K(g+s)+1}) for some absolute constant K; in both cases, the multiplicative constant hidden in the O-notation depends on g and s. This also enables us to find such a coloring when it exists. The idea of the algorithm can be applied to other similar problems, e.g., 5-list-coloring of graphs on surfaces. △ Less

Submitted 29 October, 2012; originally announced October 2012.

Comments: 14 pages, 0 figures, accepted to SODA'13

MSC Class: 05C15 (Primary) 05C85 (Secondary) ACM Class: F.2.2; G.2.2

A dynamic data structure for counting subgraphs in sparse graphs

Authors: Zdenek Dvorak, Vojtech Tuma

Abstract: We present a dynamic data structure representing a graph G, which allows addition and removal of edges from G and can determine the number of appearances of a graph of a bounded size as an induced subgraph of G. The queries are answered in constant time. When the data structure is used to represent graphs from a class with bounded expansion (which includes planar graphs and more generally all prop… ▽ More We present a dynamic data structure representing a graph G, which allows addition and removal of edges from G and can determine the number of appearances of a graph of a bounded size as an induced subgraph of G. The queries are answered in constant time. When the data structure is used to represent graphs from a class with bounded expansion (which includes planar graphs and more generally all proper classes closed on topological minors, as well as many other natural classes of graphs with bounded average degree), the amortized time complexity of updates is polylogarithmic. △ Less

Submitted 3 January, 2013; v1 submitted 3 September, 2012; originally announced September 2012.

Comments: 27 pages, no figures

MSC Class: 68P05 (Primary) 05C75 (Secondary) ACM Class: E.1

5-list-coloring planar graphs with distant precolored vertices

Authors: Zdenek Dvorak, Bernard Lidicky, Bojan Mohar, Luke Postle

Abstract: We answer positively the question of Albertson asking whether every planar graph can be $5$-list-colored even if it contains precolored vertices, as long as they are sufficiently far apart from each other. In order to prove this claim, we also give bounds on the sizes of graphs critical with respect to 5-list coloring. In particular, if G is a planar graph, H is a connected subgraph of G and L is… ▽ More We answer positively the question of Albertson asking whether every planar graph can be $5$-list-colored even if it contains precolored vertices, as long as they are sufficiently far apart from each other. In order to prove this claim, we also give bounds on the sizes of graphs critical with respect to 5-list coloring. In particular, if G is a planar graph, H is a connected subgraph of G and L is an assignment of lists of colors to the vertices of G such that |L(v)| >= 5 for every v in V(G)-V(H) and G is not L-colorable, then G contains a subgraph with O(|H|^2) vertices that is not L-colorable. △ Less

Submitted 3 February, 2016; v1 submitted 3 September, 2012; originally announced September 2012.

Comments: 53 pages, 9 figures version 2: addresses suggestions by reviewers

MSC Class: 05C15 (Primary) 05C10 (Secondary) ACM Class: G.2.2

A stronger structure theorem for excluded topological minors

Authors: Zdenek Dvorak

Abstract: Grohe and Marx proved that if G does not contain H as a topological minor, then there exist constants g=O(|V(H)|^4), D and t depending only on H such that G is a clique sum of graphs that either contain at most t vertices of degree greater than D or almost embed in some surface of genus at most g. We strengthen this result, giving a more precise description of the latter kind of basic graphs of th… ▽ More Grohe and Marx proved that if G does not contain H as a topological minor, then there exist constants g=O(|V(H)|^4), D and t depending only on H such that G is a clique sum of graphs that either contain at most t vertices of degree greater than D or almost embed in some surface of genus at most g. We strengthen this result, giving a more precise description of the latter kind of basic graphs of the decomposition - we only allow graphs that (almost) embed in ways that are impossible for H (similarly to the structure theorem for minors, where only graphs almost embedded in surfaces in that H does not embed are allowed). This enables us to give structural results for graphs avoiding a fixed graph as an immersion and for graphs with bounded infinity-admissibility. △ Less

Submitted 1 September, 2012; originally announced September 2012.

Comments: 33 pages, 1 figure

MSC Class: 05C75 (Primary) 05C83; 05C10 (Secondary) ACM Class: G.2.2