coloring
4497 papers tagged with this keyword
How many times can two minimum spanning trees cross?
Let $P$ be a generic set of $n$ points in the plane, and let $P=R\cup B$ be a coloring of $P$ in two colors. We are interested in the number of crossings between the minimum spanning trees (MSTs) of $R$ and $B$, denoted by $\crossAB(R,B)$. We define the \emph{bicolored MST crossing number} of $P$, denoted by $\cross(P)$, as $\cross(P) = \max_{P= R\cup B}(\crossAB(R,B))$. We prove a linear upper bound for $\cross(P)$ when $P$ is generic. If $P$ is dense or in convex position, we provide linear lower bounds. Lastly, if $P$ is chosen uniformly at random from the unit square and is colored uniformly at random, we prove that the expected value of $\crossAB(R,B)$ is linear.
Uniformly balanced $H$-factors in multicoloured complete graphs
A balanced colouring of a graph is one in which every colour appears the same number of times. Given a fixed graph $H$ on $r$ vertices and a balanced $k$-colouring of the complete graph $K_{nrk}$, Hollom (2025) asked the following question: can we always find an $H$-factor $F$ covering all vertices of the complete graph $K_{nrk}$ such that the inherited colouring of $F$ is almost balanced? This is known to be the case for palettes of only two colours, or when $H$ is only a single edge. We answer the above question in full, finding an $H$-factor which is at most $C_{r,k}$ edges away from being balanced, where $C_{r,k}$ depends only on $r$ and $k$. In fact, we work in the more general setting wherein our palette of colours is a subset of $\mathbb{S}^{d-1}$, and find an $H$-factor where the sum of the colours of all edges has bounded Euclidean norm.
On asymptotically tight bounds for the open conflict-free chromatic indexes of nearly regular graphs
An edge colouring $c$ of a graph $G$ is called conflic-free if every non-isolated edge of $G$ has a uniquely coloured neighbour in its open edge neighbourhood. The least number of colours admitting such a colouring is denoted by $χ'_{\rm OCF}(G)$, or $χ'_{\rm pOCF}(G)$ if we additionally require $c$ to be proper.
Our main result implies in particular that $χ'_{\rm OCF}(G) \le \log_2 Δ+ O(\ln\lnΔ)$ for nearly regular graphs $G$ with maximum degree $Δ$, which is asymptotically optimal, as witnessed by the complete graphs. For proper colourings, we moreover show that $χ'_{\rm pOCF}(G) \le Δ+ O(\ln Δ)$ in the same regime. These results improve existing bounds stemming from related colouring models and transfer directly to random graphs' setting.
The proofs combine decomposition techniques with probabilistic arguments and structural properties of edge neighbourhoods.
Markov chains of $Z$-oriented triangulations of surfaces
Published
• View Publication
• BIB
We consider triangulations of closed $2$-dimensional (not necessarily orientable) surfaces. Any minimal set of zigzags that double covers the set of edges provides a $z$-orientation of the triangulation. We introduce Markov chains of $z$-oriented triangulations. Our main result is a characterization of their ergodicity. This topic is closely connected to coloring of Eulerian triangulations.
Black Cell Capacity in Catalan polyominoes
A Catalan word is a sequence $w_1w_2\cdots w_n$ of nonnegative integers such that $w_1=0$ and $w_{i}\leq w_{i-1}+1$ for $2\leq i\leq n$. Given a Catalan word, we construct a column-convex polyomino (or \emph{bargraph}) by placing, at position $i$, a column of height $w_i + 1$, with all columns aligned along their bottom edges. On these Catalan polyominoes we define the black cell capacity by coloring the cells in a chessboard pattern and we count the number of black cells in the polyomino. We study the distribution of the black cell capacity over Catalan polyominoes and derive generating functions that encode this statistic.
Short Rainbow Circuits in Regular Matroids
DeVos et al conjectured that if $M$ is a simple, regular matroid and $c$ is a colouring of the elements of $M$ with $r(M)+1$ colours, where each colour class has at least two elements, then $M$ contains a rainbow circuit of size at most $\lceil \frac {r(M)+1}2 \rceil.$ We prove this conjecture by showing that for all such regular matroids there are four rainbow circuits $C_i,\ i = 1,2,3,4$ for which $\sum_i |C_i| \le 2r(M) +4$ and for which no element of $M$ belongs to more than two of the circuits.
Degree-choosability of proper conflict-free list coloring of sparse graphs
Given a graph $G$ and a mapping $f:V(G) \to \mathbb{N}$, an $f$-list assignment of $G$ is a function that maps each $v \in V(G)$ to a set of at least $f(v)$ colors. For an $f$-list assignment $L$ of a graph $G$, a proper conflict-free $L$-coloring of $G$ is a proper coloring $φ$ of $G$ such that for every vertex $v \in V(G)$, $φ(v) \in L(v)$ and some appears precisely once in the neighborhood of $v$. We say that $G$ is proper conflict-free $f$-choosable if for every $f$-list assignment $L$ of $G$, there exists a proper conflict-free $L$-coloring of $G$. If $G$ is proper conflict-free $f$-choosable and there is a constant $k$ such that $f(v)= d_G(v)+k$ for every vertex $v$ of $G$, then we say $G$ is proper conflict-free $({\rm degree}+k)$-choosable. In this paper, we consider graphs with a bounded maximum average degree. We show that every graph with the maximum average degree less than $\frac{10}{3}$ is proper conflict-free $({\rm degree}+3)$-choosable, and that every graph with the maximum average degree less than $\frac{18}{7}$ is proper conflict-free $({\rm degree}+2)$-choosable. As a result, every planar graph with girth at least $5$ is proper conflict-free $({\rm degree}+3)$-choosable, and every planar graph with girth at least $9$ is proper conflict-free $({\rm degree}+2)$-choosable.
Coloring small locally sparse degenerate graphs and related problems
The classic upper bound on the chromatic number of $d$-degenerate graphs is $d+1$, shown to be tight by complete graphs. A natural question is whether this bound remains tight if one forbids large cliques. Classic constructions of Tutte and Zykov from the early 50s show that there exist $d$-degenerate $(d+1)$-chromatic graphs that are triangle-free, however these constructions grow rapidly with $d$. Motivated by this and addressing a problem posed by the second author at the Oberwolfach Graph Theory workshop, we prove that the minimum order $f(d)$ of a $d$-degenerate triangle-free graph of chromatic number $d+1$ satisfies $e^{Ω(d)}\le f(d)\le e^{O(d^2\log d)}.$ The lower bound follows from a novel upper bound on the chromatic number of triangle-free graphs: Every triangle-free $d$-degenerate graph $G$ on $n \le e^{O(d)}$ vertices satisfies $$χ(G)\le O\left(\frac{d}{\log\left(d/\log n\right)}\right).$$ We extend this to a more general result about degenerate graphs with sparse neighborhoods, which has applications to many graph coloring problems: For example, we prove that every counterexample to Hadwiger's conjecture with parameter $t$ must have a complete bipartite subgraph with one exponentially large side ($K_{a,b}$ where $a=(\log t)^{1/2-o(1)}$ and $b=e^{t^{1-o(1)}}$) or a small and very dense subgraph (of order $\le t$ with $t^{2-o(1)}$ edges) in some neighborhood.
For the upper bound on $f(d)$ we establish a surprising connection between $f(d)$ and the on-line-chromatic number $g(n)$ of $n$-vertex triangle-free graphs. We also give an asymptotic improvement of the previous best upper bound for $g(n)$ due to Lovász, Saks and Trotter from 1989.
Along the way we disprove a generalization of Harris' fractional coloring conjecture to graphs of bounded clique number and raise numerous problems which open up interesting directions to explore for future research.
Faster 3-colouring algorithm for graphs of diameter 3
We show that given an $n$-vertex graph $G$ of diameter 3 we can decide if $G$ is $3$-colourable in time $2^{O(n^{2/3-\varepsilon})}$ for any $\varepsilon < 1/33$. This improves on the previous best algorithm of $2^{O((n\log n)^{2/3})}$ from Dębski, Piecyk and Rzążewski [Faster 3-coloring of small-diameter graphs, ESA 2021].
Extending graph total colorings to cell complexes
Let $2\le k\in\mathbb{Z}$. A total coloring of a simple connected regular graph via color set $ \{0,1,\ldots, k\}$ is said to be {\it efficient} if each color yields an efficient dominating set, where the efficient domination condition applies to the restriction of each color class to the vertex set. In this work, focus is set upon 2-cell complexes whose 1-skeletons, namely their induced 1-cell complexes, are toroidal graphs. Each such 2-cell complex is said to cover its induced 1-skeleton. An efficient total coloring of one such skeleton induces an efficient total cell coloring of its covering 2-cell complex if it assigns a vertex-and-edge $k$-color set to the border skeleton of each of its 2-cells, with the consequently missing color in $\{0,1,\ldots,k\}$ assigned to the 2-cell itself, so that the two adjacent 2-cells along any 1-cell are assigned different colors. Applications are given for plane tilings, cycle products, toroidal triangulations, honeycombs and star-of-David tilings.
Single conflict coloring and palette sparsification of uniform hypergraphs
We introduce and investigate single conflict coloring in the setting of r-uniform hypergraphs. We establish some basic properties of this hypergraph coloring model and study a probabilistic model of single conflict coloring where the conflicts for each edge are chosen randomly; in particular, we prove a sharp threshold-type result for complete graphs and establish a sufficient condition for single conflict colorability of r-uniform hypergraphs in this model. Furthermore, we obtain a related palette sparsification-type result for general list coloring of linear uniform hypergraphs (i.e. uniform hypergraphs where any two edges share at most one common vertex). Throughout the paper we pose several questions and conjectures
Neural Algorithmic Reasoning for Approximate $k$-Coloring with Recursive Warm Starts
Published
• View Publication
• BIB
Node coloring is the task of assigning colors to the nodes of a graph such that no two adjacent nodes have the same color, while using as few colors as possible. It is the most widely studied instance of graph coloring and of central importance in graph theory; major results include the Four Color Theorem and work on the Hadwiger-Nelson Problem. As an abstraction of classical combinatorial optimization tasks, such as scheduling and resource allocation, it is also rich in practical applications. Here, we focus on a relaxed version, approximate $k$-coloring, which is the task of assigning at most $k$ colors to the nodes of a graph such that the number of edges whose vertices have the same color is approximately minimized. While classical approaches leverage mathematical programming or SAT solvers, recent studies have explored the use of machine learning. We follow this route and explore the use of graph neural networks (GNNs) for node coloring. We first present an optimized differentiable algorithm that improves a prior approach by Schuetz et al. with orthogonal node feature initialization and a loss function that penalizes conflicting edges more heavily when their endpoints have higher degree; the latter inspired by the classical result that a graph is $k$-colorable if and only if its $k$-core is $k$-colorable. Next, we introduce a lightweight greedy local search algorithm and show that it may be improved by recursively computing a $(k-1)$-coloring to use as a warm start. We then show that applying such recursive warm starts to the GNN approach leads to further improvements. Numerical experiments on a range of different graph structures show that while the local search algorithms perform best on small inputs, the GNN exhibits superior performance at scale. The recursive warm start may be of independent interest beyond graph coloring for local search methods for combinatorial optimization.
Coloring discrete pseudomanifolds
Published
• View Publication
• BIB
This paper presents three main results on coloring discrete $d$-pseudomanifolds: $(1)$ the general chromatic bounds $d+1 \leq X(K) \leq 2d+2$ for any $d$-pseudomanifold $K$; $(2)$ an improved bound $X(K) \leq 2d+1$ for pseudomanifolds expressible as a Zykov join $K = S^k + K'$; $(3)$ the optimal bound $X(K)\leq\lceil 3(d+1)/2\rceil$ under the additional assumptions that the spherical join factor $S^k$ is built from even-cycles and its dimension $k$ is close to $d$.
The reverse mathematics of Brooks' theorem
This is an analysis of the status of Brooks' Theorem, a celebrated result in graph coloring, from the point of view of Reverse Mathematics. We prove that the restriction of Brooks' theorem to bounded graphs of degree greater than or equal to $3$ is provable in $\mathsf{RCA}_0$, while the statement for arbitrary graphs is equivalent to $\mathsf{WKL}_0$ over $\mathsf{RCA}_0$. Brooks' Theorem for degree $2$, even when restricted to bounded graphs, is equivalent to $\mathsf{WKL}_0$ over $\mathsf{RCA}_0$.
Characteristic quasi-polynomials of truncated arrangements
Given an (affine) integral arrangement $\mathcal{A}$ in $\mathbb{R}^n$, the reduction of $\mathcal{A}$ modulo an arbitrary positive integer $q$ naturally yields an arrangement $\mathcal{A}_q$ in $\mathbb{Z}_q^n$. Our primary objective is to study the combinatorial aspects of the restriction $\mathcal{A}^{(B,\bm b)}$ to the solution space of $B\bm x=\bm b$, and its reduction $\mathcal{A}_q^{(B,\bm b)}$ modulo $q$. This work generalizes the earlier results of Kamiya, Takemura and Terao, as well as Chen and Wang.
The purpose of this paper is threefold as follows. Firstly, we derive an explicit counting formula for the cardinality of the complement $M\big(\mathcal{A}_q^{(B,\bm b)}\big)$ of $\mathcal{A}_q^{(B,\bm b)}$; and prove that for all positive integers $q>q_0$, this cardinality coincides with a quasi-polynomial $χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},q\big)$ in $q$ with a period $ρ_C$. Secondly, we weaken Chen and Wang's original hypothesis $a \mid b$ to a strictly more general condition $\gcd(a,ρ_C)\mid \gcd(b,ρ_C)$, and introduce the concept of combinatorial equivalence for positive integers. Within this framework, we establish three unified comparison relations: between the unsigned coefficients of $χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},a\big)$ and $χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},b\big)$; between the unsigned coefficients of distinct constituents of $χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},q\big)$; and between the cardinalities of $M\big(\mathcal{A}_q^{(B,\bm b)}\big)$ and $M\big(\mathcal{A}_{pq}^{(B,\bm b)}\big)$. Thirdly, using our method, we revisit the enumerative aspects of group colorings and nowhere-zero nonhomogeneous form flows from the early work of Forge, Zaslavsky and Kochol.
Towards a conjecture on long induced rainbow paths in triangle-free graphs
Given a triangle-free graph $G$ with chromatic number $k$ and a proper vertex coloring $φ$ of $G$, it is conjectured that $G$ contains an induced rainbow path on $k$ vertices under $φ$. Scott and Seymour proved the existence of an induced rainbow path on $(\log \log \log k)^{\frac{1}{3}- o(1)}$ vertices. We improve this to $(\log k)^{\frac{1}{2}- o(1)}$ vertices. Further, we prove the existence of an induced path that sees $\frac{k}{2}$ colors.
On an Erdős--Lov'asz problem: 3-critical 3-graphs of minimum degree 7
Erdős and Lov'asz asked whether there exists a "3-critical" 3-uniform hypergraph in which every vertex has degree at least 7. The original formulation does not specify what 3-critical means, and two non-equivalent notions have appeared in the literature and in later discussions of the problem. In this paper we resolve the question under both interpretations. For the transversal interpretation (criticality with respect to the transversal number), we prove that a 3-uniform hypergraph $H$ with $τ(H)=3$ and $τ(H-e)=2$ for every edge $e$ has at most 10 edges; in particular, $δ(H)\le 6$, and this bound is sharp, witnessed by the complete 3-graph $K^{(3)}_5$. For the chromatic interpretation (criticality with respect to weak vertex-colourings), we give an explicit 3-uniform hypergraph on 9 vertices with $χ(H)=3$ and minimum degree $δ(H)=7$ such that deleting any single edge or any single vertex makes it 2-colourable. The criticality of the example is certified by explicit witness 2-colourings listed in the appendices, together with a short verification script.
A Short Proof that Every Claw-Free Cubic Graph is (1,1,2,2)-Packing Colorable
Published
• View Publication
• BIB
It was recently proved that every claw-free cubic graph admits a (1, 1, 2, 2)-packing coloring--that is, its vertex set can be partitioned into two 1-packings and two 2-packings. This result was established by Brešar, Kuenzel, and Rall [Discrete Mathematics 348 (8) (2025), 114477]. In this paper, we provide a simpler and shorter proof.
Quasi Neighborhood Balanced Coloring of Graphs
For a simple graph G = (V, E), a coloring of vertices of G using two colors, say red and blue, is called a quasi neighborhood balanced coloring if, for every vertex of the graph, the number of red neighbors and the number of blue neighbors differ by at most one. In addition, there must be at least one vertex in G for which this difference is exactly one. If a graph G admits such a colouring, then G is said to be a quasi-neighbourhood balanced colored graph. We also define variants of such a coloring, like uniform quasi neighborhood balanced coloring, positive quasi neighborhood balanced coloring and negative quasi neighborhood balanced coloring based on the color of the extra neighbor of every vertex of odd degree of the graph G. We present several examples of graph classes that admit the various variants of quasi neighborhood balanced coloring. We also discuss various graph operations involving such graphs. Furthermore, we prove that there is no forbidden subgraph characterization for the class of quasi neighborhood balanced coloring and show that the problem of determining whether a given graph has such a coloring is NP-complete.
Two-colorings of finite grids: variations on a theorem of Tibor Gallai
A celebrated but non-effective theorem of Tibor Gallai states that for any finite set $A$ of $\Z^n$ and for any finite number of colors $c$ there is a minimal $m$ such that no coloring of the finite $m^n$-grid can avoid that a homothetic image of $A$ is monochromatic. We find (or confirm) $m$ for equilateral triangles, squares, and various types of rectangles. Also, we extend the problem from homothety to general similarity, or to similarity generated using some special rotations. In particular, we compute Gallai similarity numbers for lattice rectangles similar to $1\times k$ (in all orientations) for $k=2,3,4$. The solutions have been found in the framework of the Satisfiability Problem in Propositional Logic (SAT). While some questions were solved using managed brute force, for the more computationally intensive questions we used modern SAT solvers together with symmetry breaking techniques. Some other minor questions are solved for triangles and squares, and new lower bounds are found for regular hexagons on the triangular lattice and for three-dimensional cubes in $\Z^3$.