coloring
4536 papers tagged with this keyword
Complexity and algorithms for proper conflict-free coloring in graphs
A proper conflict-free (PCF) $k$-coloring of a graph $G$ is a proper $k$-coloring such that there exists a color that appears exactly once in the neighborhood of every non-isolated vertex $v\in V(G)$. The PCF chromatic number, denoted by $χ_{pcf}(G)$, is the least integer $k$ such that there exists a PCF $k$-coloring of $G$. Given a graph $G$ and a positive integer $k$, PCF $k$-COLORABILITY is to decide whether $G$ admits a PCF $k$-coloring. Ahn et al. [Discrete Appl. Math. 377 (2025) 10-17] proved that PCF $k$-COLORABILITY is NP-complete for bipartite graphs. We strengthen this result by proving that PCF $k$-COLORABILITY is NP-complete for perfect elimination bipartite graphs, which is a proper subclass of bipartite graphs. We also show that the PCF chromatic number of a graph cannot be approximated within $O(n^{1-\varepsilon})$ unless P=NP, for any $\varepsilon>0$. On the positive side, we provide linear-time algorithms for PCF $k$-COLORABILITY in block graphs, proper interval graphs, chain graphs, and pseudo-split graphs. We show that $χ_{pcf}(G)\leq ω(G)+1$ for block graphs, proper interval graphs, and pseudo-split graphs (except $C_5$), and we characterize all graphs for which the equality holds.
Counterexamples to two conjectures on modular edge colorings of graphs
For an integer $k\geq2$, let $χ_k'(G)$ denote the minimum number of colors in an edge-coloring of a graph $G$ such that every nonzero degree in each color subgraph is congruent to $1\pmod{k}$. A graph is a $0_k$-graph if every vertex degree is divisible by $k$. We disprove a conjecture of Berthe et al.\ (On modular edge colorings of graphs, SIAM J. Discrete Math. 40 (2026) 897--904), which states that $χ_k'(G)\leq k+o(k)$ for every $0_k$-graph $G$. We prove a lower bound for $0_k$-graphs with degree set $\{k,2k\}$ and a specified vertex partition. With a suitable choice of the part sizes, if the number of edges inside one part is $o(k^2)$, then $χ_k'(G)\geq(4-2\sqrt2+o(1))k$. This gives connected bipartite and connected nonbipartite counterexamples. In particular, the same examples also disprove the earlier conjecture of Botler, Colucci, and Kohayakawa (The mod $k$ chromatic index of graphs is $O(k)$, J. Graph Theory 102 (2023) 197--200), which states that $χ_k'(G)\leq k+C$ for some absolute constant $C$.
On B-Colorings in Planar Graphs
Gyárfás and Sárközy [Studia Sci. Math. Hungar., 2023] defined a B-coloring of a graph to be a proper coloring of the edge set in which any $C_4$ is totally multicolored. Let $q_B(G)$ denote the minimum number of colors sufficient for a B-coloring of a graph $G$. In this paper, we prove that any planar graph $G$ with $Δ=Δ(G)$ and $Δ_2=Δ_2(G)$ has $q_B(G)\leqΔ+\max\{Δ_2,38\}$, refining a bound by Kong, Wang, and Zheng [J. Graph Theory, 2026].
Superlinear Lower Bounds for Monochromatic Path Partitions
In 1989, Gyárfás conjectured that the vertex set of every $r$-edge-coloured complete graph can be partitioned into at most $r$ vertex-disjoint monochromatic paths. Erdős, Gyárfás, and Pyber subsequently proposed the analogous conjecture for monochromatic cycles. Pokrovskiy proved Gyárfás's conjecture for $r=3$, while disproving the conjecture of Erdős, Gyárfás, and Pyber for every $r\ge3$ by constructing colourings that require at least $r+1$ monochromatic cycles. In this paper, we disprove Gyárfás's conjecture in a quantitatively strong superlinear form: for every sufficiently large $r$, there exists an $r$-edge-coloured complete graph that requires at least $(1-o(1))r\log\log r$ vertex-disjoint monochromatic paths. Consequently, the monochromatic cycle-partition number is also superlinear in $r$. Our construction also extends to the balanced bipartite setting, disproving a conjecture of Pokrovskiy.
Restricted generalized Schur numbers
For $k\geq2$, let $S_r(k;\ell)$ be the smallest $n$, if exists, such that every $r$-coloring of $\{1,2,\ldots,n\}$ has a monochromatic solution $\mathcal{S}$ to the equation \[ x_1+x_2+\cdots+x_k=x_{k+1} \] such that the number of distinct integers in $\mathcal{S}$ is exactly $\ell+1$. We prove that, if $\ell\geq2$ is fixed, then \[ S_2(k;\ell)= k^2+\left[\frac{(\ell+1)(\ell-2)}{2}+2\right]k+\ell(\ell-2) \] for all large enough $k$. In particular, we have $S_2(k;2)=k^2+2k$ for all $k\geq3$.
The $Δ$-Conjecture for CIS $d$-Graphs
We prove the $Δ$-conjecture, which dates back to Gurvich's 1978 thesis. Specifically, let the edges of a complete graph be colored with colors $1,\ldots,d$, and for each $i$ let $G_i$ be the graph formed by the edges of color $i$. We prove that if every choice of a maximal stable set $S_i$ of $G_i$, one for each $i\in[d]$, has nonempty intersection, then the coloring contains no rainbow triangle.
Density of list- and correspondence-critical graphs
A graph $G$ is list $k$-critical if $G$ is not $(k-1)$-list-colorable, but every proper subgraph of $G$ is list $(k-1)$-list-colorable. In this paper, we study the function $f_{\ell}(n,k)$ denoting the minimum number of edges in an $n$-vertex list $k$-critical graph, as well as the function $g_{\ell}(k) = \liminf_{n \rightarrow \infty} \frac 2n (f_{\ell}(n,k) - k + 1)$. We show that for all $k \geq 4$ and $n \geq k+2$, every list $k$-critical graph on $n \geq k+2$ vertices has more than $(k-1+\frac 1{28}) \frac n2$ edges, which implies that $g_{\ell}(k) \geq \frac{1}{28}$ for all $k \geq 4$. This is the first result showing that $\liminf_{k \rightarrow \infty} g_{\ell}(k) > 0$. We also show that $g_{\ell}(k) \geq \frac{1}{24}$ for all $k \geq 352$. As a corollary to our result, we obtain the following improvement to Brooks' theorem: For all $d \geq 3$, if $G$ has no $K_{d+1}$ subgraph and has maximum average degree at most $d+\frac 1{28}$, then $G$ is $d$-list-colorable.
All of our results hold in the setting of correspondence coloring (DP-coloring) as well. As a corollary of our correspondence coloring result, we also show that for each $d \geq 3$, a minimal unsatisfiable anti-functional constraint satisfaction problem (CSP) with variable domains of size $d$ has a primal graph either containing $K_{d+1}$ or with average degree at least $d+\frac 1{28}$.
Vertex-Ramsey theorems for Cartesian powers of graphs
For graphs $G,H$ and positive integers $r$ and $n$ we write $G^{\square n} \xrightarrow{r} H$ if every $r$-vertex-coloring of the Cartesian power $G^{\square n}$ of $G$ contains a monochromatic copy of $H$. Since chromatic number $χ$ of $G^{\square n}$ is the same as $χ(G)$, there is an $r$-vertex coloring of $G^{\square n}$ for $r=χ(G)$, such that each color class is an independent set.
We prove that for $r<χ(G)$ there is a large class of graphs $H$ such that $G^{\square n} \xrightarrow{r} H$. These graphs are so-called layered graphs in a hypercube. We also show that for some graphs $G$, such as for example odd cycles or cliques, the class of layered graphs $H$ is the only one satisfying the above Ramsey property when $χ(G)/2 < r < χ(G)$.
In addition, we prove a more general result relating Ramsey properties of $G$ and graphs $H$ such that $G^{\square n} \xrightarrow{r} H$. One of the technical tools is a Ramsey-type statement for discrete cubes $[m]^n$ that we call the Cube Layered Lemma, which is of independent interest. One of the original motivations for studying Ramsey properties of Cartesian powers of $G$ is the fact that $G^{\square n}$ is a unit distance graph if $G$ is a unit distance graph. This provides applications in Euclidean Ramsey theory.
On the size of $(K_{t_1}, \ldots, K_{t_k})$-co-critical graphs
Given integers $k\ge2$ and $t_1, \ldots, t_k\ge2$, we write $G \rightarrow (K_{t_1}, \ldots, K_{t_k})$ if every $k$-coloring of the edges of a graph $G$ contains a monochromatic copy of $K_{t_i}$ in color $i$ for some $i\in\{1, \ldots, k\}$. A non-complete graph $G$ is $(K_{t_1}, \ldots, K_{t_k})$-co-critical if $G \nrightarrow (K_{t_1}, \ldots, K_{t_k})$, but $G+e\rightarrow (K_{t_1}, \ldots, K_{t_k})$ for every edge $e\notin E(G)$. Let $r=R(K_{t_1}, \ldots, K_{t_k})$ denote the Ramsey number. In 1987, Hanson and Toft conjectured that every $(K_{t_1}, \ldots, K_{t_k})$-co-critical graph $G$ on $n\ge r$ vertices satisfies \[|E(G)|\ge (r-2)n- \binom{r- 1}{2}.\]
This bound is best possible for every $n\ge r$. More recently, the present author conjectured that every such graph has minimum degree at least $r-2$. Using the $q$-neighbor bootstrap percolation closure method, here we prove that the Hanson-Toft Conjecture holds asymptotically, provided that the minimum-degree conjecture is true; more precisely, assume that every $(K_{t_1}, \ldots, K_{t_k})$-co-critical graph $G$ on $n\ge r$ vertices has minimum degree at least $r-2$, then there exists a constant $C=C(r,k)$ such that $|E(G)|\ge (r-2)n-C$.
Entropy Transference for Rainbow-$H$-Free Colourings of Random Graphs
Let $H$ be a fixed graph with $q=e(H)\ge3$ and containing two adjacent edges, and let $\ell\ge q$ be fixed. We establish an entropy-transference principle for rainbow-$H$-free edge-colourings of the binomial random graph at the natural scale $p=n^{-1/m_2(H)}$. Below a sufficiently small constant multiple of this scale, almost all host edges may be coloured freely; above a sufficiently large constant multiple, the exponential counting rate is governed exactly by a deterministic template-entropy optimisation on complete graphs. An exact Hall-palette inequality evaluates this rate throughout the universal range $q\le\ell\le(q-1)^{q/(q-2)}$, where the dense-side base is $q-1$, and a robust form yields counting stability below the endpoint. For arbitrary fixed $\ell$, deletion-profile bounds determine the first-order many-colour behaviour and characterise when the $(q-1)$-colour rate persists for every fixed number of colours. This extends the random Gallai-colouring transition from triangles to every fixed non-matching graph and provides a general mechanism for transferring dense template entropy to sparse random hosts.
On the achromatic index of Johnson graphs $J(n,2)$
In this paper, we study proper and complete edge-colorings of Johnson graphs $J(n,2)$, also called $n$-triangular graphs. They are isomorphic both to the 2-token graphs of complete graphs and to the line graphs of complete graphs. A $t$-edge-coloring of a graph $G$ is a function that assigns one color from $\{1,2,\ldots,t\}$ to each edge. Such a coloring is called proper if no two incident edges receive the same color, and complete if every pair of distinct colors appears on a pair of incident edges. The achromatic index, denoted by $α_2(G)$, is the largest integer $t$ for which $G$ admits a proper and complete $t$-edge-coloring. We establish new lower and upper bounds for $α_2(J(n,2))$, provide explicit proper and complete edge-colorings attaining the lower bounds, and determine the exact value of $α_2(J(n,2))$ for several values of $n$.
On Strong Majority Edge Colourings with Few Colours
A strong majority edge colouring of a graph $G$ is an edge colouring in which, for every edge $e$ and every colour $α$, at most half the edges adjacent to $e$ receive colour $α$. Like many related colouring notions, it admits a natural interpretation as a colouring problem for an associated hypergraph. Somewhat surprisingly, although the corresponding hypergraph may have arbitrarily large vertex degrees, a universal finite upper bound on the sufficient number of colours in a strong majority edge colouring exists under a natural modest minimum degree assumption, unlike in several other closely related majority concepts.
We in particular prove that every graph $G$ with minimum degree $δ\ge5$ admits a strong majority edge colouring with three colours, improving both the previously known bound $δ\ge9$ for three colours and the result showing that four colours suffice whenever $δ\ge5$. Our result is best possible with respect to the number of colours and nearly best possible with respect to the minimum degree assumption, as we exhibit the latter cannot be decreased below $4$.
We also introduce a more general framework of strong $1/k$-majority edge colourings and establish corresponding bounds for this setting.
An Improved Upper Bound for the Strong Odd Chromatic Number of Planar Graphs
A proper coloring of a graph is called a strong odd coloring if, for every
vertex \(v\) and every color appearing in the open neighborhood of \(v\),
that color appears an odd number of times in \(N(v)\). The corresponding
minimum number of colors is the strong odd chromatic number, denoted by
\(χ_{\mathrm{so}}(G)\). Caro et
al.~\cite{CaroPetrusevskiSkrekovskiTuzaStrongOdd} proved that every
planar graph has strong odd chromatic number at most \(388\). Manattu et
al.~\cite{ManattuVinayLakshmanan2026} later constructed planar graphs
with strong odd chromatic number \(17\) and asked whether larger values
are possible and whether the upper bound \(388\) can be improved. We
address these questions as follows. First, we improve the general upper
bound by proving that every planar graph \(G\) satisfies
\(χ_{\mathrm{so}}(G)\le 368\). This follows by improving the auxiliary
proper facially odd coloring bound for loopless \(2\)-connected plane
multigraphs from \(97\) colors to \(92\) colors and combining this with
the reduction of Caro et al. and the Four Color Theorem. Second, we
give a different explicit planar construction with
\(χ_{\mathrm{so}}(G)=20\), together with a self-contained proof of the
exact value. We emphasize that Goetze et
al.~\cite{GoetzeKluteKnauerParadaPenaUeckerdt2025} had already posted an
arXiv preprint in May 2025 containing a planar example with strong odd
chromatic number \(20\). Thus our construction is not a priority claim for
the value \(20\), but rather an independent and fully verified
construction whose value exceeds \(17\), the value that motivated
Problem~1 of Manattu et al.
Refined upper bounds on Schur-like numbers
For positive integers $r, m$ and $N$, every $r$-coloring of $\{1, \dots, N\}$ contains a monochromatic solution to $x_1+\dots+x_{m+1}=y_1+\dots+y_m$ provided that $N \ge 3^r (r!)^{1/m}$, which is qualitatively optimal when $m$ is logarithmic in $r$.
From b-Coloring to $b^*$-Coloring: Large Girth and Parameterized Complexity
A b-coloring is a proper vertex coloring such that every color class contains a vertex, a so-called b-vertex, which sees all colors in its closed neighborhood. This type of coloring has been intensively studied from both structural and algorithmic point of view. Recently, Zaker [DAM 2025] introduced the notion of a b*-coloring, which is a b-coloring in which there is a vertex that sees a b-vertex of every color in its closed neighborhood. The b*-chromatic number is the maximum integer k such that there is a b*-coloring with k colors.
We partially answer a question posed by Zaker and prove that graphs of girth at least 7 are b*-monotonic, which means that the b*-chromatic number does not increase by taking an induced subgraph. In addition, we discover a class of d-regular graphs of girth at least 5 with b*-chromatic number d+1, which strengthens a result about b-colorings by Dettlaff, Furmańczyk, Peterin, Roux, and Ziemann [AMC 2024].
We also study the parameterized complexity of finding b*-colorings, and show that for many structural parameters, the complexity coincides with that of finding b-colorings. In particular, the b*-chromatic number can be computed in polynomial time on any class of bounded clique-width. For most parameters, the translation from b-colorings is straightforward but for the feedback edge number, the FPT algorithm for b*-colorings is actually much simpler than that for b-colorings by Balabán [MFCS 2026].
A Lovász Theta Parameter and Theta Body for Signed Graphs
We introduce a Lovász-type semidefinite parameter for balanced colouring of signed graphs. Its homomorphism target is a unit sphere equipped with an orthogonal involution: the fixed and anti-fixed components play different roles, while applying the involution to one endpoint realizes switching. The resulting parameter admits a symmetric formulation with two positive semidefinite matrices and an equally symmetric dual. It is also one half of the strict vector chromatic number of the ordinary graph formed by the negative edges of the double switching graph. Our second main contribution is a hierarchy of convex corners. Starting from the balanced induced subgraph polytope, we define signed analogues of the stable-set, theta, and clique-inequalities relaxations in the original vertex space. The signed theta body has an intrinsic two-matrix description, its all-ones gauge is the new scalar parameter, and the ordinary stable-set hierarchy is recovered exactly from signed digon graphs. For all-negative signatures, the construction becomes a relaxation of the maximum induced bipartite subgraph problem and is related to the generalized theta number. Finally, we propose a notion of balanced perfectness and show that it is strictly weaker than perfectness of the associated double-cover graph.
Ramsey multiplicity for ordered graphs
Let \(\cG_1,\ldots,\cG_k\) be fixed vertex-ordered graphs, each containing at least one edge. The ordered Ramsey number \(\oR(\cG_1,\ldots,\cG_k)\) is the least integer \(N\) such that every \(k\)-edge-coloring of the ordered complete graph \(\cK_N\) contains an order-preserving copy of \(\cG_i\) in color \(i\) for some \(i\in[k]\). For positive weights \(\blambda=(λ_1,\ldots,λ_k)\), let \(\oM_{\blambda}(n;\cG_1,\ldots,\cG_k)\) denote the minimum weighted number of correctly colored, order-preserving copies of the target graphs over all \(k\)-edge-colorings of \(\cK_n\). When \(\blambda=\bf{1}\), \(\oM_{\bf{1}}(n;\cG_1,\ldots,\cG_k)=\oM(n;\cG_1,\ldots,\cG_k)\) is called the ordered Ramsey multiplicity. In this paper, we first establish the amplification inequality \[ \oM_{\blambda}(n;\cG_1,\ldots,\cG_k) \ge \oM_{\blambda}(t;\cG_1,\ldots,\cG_k) \frac{\binom{n}{\hmin}}{\binom{t}{\hmin}}, \] where $h_i=v(\cG_i),\hmin=\min_{i\in[k]}h_i$, and $n\ge t\ge\oR(\cG_1,\ldots,\cG_k)$. Let $\cS_{r,s}$ be the ordered star whose center has $r-1$ leaves to its left and $s-1$ leaves to its right, and let $\bB_m$ be the family of all ordered perfect matchings on $[2m]$ containing the edge $\{1,2m\}$. We apply the amplification inequality to obtain the multiplicity lower bounds for ordered stars and ordered perfect matchings. We then obtain the upper bound $\oM_{\boldsymbolλ} (n;\cS_{r_1,s_1},\cS_{r_2,s_2}) \le \min\{λ_1 B_{h_1}(n),λ_2 B_{h_2}(n)\}$ by constructions, where $B_{h_i}(n):= \binom{\lfloor n/2\rfloor}{h_i} + \binom{\lceil n/2\rceil}{h_i}$ and $h_i=r_i+s_i-1$ for $i\in [2]$. We also derive a random-coloring upper bound for ordered stars and prove \[\oM(n; \bB_m,\bB_m) \le \binom{n}{2m} \frac{(2m-2)!}{2^{2m-2}(m-1)!}.\] Finally, we establish a regularity-based lifting theorem for ordered colorings.
The DP Color Function of Bipartite Graphs
DP-coloring (or correspondence coloring) is a generalization of list coloring that has been widely studied since its introduction by Dvořák and Postle in 2015. As the analogue of $P(G,q)$, the chromatic polynomial of a graph $G$, the DP color function of $G$, denoted by $P_{DP}(G,q)$, counts the minimum number of DP-colorings over all $q$-fold covers of $G$. It follows that $P_{DP}(G,q) \leq P(G,q)$. It is known that there are graphs for which $P_{DP}(G,q) < P(G,q)$ for all sufficiently large $q$; in fact, all bipartite graphs containing a cycle have this property. A fundamental open question about DP color functions asks whether, for every graph $G$, there exist $N \in \mathbb{N}$ and a polynomial $p$ such that $P_{DP}(G,q) = p(q)$ whenever $q \geq N$. In this paper we answer this question affirmatively for all bipartite graphs. Specifically, if $G$ is an $n$-vertex bipartite graph with $c$ components, then $P_{DP}(G,q) = (-1)^{n-c}q^c \;T_G(1-q,1)$ for all sufficiently large $q$, where $T_G(x,y)$ is the Tutte polynomial of $G$. The ideas we develop also yield an asymptotic formula for $P(G,q)-P_{DP}(G,q)$ whenever the girth of $G$ is even.
On (1,1,2,3)- and (1,1,3,3,3)-Packing Colorings of Claw-Free Subcubic Graphs
For a non-decreasing sequence $S=(a_1,a_2,\ldots,a_r)$ of positive integers, an $S$-packing coloring of a graph $G$ is a partition of $V(G)$ into sets $A_1,\ldots,A_r$ such that any two distinct vertices in $A_i$ are at distance greater than $a_i$, for every $i\in\{1,\ldots,r\}$. Gastineau and Togni [\emph{Discrete Math.} 339 (2016), 2461--2470] asked whether every subcubic graph, except the Petersen graph, is $(1,1,2,3)$-packing colorable. In this paper, we prove that every claw-free subcubic graph is $(1,1,2,3)$-packing colorable. Moreover, we show that every connected claw-free subcubic graph, except a single graph $\mathcal{H}$, is $(1,1,3,3,3)$-packing colorable, thereby confirming a conjecture of the first two authors. Both results are best possible. Our proofs rely on a structural framework based on the skeleton and core graphs of a claw-free subcubic graph, together with a Hall-type matching argument that reduces the construction of suitable $3$-packings to a matching problem in an auxiliary bipartite graph.
Vertex-distinguishing chromatic index of digraphs
Let $D$ be a digraph. In this note, an \emph{arc coloring} of $D$ is an assignment of colors to the arcs of $D$ such that no two arcs with a common tail receive the same color and no two arcs with a common head receive the same color. Under such a coloring, each vertex $v$ is associated with an \emph{out-color set} and an \emph{in-color set}, consisting of the colors assigned to the arcs with tail $v$ and to the arcs with head $v$, respectively. An arc coloring of $D$ is \emph{vertex-distinguishing} if any two distinct vertices have different out-color sets and different in-color sets. The minimum number of colors required for a vertex-distinguishing arc coloring of $D$ is called the \emph{vertex-distinguishing chromatic index} of $D$, denoted $χ_{vd}^{\prime}(D)$. In 2016, Li, Bai, He, and Sun conjectured that $χ_{vd}^{\prime}(D)=k(D)$ for any digraph $D$ with at most one source and at most one sink, where $k(D)$ is a natural lower bound determined by the outdegree and indegree sequences of $D$. We confirm this conjecture.