-
Reconfiguration of List Colourings
Authors:
Stijn Cambie,
Wouter Cames van Batenburg,
Daniel W. Cranston,
Jan van den Heuvel,
Ross J. Kang
Abstract:
Given a proper (list) colouring of a graph $G$, a recolouring step changes the colour at a single vertex to another colour (in its list) that is currently unused on its neighbours, hence maintaining a proper colouring. Suppose that each vertex $v$ has its own private list $L(v)$ of allowed colours such that $|L(v)|\ge \mbox{deg}(v)+1$. We prove that if $G$ is connected and its maximum degree $Δ$ i…
▽ More
Given a proper (list) colouring of a graph $G$, a recolouring step changes the colour at a single vertex to another colour (in its list) that is currently unused on its neighbours, hence maintaining a proper colouring. Suppose that each vertex $v$ has its own private list $L(v)$ of allowed colours such that $|L(v)|\ge \mbox{deg}(v)+1$. We prove that if $G$ is connected and its maximum degree $Δ$ is at least $3$, then for any two proper $L$-colourings in which at least one vertex can be recoloured, one can be transformed to the other by a sequence of $O(|V(G)|^2)$ recolouring steps. We also show that reducing the list-size of a single vertex $w$ to $\mbox{deg}(w)$ can lead to situations where the space of proper $L$-colourings is `shattered'. Our results can be interpreted as showing a sharp phase transition in the Glauber dynamics of proper $L$-colourings of graphs. This constitutes a `local' strengthening and generalisation of a result of Feghali, Johnson, and Paulusma, which considered the situation where the lists are all identical to $\{1,\ldots,Δ+1\}$.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
Determining a graph from its reconfiguration graph
Authors:
Gaétan Berthe,
Caroline Brosse,
Brian Hearn,
Jan van den Heuvel,
Pierre Hoppenot,
Théo Pierron
Abstract:
Given a graph $G$ and a natural number $k$, the $k$-recolouring graph $\mathcal{C}_k(G)$ is the graph whose vertices are the $k$-colourings of $G$ and whose edges link pairs of colourings which differ at exactly one vertex of $G$. Recently, Hogan et al. proved that $G$ can be determined from $\mathcal{C}_k(G)$ provided $k$ is large enough (quadratic in the number of vertices of $G$). We improve th…
▽ More
Given a graph $G$ and a natural number $k$, the $k$-recolouring graph $\mathcal{C}_k(G)$ is the graph whose vertices are the $k$-colourings of $G$ and whose edges link pairs of colourings which differ at exactly one vertex of $G$. Recently, Hogan et al. proved that $G$ can be determined from $\mathcal{C}_k(G)$ provided $k$ is large enough (quadratic in the number of vertices of $G$). We improve this bound by showing that $k=χ(G)+1$ colours suffice, and provide examples of families of graphs for which $k=χ(G)$ colours do not suffice.
We then extend this result to $k$-Kempe-recolouring graphs, whose vertices are again the $k$-colourings of a graph $G$ and whose edges link pairs of colourings which differ by swapping the two colours in a connected component induced by selecting those two colours. We show that $k=χ(G)+2$ colours suffice to determine $G$ in this case.
Finally, we investigate the case of independent set reconfiguration, proving that in only a few trivial cases is one guaranteed to be able to determine a graph $G$.
△ Less
Submitted 28 April, 2025;
originally announced April 2025.
-
Triangle-free graphs with the fewest independent sets
Authors:
Pjotr Buys,
Jan van den Heuvel,
Ross J. Kang
Abstract:
Given $d>0$ and a positive integer $n$, let $G$ be a triangle-free graph on $n$ vertices with average degree $d$. With an elegant induction, Shearer (1983) tightened a seminal result of Ajtai, Komlós and Szemerédi (1980/1981) by proving that $G$ contains an independent set of size at least $(1+o(1))\frac{\log d}{d}n$ as $d\to\infty$.
By a generalisation of Shearer's method, we prove that the num…
▽ More
Given $d>0$ and a positive integer $n$, let $G$ be a triangle-free graph on $n$ vertices with average degree $d$. With an elegant induction, Shearer (1983) tightened a seminal result of Ajtai, Komlós and Szemerédi (1980/1981) by proving that $G$ contains an independent set of size at least $(1+o(1))\frac{\log d}{d}n$ as $d\to\infty$.
By a generalisation of Shearer's method, we prove that the number of independent sets in $G$ must be at least $\exp\left((1+o(1))\frac{(\log d)^2}{2d}n\right)$ as $d\to\infty$. This improves upon results of Cooper and Mubayi (2014) and Davies, Jenssen, Perkins, and Roberts (2018). Our method also provides good lower bounds on the independence polynomial of $G$, one of which implies Shearer's result itself. As certified by a classic probabilistic construction, our bound on the number of independent sets is sharp to several leading terms as $d\to\infty$.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
Multi-Colouring of Kneser Graphs: Notes on Stahl's Conjecture
Authors:
Jan van den Heuvel,
Xinyi Xu
Abstract:
A (finite, undirected) graph is $(n,k)$-colourable if we can assign each vertex a $k$-subset of $\{1,2,\ldots,n\}$ so that adjacent vertices receive disjoint subsets. We consider the following problem: if a graph is $(n,k)$-colourable, then for what pairs $(n',k')$ is it also $(n',k')$-colourable? This question can be translated into a question regarding multi-colourings of Kneser graphs, for whic…
▽ More
A (finite, undirected) graph is $(n,k)$-colourable if we can assign each vertex a $k$-subset of $\{1,2,\ldots,n\}$ so that adjacent vertices receive disjoint subsets. We consider the following problem: if a graph is $(n,k)$-colourable, then for what pairs $(n',k')$ is it also $(n',k')$-colourable? This question can be translated into a question regarding multi-colourings of Kneser graphs, for which Stahl formulated a conjecture in 1976. We present new results, strengthen existing results, and in particular present much simpler proofs of several known cases of the conjecture.
△ Less
Submitted 9 January, 2025; v1 submitted 8 July, 2024;
originally announced July 2024.
-
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.
-
Model-Checking on Ordered Structures
Authors:
Kord Eickmeyer,
Jan van den Heuvel,
Ken-ichi Kawarabayashi,
Stephan Kreutzer,
Patrice Ossona de Mendez,
Michał Pilipczuk,
Daniel A. Quiroz,
Roman Rabinovich,
Sebastian Siebertz
Abstract:
We study the model-checking problem for first- and monadic second-order logic on finite relational structures. The problem of verifying whether a formula of these logics is true on a given structure is considered intractable in general, but it does become tractable on interesting classes of structures, such as on classes whose Gaifman graphs have bounded treewidth. In this paper we continue this l…
▽ More
We study the model-checking problem for first- and monadic second-order logic on finite relational structures. The problem of verifying whether a formula of these logics is true on a given structure is considered intractable in general, but it does become tractable on interesting classes of structures, such as on classes whose Gaifman graphs have bounded treewidth. In this paper we continue this line of research and study model-checking for first- and monadic second-order logic in the presence of an ordering on the input structure. We do so in two settings: the general ordered case, where the input structures are equipped with a fixed order or successor relation, and the order invariant case, where the formulas may resort to an ordering, but their truth must be independent of the particular choice of order. In the first setting we show very strong intractability results for most interesting classes of structures. In contrast, in the order invariant case we obtain tractability results for order-invariant monadic second-order formulas on the same classes of graphs as in the unordered case. For first-order logic, we obtain tractability of successor-invariant formulas on classes whose Gaifman graphs have bounded expansion. Furthermore, we show that model-checking for order-invariant first-order formulas is tractable on coloured posets of bounded width.
△ Less
Submitted 18 December, 2018;
originally announced December 2018.
-
Improper Colourings inspired by Hadwiger's Conjecture
Authors:
Jan van den Heuvel,
David R. Wood
Abstract:
Hadwiger's Conjecture asserts that every $K_t$-minor-free graph has a proper $(t-1)$-colouring. We relax the conclusion in Hadwiger's Conjecture via improper colourings. We prove that every $K_t$-minor-free graph is $(2t-2)$-colourable with monochromatic components of order at most $\lceil{\frac12(t-2)}\rceil$. This result has no more colours and much smaller monochromatic components than all prev…
▽ More
Hadwiger's Conjecture asserts that every $K_t$-minor-free graph has a proper $(t-1)$-colouring. We relax the conclusion in Hadwiger's Conjecture via improper colourings. We prove that every $K_t$-minor-free graph is $(2t-2)$-colourable with monochromatic components of order at most $\lceil{\frac12(t-2)}\rceil$. This result has no more colours and much smaller monochromatic components than all previous results in this direction. We then prove that every $K_t$-minor-free graph is $(t-1)$-colourable with monochromatic degree at most $t-2$. This is the best known degree bound for such a result. Both these theorems are based on a decomposition method of independent interest. We give analogous results for $K_{s,t}$-minor-free graphs, which lead to improved bounds on generalised colouring numbers for these classes. Finally, we prove that graphs containing no $K_t$-immersion are $2$-colourable with bounded monochromatic degree.
△ Less
Submitted 22 February, 2018; v1 submitted 21 April, 2017;
originally announced April 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.
-
On the Generalised Colouring Numbers of Graphs that Exclude a Fixed Minor
Authors:
Jan van den Heuvel,
Patrice Ossona de Mendez,
Daniel Quiroz,
Roman Rabinovich,
Sebastian Siebertz
Abstract:
The generalised colouring numbers $\mathrm{col}_r(G)$ and $\mathrm{wcol}_r(G)$ were introduced by Kierstead and Yang as a generalisation of the usual colouring number, and have since then found important theoretical and algorithmic applications. In this paper, we dramatically improve upon the known upper bounds for generalised colouring numbers for graphs excluding a fixed minor, from the exponent…
▽ More
The generalised colouring numbers $\mathrm{col}_r(G)$ and $\mathrm{wcol}_r(G)$ were introduced by Kierstead and Yang as a generalisation of the usual colouring number, and have since then found important theoretical and algorithmic applications. In this paper, we dramatically improve upon the known upper bounds for generalised colouring numbers for graphs excluding a fixed minor, from the exponential bounds of Grohe et al. to a linear bound for the $r$-colouring number $\mathrm{col}_r$ and a polynomial bound for the weak $r$-colouring number $\mathrm{wcol}_r$. In particular, we show that if $G$ excludes $K_t$ as a minor, for some fixed $t\ge4$, then $\mathrm{col}_r(G)\le\binom{t-1}{2}\,(2r+1)$ and $\mathrm{wcol}_r(G)\le\binom{r+t-2}{t-2}\cdot(t-3)(2r+1)\in\mathcal{O}(r^{\,t-1})$. In the case of graphs $G$ of bounded genus $g$, we improve the bounds to $\mathrm{col}_r(G)\le(2g+3)(2r+1)$ (and even $\mathrm{col}_r(G)\le5r+1$ if $g=0$, i.e. if $G$ is planar) and $\mathrm{wcol}_r(G)\le\Bigl(2g+\binom{r+2}{2}\Bigr)\,(2r+1)$.
△ Less
Submitted 1 April, 2020; v1 submitted 29 February, 2016;
originally announced February 2016.
-
Extension from Precoloured Sets of Edges
Authors:
Katherine Edwards,
António Girão,
Jan van den Heuvel,
Ross J. Kang,
Gregory J. Puleo,
Jean-Sébastien Sereni
Abstract:
We consider precolouring extension problems for proper edge-colourings of graphs and multigraphs, in an attempt to prove stronger versions of Vizing's and Shannon's bounds on the chromatic index of (multi)graphs in terms of their maximum degree $Δ$. We are especially interested in the following question: when is it possible to extend a precoloured matching to a colouring of all edges of a (multi)g…
▽ More
We consider precolouring extension problems for proper edge-colourings of graphs and multigraphs, in an attempt to prove stronger versions of Vizing's and Shannon's bounds on the chromatic index of (multi)graphs in terms of their maximum degree $Δ$. We are especially interested in the following question: when is it possible to extend a precoloured matching to a colouring of all edges of a (multi)graph? This question turns out to be related to the notorious List Colouring Conjecture and other classic notions of choosability.
△ Less
Submitted 27 May, 2018; v1 submitted 16 July, 2014;
originally announced July 2014.
-
A Survey of Best Monotone Degree Conditions for Graph Properties
Authors:
D. Bauer,
H. J. Broersma,
J. van den Heuvel,
N. Kahl,
A. Nevo,
E. Schmeichel,
D. R. Woodall,
M. Yatauro
Abstract:
We survey sufficient degree conditions, for a variety of graph properties, that are best possible in the same sense that Chvatal's well-known degree condition for hamiltonicity is best possible.
We survey sufficient degree conditions, for a variety of graph properties, that are best possible in the same sense that Chvatal's well-known degree condition for hamiltonicity is best possible.
△ Less
Submitted 22 May, 2014;
originally announced May 2014.
-
The Complexity of Change
Authors:
Jan van den Heuvel
Abstract:
Many combinatorial problems can be formulated as "Can I transform configuration 1 into configuration 2, if certain transformations only are allowed?". An example of such a question is: given two k-colourings of a graph, can I transform the first k-colouring into the second one, by recolouring one vertex at a time, and always maintaining a proper k-colouring? Another example is: given two solutions…
▽ More
Many combinatorial problems can be formulated as "Can I transform configuration 1 into configuration 2, if certain transformations only are allowed?". An example of such a question is: given two k-colourings of a graph, can I transform the first k-colouring into the second one, by recolouring one vertex at a time, and always maintaining a proper k-colouring? Another example is: given two solutions of a SAT-instance, can I transform the first solution into the second one, by changing the truth value one variable at a time, and always maintaining a solution of the SAT-instance? Other examples can be found in many classical puzzles, such as the 15-Puzzle and Rubik's Cube.
In this survey we shall give an overview of some older and more recent work on this type of problem. The emphasis will be on the computational complexity of the problems: how hard is it to decide if a certain transformation is possible or not?
△ Less
Submitted 10 December, 2013;
originally announced December 2013.
-
Extensions of Fractional Precolorings show Discontinuous Behavior
Authors:
Jan van den Heuvel,
Daniel Kral,
Martin Kupec,
Jean-Sebastien Sereni,
Jan Volec
Abstract:
We study the following problem: given a real number k and integer d, what is the smallest epsilon such that any fractional (k+epsilon)-precoloring of vertices at pairwise distances at least d of a fractionally k-colorable graph can be extended to a fractional (k+epsilon)-coloring of the whole graph? The exact values of epsilon were known for k=2 and k\ge3 and any d. We determine the exact values o…
▽ More
We study the following problem: given a real number k and integer d, what is the smallest epsilon such that any fractional (k+epsilon)-precoloring of vertices at pairwise distances at least d of a fractionally k-colorable graph can be extended to a fractional (k+epsilon)-coloring of the whole graph? The exact values of epsilon were known for k=2 and k\ge3 and any d. We determine the exact values of epsilon for k \in (2,3) if d=4, and k \in [2.5,3) if d=6, and give upper bounds for k \in (2,3) if d=5,7, and k \in (2,2.5) if d=6. Surprisingly, epsilon viewed as a function of k is discontinuous for all those values of d.
△ Less
Submitted 17 December, 2013; v1 submitted 24 May, 2012;
originally announced May 2012.
-
Fire Containment in Planar Graphs
Authors:
Louis Esperet,
Jan van den Heuvel,
Frédéric Maffray,
Félix Sipma
Abstract:
In a graph $G$, a fire starts at some vertex. At every time step, firefighters can protect up to $k$ vertices, and then the fire spreads to all unprotected neighbours. The $k$-surviving rate $ρ_k(G)$ of $G$ is the expectation of the proportion of vertices that can be saved from the fire, if the starting vertex of the fire is chosen uniformly at random. For a given class of graphs $\cG$ we are inte…
▽ More
In a graph $G$, a fire starts at some vertex. At every time step, firefighters can protect up to $k$ vertices, and then the fire spreads to all unprotected neighbours. The $k$-surviving rate $ρ_k(G)$ of $G$ is the expectation of the proportion of vertices that can be saved from the fire, if the starting vertex of the fire is chosen uniformly at random. For a given class of graphs $\cG$ we are interested in the minimum value $k$ such that $ρ_k(G)\geε$ for some constant $ε>0$ and all $G\in\cG$ i.e., such that linearly many vertices are expected to be saved in every graph from $\cG$).
In this note, we prove that for planar graphs this minimum value is at most 4, and that it is precisely 2 for triangle-free planar graphs.
△ Less
Submitted 15 May, 2012; v1 submitted 15 February, 2011;
originally announced February 2011.
-
Cyclic Orderings and Cyclic Arboricity of Matroids
Authors:
Jan van den Heuvel,
Stéphan Thomassé
Abstract:
We prove a general result concerning cyclic orderings of the elements of a matroid. For each matroid $M$, weight function $ω:E(M)\rightarrow\mathbb{N}$, and positive integer $D$, the following are equivalent. (1) For all $A\subseteq E(M)$, we have $\sum_{a\in A}ω(a)\le D\cdot r(A)$. (2) There is a map $φ$ that assigns to each element $e$ of $E(M)$ a set $φ(e)$ of $ω(e)$ cyclically consecutive elem…
▽ More
We prove a general result concerning cyclic orderings of the elements of a matroid. For each matroid $M$, weight function $ω:E(M)\rightarrow\mathbb{N}$, and positive integer $D$, the following are equivalent. (1) For all $A\subseteq E(M)$, we have $\sum_{a\in A}ω(a)\le D\cdot r(A)$. (2) There is a map $φ$ that assigns to each element $e$ of $E(M)$ a set $φ(e)$ of $ω(e)$ cyclically consecutive elements in the cycle $(1,2,...,D)$ so that each set $\{e|i\inφ(e)\}$, for $i=1,...,D$, is independent.
As a first corollary we obtain the following. For each matroid $M$ so that $|E(M)|$ and $r(M)$ are coprime, the following are equivalent. (1) For all non-empty $A\subseteq E(M)$, we have $|A|/r(A)\le|E(M)|/r(M)$. (2) There is a cyclic permutation of $E(M)$ in which all sets of $r(M)$ cyclically consecutive elements are bases of $M$. A second corollary is that the circular arboricity of a matroid is equal to its fractional arboricity.
These results generalise classical results of Edmonds, Nash-Williams and Tutte on covering and packing matroids by bases and graphs by spanning trees.
△ Less
Submitted 19 July, 2011; v1 submitted 15 December, 2009;
originally announced December 2009.
-
Toughness and Vertex Degrees
Authors:
D. Bauer,
H. J. Broersma,
J. van den Heuvel,
N. Kahl,
E. Schmeichel
Abstract:
We study theorems giving sufficient conditions on the vertex degrees of a graph $G$ to guarantee $G$ is $t$-tough. We first give a best monotone theorem when $t\ge1$, but then show that for any integer $k\ge1$, a best monotone theorem for $t=\frac1k\le 1$ requires at least $f(k)\cdot|V(G)|$ nonredundant conditions, where $f(k)$ grows superpolynomially as $k\rightarrow\infty$. When $t<1$, we give a…
▽ More
We study theorems giving sufficient conditions on the vertex degrees of a graph $G$ to guarantee $G$ is $t$-tough. We first give a best monotone theorem when $t\ge1$, but then show that for any integer $k\ge1$, a best monotone theorem for $t=\frac1k\le 1$ requires at least $f(k)\cdot|V(G)|$ nonredundant conditions, where $f(k)$ grows superpolynomially as $k\rightarrow\infty$. When $t<1$, we give an additional, simple theorem for $G$ to be $t$-tough, in terms of its vertex degrees.
△ Less
Submitted 25 May, 2011; v1 submitted 15 December, 2009;
originally announced December 2009.
-
Degree Sequences and the Existence of $k$-Factors
Authors:
D. Bauer,
H. J. Broersma,
J. van den Heuvel,
N. Kahl,
E. Schmeichel
Abstract:
We consider sufficient conditions for a degree sequence $π$ to be forcibly $k$-factor graphical. We note that previous work on degrees and factors has focused primarily on finding conditions for a degree sequence to be potentially $k$-factor graphical.
We first give a theorem for $π$ to be forcibly 1-factor graphical and, more generally, forcibly graphical with deficiency at most $β\ge0$. These…
▽ More
We consider sufficient conditions for a degree sequence $π$ to be forcibly $k$-factor graphical. We note that previous work on degrees and factors has focused primarily on finding conditions for a degree sequence to be potentially $k$-factor graphical.
We first give a theorem for $π$ to be forcibly 1-factor graphical and, more generally, forcibly graphical with deficiency at most $β\ge0$. These theorems are equal in strength to Chvátal's well-known hamiltonian theorem, i.e., the best monotone degree condition for hamiltonicity. We then give an equally strong theorem for $π$ to be forcibly 2-factor graphical. Unfortunately, the number of nonredundant conditions that must be checked increases significantly in moving from $k=1$ to $k=2$, and we conjecture that the number of nonredundant conditions in a best monotone theorem for a $k$-factor will increase superpolynomially in $k$.
This suggests the desirability of finding a theorem for $π$ to be forcibly $k$-factor graphical whose algorithmic complexity grows more slowly. In the final section, we present such a theorem for any $k\ge2$, based on Tutte's well-known factor theorem. While this theorem is not best monotone, we show that it is nevertheless tight in a precise way, and give examples illustrating this tightness.
△ Less
Submitted 8 March, 2011; v1 submitted 15 December, 2009;
originally announced December 2009.
-
A Unified Approach to Distance-Two Colouring of Graphs on Surfaces
Authors:
Omid Amini,
Louis Esperet,
Jan van den Heuvel
Abstract:
In this paper we introduce the notion of $Σ$-colouring of a graph $G$: For given subsets $Σ(v)$ of neighbours of $v$, for every $v\in V(G)$, this is a proper colouring of the vertices of $G$ such that, in addition, vertices that appear together in some $Σ(v)$ receive different colours. This concept generalises the notion of colouring the square of graphs and of cyclic colouring of graphs embedded…
▽ More
In this paper we introduce the notion of $Σ$-colouring of a graph $G$: For given subsets $Σ(v)$ of neighbours of $v$, for every $v\in V(G)$, this is a proper colouring of the vertices of $G$ such that, in addition, vertices that appear together in some $Σ(v)$ receive different colours. This concept generalises the notion of colouring the square of graphs and of cyclic colouring of graphs embedded in a surface. We prove a general result for graphs embeddable in a fixed surface, which implies asymptotic versions of Wegner's and Borodin's Conjecture on the planar version of these two colourings. Using a recent approach of Havet et al., we reduce the problem to edge-colouring of multigraphs, and then use Kahn's result that the list chromatic index is close to the fractional chromatic index.
Our results are based on a strong structural lemma for graphs embeddable in a fixed surface, which also implies that the size of a clique in the square of a graph of maximum degree $Δ$ embeddable in some fixed surface is at most $\frac32\,Δ$ plus a constant.
△ Less
Submitted 6 May, 2012; v1 submitted 7 December, 2008;
originally announced December 2008.
-
List Colouring Squares of Planar Graphs
Authors:
Frédéric Havet,
Jan van den Heuvel,
Colin McDiarmid,
Bruce Reed
Abstract:
In 1977, Wegner conjectured that the chromatic number of the square of every planar graph $G$ with maximum degree $Δ\ge8$ is at most $\bigl\lfloor\frac32Δ\bigr\rfloor+1$. We show that it is at most $\frac32 Δ(1+o(1))$ (where the $o(1)$ is as $Δ\to+\infty$), and indeed that this is true for the list chromatic number and for more general classes of graphs.
In 1977, Wegner conjectured that the chromatic number of the square of every planar graph $G$ with maximum degree $Δ\ge8$ is at most $\bigl\lfloor\frac32Δ\bigr\rfloor+1$. We show that it is at most $\frac32 Δ(1+o(1))$ (where the $o(1)$ is as $Δ\to+\infty$), and indeed that this is true for the list chromatic number and for more general classes of graphs.
△ Less
Submitted 15 May, 2017; v1 submitted 21 July, 2008;
originally announced July 2008.
