coloring
4410 papers tagged with this keyword
Correspondence coloring and its application to list-coloring planar graphs without cycles of lengths 4 to 8
We introduce a new variant of graph coloring called correspondence coloring which generalizes list coloring and allows for reductions previously only possible for ordinary coloring. Using this tool, we prove that excluding cycles of lengths 4 to 8 is sufficient to guarantee 3-choosability of a planar graph, thus answering a question of Borodin.
On the Strong Chromatic Index of Sparse Graphs
Published
• View Publication
• BIB
The strong chromatic index of a graph $G$, denoted $χ_s'(G)$, is the least number of colors needed to edge-color $G$ so that edges at distance at most two receive distinct colors. The strong list chromatic index, denoted $χ_{s,\ell}'(G)$, is the least integer $k$ such that if arbitrary lists of size $k$ are assigned to each edge then $G$ can be edge-colored from those lists where edges at distance at most two receive distinct colors. We use the discharging method, the Combinatorial Nullstellensatz, and computation to show that if $G$ is a subcubic planar graph with $\operatorname{girth}(G) \geq 41$ then $χ_{s,\ell}'(G) \leq 5$, answering a question of Borodin and Ivanova [Precise upper bound for the strong edge chromatic number of sparse planar graphs, Discuss. Math. Graph Theory, 33(4), (2014) 759--770]. We further show that if $G$ is a subcubic planar graph and $\operatorname{girth}(G) \geq 30$, then $χ_s'(G) \leq 5$, improving a bound from the same paper. Finally, if $G$ is a planar graph with maximum degree at most four and $\operatorname{girth}(G) \geq 28$, then $χ_s'(G) \leq 7$, improving a more general bound of Wang and Zhao from [Odd graphs and its application on the strong edge coloring, arXiv:1412.8358] in this case.
On interval edge-colorings of bipartite graphs of small order
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with colors $1,\ldots,t$ is an interval $t$-coloring if all colors are used, and the colors of edges incident to each vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if it has an interval $t$-coloring for some positive integer $t$. The problem of deciding whether a bipartite graph is interval colorable is NP-complete. The smallest known examples of interval non-colorable bipartite graphs have $19$ vertices. On the other hand it is known that the bipartite graphs on at most $14$ vertices are interval colorable. In this work we observe that several classes of bipartite graphs of small order have an interval coloring. In particular, we show that all bipartite graphs on $15$ vertices are interval colorable.
The Thue choice number versus the Thue chromatic number of graphs
We say that a vertex colouring $\varphi$ of a graph $G$ is nonrepetitive if there is no positive integer $n$ and a path on $2n$ vertices $v_{1}\ldots v_{2n}$ in $G$ such that the associated sequence of colours $\varphi(v_{1})\ldots\varphi(v_{2n})$ satisfy $\varphi(v_{i})=\varphi(v_{i+n})$ for all $i=1,2,\dots,n$. The minimum number of colours in a nonrepetitive vertex colouring of $G$ is the Thue chromatic number $π(G)$. For the case of vertex list colourings the Thue choice number $π_{l}(G)$ of $G$ denotes the smallest integer $k$ such that for every list assignment $L:V(G)\rightarrow 2^{\mathbb{N}}$ with minimum list length at least $k$, there is a nonrepetitive vertex colouring of $G$ from the assigned lists. Recently it was proved that the Thue chromatic number and the Thue choice number of the same graph may have an arbitrary large difference in some classes of graphs. Here we give an overview of the known results where we compare these two parameters for several families of graphs and we also give a list of open problems on this topic.
Infinite closed monochromatic subsets of a metric space
Given a coloring of the k-element subsets of an uncountable separable metric space, we show that there exists an infinite monochromatic subset which contains its limit point.
$K_3$-WORM colorings of graphs: Lower chromatic number and gaps in the chromatic spectrum
A $K_3$-WORM coloring of a graph $G$ is an assignment of colors to the vertices in such a way that the vertices of each $K_3$-subgraph of $G$ get precisely two colors. We study graphs $G$ which admit at least one such coloring. We disprove a conjecture of Goddard et al. [Congr. Numer., 219 (2014) 161--173] who asked whether every such graph has a $K_3$-WORM coloring with two colors. In fact for every integer $k\ge 3$ there exists a $K_3$-WORM colorable graph in which the minimum number of colors is exactly $k$. There also exist $K_3$-WORM colorable graphs which have a $K_3$-WORM coloring with two colors and also with $k$ colors but no coloring with any of $3,\dots,k-1$ colors. We also prove that it is NP-hard to determine the minimum number of colors and NP-complete to decide $k$-colorability for every $k \ge 2$ (and remains intractable even for graphs of maximum degree 9 if $k=3$). On the other hand, we prove positive results for $d$-degenerate graphs with small $d$, also including planar graphs. Moreover we point out a fundamental connection with the theory of the colorings of mixed hypergraphs. We list many open problems at the end.
Good Graph Hunting
Given graphs $H_1, H_2, \dots, H_k$, the Ramsey number $R(H_1, \dots, H_k)$ is the smallest integer $n$ for which in any coloring of the edges of the complete graph $K_n$ with colors $1,2,\dots,k$, there is some color $i$ with a monochromatic copy of $H_i$. We call a tuple $(H_1, \dots, H_k)$ good if for every $k$-coloring of the edges of an $R(H_1, \dots, H_k)$-chromatic graph, there is some color $i$ with a monochromatic copy of $H_i$. We call a graph $H$ $k$-good if the $k$-tuple $(H, H, \dots, H)$ is good, and $H$ is good if it is $k$-good for every $k$. Bialostocki and Gyárfás proved that matchings are good and asked whether every acyclic $H$ is good. A natural strategy shows that $P_4$ is $k$-good for $k \not = 3$ and that $(P_4, P_5)$ is good. We develop a new technique for showing that a graph is $2$-good, and we apply it successfully to $P_5$, $P_6$, and $P_7$.
Hypergraph coloring up to condensation
Published
• View Publication
• BIB
Improving a result of Dyer, Frieze and Greenhill [Journal of Combinatorial Theory, Series B, 2015], we determine the $q$-colorability threshold in random $k$-uniform hypergraphs up to an additive error of $\ln 2+\varepsilon_q$, where $\lim_{q\to\infty}\varepsilon_q=0$. The new lower bound on the threshold matches the "condensation phase transition" predicted by statistical physics considerations [Krzakala et al., PNAS 2007].
Cartesian Product and Acyclic Edge Colouring
The acyclic chromatic index, denoted by $a'(G)$, of a graph $G$ is the minimum number of colours used in any proper edge colouring of $G$ such that the union of any two colour classes does not contain a cycle, that is, forms a forest. We show that $a'(G\Box H)\le a'(G) + a'(H)$ for any two graphs $G$ and $H$ such that $max\{a'(G), a'(H)\} > 1$. Here, $G \Box H$ denotes the cartesian product of $G$ and $H$. This extends a recent result of [15] where tight and constructive bounds on $a'(G)$ were obtained for a class of grid-like graphs which can be expressed as the cartesian product of a number of paths and cycles.
Unique colorability and clique minors
Published
• View Publication
• BIB
For a graph G, let h(G) denote the largest k such that G has k pairwise disjoint pairwise adjacent connected nonempty subgraphs, and let s(G) denote the largest k such that G has k pairwise disjoint pairwise adjacent connected subgraphs of size 1 or 2. Hadwiger's conjecture states that h(G) is at least c(G), where c(G) is the chromatic number of G. Seymour conjectured that s(G) is at least |V(G)|/2 for all graphs without antitriangles, i. e. three pairwise nonadjacent vertices. Here we concentrate on graphs G with exactly one c(G)-coloring. We prove generalizations of (i) if c(G) is at most 6 and G has exactly one c(G)-coloring then h(G) is at least c(G), where the proof does not use the four-color-theorem, and (ii) if G has no antitriangles and G has exactly one c(G)-coloring then s(G) is at least |V(G)|/2.
Asymptotically optimal neighbour sum distinguishing total colourings of graphs
Consider a simple graph $G=(V,E)$ of maximum degree $Δ$ and its proper total colouring $c$ with the elements of the set $\{1,2,\ldots,k\}$. The colouring $c$ is said to be \emph{neighbour sum distinguishing} if for every pair of adjacent vertices $u$, $v$, we have $c(u)+\sum_{e\ni u}c(e)\neq c(v)+\sum_{e\ni v}c(e)$. The least integer $k$ for which it exists is denoted by $χ"_{\sum}(G)$, hence $χ"_{\sum}(G) \geq Δ+1$. On the other hand, it has been daringly conjectured that just one more label than presumed in the famous Total Colouring Conjecture suffices to construct such total colouring $c$, i.e., that $χ"_{\sum}(G) \leq Δ+3$ for all graphs. We support this inequality by proving its asymptotic version, $χ"_{\sum}(G) \leq (1+o(1))Δ$. The major part of the construction confirming this relays on a random assignment of colours, where the choice for every edge is biased by so called attractors, randomly assigned to the vertices, and the probabilistic result of Molloy and Reed on the Total Colouring Conjecture itself.
On decomposing graphs of large minimum degree into locally irregular subgraphs
Published in Electron. J. Combin. 23(2) (2016), #P2.31
• Search Publication
A \emph{locally irregular graph} is a graph whose adjacent vertices have distinct degrees. We say that a graph $G$ can be decomposed into $k$ locally irregular subgraphs if its edge set may be partitioned into $k$ subsets each of which induces a locally irregular subgraph in $G$. It has been conjectured that apart from the family of exceptions which admit no such decompositions, i.e., odd paths, odd cycles and a special class of graphs of maximum degree $3$, every connected graph can be decomposed into $3$ locally irregular subgraphs. Using a combination of a probabilistic approach and some known theorems on degree constrained subgraphs of a given graph, we prove this to hold for graphs of sufficiently large minimum degree, $δ(G)\geq 10^{10}$. This problem is strongly related to edge colourings distinguishing neighbours by the pallets of their incident colours and to 1-2-3 Conjecture. In particular, the contribution of this paper constitutes a strengthening of a result of Addario-Berry, Aldred, Dalal and Reed [J. Combin. Theory Ser. B 94 (2005) 237-244].
Interval edge-colorings of composition of graphs
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with consecutive integers $c_{1},\ldots,c_{t}$ is called an \emph{interval $t$-coloring} if all colors are used, and the colors of edges incident to any vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if it has an interval $t$-coloring for some positive integer $t$. The set of all interval colorable graphs is denoted by $\mathfrak{N}$. In 2004, Giaro and Kubale showed that if $G,H\in \mathfrak{N}$, then the Cartesian product of these graphs belongs to $\mathfrak{N}$. In the same year they formulated a similar problem for the composition of graphs as an open problem. Later, in 2009, the first author showed that if $G,H\in \mathfrak{N}$ and $H$ is a regular graph, then $G[H]\in \mathfrak{N}$. In this paper, we prove that if $G\in \mathfrak{N}$ and $H$ has an interval coloring of a special type, then $G[H]\in \mathfrak{N}$. Moreover, we show that all regular graphs, complete bipartite graphs and trees have such a special interval coloring. In particular, this implies that if $G\in \mathfrak{N}$ and $T$ is a tree, then $G[T]\in \mathfrak{N}$.
On the pseudoachromatic index of the complete graph III
Published in Graphs and Combinatorics-2018
• View Publication
• BIB
Let $ Π_q $ be the projective plane of order $ q $, let $ψ(m):=ψ(L(K_m))$ the pseudoachromatic number of the complete line graph of order $ m $, let $ a\in \{ 3,4,\dots,\tfrac{q}{2}+1 \} $ and $ m_a=(q+1)^2-a $.
In this paper, we improve the upper bound of $ ψ(m) $ given by Araujo-Pardo et al. [J Graph Theory 66 (2011), 89--97] and Jamison [Discrete Math. 74 (1989), 99--115] in the following values: if $ x\geq 2 $ is an integer and $m\in \{4x^2-x,\dots,4x^2+3x-3\}$ then $ψ(m) \leq 2x(m-x-1)$.
On the other hand, if $ q $ is even and there exists $ Π_q $ we give a complete edge-colouring of $ K_{m_a} $ with $(m_a-a)q$ colours. Moreover, using this colouring we extend the previous results for $a=\{-1,0,1,2\}$ given by Araujo-Pardo et al. in [J Graph Theory 66 (2011), 89--97] and [Bol. Soc. Mat. Mex. (2014) 20:17--28] proving that $ψ(m_a)=(m_a-a)q$ for $ a\in \{3,4,\dots,\left\lceil \frac{1+\sqrt{4q+9}}{2}\right\rceil -1 \} $.
On degree anti-Ramsey numbers
Published in European Journal of Combinatorics 60 (2017), 31-41
• View Publication
• BIB
The degree anti-Ramsey number $AR_d(H)$ of a graph $H$ is the smallest integer $k$ for which there exists a graph $G$ with maximum degree at most $k$ such that any proper edge colouring of $G$ yields a rainbow copy of $H$. In this paper we prove a general upper bound on degree anti-Ramsey numbers, determine the precise value of the degree anti-Ramsey number of any forest, and prove an upper bound on the degree anti-Ramsey numbers of cycles of any length which is best possible up to a multiplicative factor of $2$. Our proofs involve a variety of tools, including a classical result of Bollobás concerning cross intersecting families and a topological version of Hall's Theorem due to Aharoni, Berger and Meshulam.
Asymptotically optimal neighbor sum distinguishing total colorings of graphs
Published
• View Publication
• BIB
Given a proper total $k$-coloring $c:V(G)\cup E(G)\to\{1,2,\ldots,k\}$ of a graph $G$, we define the value of a vertex $v$ to be $c(v) + \sum_{uv \in E(G)} c(uv)$. The smallest integer $k$ such that $G$ has a proper total $k$-coloring whose values form a proper coloring is the neighbor sum distinguishing total chromatic number of $G$, $χ"_Σ(G)$. Pilśniak and Woźniak (2013) conjectured that $χ"_Σ(G)\leq Δ(G)+3$ for any simple graph with maximum degree $Δ(G)$. In this paper, we prove this bound to be asymptotically correct by showing that $χ"_Σ(G)\leq Δ(G)(1+o(1))$. The main idea of our argument relies on Przybyło's proof (2014) regarding neighbor sum distinguishing edge-colorings.
On $ωψ$-Perfect Graphs
Published in Ars Combinatoria-2018
• Search Publication
In this paper, we generalize the concept of {\it{perfect graphs}} to other parameters related to graph vertex coloring. This idea was introduced by Christen and Selkow in 1979 and Yegnanarayanan in 2001. Let $ a,b \in \{ ω, χ, Γ, α, ψ\} $ where $ ω$ is the clique number, $ χ$ is the chromatic number, $ Γ$ is the Grundy number, $ α$ is the achromatic number and $ ψ$ is the pseudoachromatic number. A graph $ G $ is \emph{$ ab $-perfect}, if for every induced subgraph $ H $ of $G$, $ a(H)$ equals $b(H) $. In this paper, we characterize the $ab$-perfect graphs when $a=ω$ and $b=ψ$.
Online Paintability: The Slow-Coloring Game
Published
• View Publication
• BIB
The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the uncolored vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter and Lister want to minimize and maximize the total score, respectively. The best score that each player can guarantee is the sum-color cost of $G$, written $\mathring{\mathrm{s}}(G)$. The game is an online variant of online sum list coloring.
We proe $\frac{|V(G)|}{2α(G)} + \frac{1}{2} \leq \frac{\mathring{\mathrm{s}}(G)}{|V(G)|} \leq \max\left\{ \frac{|V(H)|}{α(H)} : H \subset G\right\}$, where $α(G)$ is the independence number, and we study when equality holds in the bounds. We compute $\mathring{\mathrm{s}}(G)$ for graphs with $α(G) = 2$. Among $n$-vertex graphs, we prove that $\mathring{\mathrm{s}}$ is minimized by the star and maximized by the path. We also obtain good bounds on $\mathring{\mathrm{s}}(K_{r,s})$.
Chromatic functors of graphs
Finite graphs that have a common chromatic polynomial have the same number of regular $n$-colorings. A natural question is whether there exists a natural bijection between regular $n$-colorings. We address this question using a functorial formulation. Let $G$ be a simple graph. Then for each set $X$ we can associate a set of $X$-colorings. This defines a functor, "chromatic functor" from the category of sets with injections to itself. The first main result verifies that two finite graphs determine isomorphic chromatic functors if and only if they have the same chromatic polynomial.
Chromatic functors can be defined for arbitrary, possibly infinite, graphs. This fact enables us to investigate functorial chromatic theory for infinite graphs. We prove that chromatic functors satisfy the Cantor-Bernstein-Schröder property. We also prove that countable connected trees determine isomorphic chromatic functors. Finally, we present a pair of infinite graphs that determine non-isomorphic chromatic functors.
Edge-coloring via fixable subgraphs
Many graph coloring proofs proceed by showing that a minimal counterexample to the theorem being proved cannot contain certain configurations, and then showing that each graph under consideration contains at least one such configuration; these configurations are called \emph{reducible} for that theorem. (A \emph{configuration} is a subgraph $H$, along with specified degrees $d_G(v)$ in the original graph $G$ for each vertex of $H$.)
We give a general framework for showing that configurations are reducible for edge-coloring. A particular form of reducibility, called \emph{fixability}, can be considered without reference to a containing graph. This has two key benefits: (i) we can now formulate necessary conditions for fixability, and (ii) the problem of fixability is easy for a computer to solve. The necessary condition of \emph{superabundance} is sufficient for multistars and we conjecture that it is sufficient for trees as well, which would generalize the powerful technique of Tashkinov trees.
Via computer, we can generate thousands of reducible configurations, but we have short proofs for only a small fraction of these. The computer can write \LaTeX\ code for its proofs, but they are only marginally enlightening and can run thousands of pages long. We give examples of how to use some of these reducible configurations to prove conjectures on edge-coloring for small maximum degree. Our aims in writing this paper are (i) to provide a common context for a variety of reducible configurations for edge-coloring and (ii) to spur development of methods for humans to understand what the computer already knows.