coloring
4405 papers tagged with this keyword
Flexible DP-4-coloring of planar graphs without 4-cycles and intersecting triangles
Graph coloring with preferences offers a powerful framework for constraint satisfaction problems in which fulfilling every request is impossible but satisfying a guaranteed positive fraction is highly desirable. A \emph{request} on a graph $G$ equipped with a list assignment $L$ assigns to each vertex of some subset $dom(r)\subseteq V(G)$ a preferred color from its list. Following Dvořák, Norin, and Postle (2019), $G$ is \emph{$\varepsilon$-flexibly $k$-choosable} if, for every $k$-list assignment $L$ and every request $r$, there is an $L$-coloring of $G$ that agrees with $r$ on at least $\varepsilon|dom(r)|$ vertices. The corresponding notion for DP-coloring (correspondence coloring) was formalized by Bradshaw, Choi, and Kostochka (2025). Choi, Clemen, Ferrara, Horn, Ma, and Masařík (2022) proved that every planar graph without $4$-cycles and with $3$-cycle distance at least $2$ is $\varepsilon$-flexibly $4$-choosable. We improve the result in two respects: weakening the hypothesis from $3$-cycle distance $\geq 2$ to vertex-disjoint triangles, and strengthening the conclusion from list flexibility to weighted DP-flexibility: \emph{Every simple planar graph without $4$-cycles and without intersecting triangles is weighted $\varepsilon$-flexibly DP-$4$-colorable.} The list size $4$ is sharp: Montassier, Raspaud, and Wang constructed a planar graph without $4$-cycles, $5$-cycles, and intersecting triangles that is not $3$-choosable.
Strong majority colorings of graphs
Motivated by majority vertex-colorings of graphs and digraphs and majority edge-colorings of graphs, we introduce two concepts of strong majority colorings. A strong majority vertex-coloring of a graph $G=(V,E)$ is a mapping $c:V\rightarrow C$ such that for every vertex $v\in V$ and every color $α\in C$, at most half of the neighbors of $v$ have color $α$. The strong majority number of $G$, denoted Maj$(G)$, is the least number of colors in such a coloring. We show that Maj$(G)$ can be arbitrarily large and prove a tight upper bound Maj$(G)\le 2Δ(G)+1$ for every graph $G$ without pendant vertices. A strong majority edge-coloring of a graph $G$ is a mapping $c:E\rightarrow C$ such that for every edge $e\in E$ and every color $α\in C$, at most half of the edges adjacent to $e$ have color $α$. The strong majority index of $G$, denoted Maj'$(G)$, is the least number of colors in such a coloring. It is shown that there is an upper constant bound for Maj'$(G)$ of all admissible graphs $G$. We conjecture that this constant is as small as 4 and confirm this conjecture for numerous graph classes.
Diagonal Ramsey numbers for wheels
The Ramsey number $\mathrm{R}(G_1,G_2)$ is the smallest integer $N$ such that any red-blue coloring of the edges of the complete graph $K_N$ contains either a red copy of $G_1$ or a blue copy of $G_2$. In 2022, the third author and others gave lower and upper bounds of the Ramsey number $\mathrm{R}(W_n,W_n)$, where $W_n$ is the wheel graph with $n$ vertices. In this paper, we improve their bounds by showing that $3n-2\leq \mathrm{R}(W_n,W_n)\leq 6n-6$ for even $n\geq 8$ and $2n\leq \mathrm{R}(W_n,W_n)\leq \frac{9n-7}{2}$ for odd $n\geq 7$. Furthermore, we give recursive bounds for the $k$-colored Ramsey number for $W_n$.
A linear upper bound on the $\mathbb{Z}_p$-Ramsey number of graphs with sufficiently large $2$-packing
Given a positive integer $k$ and graph $G$, the $\mathbb{Z}_k$-Ramsey number $R(G,\mathbb{Z}_k)$ is the least $N$ (if it exists) such that every coloring $f:E(K_N)\rightarrow \mathbb{Z}_k$ contains a copy $G'$ of $G$ such that $\sum_{e\in E(G')}f(e)=0$. Motivated by a question of Caro and Mifsud, we study the $\mathbb{Z}_k$-Ramsey number of graphs with a sufficiently large 2-packing, i.e. a set of vertices $S\subseteq V(G)$ such that $N[u]\cap N[v]=\emptyset$ for all distinct $u,v\in S$. In particular, we prove that $R(G,\mathbb{Z}_p)\leq n+6p-9$ for all $n$-vertex graphs $G$ and all primes $p$ such that $p$ divides $e(G)$, the minimum degree of $G$ is at least $1$, and there exists a $2$-packing of $G$ with size $p-1$. This upper bound improves depending on vertex degrees in the $2$-packing, with equality in certain cases. The result also implies an upper bound of the form $R(G,\mathbb{Z}_p)\leq n+C$ for $n$-vertex graphs $G$ of bounded maximum degree.
Ramsey properties for tilings in random graphs
Let $mH$ be the graph formed by $m$ vertex-disjoint copies of a graph $H$. Let $G \to (H)_r$ denote that, in any $r$-colouring of the edges of $G$, there exists a monochromatic copy of $H$. In 1975, Burr, Erdős, and Spencer showed that if $H$ is a graph on $k$ vertices whose independence number is $α$, then $K_n \to (mH)_2$, where $m\sim n/(2k-α)$, and that the $1/(2k-α)$ factor is best possible. In the 1990s, Rödl and Ruciński proved that, for all but a few graphs~$H$, the threshold for the property $\mathbb{G}(n,p) \to (H)_r$ is $n^{-1/m_2(H)}$. In this paper, generalizing the result of Burr, Erdős, and Spencer, we prove that $n^{-1/\max\{m_2(H),1\}}$ is the threshold for the property $\mathbb{G}(n,p) \to (mH)_2$, where $m\sim n/(2k-α)$. This threshold matches the one found by Rödl and Ruciński for most graphs $H$, extending their result in the case $r=2$.
Locally Semi-Equitable Colourings of BIBDs
We study $\ell$-colourings of $(v,k,λ)$-BIBDs (balanced incomplete block designs) where, within each block, one colour is absent and each of the $\ell-1$ other colours appears exactly $\frac{k}{\ell-1}$ times. We establish several necessary conditions for such colourings to exist. We also use these coloured BIBDs to provide new necessary conditions for the existence of Hadamard matrices, affine planes, and twin prime powers.
Hypercube geodesics with few colour changes
What is the maximum, over all 2-colourings of the edges of the $n$-dimensional hypercube $Q_n$, of the minimal number of times a path between a vertex $v$ and its antipode $\bar{v}$ changes colour? A conjecture of Norine, in a form due to Feder and Subi, states that this maximum should be 1. The previous best-known upper bound on the number of colour changes was $(\tfrac{3}{8} + o(1))n$ due to Dvořák. We improve this bound and answer a question of Leader and Long by finding a geodesic path with at most $(\tfracπ{2} + o(1))\sqrt{n}$ colour changes. In fact, we show that this is the expected number of colour changes for a uniformly random start vertex. This is optimal (up to the constant) when the start vertex is chosen uniformly at random.
An introduction to equitable DP coloring of graphs
A proper $k$-coloring of vertices of an $n$-vertex graph is equitable if the size of every color class is $\lfloor n/k\rfloor$ or $\lceil n/k\rceil$. An extension of it to list coloring requires only that the size of every color class is at most $\lceil n/k\rceil$. Such colorings have interesting applications and have been actively studied recently. In this paper, we extend the notion of equitable coloring to the more general notion of equitable DP coloring and study properties of the new parameter.
Harmonious Colorings: bounds, heuristics and integer-linear formulations
A proper coloring $c$ of a simple graph $G$ is harmonious if, for every pair of distinct edges $uv,xy\in E(G)$, we have that $\{c(u),c(v)\}\neq \{c(x),c(y)\}$. The harmonious chromatic number of $G$, denoted by $h(G)$, is the least positive integer $k$ such that $G$ has a harmonious coloring with $k$ colors. In this work, we extend an idea presented in [Kolay, et al. Harmonious coloring: Parameterized algorithms and upper bounds. Theor. Comp. Sci. 772 (2019), 132-142] to compare the harmonious chromatic numbers of two graphs $G$ and $H$, with $H$ being obtained from $G$ by identifying vertices at distance at least three. Furthermore, by fixing a proof presented in the same work, we manage to improve one of its upper bounds. We also introduce and study the first, to the best of our knowledge, integer-linear programming formulations for this problem in the literature, along with some heuristics. We provide some preliminary tests on random instances and instances from the second DIMACS Implementation Challenge.
Monochromatic unit equilateral triangle on low-dimensional spheres
A result of Matoušek and Rödl in 1995 states that for every $\varepsilon>0$ and every triangle $T$ with circumradius $ρ(T)$, there exists a dimension $n=n(\varepsilon,T)$ such that every $2$-coloring of the $n$-dimensional sphere of radius $ρ(T)+\varepsilon$, namely $\mathbb{S}^{n}(ρ(T)+\varepsilon)$, contains a monochromatic congruent copy of $T$. In this paper, we determine the exact threshold dimension for the unit equilateral triangle on the sphere $\mathbb{S}^{n}(1/\sqrt{2})$: there exists a $2$-coloring of $\mathbb{S}^{2}(1/\sqrt{2})$ with no monochromatic unit equilateral triangle, whereas every $2$-coloring of $\mathbb{S}^{3}(1/\sqrt{2})$ contains one. Along the way, we also establish several further Euclidean Ramsey-type results on low-dimensional spheres, including asymmetric and isosceles variants.
Uniquely 2-colourable 4-cycle decompositions
A cycle system of order $n$ is a decomposition of the edges of the complete graph $K_n$ into cycles of a fixed length. A cycle system is said to be $k$-colourable if we can assign $k$ colours to its vertices so that no cycle is monochromatic. A $k$-colourable cycle system is uniquely $k$-colourable if its colouring is unique up to the permutation of colour classes. In this paper, we construct uniquely $2$-colourable $4$-cycle systems of order $n$ for all admissible $n\geq 49$, and also uniquely $2$-colourable $4$-cycle decompositions of $K_n - I$, for all admissible $n \geq 50$. These constructions contribute to the broader study of uniquely colourable cycle systems and open new directions for future research.
Improved Ramsey bounds for generalized Schur equations
We show that for $m, r \in \mathbb{N}$ and $N > (2m+1)^r (r!)^{1/m}$, every $r$-coloring of the integers in the interval $[N]$ contains a monochromatic solution to the equation
\[
x_1 + \dots + \dots x_{m+1} = y_1 + \dots + y_m.
\]
This generalizes and improves recent results of Koścuiszko. We also show that if $N \geq 2^{r}$, then every $r$-coloring of the integers in $[N]$ must always determine a monochromatic solution to the above equation for some $m \geq 1$. The latter estimate is optimal.
Relation Algebra Representations from Distance-Regular Graphs
We describe a general method for constructing representations of finite integral symmetric relation algebras from distance-regular graphs. Given a distance-regular graph of diameter $d$, the distances between vertices induces a coloring of the complete graph with $d$ colors, and we show that this coloring yields a representation of finite integral symmetric relation algebra on $d+1$ atoms. We then introduce a necessary and sufficient condition for when such a representation is algebraic, proving that this occurs if and only if the distance-regular graph is also distance-transitive.
We study the diameter-3 case of this method in detail, and we express a condition for the representation's mandatory cycles in terms of the distance-regular graph's intersection array. We apply this result to give a positive answer to an open question of Roger Maddux; namely, whether the relation algebra $30_{65}$ has a representation on a finite set. The representation is given on 42 points, and arises from the second subconstituent of the Hoffman-Singleton graph. We further use this method to describe an infinite class of finite representations of $26_{65}$ and the smallest possible representation of $31_{65}$.
A stepping-up lemma for monotone paths with bounded color complexity
For positive integers $n, k, q, p$, let $A_k(n; q, p)$ be the largest integer $N$ such that there exists an edge coloring of $K_N^{(k)}$ with $q$ colors that does not contain a tight monotone path of length $n$ that consists of at most $p$ colors. In the case $p = 1$, this coincides with the ordinary Ramsey number of a tight monotone path, and it is known that $A_k(n; q, 1) = T_{k-2}(n^{Θ(q)})$, proved by Moshkovitz and Shapira. Recently, Mulrenin, Pohoata, and Zakharov showed that whenever $p > \frac{q}{2}$, an improved upper bound $A_k(n; q, p) \leq T_{k-3}(n^{O(q)})$ holds, without any accompanying lower bounds.
In this paper, we obtain the first non-trivial lower bound by developing a novel variant of the classical stepping-up lemma applicable to an Erdős--Szekeres-type problem in which one seeks a tight monotone path spanning at most $p$ colors. In particular, we show that for any fixed $p \geq 1$, there exists a constant $C_p > 0$ that only depends on $p$ such that
$$
A_{k}(n; q, p) \geq T_{\lfloor k/ C_p \rfloor}\left(n^{ω_q(1)}\right)
$$ holds for all sufficiently large $n, k, q$ compared with $p$, that is, a tower function whose height grows linearly in $k$. A key ingredient in our proof is establishing a finite analogue of the celebrated Morse--Hedlund theorem, which may be of independent interest.
A solution to a strengthened conjecture of Bukh, van Hintum and Keevash on additive bases
Motivated by the change-of-domain problem for additive bases, Bukh, van Hintum and Keevash conjectured that if \(A,B\subseteq \mathbb{Q}^{n}\) and \(\{\boldsymbol{e}_i+\boldsymbol{e}_j:1\le i\le j\le n\}\subseteq A+B,\) then \(|A|+|B|\ge 2n\). They further proposed the strengthened conjecture: if \(|A|=n-t\), then \(|B|\ge n+\binom{t+1}{2}.\) Bukh also explicitly asked whether the same bounds hold for \(A,B\subseteq \mathbb{R}^{n}\) and an arbitrary basis \(S\) of \(\mathbb{R}^{n}\), under the assumption \(S+S\subseteq A+B\).
We prove the full strengthened statement over \(\mathbb{R}^{n}\): if \(S+S\subseteq A+B\) and \(|A|\le n-t\) with \(0\le t\le n-1\), then \(|B|\ge n+\binom{t+1}{2},\) which is sharp for every basis \(S\) and every \(0\le t\le n-1.\) The proof is short, using edge contractions in a graph-theoretical framework and a new coloring lemma over \(\mathbb F_2^n\).
Computational and Combinatorial Results on Conflict-free Choosability
The conflict-free closed neighborhood (CFCN$^*$) chromatic number of a graph $G = (V,E)$ is the smallest positive integer $k$ for which there exists a coloring of a subset of vertices using $k$ colors such that, for every vertex in $V$, there exists a color that appears exactly once in its closed neighborhood. The conflict-free open neighborhood (CFON$^*$) chromatic number is defined analogously. In this paper, we study `list variants' of the above-mentioned coloring parameters. The conflict-free closed neighborhood (CFCN$^*$) choice number of a graph $G = (V,E)$ is the smallest positive integer $k$ such that for every assignment of lists of size $k$ to its vertices, there exists a coloring of a subset of vertices, say $V'$, in which (i) every vertex in $V'$ receives a color from its list, and (ii) for every vertex in $V$ there exists some color that appears exactly once in its closed neighborhood. The conflict-free open neighborhood (CFON$^*$) choice number is defined analogously.
Dębski and Przybyło [Journal of Graph Theory, 2022] showed that for any graph $G$ with maximum degree $Δ$, the CFCN$^*$ chromatic number of its line graph is $O(\ln Δ)$. This result was later extended to claw-free graphs by Bhyravarapu et al. [Journal of Graph Theory, 2025], who proved that every $K_{1,k}$-free graph $G$ admits a CFCN$^*$ coloring using $O(k\ln Δ)$ colors. In this paper, we generalize this result to the list setting and show that every $K_{1,k}$-free graph $G$ has a CFCN$^*$ choice number of $O(k\ln Δ)$. Further, we answer some questions concerning the hardness of computing CFCN$^*$/CFON$^*$ choice numbers posed by Gupta and Mathew [SOFSEM, 2026]; in particular, we show that it is NP-hard to determine whether the CFCN$^*$/CFON$^*$ choice number a graph is equal to $k$, for $k=1,2$.
Enumeratively Chromatic-Choosable Theta Graphs
Chromatic choosability is a notion of fundamental importance in list coloring. A graph $G$ is chromatic-choosable when its chromatic number, $χ(G)$, is equal to its list chromatic number $χ_{\ell}(G)$. In 1990, Kostochka and Sidorenko introduced the list color function of a graph $G$, denoted $P_{\ell}(G,m)$, which is the list analogue of the chromatic polynomial of $G$, $P(G,m)$. A graph $G$ is said to be enumeratively chromatic-choosable when $P_{\ell}(G,m)=P(G,m)$ for every $m \in \mathbb{N}$. Theta graphs and their generalizations have played an important role in graph coloring problems over the years; for example, they appear in the characterization of chromatic-choosable graphs with chromatic number 2. In this paper we characterize the enumeratively chromatic-choosable theta graphs. Our proof utilizes ideas from DP-coloring (a.k.a. correspondence coloring), providing yet another example of how the more general setting of DP-coloring can be leveraged to attack a problem in list coloring.
State Canonization and Early Pruning in Width-Based Automated Theorem Proving
Width-based automated theorem proving is a framework where counterexamples to graph-theoretic conjectures are searched width-wise relative to some graph width measure, such as treewidth or pathwidth.
In a recent work it has been shown that dynamic programming algorithms operating on tree decompositions can be combined together with the purpose of width-based theorem proving. This approach can be used to show that several long-standing conjectures in graph theory can be tested in time \(2^{2^{k^{O(1)}}}\) on the class of graphs of treewidth at most \(k\). In this work, we give the first steps towards evaluating the viability of this framework from a practical standpoint. At the same time, we advance the framework in two directions. First, we introduce a state-canonization technique that significantly reduces the number of states evaluated during the search for a counterexample of the conjecture. Second, we introduce an early-pruning technique that can be applied in the study of conjectures of the form \(\mathcal{P}_1 \rightarrow \mathcal{P}_2\), for graph properties \(\mathcal{P}_1\) and \(\mathcal{P}_2\), where \(\mathcal{P}_1\) is a property closed under subgraphs.
As a concrete application, we use our framework in the study of graph-theoretic conjectures related to coloring triangle-free graphs. In particular, our algorithm is able to show that Reed's conjecture for triangle-free graphs is valid on the class of graphs of pathwidth at most 5, and on graphs of treewidth at most 3. Perhaps more interestingly, our algorithm is able to construct in a completely automated way counterexamples to invalid strengthenings of Reed's conjecture. These are the first results showing that width-based automated theorem proving is a promising avenue in the study of graph-theoretic conjectures.
Defective chromatic polynomials
For a graph $G$ and an integer $d\geq 0$, the defective chromatic polynomial $χ_d(G;k)$ counts the $k$-colorings of $G$ in which each vertex has at most $d$ neighbors of its own color. We investigate which structural properties of $G$ are determined by the full family $\{χ_d(G;k)\}_{d\geq 0}$. We establish a contraction formula expressing $χ_d(G;k)$ as a sum of ordinary chromatic polynomials of the edge contractions of $G$. As a first application, we prove that for triangle-free graphs, the full family determines the degree sequence. For trees, we show further that the family $\{χ_d(T;k)\}_{d\geq 0}$ determines the path-subgraph counts $N(P_j,T)$ for $j=1,2,3,4$, but not for $j=5$. For each $n\geq 9$, we construct a pair of nonisomorphic trees of order $n$ that share the same defective chromatic polynomials for every $d\geq 0$.
On Ramsey goodness of $K_{2,n}$ versus cycles
A graph $G$ is called $H$-good if $R(G,H)=(|G|-1)(χ(H)-1)+σ(H)$, where $σ(H)$ denotes the size of the smallest color class in a $χ(H)$-coloring of $H$. In Ramsey theory, it is an interesting problem to study whether a graph $G$ is $H$-good or not. In this article, we study the Ramsey goodness of the pair $(K_{2,n},C_m)$, which naturally lies between the classical star-cycle and book-cycle problems. We prove that \begin{equation*}
R(K_{2,n},C_{\{m,m+1\}})=m+1. \end{equation*} for all $m\ge 2n+1$, and consequently establish that \begin{equation*}
R(K_{2,n},C_{m})=m+1. \end{equation*} for all $m\ge 3n+4$. This proves that $C_m$ is $K_{2,n}$-good in this range and improves a particular case of a result on the Ramsey goodness by Pokrovskiy and Sudakov. Further, we provide a construction of a graph that disproves the $C_{m}$-goodness of $K_{2,n}$ for all even $m$ satisfying $n\geq m+2$.