coloring
4497 papers tagged with this keyword
Answers to some problems about graph coloring test graphs
Published in European J. Combin. 45 (2015) 59-64
• View Publication
• BIB
We prove that a graph whose chromatic number is 2 is a homotopy test graph. We also prove that there is a graph $K$ with two involutions $γ_1$ and $γ_2$ such that $(K,γ_1)$ is a Stiefel-Whitney test graph, but $(K,γ_2)$ is not. These are answers to some of the problems suggested by Kozlov.
On interval edge-colorings of outerplanar graphs
An edge-coloring of a graph $G$ with colors $1,\ldots,t$ is called an interval $t$-coloring if all colors are used, and the colors of edges incident to any vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if it has an interval $t$-coloring for some positive integer $t$. For an interval colorable graph $G$, the least value of $t$ for which $G$ has an interval $t$-coloring is denoted by $w(G)$. A graph $G$ is outerplanar if it can be embedded in the plane so that all its vertices lie on the same (unbounded) face. In this paper we show that if $G$ is a 2-connected outerplanar graph with $Δ(G)=3$, then $G$ is interval colorable and \begin{center} $w(G)=\left\{\begin{tabular}{ll} 3, & if $| V(G)|$ is even, \ 4, & if $| V(G)|$ is odd. \end{tabular}% \right.$ \end{center} We also give a negative answer to the question of Axenovich on the outerplanar triangulations.
On Maximum Differential Coloring of Planar Graphs
Published
• View Publication
• BIB
We study the \emph{maximum differential coloring problem}, where the vertices of an $n$-vertex graph must be labeled with distinct numbers ranging from $1$ to $n$, so that the minimum absolute difference between two labels of any two adjacent vertices is maximized. As the problem is \NPH for general graphs~\cite{leung1984}, we consider planar graphs and subclasses thereof. We initially prove that the maximum differential coloring problem remains \NPH, even for planar graphs. Then, we present tight bounds for regular caterpillars and spider graphs. Using these new bounds, we prove that the Miller-Pritikin labeling scheme~\cite{miller89} for forests is optimal for regular caterpillars and for spider graphs. Finally, we describe close-to-optimal differential coloring algorithms for general caterpillars and biconnected triangle-free outer-planar graphs.
Edge-reflection positivity and weighted graph homomorphisms
Published
• View Publication
• BIB
B. Szegedy [Edge coloring models and reflection positivity, {\sl Journal of the American Mathematical Society} {\bf 20} (2007) 969--988] showed that the number of homomorphisms into a weighted graph is equal to the partition function of a complex edge-coloring model. Using some results in geometric invariant theory, we characterize for which weighted graphs the edge-coloring model can be taken to be real valued that is, we characterize for which weighted graphs the number of homomorphisms into them are edge-reflection positive. In particular, we determine explicitly for which simple graphs the number of homomorphisms into them is equal to the partition function of a real edge-coloring model. This answers a question posed by Szegedy.
Threshold-Coloring and Unit-Cube Contact Representation of Graphs
Published
• View Publication
• BIB
In this paper we study threshold coloring of graphs, where the vertex colors represented by integers are used to describe any spanning subgraph of the given graph as follows. Pairs of vertices with near colors imply the edge between them is present and pairs of vertices with far colors imply the edge is absent. Not all planar graphs are threshold-colorable, but several subclasses, such as trees, some planar grids, and planar graphs without short cycles can always be threshold-colored. Using these results we obtain unit-cube contact representation of several subclasses of planar graphs. Variants of the threshold coloring problem are related to well-known graph coloring and other graph-theoretic problems. Using these relations we show the NP-completeness for two of these variants, and describe a polynomial-time algorithm for another.
Multicolor Ramsey numbers for triple systems
Published
• View Publication
• BIB
Given an $r$-uniform hypergraph $H$, the multicolor Ramsey number $r_k(H)$ is the minimum $n$ such that every $k$-coloring of the edges of the complete $r$-uniform hypergraph $K_n^r$ yields a monochromatic copy of $H$. We investigate $r_k(H)$ when $k$ grows and $H$ is fixed. For nontrivial 3-uniform hypergraphs $H$, the function $r_k(H)$ ranges from $\sqrt{6k}(1+o(1))$ to double exponential in $k$.
We observe that $r_k(H)$ is polynomial in $k$ when $H$ is $r$-partite and at least single-exponential in $k$ otherwise. Erdős, Hajnal and Rado gave bounds for large cliques $K_s^r$ with $s\ge s_0(r)$, showing its correct exponential tower growth. We give a proof for cliques of all sizes, $s>r$, using a slight modification of the celebrated stepping-up lemma of Erdős and Hajnal.
For 3-uniform hypergraphs, we give an infinite family with sub-double-exponential upper bound and show connections between graph and hypergraph Ramsey numbers. Specifically, we prove that $$r_k(K_3)\le r_{4k}(K_4^3-e)\le r_{4k}(K_3)+1,$$ where $K_4^3-e$ is obtained from $K_4^3$ by deleting an edge.
We provide some other bounds, including single-exponential bounds for $F_5=\{abe,abd,cde\}$ as well as asymptotic or exact values of $r_k(H)$ when $H$ is the bow $\{abc,ade\}$, kite $\{abc,abd\}$, tight path $\{abc,bcd,cde\}$ or the windmill $\{abc,bde,cef,bce\}$. We also determine many new "small" Ramsey numbers and show their relations to designs. For example, the lower bound for $r_6(kite)=8$ is demonstrated by decomposing the triples of $[7]$ into six partial STS (two of them are Fano planes).
On Chromatic Number of Kneser Hypergraphs
Published
• View Publication
• BIB
In this paper, in view of $Z_p$-Tucker lemma, we introduce a lower bound for chromatic number of Kneser hypergraphs which improves Dol'nikov-K{ř}{í}{ž} bound. Next, we introduce multiple Kneser hypergraphs and we specify the chromatic number of some multiple Kneser hypergraphs. For a vector of positive integers $\vec{s}=(s_1,s_2,\ldots,s_m)$ and a partition $π=(P_1,P_2,\ldots,P_m)$ of $\{1,2,\ldots,n\}$, the multiple Kneser hypergraph ${\rm KG}^r(π; \vec{s};k)$ is a hypergraph with the vertex set $$V=\left\{A:\ A\subseteq P_1\cup P_2\cup\cdots \cup P_m,\ |A|=k, \forall 1\leq i\leq m;\ |A\cap P_i|\leq s_i\right\}$$ whose edge set is consist of any $r$ pairwise disjoint vertices. We determine the chromatic number of multiple Kneser hypergraphs provided that $r=2$ or for any $1\leq i\leq m$, we have $|P_i|\leq 2s_i$.
A subset $S \subseteq [n]$ is almost $s$-stable if for any two distinct elements $i,j\in S$, we have $|i-j|\geq s$. The almost $s$-stable Kneser hypergraph ${\rm KG}^r(n,k)_{s-stab}^{\sim}$ has all $s$-stable subsets of $[n]$ as the vertex set and every $r$-tuple of pairwise disjoint vertices forms an edge. Meunier [The chromatic number of almost stable Kneser hypergraphs. J. Combin. Theory Ser. A, 118(6):1820--1828, 2011] showed for any positive integer $r$, $χ({\rm KG}^r(n,k)_{2-stab}^{\sim})=\left\lceil {n-r(k-1) \over r-1}\right\rceil$. We extend this result to a large family of Schrijver hypergraphs. Finally, we present a colorful-type result which confirms the existence of a completely multicolored complete bipartite graph in any coloring of a graph.
Three-coloring triangle-free planar graphs in linear time
Published in ACM Transactions on Algorithms 7 (2011), Article 41
• Search Publication
Grotzsch's theorem states that every triangle-free planar graph is 3-colorable. Several relatively simple proofs of this fact were provided by Thomassen and other authors. It is easy to convert these proofs into quadratic-time algorithms to find a 3-coloring, but it is not clear how to find such a coloring in linear time (Kowalik used a nontrivial data structure to construct an O(n log n) algorithm).
We design a linear-time algorithm to find a 3-coloring of a given triangle-free planar graph. The algorithm avoids using any complex data structures, which makes it easy to implement. As a by-product we give a yet simpler proof of Grotzsch's theorem.
Domination in transitive colorings of tournaments
An edge coloring of a tournament $T$ with colors $1,2,\dots,k$ is called \it $k$-transitive \rm if the digraph $T(i)$ defined by the edges of color $i$ is transitively oriented for each $1\le i \le k$. We explore a conjecture of the second author: For each positive integer $k$ there exists a (least) $p(k)$ such that every $k$-transitive tournament has a dominating set of at most $p(k)$ vertices.
We show how this conjecture relates to other conjectures and results. For example, it is a special case of a well-known conjecture of Erd\H os, Sands, Sauer and Woodrow (so the conjecture is interesting even if false). We show that the conjecture implies a stronger conjecture, a possible extension of a result of Bárány and Lehel on covering point sets by boxes. The principle used leads also to an upper bound $O(2^{2^{d-1}}d\log d)$ on the $d$-dimensional box-cover number that is better than all previous bounds, in a sense close to best possible. We also improve the best bound known in 3-dimensions from $3^{14}$ to 64 and propose possible further improvements through finding the maximum domination number over parity tournaments.
On The b-Chromatic Number of Regular Bounded Graphs
A $b$-coloring of a graph is a proper coloring such that every color class contains a vertex adjacent to at least one vertex in each of the other color classes. The $b$-chromatic number of a graph $G$, denoted by $b(G)$, is the maximum integer $k$ such that $G$ admits a $b$-coloring with $k$ colors. El Sahili and Kouider conjectured that $b(G)=d+1$ for $d$-regular graph with girth 5, $d\geq4$. In this paper, we prove that this conjecture holds for $d$-regular graph with at least $d^3+d$ vertices. More precisely we show that $b(G)=d+$1 for $d$-regular graph with at least $d^3+d$ vertices and containing no cycle of order 4. We also prove that $b(G)=d+1$ for $d$-regular graphs with at least $2d^3+2d-2d^2$ vertices improving Cabello and Jakovac bound.
The $b$-Chromatic Number and $f$-Chromatic Vertex Number of Regular Graphs
The $b$-chromatic number of a graph $G$, denoted by $b(G)$, is the largest positive integer $k$ such that there exists a proper coloring for G with $k$ colors in which every color class contains at least one vertex adjacent to some vertex in each of the other color classes, such a vertex is called a dominant vertex. The $f$-chromatic vertex number of a $d$-regular graph $G$, denoted by $f(G)$, is the maximum number of dominant vertices of distinct colors in a proper coloring with $d+1$ colors. El Sahili and Kouider conjectured that $b(G)=d+1$ for any $d$-regular graph $G$ of girth 5. We study this conjecture by giving some partial answers under supplementary conditions.
Indicated coloring of matroids
Published in Discrete Applied Mathematics 179 (2014), 241-243
• View Publication
• BIB
A coloring of a matroid is proper if elements of the same color form an independent set. For a loopless matroid M, its chromatic number χ(M) is the minimum number of colors that suffices to color properly the ground set E of M. In this note we study a game-theoretic variant of this parameter proposed by Grytczuk. Suppose that in each round of the game Alice indicates an uncolored yet element e of E, then Bob colors it using a color from a fixed set of colors C. The rule Bob has to obey is that it is a proper coloring. The game ends if the whole matroid has been colored or if Bob can not color e using any color of C. Alice wins in the first case, while Bob in the second. The minimum size of the set of colors C for which Alice has a winning strategy is called the indicated chromatic number of M, denoted by χ_i(M). We prove that χ_i(M)=χ(M).
On the Ramsey number of the triangle and the cube
Published
• View Publication
• BIB
The Ramsey number r(K_3,Q_n) is the smallest integer N such that every red-blue colouring of the edges of the complete graph K_N contains either a red n-dimensional hypercube, or a blue triangle. Almost thirty years ago, Burr and Erdős conjectured that r(K_3,Q_n) = 2^{n+1} - 1 for every n \in \N, but the first non-trivial upper bound was obtained only recently, by Conlon, Fox, Lee and Sudakov, who proved that r(K_3,Q_n) \le 7000 \cdot 2^n. Here we show that r(K_3,Q_n) = (1 + o(1)) 2^{n+1} as n \to \infty.
List Coloring Triangle-Free Hypergraphs
Published
• View Publication
• BIB
A triangle in a hypergraph is a collection of distinct vertices u,v,w and distinct edges e,f,g with u,v \in e, v,w \in f, w,u \in g, and \{u,v,w\} \cap e \cap f \cap g=\emptyset. The i-degree of a vertex in a hypergraph is the number of edges of size i containing it. We prove that every triangle-free hypergraph of rank three (edges have size two or three) with maximum 3-degree Δ_3 and maximum 2-degree Δ_2 has list chromatic number at most c max{Δ_2/ log{Δ_2}}, (Δ_3 / log{Δ_3})^(1/2)} for some absolute positive constant c. This generalizes a result of Johansson and a result of Frieze and the second author.
Recoloring bounded treewidth graphs
Published
• View Publication
• BIB
Let $k$ be an integer. Two vertex $k$-colorings of a graph are \emph{adjacent} if they differ on exactly one vertex. A graph is \emph{$k$-mixing} if any proper $k$-coloring can be transformed into any other through a sequence of adjacent proper $k$-colorings. Any graph is $(tw+2)$-mixing, where $tw$ is the treewidth of the graph (Cereceda 2006). We prove that the shortest sequence between any two $(tw+2)$-colorings is at most quadratic, a problem left open in Bonamy et al. (2012).
Jerrum proved that any graph is $k$-mixing if $k$ is at least the maximum degree plus two. We improve Jerrum's bound using the grundy number, which is the worst number of colors in a greedy coloring.
Totally Silver Graphs
A totally silver coloring of a graph G is a k--coloring of G such that for every vertex v \in V(G), each color appears exactly once on N[v], the closed neighborhood of v. A totally silver graph is a graph which admits a totally silver coloring. Totally silver coloring are directly related to other areas of graph theory such as distance coloring and domination. In this work, we present several constructive characterizations of totally silver graphs and bipartite totally silver graphs. We give several infinite families of totally silver graphs. We also give cubic totally silver graphs of girth up to 10.
Acyclic edge coloring of graphs
Published in Discrete Applied Mathematics, 167 (2014) 290--303
• View Publication
• BIB
An {\em acyclic edge coloring} of a graph $G$ is a proper edge coloring such that the subgraph induced by any two color classes is a linear forest (an acyclic graph with maximum degree at most two). The {\em acyclic chromatic index} $\chiup_{a}'(G)$ of a graph $G$ is the least number of colors needed in an acyclic edge coloring of $G$. Fiamčík (1978) conjectured that $\chiup_{a}'(G) \leq Δ(G) + 2$, where $Δ(G)$ is the maximum degree of $G$. This conjecture is well known as Acyclic Edge Coloring Conjecture (AECC). A graph $G$ with maximum degree at most $κ$ is {\em $κ$-deletion-minimal} if $\chiup_{a}'(G) > κ$ and $\chiup_{a}'(H) \leq κ$ for every proper subgraph $H$ of $G$. The purpose of this paper is to provide many structural lemmas on $κ$-deletion-minimal graphs. By using the structural lemmas, we firstly prove that AECC is true for the graphs with maximum average degree less than four (\autoref{NMAD4}). We secondly prove that AECC is true for the planar graphs without triangles adjacent to cycles of length at most four, with an additional condition that every $5$-cycle has at most three edges contained in triangles (\autoref{NoAdjacent}), from which we can conclude some known results as corollaries. We thirdly prove that every planar graph $G$ without intersecting triangles satisfies $\chiup_{a}'(G) \leq Δ(G) + 3$ (\autoref{NoIntersect}). Finally, we consider one extreme case and prove it: if $G$ is a graph with $Δ(G) \geq 3$ and all the $3^{+}$-vertices are independent, then $\chiup_{a}'(G) = Δ(G)$. We hope the structural lemmas will shed some light on the acyclic edge coloring problems.
$(3,1)^*$-choosability of planar graphs without adjacent short cycles
Published
• View Publication
• BIB
A list assignment of a graph $G$ is a function $L$ that assigns a list $L(v)$ of colors to each vertex $v\in V(G)$. An $(L,d)^*$-coloring is a mapping $π$ that assigns a color $π(v)\in L(v)$ to each vertex $v\in V(G)$ so that at most $d$ neighbors of $v$ receive color $π(v)$. A graph $G$ is said to be $(k,d)^*$-choosable if it admits an $(L,d)^*$-coloring for every list assignment $L$ with $|L(v)|\ge k$ for all $v\in V(G)$. In 2001, Lih et al. \cite{LSWZ-01} proved that planar graphs without 4- and $l$-cycles are $(3,1)^*$-choosable, where $l\in \{5,6,7\}$. Later, Dong and Xu \cite{DX-09} proved that planar graphs without 4- and l-cycles are $(3,1)^*$-choosable, where $l\in \{8,9\}$.
There exist planar graphs containing 4-cycles that are not $(3,1)^*$-choosable (Crown, Crown and Woodall, 1986 \cite{CCW-86}). This partly explains the fact that in all above known sufficient conditions for the $(3,1)^*$-choosability of planar graphs the 4-cycles are completely forbidden. In this paper we allow 4-cycles nonadjacent to relatively short cycles. More precisely, we prove that every planar graph without 4-cycles adjacent to 3- and 4-cycles is $(3,1)^*$-choosable. This is a common strengthening of all above mentioned results. Moreover as a consequence we give a partial answer to a question of Xu and Zhang \cite{XZ-07} and show that every planar graph without 4-cycles is $(3,1)^*$-choosable.
On-line list coloring of matroids
Published in Discrete Applied Mathematics 217 (2017), no. 2, 353-355
• View Publication
• BIB
A coloring of a matroid is proper if elements of the same color form an independent set. A theorem of Seymour asserts that a k-colorable matroid is also colorable from any lists of size k. In this note we generalize this theorem to the on-line setting. We prove that a coloring of a matroid from lists of size k is possible even if appearances of colors in the lists are recovered color by color by an adversary, while our job is to assign a color immediately after it is recovered. We also prove a more general weighted version of our result with lists of varying sizes. In consequence we get a simple necessary and sufficient condition for matroid list colorability in general case. The main tool we use is the multiple basis exchange property, which we give a simple proof.
A packed Ramsey's theorem and computability theory
Published
• View Publication
• BIB
Ramsey's theorem states that each coloring has an infinite homogeneous set, but these sets can be arbitrarily spread out. Paul Erdos and Fred Galvin proved that for each coloring f, there is an infinite set that is "packed together" which is given "a small number" of colors by f.
We analyze the strength of this theorem from the perspective of computability theory and reverse mathematics. We show that this theorem is close in computational strength to standard Ramsey's theorem by giving arithmetical upper and lower bounds for solutions to computable instances. In reverse mathematics, we show that that this packed Ramsey's theorem is equivalent to Ramsey's theorem for exponents not equal to 2. When n=2, we show that it implies Ramsey's theorem, and that it does not imply ACA_0.