coloring
4410 papers tagged with this keyword
Indicated list colouring game on graphs
Given a graph $G$ and a list assignment $L$ for $G$, the indicated $L$-colouring game on $G$ is played by two players: Ann and Ben. In each round, Ann chooses an uncoloured vertex $v$, and Ben colours $v$ with a colour from $L(v)$ that is not used by its coloured neighbours. If all vertices are coloured, then Ann wins the game. Otherwise after a finite number of rounds, there remains an uncoloured vertex $v$ such that all colours in $L(v)$ have been used by its coloured neighbours, Ben wins. We say $G$ is indicated $L$-colourable if Ann has a winning strategy for the indicated $L$-colouring game on $G$. For a mapping $g: V(G) \to \mathbb{N}$,
we say $G$ is indicated $g$-choosable if $G$ is indicated $L$-colourable for every list assignment $L$ with $|L(v)| \ge g(v)$ for each vertex $v$, and $G$ is indicated degree-choosable if $G$ is indicated $g$-choosable for $g(v) =d_G(v)$ (the degree of $v$).
This paper proves that
a graph $G$ is not indicated degree-choosable if and only if $G$ is an expanded Gallai-tree - a graph whose maximal connected induced subgraphs with no clique-cut are complete graphs or blow-ups of odd cycles, along with a technical condition (see Definition \ref{def-egt}).
This leads to a linear-time algorithm that determines if a graph is indicated degree-choosable.
A connected graph $G$ is called an IC-Brooks graph if its indicated chromatic number equals $Δ(G)+1$. Every IC-Brooks graph is a regular expanded Gallai-tree. We show that if $r \le 3$, then every $r$-regular expanded Gallai-tree is an IC-Brooks graph. For $r \ge 4$, there are $r$-regular expanded Gallai-trees that are not IC-Brooks graphs. We give a characterization of IC-Brooks graphs, and present a linear-time algorithm that determines if a given graph of bounded maximum degree is an IC-Brooks graph.
From descriptive to distributed
In the past couple of years a rich connection has been found between the fields of descriptive set theory and distributed computing. Frequently, and less surprisingly, finitary algorithms can be adopted to the infinite setting, resulting in theorems about infinite, definable graphs. In this survey, we take a different perspective and illustrate how results and ideas from descriptive set theory provide new insights and techniques to the theory of distributed computing. We focus on the two classical topics from graph theory, vertex and edge colorings. After summarizing the up-to-date results from both areas, we discuss the adaptation of Marks' games method to the LOCAL model of distributed computing and the development of the multi-step Vizing's chain technique, which led to the construction of the first non-trivial distributed algorithms for Vizing colorings. We provide a list of related open problems to complement our discussion. Finally, we describe an efficient deterministic distributed algorithm for Brooks coloring on graphs of subexponential growth.
Asymptotics of t(3,n) and s(3,n)
A set of vertices $X\subseteq V$ in a simple graph $G(V,E)$ is irredundant if each vertex $x\in X$ is either isolated in the induced subgraph $G[X]$ or else has a private neighbor $y\in V\setminus X$ that is adjacent to $x$ and to no other vertex of $X$. The \emph{mixed Ramsey number} $t(m,n)$ is the smallest $N$ for which every red-blue coloring of the edges of $K_N$ has an $m$-element irredundant set in the blue subgraph or an $n$-element independent set in the red subgraph. The irredundant Ramsey number $s(m,n)$ is the smallest $N$ for which every red-blue coloring of the edges of $K_N$ has an $m$-element irredundant set in the blue subgraph or an $n$-element irredundant set in the blue subgraph. In this paper, we determine $t(3,n)$ and $s(3,n)$ up to a constant factor by showing that $t(3,n)=O\left(n^{5/4}/{\log{n}}\right)$, which improved the best upper bound due to Rousseau and Speed in [Comb. Probab. Comput. 12 (2003), 653-660]. As an application, we verify a conjecture for $m=4$ proposed by Chen, Hattingh, and Rousseau in [J. Graph Theory 17(2) (1993), 193-206].
On list extensions of the majority edge colourings
We investigate possible list extensions of generalised majority edge colourings of graphs and provide several results concerning these. Given a graph $G=(V,E)$, a list assignment $L:E\to 2^C$ and some level of majority tolerance $α\in(0,1)$, an $α$-majority $L$-colouring of $G$ is a colouring $ω:E\to C$ from the given lists such that for every $v\in V$ and each $c\in C$, the number of edges coloured $c$ which are incident with $v$ does not exceed $α\cdot d(v)$. We present a simple argument implying that for every integer $k\geq 2$, each graph with minimum degree $δ\geq 2k^2-2k$ admits a $1/k$-majority $L$-colouring from any assignment of lists of size $k+1$. This almost matches the best result in a non-list setting and solves a conjecture posed for the basic majority edge colourings, i.e. for $k=2$, from lists. We further discuss restrictions which permit obtaining corresponding results in a more general setting, i.e. for diversified $α=α(c)$ majority tolerances for distinct colours $c\in C$. Consider a list assignment $L:E\to 2^C$ with $\sum_{c\in L(e)}α(c)\geq 1+\varepsilon$ for each edge $e$, and suppose that $α(c)\geq a$ for every $c$ or $|L(e)|\leq\ell$ for all edges $e$, where $a\in(0,1)$, $\varepsilon>0$, $\ell\in\mathbb{N}$ are any given constants. Then we in particular show that there exists an $α$-majority $L$-colouring of $G$ from any such list assignment, provided that $δ(G)=Ω(a^{-1}\varepsilon^{-2}\ln(a\varepsilon)^{-1})$ or $δ=Ω(\ell^2\varepsilon^{-2})$, respectively. We also strengthen these bounds within a setting where each edge is associated to a list of colours with a fixed vector of majority tolerances, applicable also in a general non-list case.
A framework for the generalised Erdős-Rothschild problem and a resolution of the dichromatic triangle case
The Erdős-Rothschild problem from 1974 asks for the maximum number of $s$-edge colourings in an $n$-vertex graph which avoid a monochromatic copy of $K_k$, given positive integers $n,s,k$. In this paper, we systematically study the generalisation of this problem to a given forbidden family of colourings of $K_k$. This problem typically exhibits a dichotomy whereby for some values of $s$, the extremal graph is the `trivial' one, namely the Turán graph on $k-1$ parts, with no copies of $K_k$; while for others, this graph is no longer extremal and determining the extremal graph becomes much harder.
We generalise a framework developed for the monochromatic Erdős-Rothschild problem to the general setting and work in this framework to obtain our main results, which concern two specific forbidden families: triangles with exactly two colours, and improperly coloured cliques. We essentially solve these problems fully for all integers $s \geq 2$ and large $n$. In both cases we obtain an infinite family of structures which are extremal for some $s$, which are the first results of this kind.
A consequence of our results is that for every non-monochromatic colour pattern, every extremal graph is complete partite. Our work extends work of Hoppen, Lefmann and Schmidt and of Benevides, Hoppen and Sampaio.
A Recolouring Version of a Conjecture of Reed
Reed conjectured that the chromatic number of any graph is closer to its clique number than to its maximum degree plus one. We consider a recolouring version of this conjecture, with respect to Kempe changes. Namely, we investigate the largest $\varepsilon$ such that all graphs $G$ are $k$-recolourable for all $k \ge \lceil \varepsilon ω(G) + (1 -\varepsilon)(Δ(G)+1) \rceil$. For general graphs, an existing construction of a frozen colouring shows that $\varepsilon \le 1/3$. We show that this construction is optimal in the sense that there are no frozen colourings below that threshold. For this reason, we conjecture that $\varepsilon = 1/3$. For triangle-free graphs, we give a construction of frozen colourings that shows that $\varepsilon \le 4/9$, and prove that it is also optimal. In the special case of odd-hole-free graphs, we show that $\varepsilon = 1/2$, and that this is tight up to one colour.
Domination on Vertex-weighted Graphs Induce by a Coloring
This paper introduces the concept of domination in the context of colored graphs (where each color assigns a weight to the vertices of its class), termed up-color domination, where a vertex dominating another must be heavier than the other. That idea defines, on one hand, a new parameter measuring the size of minimal dominating sets satisfying specific constraints related to vertex colors. The paper proves that the optimization problem associated with that concept is an NP-complete problem, even for bipartite graphs with three colors. On the other hand, a weight-based variant, the up-color domination weight, is proposed, further establishing its computational hardness. The work also explores the relationship between up-color domination and classical domination and coloring concepts. Efficient algorithms for trees are developed that use their acyclic structure to achieve polynomial-time solutions.
Weak and strong local irregularity of digraphs
Local Irregularity Conjecture states that every simple connected graph, except special cacti, can be decomposed into at most three locally irregular graphs, i.e., graphs in which adjacent vertices have different degrees. The connected minimization problem, finding the minimum number $k$ such that a graph can be decomposed into $k$ locally irregular graphs, is known to be NP-hard in general (Baudon, Bensmail, and Sopena, 2015). This naturally raises interest in the study of related problems. Among others, the concept of local irregularity was defined for digraphs in several different ways. In this paper we present the following new methods of defining a locally irregular digraph. The first one, weak local irregularity, is based on distinguishing adjacent vertices by indegree-outdegree pairs, and the second one, strong local irregularity, asks for different balanced degrees (i.e., difference between the outdegree and the indegree of a vertex) of adjacent vertices. For both of these irregularities, we define locally irregular decompositions and colorings of digraphs. We discuss relation of these concept to others, which were studied previously, and provide related conjectures on the minimum number of colors in weak and strong locally irregular colorings. We support these conjectures with new results, using the chromatic and structural properties of digraphs and their skeletons (Eulerian and symmetric digraphs, orientations of regular graphs, cacti, etc.).
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
Published
• View Publication
• BIB
The Ramsey problem $R(3, k)$ seeks to determine the smallest value of $n$ such that any red/blue edge coloring of the complete graph on $n$ vertices must either contain a blue triangle (3-clique) or a red clique of size $k$. Despite its significance, many previous computational results for the Ramsey $R(3, k)$ problem such as $R(3, 8)$ and $R(3, 9)$ lack formal verification. To address this issue, we use the software MathCheck to generate certificates for Ramsey problems $R(3, 8)$ and $R(3, 9)$ (and symmetrically $R(8, 3)$ and $R(9, 3)$) by integrating a Boolean satisfiability (SAT) solver with a computer algebra system (CAS). Our SAT+CAS approach significantly outperforms traditional SAT-only methods, demonstrating an improvement of several orders of magnitude in runtime. For instance, our SAT+CAS approach solves $R(3, 8)$ (resp., $R(8, 3)$) sequentially in 59 hours (resp., in 11 hours), while a SAT-only approach using state-of-the-art CaDiCaL solver times out after 7 days. Additionally, in order to be able to scale to harder Ramsey problems $R(3, 9)$ and $R(9, 3)$ we further optimized our SAT+CAS tool using a parallelized cube-and-conquer approach. Our results provide the first independently verifiable certificates for these Ramsey numbers, ensuring both correctness and completeness of the exhaustive search process of our SAT+CAS tool.
On the chromatic number of the plane for map-type colorings
We consider the Hadwiger-Nelson problem on the chromatic number of the plane under conditions of coloring a map containing a finite number of vertices in any bounded region. Woodall (1973) and Townsend (1981) showed that at least 6 colors would be required. In the present paper, it is shown that at least 7 colors are required to color a map in which the boundaries are not arcs of a unit circle and three boundaries connect at each vertex. As a corollary, we obtain that at least 7 colors are required for a proper coloring in which the regions are arbitrary polygons. The proof relies on techniques developed for a similar result concerning the chromatic number of the plane with a forbidden interval of distances.
A Note On Rainbow 4-Term Arithmetic Progression
Let [n]=\{1,\,2,...,\,n\} be colored in k colors. A rainbow AP(k) in [n] is a k term arithmetic progression whose elements have diferent colors. Conlon, Jungic and Radoicic [10] had shown that there exists an equinumerous 4-coloring of [4n] which happens to be rainbow AP(4) free, when n is even and subsequently Haghighi and Nowbandegani [7] shown that such a coloring of [4n] also exists when n>1 is odd. Based on their construction, we shown that a balanced 4-coloring of [n] ( i.e. size of each color class is at least \left\lfloor n/4\right\rfloor ) actually exists for all natural number n. Further we established that for nonnegative integers k\geq3 and n>1, every balanced k-coloring of [kn+r] with 0\leq r<k-1, contains a rainbow AP(k) if and only if k=3. In this paper we also have discussed about rainbow free equinumerous 4-coloring of \mathbb{Z}_{n}.
Bounds on the Critical Multiplicity of Ramsey Numbers with Many Colors
The Ramsey number $R(s,t)$ is the least integer $n$ such that any coloring of the edges of $K_n$ with two colors produces either a monochromatic $K_s$ in one color or a monochromatic $K_t$ in the other. If $s=t$, we say that the Ramsey number $R(s,s)$ is diagonal. The critical multiplicity of a diagonal Ramsey number $R(s,s)$, denoted $m(s,s)$ or $m_2(s)$, is the smallest number of copies of a monochromatic $K_s$ that can be found in any coloring of the edges of $K_{R(s,s)}$. For instance, $m_2(2)=1$, $m_2(3)=2$, and $m_2(4)=9$. In this short note, we produce some new upper bounds for the general non-diagonal case of $m(s_1,...,s_k)$ and improve the bounds on $m_2(s)$ for small $s$. This appears to be the first progress on bounding the critical multiplicity of Ramsey numbers since Piwakowski and Radziszowski's 2001 determination that $m_2(4)=9$, and we are not aware of any subsequent improvements on this quantity in the literature. We conclude by outlining a reasonably clear path to further improvements.
Toric ideal of matching polytopes and edge colorings
In the present paper, we investigate the maximal degree of minimal generators of the toric ideal of the matching polytope of a graph. It is known that the toric ideal associated to a bipartite graph is generated by binomials of degree at most $3$. We show that this fact is equivalent to a result in the theory of edge colorings of bipartite multigraphs. Moreover, a characterization of bipartite graphs whose toric ideals are generated by quadratic binomials is given. Finally, we discuss the maximal degree of minimal generators of the toric ideal associated to a general graph and give a conjecture.
The General Position Problem: A Survey
Inspired by a chessboard puzzle of Dudeney, the general position problem in graph theory asks for a largest set $S$ of vertices in a graph such that no three elements of $S$ lie on a common shortest path. The number of vertices in such a largest set is the \emph{general position number} of the graph. This paper provides a survey of this rapidly growing problem, which now has an extensive literature. We cover exact results for various graph classes and the behaviour of the general position number under graph products and operations. We also discuss interesting variations of the general position problem, including those corresponding to different graph convexities, as well as dynamic, fractional, colouring and game versions of the problem.
Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?
Published in Proc. 42nd ICML, PMLR 267, 2025
• Search Publication
We demonstrate how neural networks can drive mathematical discovery through a case study of the Hadwiger-Nelson problem, a long-standing open problem at the intersection of discrete geometry and extremal combinatorics that is concerned with coloring the plane while avoiding monochromatic unit-distance pairs. Using neural networks as approximators, we reformulate this mixed discrete-continuous geometric coloring problem with hard constraints as an optimization task with a probabilistic, differentiable loss function. This enables gradient-based exploration of admissible configurations that most significantly led to the discovery of two novel six-colorings, providing the first improvement in thirty years to the off-diagonal variant of the original problem. Here, we establish the underlying machine learning approach used to obtain these results and demonstrate its broader applicability through additional numerical insights.
Homogeneous Patterns in Ramsey Theory
In this article, we investigate homogeneous versions of certain nonlinear Ramsey-theoretic results, with three significant applications.
As the first application, we prove that for every finite coloring of $\mathbb{Z}^+$, there exist an infinite set $A$ and an arbitrarily large finite set $B$ such that $A \cup (A+B) \cup A \cdot B$ is monochromatic. This result resolves the finitary version of a question posed by Kra, Moreira, Richter, and Robertson regarding the partition regularity of $(A+B) \cup A \cdot B$ for infinite sets $A, B$ (see (Question 8.4, J. Amer. Math. Soc., 37 (2024))), which is closely related to a question of Erdős.
As the second application, we make progress on a nonlinear extension of the partition regularity of Pythagorean triples. Specifically, we demonstrate that the equation $x^2 + y^2 = z^2 + P(u_1, \dots, u_n)$ is $2$-regular for certain appropriately chosen polynomials $P$ of any desired degree.
Finally, as the third application, we establish a nonlinear variant of Rado's conjecture concerning the degree of regularity. We prove that for every $m, n \in \mathbb{Z}^+$, there exists an $m$-degree homogeneous equation that is $n$-regular but not $(n+1)$-regular. The case $m = 1$ corresponds to Rado's conjecture, originally proven by Alexeev and Tsimerman (J. Combin. Theory Ser. A, 117 (2010), and later independently by Golowich (Electron. J. Combin. 21 (2014)).
Matrix Formulation of Moreira Theorem
In a celebrated article, Moreira proved for every finite coloring of the set of naturals, there exists a monochromatic copy of the form $\{x,x+y,xy\},$ which gives a partial answer to one of the central open problems of Ramsey theory asking whether $\{x,y,x+y,xy\}$ is partition regular. In this article, we prove the matrix version of the Moreira theorem. We prove that if $A$ and $B$ are two finite image partition regular matrices of the same order, then for every finite coloring of the set of naturals, there exist two vectors $\overrightarrow{X}, \overrightarrow{Y}$ such that $\{A\overrightarrow{X}, A\overrightarrow{X}+B\overrightarrow{Y}, A \overrightarrow{X}\cdot B\overrightarrow{Y}\}$ is monochromatic, where addition and multiplication are defined coordinate-wise.
$F_σ$-ideals, colorings, and representation in Banach spaces
In recent works by L. Drewnowski and I. Labuda and J. Martínez et al., non-pathological analytic \( P \)-ideals and non-pathological \( F_σ\)-ideals have been characterized and studied in terms of their representations by a sequence \( (x_n)_n \) in a Banach space, as \( \mathcal{C}((x_n)_n) \) and \( \mathcal{B}((x_n)_n) \). The ideal \( \mathcal{C}((x_n)_n) \) consists of sets where the series \( \sum_{n \in A} x_n \) is unconditionally convergent, while \( \mathcal{B}((x_n)_n) \) involves weak unconditional convergence.
In this paper, we further study these representations and provide effective descriptions of \( \mathcal{B} \)- and \( \mathcal{C} \)-ideals in the universal spaces \( C([0,1]) \) and \( C(2^{\mathbb{N}}) \), addressing a question posed by Borodulin-Nadzieja et al. A key aspect of our study is the role of the space \( c_0 \) in these representations. We focus particularly on \( \mathcal{B} \)-representations in spaces containing many copies of \( c_0 \), such as \( c_0 \)-saturated spaces of continuous functions.
A central tool in our analysis is the concept of \( c \)-coloring ideals, which arise from homogeneous sets of continuous colorings. These ideals, generated by homogeneous sets of 2-colorings, exhibit a rich combinatorial structure. Among our results, we prove that for \( d \geq 3 \), the random \( d \)-homogeneous ideal is pathological,
we construct hereditarily non-pathological universal \( c \)-coloring ideals, and we show that every \( \mathcal{B} \)-ideal represented in \( C(K) \), for \( K \) countable, contains a \( c \)-coloring ideal. Furthermore, by leveraging \( c \)-coloring ideals, we provide examples of \( \mathcal{B} \)-ideals that are not \( \mathcal{B} \)-representable in \( c_0 \). These findings highlight the interplay between combinatorial properties of ideals and their representations in Banach spaces.
The r-Dynamic Chromatic Number is Bounded in the Strong 2-Coloring Number
A proper vertex-coloring of a graph is $r$-dynamic if the neighbors of each vertex $v$ receive at least $\min(r, \mathrm{deg}(v))$ different colors. In this note, we prove that if $G$ has a strong $2$-coloring number at most $k$, then $G$ admits an $r$-dynamic coloring with no more than $(k-1)r+1$ colors. As a consequence, for every class of graphs of bounded expansion, the $r$-dynamic chromatic number is bounded by a linear function in $r$. We give a concrete upper bound for graphs of bounded row-treewidth, which includes for example all planar graphs.
Complexity of approximate conflict-free, linearly-ordered, and nonmonochromatic hypergraph colourings
Using the algebraic approach to promise constraint satisfaction problems, we establish complexity classifications of three natural variants of hypergraph colourings: standard nonmonochromatic colourings, conflict-free colourings, and linearly-ordered colourings.
Firstly, we show that finding an $\ell$-colouring of a $k$-colourable $r$-uniform hypergraph is NP-hard for all constant $2\leq k\leq \ell$ and $r\geq 3$. This provides a shorter proof of a celebrated result by Dinur et al. [FOCS'02/Combinatorica'05].
Secondly, we show that finding an $\ell$-conflict-free colouring of an $r$-uniform hypergraph that admits a $k$-conflict-free colouring is NP-hard for all constant $3\leq k\leq\ell$ and $r\geq 4$, except for $r=4$ and $k=2$ (and any $\ell$); this case is solvable in polynomial time. The case of $r=3$ is the standard nonmonochromatic colouring, and the case of $r=2$ is the notoriously difficult open problem of approximate graph colouring.
Thirdly, we show that finding an $\ell$-linearly-ordered colouring of an $r$-uniform hypergraph that admits a $k$-linearly-ordered colouring is NP-hard for all constant $3\leq k\leq\ell$ and $r\geq 4$, thus improving on the results of Nakajima and Živný [ICALP'22/ACM TocT'23].