-
Results and Problems on Equitable Coloring of Graphs
Authors:
H. A. Kierstead,
Alexandr Kostochka,
Zimu Xiang
Abstract:
A proper coloring of vertices of a graph is equitable if the sizes of any two color classes differ by at most 1. Such colorings have many applications and are interesting by themselves. In this paper, we discuss the state of art and unsolved problems on equitable coloring and its list versions.
A proper coloring of vertices of a graph is equitable if the sizes of any two color classes differ by at most 1. Such colorings have many applications and are interesting by themselves. In this paper, we discuss the state of art and unsolved problems on equitable coloring and its list versions.
△ Less
Submitted 20 April, 2025;
originally announced April 2025.
-
Equitable list coloring of sparse graphs
Authors:
H. A. Kierstead,
Alexandr Kostochka,
Zimu Xiang
Abstract:
A proper vertex coloring of a graph is equitable if the sizes of all color classes differ by at most $1$. For a list assignment $L$ of $k$ colors to each vertex of an $n$-vertex graph $G$, an equitable $L$-coloring of $G$ is a proper coloring of vertices of $G$ from their lists such that no color is used more than $\lceil n/k\rceil$ times. Call a graph equitably $k$-choosable if it has an equitabl…
▽ More
A proper vertex coloring of a graph is equitable if the sizes of all color classes differ by at most $1$. For a list assignment $L$ of $k$ colors to each vertex of an $n$-vertex graph $G$, an equitable $L$-coloring of $G$ is a proper coloring of vertices of $G$ from their lists such that no color is used more than $\lceil n/k\rceil$ times. Call a graph equitably $k$-choosable if it has an equitable $L$-coloring for every $k$-list assignment $L$. A graph $G$ is $(a,b)$-sparse if for every $A\subseteq V(G)$, the number of edges in the subgraph $G[A]$ of $G$ induced by $A$ is at most $a|A|+b$.
Our first main result is that every $(\frac{7}{6},\frac{1}{3})$-sparse graph with minimum degree at least $2$ is equitably $3$-colorable and equitably $3$-choosable. This is sharp. Our second main result is that every $(\frac{5}{4},\frac{1}{2})$-sparse graph with minimum degree at least $2$ is equitably $4$-colorable and equitably $4$-choosable. This is also sharp.
One of the tools in the proof is the new notion of strongly equitable (SE) list coloring. This notion is both stronger and more natural than equitable list coloring; and our upper bounds are for SE list coloring.
△ Less
Submitted 13 November, 2024;
originally announced November 2024.
-
Equitable list coloring of planar graphs with given maximum degree
Authors:
H. A. Kierstead,
Alexandr Kostochka,
Zimu Xiang
Abstract:
If $L$ is a list assignment of $r$ colors to each vertex of an $n$-vertex graph $G$, then an equitable $L$-coloring of $G$ is a proper coloring of vertices of $G$ from their lists such that no color is used more than $\lceil n/r\rceil$ times. A graph is equitably $r$-choosable if it has an equitable $L$-coloring for every $r$-list assignment $L$. In 2003, Kostochka, Pelsmajer and West (KPW) conjec…
▽ More
If $L$ is a list assignment of $r$ colors to each vertex of an $n$-vertex graph $G$, then an equitable $L$-coloring of $G$ is a proper coloring of vertices of $G$ from their lists such that no color is used more than $\lceil n/r\rceil$ times. A graph is equitably $r$-choosable if it has an equitable $L$-coloring for every $r$-list assignment $L$. In 2003, Kostochka, Pelsmajer and West (KPW) conjectured that an analog of the famous Hajnal-Szemerédi Theorem on equitable coloring holds for equitable list coloring, namely, that for each positive integer $r$ every graph $G$ with maximum degree at most $r-1$ is equitably $r$-choosable.
The main result of this paper is that for each $r\geq 9$ and each planar graph $G$, a stronger statement holds: if the maximum degree of $G$ is at most $r$, then $G$ is equitably $r$-choosable. In fact, we prove the result for a broader class of graphs -- the class ${\mathcal{B}}$ of the graphs in which each bipartite subgraph $B$ with $|V(B)|\ge3$ has at most $2|V(B)|-4$ edges. Together with some known results, this implies that the KPW Conjecture holds for all graphs in ${\mathcal{B}}$, in particular, for all planar graphs.
△ Less
Submitted 7 September, 2023; v1 submitted 2 September, 2023;
originally announced September 2023.
-
Improved upper bounds on longest-path and maximal subdivision transversals
Authors:
Henry Kierstead,
Eric Ren
Abstract:
Let $G$ be a connected graph on $n$ vertices. The Gallai number $Gal(G)$ of $G$ is the size of the smallest set of vertices that meets every maximum path in $G$. Grünbaum constructed a graph $G$ with $Gal(G)=3$. Very recently, Long, Milans, and Munaro, proved that $Gal(G)\leq 8n^{{3}/{4}}$. This was the first sublinear upper bound on $Gal(G)$ in terms of $n$. We improve their bound to…
▽ More
Let $G$ be a connected graph on $n$ vertices. The Gallai number $Gal(G)$ of $G$ is the size of the smallest set of vertices that meets every maximum path in $G$. Grünbaum constructed a graph $G$ with $Gal(G)=3$. Very recently, Long, Milans, and Munaro, proved that $Gal(G)\leq 8n^{{3}/{4}}$. This was the first sublinear upper bound on $Gal(G)$ in terms of $n$. We improve their bound to $Gal(G)\leq 5 n^{{2}/{3}}$. We also tighten a more general result of Long et al. For a multigraph $M$ on m edges, we prove that if the set $L(M,G)$ of maximum $M$-subdivisions in $G$ is pairwise intersecting and $n\geq m^{6}$, then $G$ has a set of vertices with size at most $5 n^{{2}/{3}}$ that meets every $Q\in \mathcal{L}(M,G)$
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
Random bipartite posets and extremal problems
Authors:
Csaba Biró,
Peter Hamburger,
H. A. Kierstead,
Attila Pór,
William T. Trotter,
Ruidong Wang
Abstract:
Previously, Erdős, Kierstead and Trotter investigated the dimension of random height~$2$ partially ordered sets. Their research was motivated primarily by two goals: (1)~analyzing the relative tightness of the Füredi-Kahn upper bounds on dimension in terms of maximum degree; and (2)~developing machinery for estimating the expected dimension of a random labeled poset on $n$ points. For these reason…
▽ More
Previously, Erdős, Kierstead and Trotter investigated the dimension of random height~$2$ partially ordered sets. Their research was motivated primarily by two goals: (1)~analyzing the relative tightness of the Füredi-Kahn upper bounds on dimension in terms of maximum degree; and (2)~developing machinery for estimating the expected dimension of a random labeled poset on $n$ points. For these reasons, most of their effort was focused on the case $0<p\le 1/2$. While bounds were given for the range $1/2\le p <1$, the relative accuracy of the results in the original paper deteriorated as $p$ approaches~$1$.
Motivated by two extremal problems involving conditions that force a poset to contain a large standard example, we were compelled to revisit this subject, but now with primary emphasis on the range $1/2\le p<1$. Our sharpened analysis shows that as $p$ approaches~$1$, the expected value of dimension increases and then decreases, answering in the negative a question posed in the original paper. Along the way, we apply inequalities of Talagrand and Janson, establish connections with latin rectangles and the Euler product function, and make progress on both extremal problems.
△ Less
Submitted 17 March, 2020;
originally announced March 2020.
-
3-degenerate induced subgraph of a planar graph
Authors:
Y. Gu,
H. A. Kierstead,
Sang-il Oum,
Hao Qi,
Xuding Zhu
Abstract:
A graph $G$ is $d$-degenerate if every non-null subgraph of $G$ has a vertex of degree at most $d$.
We prove that every $n$-vertex planar graph has a $3$-degenerate induced subgraph of order at least $3n/4$.
A graph $G$ is $d$-degenerate if every non-null subgraph of $G$ has a vertex of degree at most $d$.
We prove that every $n$-vertex planar graph has a $3$-degenerate induced subgraph of order at least $3n/4$.
△ Less
Submitted 2 September, 2021; v1 submitted 18 February, 2020;
originally announced February 2020.
-
Uniform Orderings for Generalized Coloring Numbers
Authors:
Jan van den Heuvel,
H. A. Kierstead
Abstract:
The generalized coloring numbers col_r(G) (also denoted by scol_r(G)) and wcol_r(G) of a graph G were introduced by Kierstead and Yang as a generalization of the usual coloring number, and have found important theoretical and algorithmic applications. For each distance r, these numbers are determined by an "optimal" ordering of the vertices of G. We study the question of whether it is possible to…
▽ More
The generalized coloring numbers col_r(G) (also denoted by scol_r(G)) and wcol_r(G) of a graph G were introduced by Kierstead and Yang as a generalization of the usual coloring number, and have found important theoretical and algorithmic applications. For each distance r, these numbers are determined by an "optimal" ordering of the vertices of G. We study the question of whether it is possible to find a single "uniform" ordering that is "good" for all distances r. We show that the answer to this question is essentially "yes". Our results give new characterizations of graph classes with bounded expansion and nowhere dense graph classes.
△ Less
Submitted 16 December, 2019; v1 submitted 28 July, 2019;
originally announced July 2019.
-
On coloring numbers of graph powers
Authors:
H. A. Kierstead,
Daqing Yang,
Junjun Yi
Abstract:
The weak $r$-coloring numbers $wcol_r(G)$ of a graph $G$ were introduced by the first two authors as a generalization of the usual coloring number $col(G)$, and have since found interesting theoretical and algorithmic applications. This has motivated researchers to establish strong bounds on these parameters for various classes of graphs.
Let $G^p$ denote the $p$-th power of $G$. We show that, a…
▽ More
The weak $r$-coloring numbers $wcol_r(G)$ of a graph $G$ were introduced by the first two authors as a generalization of the usual coloring number $col(G)$, and have since found interesting theoretical and algorithmic applications. This has motivated researchers to establish strong bounds on these parameters for various classes of graphs.
Let $G^p$ denote the $p$-th power of $G$. We show that, all integers $p >0$ and $Δ\ge 3$ and graphs $G$ with $Δ(G) \leq Δ$ satisfy $col(G^p) \in O(p \cdot wcol_{\lceil p/2\rceil}(G)(Δ-1)^{\lfloor p/2\rfloor})$; for fixed tree width or fixed genus the ratio between this upper bound and worst case lower bounds is polynomial in $p$. For the square of graphs $G$, we also show that, if the maximum average degree $2k-2 < mad(G) \leq 2k$, then $ col(G^2) \leq (2k-1)Δ(G)+2k+1$.
△ Less
Submitted 20 October, 2019; v1 submitted 25 July, 2019;
originally announced July 2019.
-
A sharp Dirac-Erdős type bound for large graphs
Authors:
Henry A. Kierstead,
Alexandr V. Kostochka,
Andrew McConvey
Abstract:
Let $k \geq 3$ be an integer, $h_{k}(G)$ be the number of vertices of degree at least $2k$ in a graph $G$, and $\ell_{k}(G)$ be the number of vertices of degree at most $2k-2$ in $G$. Dirac and Erdős proved in 1963 that if $h_{k}(G) - \ell_{k}(G) \geq k^{2} + 2k - 4$, then $G$ contains $k$ vertex-disjoint cycles. For each $k\geq 2$, they also showed an infinite sequence of graphs $G_k(n)$ with…
▽ More
Let $k \geq 3$ be an integer, $h_{k}(G)$ be the number of vertices of degree at least $2k$ in a graph $G$, and $\ell_{k}(G)$ be the number of vertices of degree at most $2k-2$ in $G$. Dirac and Erdős proved in 1963 that if $h_{k}(G) - \ell_{k}(G) \geq k^{2} + 2k - 4$, then $G$ contains $k$ vertex-disjoint cycles. For each $k\geq 2$, they also showed an infinite sequence of graphs $G_k(n)$ with $h_{k}(G_k(n)) - \ell_{k}(G_k(n)) = 2k-1$ such that $G_k(n)$ does not have $k$ disjoint cycles. Recently, the authors proved that, for $k \geq 2$, a bound of $3k$ is sufficient to guarantee the existence of $k$ disjoint cycles and presented for every $k$ a graph $G_0(k)$ with $h_{k}(G_0(k)) - \ell_{k}(G_0(k))=3k-1$ and no $k$ disjoint cycles. The goal of this paper is to refine and sharpen this result: We show that the Dirac-Erdős construction is optimal in the sense that for every $k \geq 2$, there are only finitely many graphs $G$ with $h_{k}(G) - \ell_{k}(G) \geq 2k$ but no $k$ disjoint cycles. In particular, every graph $G$ with $|V(G)| \geq 19k$ and $h_{k}(G) - \ell_{k}(G) \geq 2k$ contains $k$ disjoint cycles.
△ Less
Submitted 12 July, 2017;
originally announced July 2017.
-
Chromatic Numbers of Exact Distance Graphs
Authors:
Jan van den Heuvel,
H. A. Kierstead,
Daniel A. Quiroz
Abstract:
For any graph $G=(V,E)$ and positive integer $p$, the exact distance-$p$ graph $G^{[\natural p]}$ is the graph with vertex set $V$, which has an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance $p$ in $G$. For odd $p$, Nešetřil and Ossona de Mendez proved that for any fixed graph class with bounded expansion, the chromatic number of $G^{[\natural p]}$ is bounded by an abs…
▽ More
For any graph $G=(V,E)$ and positive integer $p$, the exact distance-$p$ graph $G^{[\natural p]}$ is the graph with vertex set $V$, which has an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance $p$ in $G$. For odd $p$, Nešetřil and Ossona de Mendez proved that for any fixed graph class with bounded expansion, the chromatic number of $G^{[\natural p]}$ is bounded by an absolute constant. Using the notion of generalised colouring numbers, we give a much simpler proof for the result of Nešetřil and Ossona de Mendez, which at the same time gives significantly better bounds. In particular, we show that for any graph $G$ and odd positive integer $p$, the chromatic number of $G^{[\natural p]}$ is bounded by the weak $(2p-1)$-colouring number of $G$. For even $p$, we prove that $χ(G^{[\natural p]})$ is at most the weak $(2p)$-colouring number times the maximum degree. For odd $p$, the existing lower bound on the number of colours needed to colour $G^{[\natural p]}$ when $G$ is planar is improved. Similar lower bounds are given for $K_t$-minor free graphs.
△ Less
Submitted 25 May, 2018; v1 submitted 7 December, 2016;
originally announced December 2016.
-
Strengthening theorems of Dirac and Erdős on disjoint cycles
Authors:
Henry A. Kierstead,
Alexandr V. Kostochka,
Andrew McConvey
Abstract:
Let $k \ge 3$ be an integer, $H_{k}(G)$ be the set of vertices of degree at least $2k$ in a graph $G$, and $L_{k}(G)$ be the set of vertices of degree at most $2k-2$ in $G$. In 1963, Dirac and Erdős proved that $G$ contains $k$ (vertex-)disjoint cycles whenever $|H_{k}(G)| - |L_{k}(G)| \ge k^{2} + 2k - 4$. The main result of this paper is that for $k \ge 2$, every graph $G$ with $|V(G)| \ge 3k$ co…
▽ More
Let $k \ge 3$ be an integer, $H_{k}(G)$ be the set of vertices of degree at least $2k$ in a graph $G$, and $L_{k}(G)$ be the set of vertices of degree at most $2k-2$ in $G$. In 1963, Dirac and Erdős proved that $G$ contains $k$ (vertex-)disjoint cycles whenever $|H_{k}(G)| - |L_{k}(G)| \ge k^{2} + 2k - 4$. The main result of this paper is that for $k \ge 2$, every graph $G$ with $|V(G)| \ge 3k$ containing at most $t$ disjoint triangles and with $|H_{k}(G)| - |L_{k}(G)| \ge 2k + t$ contains $k$ disjoint cycles. This yields that if $k \ge 2$ and $|H_{k}(G)| - |L_{k}(G)| \ge 3k$, then $G$ contains $k$ disjoint cycles. This generalizes the Corrádi-Hajnal Theorem, which states that every graph $G$ with $H_{k}(G) = V(G)$ and $|H_{k}(G)| \ge 3k$ contains $k$ disjoint cycles.
△ Less
Submitted 7 February, 2016;
originally announced February 2016.
-
On the Corrádi-Hajnal Theorem and a question of Dirac
Authors:
H. A. Kierstead,
A. V. Kostochka,
E. C. Yeager
Abstract:
In 1963, Corrádi and Hajnal proved that for all $k\geq1$ and $n\geq3k$, every graph $G$ on $n$ vertices with minimum degree $δ(G)\geq2k$ contains $k$ disjoint cycles. The bound $δ(G) \geq 2k$ is sharp. Here we characterize those graphs with $δ(G)\geq2k-1$ that contain $k$ disjoint cycles. This answers the simple-graph case of Dirac's 1963 question on the characterization of $(2k-1)$-connected grap…
▽ More
In 1963, Corrádi and Hajnal proved that for all $k\geq1$ and $n\geq3k$, every graph $G$ on $n$ vertices with minimum degree $δ(G)\geq2k$ contains $k$ disjoint cycles. The bound $δ(G) \geq 2k$ is sharp. Here we characterize those graphs with $δ(G)\geq2k-1$ that contain $k$ disjoint cycles. This answers the simple-graph case of Dirac's 1963 question on the characterization of $(2k-1)$-connected graphs with no $k$ disjoint cycles.
Enomoto and Wang refined the Corrádi-Hajnal Theorem, proving the following Ore-type version: For all $k\geq1$ and $n\geq3k$, every graph $G$ on $n$ vertices contains $k$ disjoint cycles, provided that $d(x)+d(y)\geq 4k-1$ for all distinct nonadjacent vertices $x,y$. We refine this further for $k\geq3$ and $n\geq3k+1$: If $G$ is a graph on $n$ vertices such that $d(x)+d(y)\geq 4k-3$ for all distinct nonadjacent vertices $x,y$, then $G$ has $k$ vertex-disjoint cycles if and only if the independence number $α(G)\leq n-2k$ and $G$ is not one of two small exceptions in the case $k=3$. We also show how the case $k=2$ follows from Lovász' characterization of multigraphs with no two disjoint cycles.
△ Less
Submitted 14 January, 2016;
originally announced January 2016.
-
Extracting list colorings from large independent sets
Authors:
Hal Kierstead,
Landon Rabern
Abstract:
We take an application of the Kernel Lemma by Kostochka and Yancey to its logical conclusion. The consequence is a sort of magical way to draw conclusions about list coloring (and online list coloring) just from the existence of an independent set incident to many edges. We use this to prove an Ore-degree version of Brooks' Theorem for online list-coloring. The Ore-degree of an edge $xy$ in a grap…
▽ More
We take an application of the Kernel Lemma by Kostochka and Yancey to its logical conclusion. The consequence is a sort of magical way to draw conclusions about list coloring (and online list coloring) just from the existence of an independent set incident to many edges. We use this to prove an Ore-degree version of Brooks' Theorem for online list-coloring. The Ore-degree of an edge $xy$ in a graph $G$ is $θ(xy) = d_G(x) + d_G(y)$. The Ore-degree of $G$ is $θ(G) = \max_{xy\in E(G)}θ(xy)$. We show that every graph with $θ\ge18$ and $ω\le\fracθ{2}$ is online $\left\lfloor \fracθ{2}\right\rfloor $-choosable. In addition, we prove an upper bound for online list-coloring triangle-free graphs: $χ_{OL}\leΔ+1-\lfloor\frac{1}{4}\lg(Δ)\rfloor$. Finally, we characterize Gallai trees as the connected graphs $G$ with no independent set incident to at least $|G|$ edges.
△ Less
Submitted 26 December, 2015;
originally announced December 2015.
-
First-fit coloring on interval graphs has performance ratio at least 5
Authors:
H. A. Kierstead,
David A. Smith,
W. T. Trotter
Abstract:
First-fit is the online graph coloring algorithm that considers vertices one at a time in some order and assigns each vertex the least positive integer not used already on a neighbor. The maximum number of colors used by first-fit on graph G over all vertex orders is denoted χ_{FF}(G).
The exact value of R := \sup_G [χ_{FF}(G) / ω(G)] over interval graphs G is unknown. Pemmaraju, Raman, and Vara…
▽ More
First-fit is the online graph coloring algorithm that considers vertices one at a time in some order and assigns each vertex the least positive integer not used already on a neighbor. The maximum number of colors used by first-fit on graph G over all vertex orders is denoted χ_{FF}(G).
The exact value of R := \sup_G [χ_{FF}(G) / ω(G)] over interval graphs G is unknown. Pemmaraju, Raman, and Varadarajan (2004) proved R <= 10, and this can be improved to 8. Witsenhausen (1976) and Chrobak and Ślusarek (1988) showed R >= 4, and Ślusarek (1993) improved this to 4.45. We prove R >= 5.
△ Less
Submitted 30 May, 2015;
originally announced June 2015.
-
An easy subexponential bound for online chain partitioning
Authors:
Bartłomiej Bosek,
Hal A. Kierstead,
Tomasz Krawczyk,
Grzegorz Matecki,
Matthew E. Smith
Abstract:
Bosek and Krawczyk exhibited an online algorithm for partitioning an online poset of width $w$ into $w^{14\lg w}$ chains. We improve this to $w^{6.5 \lg w + 7}$ with a simpler and shorter proof by combining the work of Bosek & Krawczyk with work of Kierstead & Smith on First-Fit chain partitioning of ladder-free posets. We also provide examples illustrating the limits of our approach.
Bosek and Krawczyk exhibited an online algorithm for partitioning an online poset of width $w$ into $w^{14\lg w}$ chains. We improve this to $w^{6.5 \lg w + 7}$ with a simpler and shorter proof by combining the work of Bosek & Krawczyk with work of Kierstead & Smith on First-Fit chain partitioning of ladder-free posets. We also provide examples illustrating the limits of our approach.
△ Less
Submitted 15 April, 2018; v1 submitted 13 October, 2014;
originally announced October 2014.
-
On the choice number of complete multipartite graphs with part size four
Authors:
H. A. Kierstead,
Andrew Salmon,
Ran Wang
Abstract:
Let $\mathrm{ch}(G)$ denote the choice number of a graph $G$, and let $K_{s*k}$ be the complete $k$-partite graph with $s$ vertices in each part. Erdős, Rubin, and Taylor showed that $\mathrm{ch}( K_{2*k})=k$, and suggested the problem of determining the choice number of $K_{s*k}.$ The first author established
$\mathrm{ch}( K_{3*k})=\left\lceil \frac{4k-1}{3}\right\rceil$. Here we prove…
▽ More
Let $\mathrm{ch}(G)$ denote the choice number of a graph $G$, and let $K_{s*k}$ be the complete $k$-partite graph with $s$ vertices in each part. Erdős, Rubin, and Taylor showed that $\mathrm{ch}( K_{2*k})=k$, and suggested the problem of determining the choice number of $K_{s*k}.$ The first author established
$\mathrm{ch}( K_{3*k})=\left\lceil \frac{4k-1}{3}\right\rceil$. Here we prove $\mathrm{ch} (K_{4*k})=\left\lceil \frac{3k-1}{2}\right\rceil$.
△ Less
Submitted 14 July, 2014;
originally announced July 2014.
-
The (2k-1)-connected multigraphs with at most k-1 disjoint cycles
Authors:
H. A. Kierstead,
A. V. Kostochka,
E. C. Yeager
Abstract:
In 1963, Corrádi and Hajnal proved that for all $k \ge 1$ and $n \ge 3k$, every (simple) graph on n vertices with minimum degree at least 2k contains k disjoint cycles. The same year, Dirac described the 3-connected multigraphs not containing two disjoint cycles and asked the more general question: Which (2k-1)-connected multigraphs do not contain k disjoint cycles? Recently, the authors character…
▽ More
In 1963, Corrádi and Hajnal proved that for all $k \ge 1$ and $n \ge 3k$, every (simple) graph on n vertices with minimum degree at least 2k contains k disjoint cycles. The same year, Dirac described the 3-connected multigraphs not containing two disjoint cycles and asked the more general question: Which (2k-1)-connected multigraphs do not contain k disjoint cycles? Recently, the authors characterized the simple graphs G with minimum degree $δ(G) \ge 2k-1$ that do not contain k disjoint cycles. We use this result to answer Dirac's question in full.
△ Less
Submitted 19 August, 2015; v1 submitted 28 June, 2014;
originally announced June 2014.
-
Improved lower bounds on the number of edges in list critical and online list critical graphs
Authors:
Hal Kierstead,
Landon Rabern
Abstract:
We prove that every $k$-list-critical graph ($k \ge 7$) on $n \ge k+2$ vertices has at least $\frac12 \left(k-1 + \frac{k-3}{(k-c)(k-1) + k-3}\right)n$ edges where $c = (k-3)\left(\frac12 - \frac{1}{(k-1)(k-2)}\right)$. This improves the bound established by Kostochka and Stiebitz. The same bound holds for online $k$-list-critical graphs, improving the bound established by Riasat and Schauz. Both…
▽ More
We prove that every $k$-list-critical graph ($k \ge 7$) on $n \ge k+2$ vertices has at least $\frac12 \left(k-1 + \frac{k-3}{(k-c)(k-1) + k-3}\right)n$ edges where $c = (k-3)\left(\frac12 - \frac{1}{(k-1)(k-2)}\right)$. This improves the bound established by Kostochka and Stiebitz. The same bound holds for online $k$-list-critical graphs, improving the bound established by Riasat and Schauz. Both bounds follow from a more general result stating that either a graph has many edges or it has an Alon-Tarsi orientable induced subgraph satisfying a certain degree condition.
△ Less
Submitted 26 December, 2015; v1 submitted 28 June, 2014;
originally announced June 2014.
-
On directed versions of the Corrádi-Hajnal Corollary
Authors:
Andrzej Czygrinow,
H. A. Kierstead,
Theodore Molla
Abstract:
For $k \in \mathbb N$, Corrádi and Hajnal proved that every graph $G$ on $3k$ vertices with minimum degree $δ(G) \ge 2k$ has a $C_3$-factor, i.e., a partitioning of the vertex set so that each part induces the 3-cycle $C_3$. Wang proved that every directed graph $\overrightarrow G$ on $3k$ vertices with minimum total degree $δ_t(\overrightarrow G):=\min_{v\in V}(deg^-(v)+deg^+(v)) \ge 3(3k-1)/2$ h…
▽ More
For $k \in \mathbb N$, Corrádi and Hajnal proved that every graph $G$ on $3k$ vertices with minimum degree $δ(G) \ge 2k$ has a $C_3$-factor, i.e., a partitioning of the vertex set so that each part induces the 3-cycle $C_3$. Wang proved that every directed graph $\overrightarrow G$ on $3k$ vertices with minimum total degree $δ_t(\overrightarrow G):=\min_{v\in V}(deg^-(v)+deg^+(v)) \ge 3(3k-1)/2$ has a $\overrightarrow C_3$-factor, where $\overrightarrow C_3$ is the directed 3-cycle. The degree bound in Wang's result is tight. However, our main result implies that for all integers $a \ge 1$ and $b \ge 0$ with $a+b=k$, every directed graph $\overrightarrow G$ on $3k$ vertices with minimum total degree $δ_t(\overrightarrow G)\ge 4k-1$ has a factor consisting of $a$ copies of $\overrightarrow T_3$ and $b$ copies of $\overrightarrow C_3$, where $\overrightarrow T_3$ is the transitive tournament on three vertices. In particular, using $b=0$, there is a $\overrightarrow T_3$-factor of $\overrightarrow G $, and using $a=1$, it is possible to obtain a $\overrightarrow C_3$-factor of $\overrightarrow G$ by reversing just one edge of $\overrightarrow G$. All these results are phrased and proved more generally in terms of undirected multigraphs.
We conjecture that every directed graph $\overrightarrow G$ on $3k$ vertices with minimum semidegree $δ_0(\overrightarrow G):=\min_{v\in V}\min(deg^-(v),deg^+(v)) \ge 2k$ has a $\overrightarrow C_3$-factor, and prove that this is asymptotically correct.
△ Less
Submitted 17 September, 2013;
originally announced September 2013.
-
An extension of the Hajnal-Szemeredi theorem to directed graphs
Authors:
Andrzej Czygrinow,
Louis DeBiasio,
H. A. Kierstead,
Theodore Molla
Abstract:
Hajnal and Szemeredi proved that every graph G with |G|=ks and minimum degree at least k(s-1) contains k vertex disjoint s-cliques; moreover this degree bound is optimal. We extend their theorem to directed graphs by showing that every directed graph D with |D|=ks and minimum (total) degree at least 2k(s-1)-1 contains k vertex disjoint transitive tournaments on s vertices. Our result implies the H…
▽ More
Hajnal and Szemeredi proved that every graph G with |G|=ks and minimum degree at least k(s-1) contains k vertex disjoint s-cliques; moreover this degree bound is optimal. We extend their theorem to directed graphs by showing that every directed graph D with |D|=ks and minimum (total) degree at least 2k(s-1)-1 contains k vertex disjoint transitive tournaments on s vertices. Our result implies the Hajnal-Szemeredi Theorem, and the degree bound is optimal. We also make some conjectures regarding even more general results for multigraphs and partitioning into other tournaments. One of these conjectures is supported by an asymptotic result.
△ Less
Submitted 17 July, 2013;
originally announced July 2013.
-
On choosability with separation of planar graphs with lists of different sizes
Authors:
Hal Kierstead,
Bernard Lidický
Abstract:
A (k,d)-list assignment L of a graph G is a mapping that assigns to each vertex v a list L(v) of at least k colors and for any adjacent pair xy, the lists L(x) and L(y) share at most d colors. A graph G is (k,d)-choosable if there exists an L-coloring of G for every (k,d)-list assignment L. This concept is also known as choosability with separation.
It is known that planar graphs are (4,1)-choos…
▽ More
A (k,d)-list assignment L of a graph G is a mapping that assigns to each vertex v a list L(v) of at least k colors and for any adjacent pair xy, the lists L(x) and L(y) share at most d colors. A graph G is (k,d)-choosable if there exists an L-coloring of G for every (k,d)-list assignment L. This concept is also known as choosability with separation.
It is known that planar graphs are (4,1)-choosable but it is not known if planar graphs are (3,1)-choosable. We strengthen the result that planar graphs are (4,1)-choosable by allowing an independent set of vertices to have lists of size 3 instead of 4.
△ Less
Submitted 21 June, 2013;
originally announced June 2013.
-
Pósa's Conjecture for graphs of order at least 2\times 10^8
Authors:
Phong Châu,
Louis DeBiasio,
H. A. Kierstead
Abstract:
In 1962 Pósa conjectured that every graph G on n vertices with minimum degree at least 2n/3 contains the square of a hamiltonian cycle. In 1996 Fan and Kierstead proved the path version of Pósa's Conjecture. They also proved that it would suffice to show that G contains the square of a cycle of length greater than 2n/3. Still in 1996, Komlós, Sárközy, and Szemerédi proved Pósa's Conjecture, using…
▽ More
In 1962 Pósa conjectured that every graph G on n vertices with minimum degree at least 2n/3 contains the square of a hamiltonian cycle. In 1996 Fan and Kierstead proved the path version of Pósa's Conjecture. They also proved that it would suffice to show that G contains the square of a cycle of length greater than 2n/3. Still in 1996, Komlós, Sárközy, and Szemerédi proved Pósa's Conjecture, using the Regularity and Blow-up Lemmas, for graphs of order n > n_0, where n_0 is a very large constant. Here we show without using these lemmas that n_0=2\times 10^8 is sufficient. We are motivated by the recent work of Levitt, Szemerédi and Sárközy, but our methods are based on techniques that were available in the 90's.
△ Less
Submitted 21 April, 2011;
originally announced April 2011.
-
Toward a Hajnal-Szemeredi theorem for hypergraphs
Authors:
Hal Kierstead,
Dhruv Mubayi
Abstract:
Let $H$ be a triple system with maximum degree $d>1$ and let $r>10^7\sqrt{d}\log^{2}d$. Then $H$ has a proper vertex coloring with $r$ colors such that any two color classes differ in size by at most one. The bound on $r$ is sharp in order of magnitude apart from the logarithmic factors. Moreover, such an $r$-coloring can be found via a randomized algorithm whose expected running time is polynomia…
▽ More
Let $H$ be a triple system with maximum degree $d>1$ and let $r>10^7\sqrt{d}\log^{2}d$. Then $H$ has a proper vertex coloring with $r$ colors such that any two color classes differ in size by at most one. The bound on $r$ is sharp in order of magnitude apart from the logarithmic factors. Moreover, such an $r$-coloring can be found via a randomized algorithm whose expected running time is polynomial in the number of vertices of $\cH$.
This is the first result in the direction of generalizing the Hajnal-Szemerédi theorem to hypergraphs.
△ Less
Submitted 21 May, 2010;
originally announced May 2010.
-
A Note on Graph Pebbling
Authors:
Andrzej Czygrinow,
Glenn Hurlbert,
Hal Kierstead,
Tom Trotter
Abstract:
We say that a graph G is Class 0 if its pebbling number is exactly equal to its number of vertices. For a positive integer d, let k(d) denote the least positive integer so that every graph G with diameter at most d and connectivity at least k(d) is Class 0. The existence of the function k was conjectured by Clarke, Hochberg and Hurlbert, who showed that if the function k exists, then it must sat…
▽ More
We say that a graph G is Class 0 if its pebbling number is exactly equal to its number of vertices. For a positive integer d, let k(d) denote the least positive integer so that every graph G with diameter at most d and connectivity at least k(d) is Class 0. The existence of the function k was conjectured by Clarke, Hochberg and Hurlbert, who showed that if the function k exists, then it must satisfy k(d)=Ω(2^d/d). In this note, we show that k exists and satisfies k(d)=O(2^{2d}). We also apply this result to improve the upper bound on the random graph threshold of the Class 0 property.
△ Less
Submitted 3 June, 2004;
originally announced June 2004.
