coloring
4497 papers tagged with this keyword
Mapping sparse signed graphs to $(K_{2k}, M)$
Published
• View Publication
• BIB
A homomorphism of a signed graph $(G, σ)$ to $(H, π)$ is a mapping of vertices and edges of $G$ to (respectively) vertices and edges of $H$ such that adjacencies, incidences and the product of signs of closed walks are preserved. Motivated by reformulations of the $k$-coloring problem in this language, and specially in connection with results on $3$-coloring of planar graphs, such as Grötzsch's theorem, in this work we consider bounds on maximum average degree which are sufficient for mapping to the signed graph $(K_{2k}, σ_m)$ ($k\geq 3$) where $σ_m$ assigns to edges of a perfect matching the negative sign. For $k=3$, we show that the maximum average degree strictly less than $\frac{14}{5}$ is sufficient and that this bound is tight. For all values of $k\geq 4$, we find the best maximum average degree bound to be 3.
While the homomorphisms of signed graphs is relatively new subject, through the connection with the homomorphisms of $2$-edge-colored graphs, which are largely studied, some earlier bounds are already given. In particular, it is implied from Theorem 2.5 of "Borodin, O. V., Kim, S.-J., Kostochka, A. V., and West, D. B., Homomorphisms from sparse graphs with large girth. J. Combin. Theory Ser. B (2004)" that if $G$ is a graph of girth at least 7 and maximum average degree $\frac{28}{11}$, then for any signature $σ$ the signed graph $(G,σ)$ maps to $(K_6, σ_m)$.
We discuss applications of our work to signed planar graphs and, among others, we propose questions similar to Steinberg's conjecture for the class of signed bipartite planar graphs.
Colouring Graphs of Bounded Diameter in the Absence of Small Cycles
Published
• View Publication
• BIB
For $k\geq 1$, a $k$-colouring $c$ of $G$ is a mapping from $V(G)$ to $\{1,2,\ldots,k\}$ such that $c(u)\neq c(v)$ for any two non-adjacent vertices $u$ and $v$. The $k$-Colouring problem is to decide if a graph $G$ has a $k$-colouring. For a family of graphs ${\cal H}$, a graph $G$ is ${\cal H}$-free if $G$ does not contain any graph from ${\cal H}$ as an induced subgraph. Let $C_s$ be the $s$-vertex cycle. In previous work (MFCS 2019) we examined the effect of bounding the diameter on the complexity of $3$-Colouring for $(C_3,\ldots,C_s)$-free graphs and $H$-free graphs where $H$ is some polyad. Here, we prove for certain small values of $s$ that $3$-Colouring is polynomial-time solvable for $C_s$-free graphs of diameter $2$ and $(C_4,C_s)$-free graphs of diameter $2$. In fact, our results hold for the more general problem List $3$-Colouring. We complement these results with some hardness result for diameter $4$.
Steiner Configurations ideals: containment and colouring
Published
• View Publication
• BIB
Given a homogeneous ideal $I \subseteq k[x_0,\dots,x_n]$, the Containment problem studies the relation between symbolic and regular powers of $I$, that is, it asks for which pair $m, r \in \mathbb{N}$, $I^{(m)} \subseteq I^r$ holds. In the last years, several conjectures have been posed on this problem, creating an active area of current interests and ongoing investigations. In this paper, we investigated the Stable Harbourne Conjecture and the Stable Harbourne -- Huneke Conjecture and we show that they hold for the defining ideal of a Complement of a Steiner configuration of points in $\mathbb{P}^{n}_{k}$. We can also show that the ideal of a Complement of a Steiner Configuration of points has expected resurgence, that is, its resurgence is strictly less than its big height, and it also satisfies Chudnovsky and Demailly's Conjectures. Moreover, given a hypergraph $H$, we also study the relation between its colourability and the failure of the containment problem for the cover ideal associated to $H$. We apply these results in the case that $H$ is a Steiner System.
On the combinatorial value of Hex positions
Published in Integers 22:3G, 2022
• Search Publication
We develop a theory of combinatorial games that is appropriate for describing positions in Hex and other monotone set coloring games. We consider two natural conditions on such games: a game is monotone if all moves available to both players are good, and passable if in each position, at least one player has at least one good move available. The latter condition is equivalent to saying that if passing were permitted, no player would benefit from passing. Clearly every monotone game is passable, and we prove that the converse holds up to equivalence of games. We give some examples of how this theory can be applied to the analysis of Hex positions.
Complete minors in digraphs with given dichromatic number
The dichromatic number $\vecχ(D)$ of a digraph $D$ is the smallest $k$ for which it admits a $k$-coloring where every color class induces an acyclic subgraph. Inspired by Hadwiger's conjecture for undirected graphs, several groups of authors have recently studied the containment of directed graph minors in digraphs with given dichromatic number. In this short note we improve several of the existing bounds and prove almost linear bounds by reducing the problem to a recent result of Postle on Hadwiger's conjecture.
Strong edge colorings of graphs and the covers of Kneser graphs
Published
• View Publication
• BIB
A proper edge coloring of a graph is strong if it creates no bichromatic path of length three. It is well known that for a strong edge coloring of a $k$-regular graph at least $2k-1$ colors are needed. We show that a $k$-regular graph admits a strong edge coloring with $2k-1$ colors if and only if it covers the Kneser graph $K(2k-1,k-1)$. In particular, a cubic graph is strongly $5$-edge-colorable whenever it covers the Petersen graph. One of the implications of this result is that a conjecture about strong edge colorings of subcubic graphs proposed by Faudree et al. [Ars Combin. 29 B (1990), 205--211] is false.
Kempe equivalence of $4$-critical planar graphs
Published
• View Publication
• BIB
Answering a question of Mohar from 2007, we show that for every $4$-critical planar graph, its set of $4$-colorings is a Kempe class.
On long arithmetic progressions in binary Morse-like words
Published in Theoretical Computer Science, 934 (2022) 65-80
• View Publication
• BIB
We present results on the existence of long arithmetic progressions in the Thue-Morse word and in a class of generalised Thue-Morse words. Our arguments are inspired by van der Waerden's proof for the existence of arbitrary long monochromatic arithmetic progressions in any finite colouring of the (positive) integers.
A categorification for the signed chromatic polynomial
Published
• View Publication
• BIB
By coloring a signed graph by signed colors, one obtains the signed chromatic polynomial of the signed graph. For each signed graph we construct graded cohomology groups whose graded Euler characteristic yields the signed chromatic polynomial of the signed graph. We show that the cohomology groups satisfy a long exact sequence which corresponds to signed deletion-contraction rule. This work is motivated by Helme-Guizon and Rong's construction of the categorification for the chromatic polynomial of unsigned graphs.
The size, multipartite Ramsey numbers for nK2 versus path-path and cycle
Published
• View Publication
• BIB
For given graphs $G_1, G_2,\ldots, G_n$ and any integer $j$, the size of the multipartite Ramsey number $m_j(G_1, G_2,\ldots, G_n)$ is the smallest positive integer $t$ such that any $n$-coloring of the edges of $K_{j\times t}$ contains a monochromatic copy of $G_i$ in color $i$ for some $i$, $1 \leq i \leq n$, where $K_{j\times t}$ denotes the complete multipartite graph having $j$ classes with $t$ vertices per each class. In this paper we compute the size of the multipartite Ramsey number $m_j(K_{1,2}, P_4, nK_2)$ for any $j,n\geq 2$ and $m_j(nK_2,C_7)$, for any $j\leq4$ and $n\geq 2$.
Colored Motzkin Paths of Higher Order
Motzkin paths of order-$\ell$ are a generalization of Motzkin paths that use steps $U=(1,1)$, $L=(1,0)$, and $D_i=(1,-i)$ for every positive integer $i \leq \ell$. We further generalize order-$\ell$ Motzkin paths by allowing for various coloring schemes on the edges of our paths. These $(\vecα,\vecβ)$-colored Motzkin paths may be enumerated via proper Riordan arrays, mimicking the techniques of Aigner in his treatment of Catalan-like numbers. After an investigation of their associated Riordan arrays, we develop bijections between $(\vecα,\vecβ)$-colored Motzkin paths and a variety of well-studied combinatorial objects. Specific coloring schemes $(\vecα,\vecβ)$ allow us to place $(\vecα,\vecβ)$-colored Motzkin paths in bijection with different subclasses of generalized $k$-Dyck paths, including $k$-Dyck paths that remain weakly above horizontal lines $y=-a$, $k$-Dyck paths whose peaks all have the same height modulo-$k$, and Fuss-Catalan generalizations of Fine paths. A general bijection is also developed between $(\vecα,\vecβ)$-colored Motzkin paths and certain subclasses of $k$-ary trees.
Trivial colors in colorings of Kneser graphs
Published
• View Publication
• BIB
We show that any proper coloring of a Kneser graph $KG_{n,k}$ with $n-2k+2$ colors contains a trivial color (i.e., a color consisting of sets that all contain a fixed element), provided $n>(2+\varepsilon)k^2$, where $\varepsilon\to 0$ as $k\to \infty$. This bound is essentially tight. This is a consequence of a more general result on the minimum number of non-trivial colors needed to properly color $KG_{n,k}$.
A note on connected greedy edge colouring
Published
• View Publication
• BIB
Following a given ordering of the edges of a graph $G$, the greedy edge colouring procedure assigns to each edge the smallest available colour. The minimum number of colours thus involved is the chromatic index $χ'(G)$, and the maximum is the so-called Grundy chromatic index. Here, we are interested in the restricted case where the ordering of the edges builds the graph in a connected fashion. Let $χ_c'(G)$ be the minimum number of colours involved following such an ordering. We show that it is NP-hard to determine whether $χ_c'(G)>χ'(G)$. We prove that $χ'(G)=χ_c'(G)$ if $G$ is bipartite, and that $χ_c'(G)\leq 4$ if $G$ is subcubic.
Efficient computation of the oriented chromatic number of recursively defined digraphs
Published
• View Publication
• BIB
In this paper we consider colorings of oriented graphs, i.e. digraphs without cycles of length 2. Given some oriented graph $G=(V,E)$, an oriented $r$-coloring for $G$ is a partition of the vertex set $V$ into $r$ independent sets, such that all the arcs between two of these sets have the same direction. The oriented chromatic number of $G$ is the smallest integer $r$ such that $G$ permits an oriented $r$-coloring.
In this paper we consider the Oriented Chromatic Number problem on classes of recursively defined oriented graphs. Oriented co-graphs (short for oriented complement reducible graphs) can be recursively defined defined from the single vertex graph by applying the disjoint union and order composition. This recursive structure allows to compute an optimal oriented coloring and the oriented chromatic number in linear time. We generalize this result using the concept of perfect orderable graphs. Therefore, we show that for acyclic transitive digraphs every greedy coloring along a topological ordering leads to an optimal oriented coloring. Msp-digraphs (short for minimal series-parallel digraphs) can be defined from the single vertex graph by applying the parallel composition and series composition. We prove an upper bound of $7$ for the oriented chromatic number for msp-digraphs and we give an example to show that this is bound best possible. We apply this bound and the recursive structure of msp-digraphs to obtain a linear time solution for computing the oriented chromatic number of msp-digraphs.
In order to generalize the results on computing the oriented chromatic number of special graph classes, we consider the parameterized complexity of the Oriented Chromatic Number problem by so-called structural parameters, which are measuring the difficulty of decomposing a graph into a special tree-structure
Smaller counterexamples to Hedetniemi's conjecture
Hedetniemi's conjecture~\cite{hedetniemi1966homomorphisms} for $c$-colorings states that the tensor product $G \times H$ is $c$-colorable if and only if $G$ or $H$ is $c$-colorable. El-Zahar and Sauer~\cite{El-ZaharS85} proved it for $c = 3$. In a recent breakthrough, Shitov~\cite{Shitov19} showed counterexamples, for large $c$. While Shitov's proof is already remarkably short, Zhu \cite{Zhu20} simplified the argument and gave a more explicit counterexample for $c=125$. Tardif \cite{Tardif20} showed that a modification of the arguments allows to use ``wide colorings'' to obtain counterexamples for $c=14$, and $c=13$ with a more involved use of lexicographic products. This note presents two more small modifications, resulting in counterexamples for $c=5$ (with $G$ and $H$ having 4686 and 30 vertices, respectively).
The combinatorial equivalence of a computability theoretic question
We show that a question of Miller and Solomon -- that whether there exists a coloring $c:d^{<ω}\rightarrow k$ that does not admit a $c$-computable variable word infinite solution, is equivalent to a natural, nontrivial combinatorial question. The combinatorial question asked whether there is an infinite sequence of integers such that each of its initial segment satisfies a Ramsian type property. This is the first computability theoretic question known to be equivalent to a natural, nontrivial question that does not concern complexity notions. It turns out that the negation of the combinatorial question is a generalization of Hales-Jewett theorem. We solve some special cases of the combinatorial question and obtain a generalization of Hales-Jewett theorem on some particular parameters.
Packing and coloring r-bounded axis-parallel rectangles
Let $\mathcal{R}$ be a family of axis-parallel rectangles in the plane. The transversal number $τ(\mathcal{R})$ is the minimum number of points needed to pierce all the rectangles. The independence number $ν(\mathcal{R})$ is the maximum number of pairwise disjoint rectangles. Given a positive real number $r$, we say that $\mathcal{R}$ is an r-bounded family if, for any rectangle in $\mathcal{R}$, the aspect ratio of the longer side over the shorter side is at most $r$. Gyárfás and Lehel asked if it is possible to bound the transversal number $τ(\mathcal{R})$ with a linear function of the independence number $ν(\mathcal{R})$. Ahlswede and Karapetyan claimed a positive answer for the particular case of $r$-bounded families, but without providing proof. Chudnovsky et al. confirmed the result proving the bound $τ\leq (14 + 2r^2) ν$. This note aims at giving a simple proof of $τ\leq 2(r+1)(ν-1) + 1$, slightly improving the previous results. As a consequence of this new approach, we also deduce a constant factor bound for the ratio $\fracχω$ in the case of $r$-bounded family.
Avoiding Monochromatic Rectangles Using Shift Patterns
Published
• View Publication
• BIB
Ramsey Theory deals with avoiding certain patterns. When constructing an instance that avoids one pattern, it is observed that other patterns emerge. For example, repetition emerges when avoiding arithmetic progression (Van der Waerden numbers), while reflection emerges when avoiding monochromatic solutions of $a+b=c$ (Schur numbers). We exploit observed patterns when coloring a grid while avoiding monochromatic rectangles. Like many problems in Ramsey Theory, this problem has a rapidly growing search space that makes computer search difficult. Steinbach et al. obtained a solution of an 18 by 18 grid with 4 colors by enforcing a rotation symmetry. However, that symmetry is not suitable for 5 colors.
In this article, we will encode this problem into propositional logic and enforce so-called internal symmetries, which preserves satisfiability, to guide SAT-solving. We first observe patterns with 2 and 3 colors, among which the "shift pattern" can be easily generalized and efficiently encoded. Using this pattern, we obtain a new solution of the 18 by 18 grid that is non-isomorphic to the known solution. We further analyze the pattern and obtain necessary conditions to further trim down the search space. We conclude with our attempts on finding a 5-coloring of a 26 by 26 grid, as well as further open problems on the shift pattern.
On non-adaptive majority problems of large query size
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Analysis of Algorithms (November 26, 2021) dmtcs:7084
• View Publication
• BIB
We are given $n$ balls and an unknown coloring of them with two colors. Our goal is to find a ball that belongs to the larger color class, or show that the color classes have the same size. We can ask sets of $k$ balls as queries, and the problem has different variants, according to what the answers to the queries can be. These questions has attracted several researchers, but the focus of most research was the adaptive version, where queries are decided sequentially, after learning the answer to the previous query. Here we study the non-adaptive version, where all the queries have to be asked at the same time.
On Polynomial Representations of the DP Color Function: Theta Graphs and Their Generalizations
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) is a generalization of list coloring that has been widely studied in recent years after its introduction by Dvořák and Postle in 2015. As the analogue of the chromatic polynomial $P(G,m)$, the DP color function of a graph $G$, denoted $P_{DP}(G,m)$, counts the minimum number of DP-colorings over all possible $m$-fold covers. It is known that, unlike the list color function $P_{\ell}(G,m)$, for any $g \geq 3$ there exists a graph $G$ with girth $g$ such that $P_{DP}(G,m) < P(G,m)$ when $m$ is sufficiently large. Thus, two fundamental open questions regarding the DP color function are: (i) for which $G$ does there exist an $N \in \mathbb{N}$ such that $P_{DP}(G,m) = P(G,m)$ whenever $m \geq N$, (ii) Given a graph $G$ does there always exist an $N \in \mathbb{N}$ and a polynomial $p(m)$ such that $P_{DP}(G,m) = p(m)$ whenever $m \geq N$?
In this paper we give exact formulas for the DP color function of a Theta graph based on the parity of its path lengths. This gives an explicit answer, including the formulas for the polynomials that are not the chromatic polynomial, to both the questions above for Theta graphs. We extend this result to Generalized Theta graphs by characterizing the exact parity condition that ensures the DP color function eventually equals the chromatic polynomial. To answer the second question for Generalized Theta graphs, we confirm it for the larger class of graphs with a feedback vertex set of size one.