coloring
4410 papers tagged with this keyword
Constricting the Computational Complexity Gap of the $4$-Coloring Problem in $(P_t,C_3)$-free Graphs
The $k$-Coloring problem on hereditary graph classes has been a deeply researched problem over the last decade. A hereditary graph class is characterized by a (possibly infinite) list of minimal forbidden induced subgraphs. We say that a graph is $(H_1,H_2,\ldots)$-free if it does not contain any of $H_1,H_2,\ldots$ as induced subgraphs. The complexity landscape of the problem remains unclear even when restricting to the case $k=4$ and classes defined by a few forbidden induced subgraphs. While the case of only one forbidden induced subgraph has been completely resolved lately, the complexity when considering two forbidden induced subgraphs still has a couple of unknown cases. In particular, $4$-Coloring on $(P_6,C_3)$-free graphs is polynomial while it is NP-hard on $(P_{22},C_3)$-free graphs.
We provide a reduction showing NP-completeness of $4$-Coloring on $(P_t,C_3)$-free graphs for $19\leq t\leq 21$, thus constricting the gap of cases whose complexity remains unknown. Our proof includes a computer search ensuring that the graph family obtained through the reduction is indeed $P_{19}$-free.
Monochromatic components with many edges in random graphs
In an $r$-coloring of edges of the complete graph on $n$ vertices, how many edges are there in the largest monochromatic connected component? A construction of Gyárfás shows that for infinitely many values of $r$, there exist colorings where all monochromatic components have at most $\left(\frac{1}{r^2-r}+o(1)\right)\binom{n}{2}$ edges. Conlon, Luo, and Tyomkyn conjectured that components with at least this many edges are attainable for all $r \ge 3$. Conlon, Luo, and Tyomkyn proved this conjecture for $r=3$ and Luo proved it for $r=4$, along with a lower bound of $\frac{1}{r^2-r+\frac54}{n\choose 2}$ for all $r\ge 2$ and $n$.
In this paper, we look at extensions of this problem where the graph being $r$-colored is a sparse random graph or a graph of high minimum degree. By extending several intermediate technical results from previous work in the complete graph setting, we prove analogues of the bound for general $r$ in both the sparse random setting and the high minimum degree setting, as well as the bound for $r=3$ in the latter setting.
Improved Bounds on Diffsequences with Gaps in Powers of 2
Let $D$ be a set of positive integers. A $D$-diffsequence of length $k$ is a sequence of positive integers $a_1 < \cdots < a_k$ such that $a_{i+1}-a_i\in D$ for $i=1,\ldots,k-1$. For $D=\{2^i\mid i\in \mathbb{Z}_{\ge 0}\}$, it is known that there exists a minimum integer $n$, denoted by $Δ(D,k)$, such that every $2$-coloring of $\{1,\ldots n \}$ admits a monochromatic $D$-diffsequence of length $k$. In this work, we prove a new lower bound for $Δ(D,k)$ to $Δ(D,k)\ge \left(\sqrt{\frac{8k-5}{12}}-\frac12\right)2^{\left(\sqrt{\frac{8k-5}{3}}-3\right)}$, asymptotically improving the exponential constant in the bound proved by Clifton.
Irreversible $k$-Threshold Conversion Number of Corona Product and Double Corona Product Graphs
This paper studies the irreversible $k$-threshold process on graphs, where a vertex becomes colored if at least $k$ neighbors are colored and remains colored indefinitely. We investigate vertex sets that, when initially colored, lead to a completely colored graph. The graphs under initial consideration are constructed using the corona product of cyclic graphs and complete graphs. We then introduce and explore double corona product graphs (of cyclic graphs and complete graphs) to study more complex topologies and their impact on the coloring propagation. We further extend the theory by introducing a probabilistic approach to the coloring dynamics. Our findings provide insights into the interplay between graph structure and saturation dynamics by extending the theory to new families of graphs and introducing a probabilistic approach with potential applications in epidemiology and social influence modeling.
Results on proper conflict-free list coloring of 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 $φ(v) \in L(v)$ for every vertex $v\in V(G)$ and $v$ has a color that appears precisely once at its neighborhood for every non-isolated vertex $v\in V(G)$. We say that $G$ is proper conflict-free $f$-choosable if for any $f$-list assignment $L$ of $G$, there exists a proper conflict-free $L$-coloring of $G$. For a non-negative integer $k$, we say that $G$ is \emph{proper conflict-free $({\rm degree}+k)$-choosable} if $G$ is proper conflict-free $f$-choosable where $f$ is a mapping with $f(v)= d_G(v)+k$ for every vertex $v\in V(G)$.
Motivated by degree-choosability of graphs, we investigate the proper conflict-free $({\rm degree}+k)$-choosability of graphs, especially for cases $k=1,2,3$. As the 5-cycle is not proper conflict-free $({\rm degree}+2)$-choosable and it is the only such graph we know, it is possible that every connected graph other than the 5-cycle is proper conflict-free $({\rm degree}+2)$-choosable and thus every graph is proper conflict-free $({\rm degree}+3)$-choosable. To support these, we show that every connected graph with maximum degree at most 3 distinct from the 5-cycle is proper conflict-free $(\text{degree}+2)$-choosable, and that $S(G)$ is proper conflict-free $(\text{degree}+2)$-choosable for every graph $G$, where $S(G)$ is a graph obtained from $G$ by subdividing each edge once. Furthermore, by adapting the technique of DP-colorings, we prove that every graph with maximum degree at most $4$ is proper conflict-free $({\rm degree}+3)$-choosable.
Normal 6-edge-colorings of cubic graphs with oddness 2
A normal edge-coloring of a cubic graph is a proper edge-coloring, in which every edge is adjacent to edges colored with four distinct colors or to edges colored with two distinct colors. It is conjectured that $5$ colors suffice for a normal edge-coloring of any bridgeless cubic graph and this statement is equivalent to the Petersen Coloring Conjecture.
In this paper, we extend the result of Mazzuoccolo and Mkrtchyan (Normal 6-edge-colorings of some bridgeless cubic graphs, Discrete Appl. Math. 277 (2020), 252--262), who proved that every cycle permutation graph admits a normal edge-coloring with at most $6$ colors. In particular, we show that every cubic graph with oddness $2$ admits a normal edge-coloring with at most $6$ colors.
Computer-assisted graph theory: a survey
Computers and algorithms play an ever-increasing role in obtaining new results in graph theory. In this survey, we present a broad range of techniques used in computer-assisted graph theory, including the exhaustive generation of all pairwise non-isomorphic graphs within a given class, the use of searchable databases containing graphs and invariants as well as other established and emerging algorithmic paradigms. We cover approaches based on mixed integer linear programming, semidefinite programming, dynamic programming, SAT solving, metaheuristics and machine learning. The techniques are illustrated with numerous detailed results covering several important subareas of graph theory such as extremal graph theory, graph coloring, structural graph theory, spectral graph theory, regular graphs, topological graph theory, special sets in graphs, algebraic graph theory and chemical graph theory. We also present some smaller new results that demonstrate how readily a computer-assisted graph theory approach can be applied once the appropriate tools have been developed.
The Edge-Distinguishing Game
In this paper, we introduce a graph coloring game called the Edge-Distinguishing Game (EDGe). The edge-distinguishing chromatic number of a graph is used to determine the moves each player can make. We determine which player has a winning strategy for particular graphs and graph families. Additionally, utilizing principles from game theory as well as previous work on a computational solution for the Game of Cycles.
A Note on Distance-Fall Colorings
We say a proper coloring of a graph is distance-$k$ fall if every vertex is within distance $k$ of at least one vertex of every color. We show that if $G$ is a connected graph of order at least $3$ that is $3$-colorable, thenit has a distance-2 fall 3-coloring. Further, for every integer $k\ge 2$, if $T$ is a tree of order at least $k$, then $T$ has a $k$-coloring such that every vertex is within distance $k-1$ of every color. This proves an old conjecture of Beineke and Henning that every tree of order $n$ has an independent distance-$d$-dominating set of size at most $n/(d + 1)$.
Hoffman colorability of (strongly) regular graphs
Hoffman's bound is a well-known eigenvalue bound on the chromatic number of a graph. By interpreting this bound as a parameter, we show multiple applications of colorings attaining the bound (Hoffman colorings) for several notions of graph regularity: regular, (co-)edge-regular, and strongly regular. For strongly regular graphs, we prove that Hoffman colorability implies pseudo-geometricity, and we strengthen Haemers' finiteness result on strongly regular graphs with a bounded chromatic number by considering the Hoffman bound instead of the chromatic number. Furthermore, by using Hoffman colorings we show that a sufficient condition for non-unique vector colorability shown by Godsil, Roberson, Rooney, Šámal and Varvitsiotis [European J. Combin. 79, 2019] can be relaxed in the setting of strongly regular graphs. Lastly, using Hoffman colorings we derive several new characterizations of the mentioned graph regularity notions.
Vertex-partitions of 2-edge-colored graphs
A {\bf $\mathbf{k}$-majority coloring} of a digraph $D=(V,A)$ is a coloring of $V$ with $k$ colors so that each vertex $v\in V$ has at least as many out-neighbours of color different from its own color as it has out-neighbours with the same color as itself.
Majority colorings have received much attention in the last years and many interesting open problems remain.
Inspired by this and the fact that digraphs can be modelled via 2-edge-colored graphs we study several problems concerning vertex partitions of 2-edge-colored graphs. In particular we study vertex partitions with the property that for each $c=1,2$ every vertex $v$ has least as many edges of colour $c$ to vertices outside the set it belongs to as it has to vertices inside its own set. We call such a vertex partition with $k$ sets a {\bf $\mathbf{k}$-majority partition. Among other things we show that every 2-edge-coloured graph has a 4-majority partition and that it is NP-complete to decide whether a 2-edge-coloured graph has a 3-majority partition. We also apply probabilistic tools to show that every $2$-edge-colored graph $G$ of minimum color-degree $δ$ and maximum degree $Δ\le \frac{e^{δ/18}}{9δ}-2$ has a balanced majority $3$-partition.
Borel Polychromatic Number of Grids
We study Borel polychromatic colorings of grid graphs arising from free Borel actions of $\mathbb{Z}^d$. A polychromatic coloring is one in which every unit $d$-dimensional cube sees all available colors. In the classical setting, every grid admits a $2^d$-polychromatic coloring, while in the Borel setting this fails. Our main result shows that every free $\mathbb{Z}^d$-action admits a Borel $(2^d-1)$-polychromatic coloring. This result is sharp: any action where the generators act ergodically does not admit a Borel $2^d$-polychromatic coloring. We conclude with open directions for extending the theory beyond cube tilings and for exploring the dependence of Borel polychromatic numbers on the underlying action.
Acyclic and complete coloring of digraphs with the minimum and maximum possible numbers of colors
The dichromatic and diachromatic numbers of a digraph are the minimum and maximum numbers of colors, respectively, in acyclic and complete colorings of the digraph. In this paper, we construct, for all $r \leq t$, non-symmetric digraphs with dichromatic number $r$ and diachromatic number $t$. Moreover, we discuss the existence of asymmetric digraphs with dichromatic number $ r $ and diachromatic number $ t \geq r $, establishing a quadratic upper bound $ b(r) \leq t $.
Random-projector quantum diagnostics of Ramsey numbers and a prime-factor heuristic for $R(5,5)=45$
We introduce a statistical framework for estimating Ramsey numbers by embedding two-color Ramsey instances into a $Z_2 \times Z_2$-graded Majorana algebra. This approach replaces brute-force enumeration with two randomized spectral diagnostics applied to operators of a given dimension d associated with Ramsey numbers: a linear projector $P_{lin}$ and an exponential map $P_{exp}(α)$, suitable for both classical and quantum computation. In the diagonal case, both diagnostics identify R(5,5) at n=45. The quantum realizations act on a reduced module and therefore require only five data qubits plus a few ancillas via block-encoding/qubitization for R(5,5)=45, in stark contrast to the $\binom{n}{2} \approx 10^3$ logical qubits demanded by direct edge encodings. We also provide few-qubit estimates for R(6,6) and R(7,7), and propose a simple "prime-sequence" consistency heuristic that connects R(5,5)=45 to constrained diagonal growth. Our method echoes Erdős's probabilistic paradigm, emphasizing randomized arguments rather than explicit colorings, and parallels the classical coin-flip approach to Ramsey bounds. Finally, we discuss potential applications of this framework to machine learning with a limited number of qubits.
Toward Vu's conjecture
In 2002, Vu conjectured that graphs of maximum degree $Δ$ and maximum codegree at most $ζΔ$ have chromatic number at most $(ζ+o(1))Δ$. Despite its importance, the conjecture has remained widely open. The only direct progress so far has been obtained in the ``dense regime,'' when $ζ$ is close to $1$, by Hurley, de Verclos, and Kang.
In this paper we provide the first progress in the sparse regime $ζ\ll 1$, the case of primary interest to Vu. We show that there exists $ζ_0 > 0$ such that for all $ζ\in [\log^{-32}Δ,ζ_0]$, the following holds: if $G$ is a graph with maximum degree $Δ$ and maximum codegree at most $ζΔ$, then $χ(G) \leq (ζ^{1/32} + o(1))Δ$. We derive this from a more general result that assumes only that the common neighborhood of any $s$ vertices is bounded rather than the codegrees of pairs of vertices. Our more general result also extends to the list coloring setting, which is of independent interest.
Odd list-coloring of graphs of small Euler genus with no short cycles of specific types
Odd coloring is a variant of proper coloring and has received wide attention. We study the list-coloring version of this notion in this paper. We prove that if $G$ is a graph embeddable in the torus or the Klein bottle with no cycle of length 3, 4, and 6 such that no 5-cycles share an edge, then for every function $L$ that assigns each vertex of $G$ a set $L(v)$ of size 5, there exists a proper coloring that assigns each vertex $v$ of $G$ an element of $L(v)$ such that for every non-isolated vertex, some color appears an odd number of times on its neighborhood. In particular, every graph embeddable in the torus or the Klein bottle with no cycle of length 3, 4, 6, and 8 is odd 5-choosable. The number of colors in these results are optimal, and there exist graphs embeddable in those surfaces of girth 6 requiring six or seven colors.
Injective (edge) colorings of generalized Sierpiński graphs
Generalized Sierpiński graphs constitute a distinctive class of fractal-like networks, whose self-similar properties have attracted growing attention. In particular, a number of graph invariants have been studied in generalized Sierpiński graphs. In this paper, we focus on injective colorings of this class of graphs, both the vertex and the edge version. The vertex version of injective colorings in generalized Sierpiński graphs was initiated in [Injective colorings of Sierpiński-like graphs and Kneser graphs,Graphs.\ Combin.\ 41 (2025) 83], where the authors determined the injective chromatic numbers of the standard Sierpiński graphs (which are those whose base graph is a clique) and asked about the values when the base graph is a cycle. We resolve this question by proving that $χ_i(S_{C_k}^n)=3$ for every $n\ge 2$ and every $k\ge 3$, which follows from a more general result on generalized Sierpi\' nski graphs $S_G^n$ with arbitrary base graphs $G$. Moreover, we prove (an almost conclusive result) that $χ_i(S_G^n)\in \{χ_i(G),χ_i(G)+1\}$ for any graph $G$ and any $n\ge 2$. Injective edge colorings appear to be more difficult, especially in graphs with triangles. On a positive note, we prove that $χ_i'(S_{K_3}^n)=5$ for all $n\ge 3$. Furthermore, if $G$ is a triangle-free graph, we prove that $χ_i'(S_G^n)\in \{χ_i'(S_G^3),χ_i'(S_G^3)+1\}$ for all $n\ge 4$, and provide some sufficient conditions on an injective edge coloring of the 3-dimensional Sierpiński graph over $G$, which ensure that $χ_i'(S_G^n)=χ_i'(S_G^3)$. In particular, the latter result enables us to establish that $χ_i'(S_{C_4}^n)=3$, $χ_i'(S_{C_5}^n)=4$ and $χ_i'(S_{C_6}^n)=3$ hold for any $n\ge 2$.
The Exponential Hyper-Zagreb Indices and Structural Properties of Trees and Bipartite Graphs
In this paper, we investigate the structural properties of trees and bipartite graphs through the lens of topological indices and combinatorial graph theory. We focus on the First and Second Hyper-Zagreb indices, $HM_1(G)$ and $HM_2(G)$, for trees $T \in T(n, Δ)$ with $n$ vertices and maximum degree $Δ$. Key propositions demonstrate that the presence of end-support or support vertices of degree at least three, distinct from a vertex of maximum degree, implies the existence of another tree $T' \in T(n, Δ)$ with strictly smaller Hyper-Zagreb indices. These results are extended to exponential forms, highlighting the influence of high-degree vertices. Additionally, we explore structural characterizations of trees via degree sequence majorization and $S$-order, establishing conditions for the first and last trees in specific classes. For bipartite graphs, we examine equitable coloring, cycle lengths, and $k$-redundant tree embeddings, supported by theorems on connectivity and minimum degree constraints. The paper also addresses the independence number of bipartite graphs, exterior covers, and competition numbers of complete $r$-partite graphs, providing bounds and structural insights. Finally, we discuss Markov-chain algorithms for generating bipartite graphs and tournaments with prescribed degree sequences, analyzing their mixing times and convergence properties. These results contribute to the understanding of extremal properties and combinatorial structures in graph theory, with applications in chemical graph theory and network analysis.
Lower Bounds for Induced-Universal Graphs
We give a series of new lower bounds on the minimum number of vertices required by a graph to contain every graph of a given family as induced subgraph. In particular, we show that this induced-universal graph for $n$-vertex planar graphs must have at least $10.52n$ vertices. We also show that the number of conflicting graphs to consider in order to beat this lower bound is at least $137$. In other words, any family of less than $137$ planar graphs of $n$ vertices has an induced-universal graph with less than $10.52n$ vertices, stressing the difficulty in beating such lower bounds. Similar results are developed for other graph families, including but not limited to, trees, outerplanar graphs, series-parallel graphs, $K_{3,3}$-minor free graphs. As a byproduct, we show that any family of $t$ graphs of $n$ vertices having small chromatic number and sublinear pathwidth, like any proper minor-closed family, has an induced-universal graph with less than $\frac{15}{7} \sqrt{t} \cdot n$ vertices. This is achieved by making a bridge between equitable colorings, combinatorial designs, and path-decompositions.
Total b-chromatic Colouring of Graphs
A b-chromatic colouring of a graph $G$ is a proper $k$-colouring of the vertices of $G$, for some integer $k$, such that, for each colour $i$ ($1\leq i\leq k$), there exists a vertex $v$ of colour $i$ such that $v$ is adjacent to a vertex of colour $j$, for each $j$ ($1\leq j\leq k$, $j\neq i$). The b-chromatic number of $G$ is the maximum integer $k$ such that $G$ admits a b-chromatic colouring using $k$ colours. In this paper we introduce the concept of a total b-chromatic colouring, which extends the notion of b-chromatic colourings to both vertices and edges in a graph. We show that the problem of computing the total b-chromatic number is NP-hard in general graphs. On the other hand for a subclass of caterpillars we give a polynomial-time algorithm to compute the total b-chromatic number, and indeed a total b-chromatic colouring with the maximum number of colours.