coloring
4497 papers tagged with this keyword
Hadwiger's conjecture for graphs with infinite chromatic number
We construct a connected graph H such that (1) χ(H) = ω; (2) K_ω, the complete graph on ωpoints, is not a minor of H. Therefore Hadwiger's conjecture does not hold for graphs with infinite coloring number.
On the balanced decomposition number
Published
• View Publication
• BIB
A {\em balanced coloring} of a graph $G$ means a triple $\{P_1,P_2,X\}$ of mutually disjoint subsets of the vertex-set $V(G)$ such that $V(G)=P_1 \uplus P_2 \uplus X$ and $|P_1|=|P_2|$. A {\em balanced decomposition} associated with the balanced coloring $V(G)=P_1 \uplus P_2 \uplus X$ of $G$ is defined as a partition of $V(G)=V_1 \uplus \cdots \uplus V_r$ (for some $r$) such that, for every $i \in \{1,\cdots,r\}$, the subgraph $G[V_i]$ of $G$ is connected and $|V_i \cap P_1| = |V_i \cap P_2|$. Then the {\em balanced decomposition number} of a graph $G$ is defined as the minimum integer $s$ such that, for every balanced coloring $V(G)=P_1 \uplus P_2 \uplus X$ of $G$, there exists a balanced decomposition $V(G)=V_1 \uplus \cdots \uplus V_r$ whose every element $V_i (i=1, \cdots, r)$ has at most $s$ vertices. S. Fujita and H. Liu [\/SIAM J. Discrete Math. 24, (2010), pp. 1597--1616\/] proved a nice theorem which states that the balanced decomposition number of a graph $G$ is at most $3$ if and only if $G$ is $\lfloor\frac{|V(G)|}{2}\rfloor$-connected. Unfortunately, their proof is lengthy (about 10 pages) and complicated. Here we give an immediate proof of the theorem. This proof makes clear a relationship between balanced decomposition number and graph matching.
Cartesian powers of graphs and consecutive radio labelings
For $k\in\mathbb{Z}^+$ and $G$ a simple connected graph, a $k$-radio labeling $f:V_G\to\Z^+$ of $G$ requires all pairs of distinct vertices $u$ and $v$ to satisfy $|f(u)-f(v)|\geq k+1-d(u,v)$. When $k=1$, this requirement gives rise to the familiar labeling known as vertex coloring for which each vertex of a graph is labeled so that adjacent vertices have different "colors". We consider $k$-radio labelings of $G$ when $k=\diam(G)$. In this setting, no two vertices can have the same label, so graphs that have radio labelings of consecutive integers are one extreme on the spectrum of possibilities. Examples of such graphs of high diameter are especially rare and desirable. We construct examples of arbitrarily high diameter, and explore further the tool we used to do this -- the Cartesian product of graphs -- and its effect on radio labeling.
Triangle-free geometric intersection graphs with large chromatic number
Published in Discrete Comput.Geom. 50 (2013) 714-726
• View Publication
• BIB
Several classical constructions illustrate the fact that the chromatic number of a graph can be arbitrarily large compared to its clique number. However, until very recently, no such construction was known for intersection graphs of geometric objects in the plane. We provide a general construction that for any arc-connected compact set $X$ in $\mathbb{R}^2$ that is not an axis-aligned rectangle and for any positive integer $k$ produces a family $\mathcal{F}$ of sets, each obtained by an independent horizontal and vertical scaling and translation of $X$, such that no three sets in $\mathcal{F}$ pairwise intersect and $χ(\mathcal{F})>k$. This provides a negative answer to a question of Gyarfas and Lehel for L-shapes. With extra conditions, we also show how to construct a triangle-free family of homothetic (uniformly scaled) copies of a set with arbitrarily large chromatic number. This applies to many common shapes, like circles, square boundaries, and equilateral L-shapes. Additionally, we reveal a surprising connection between coloring geometric objects in the plane and on-line coloring of intervals on the line.
Coloring the cube with rainbow cycles
Published
• View Publication
• BIB
For every even positive integer $k\ge 4$ let $f(n,k)$ denote the minimim number of colors required to color the edges of the $n$-dimensional cube $Q_n$, so that the edges of every copy of $k$-cycle $C_k$ receive $k$ distinct colors. Faudree, Gyárfás, Lesniak and Schelp proved that $f(n,4)=n$ for $n=4$ or $n>5$. We consider larger $k$ and prove that if $k \equiv 0$ (mod 4), then there are positive constants $c_1, c_2$ depending only on $k$ such that $$c_1n^{k/4} < f(n,k) < c_2 n^{k/4}.$$ Our upper bound uses an old construction of Bose and Chowla of generalized Sidon sets. For $k \equiv 2$ (mod 4), the situation seems more complicated. For the smallest case k=6 we show that $$n \le f(n, 6) < n^{1+o(1)}.$$ The upper bound is obtained from Behrend's construction of a subset of the integers with no three term arithmetic progression.
Going after the k-SAT Threshold
Published in Proc. 45 th STOC (2013) 705 - 714
• View Publication
• BIB
Random $k$-SAT is the single most intensely studied example of a random constraint satisfaction problem. But despite substantial progress over the past decade, the threshold for the existence of satisfying assignments is not known precisely for any $k\geq3$. The best current results, based on the second moment method, yield upper and lower bounds that differ by an additive $k\cdot \frac{\ln2}2$, a term that is unbounded in $k$ (Achlioptas, Peres: STOC 2003). The basic reason for this gap is the inherent asymmetry of the Boolean value `true' and `false' in contrast to the perfect symmetry, e.g., among the various colors in a graph coloring problem. Here we develop a new asymmetric second moment method that allows us to tackle this issue head on for the first time in the theory of random CSPs. This technique enables us to compute the $k$-SAT threshold up to an additive $\ln2-\frac12+O(1/k)\approx 0.19$. Independently of the rigorous work, physicists have developed a sophisticated but non-rigorous technique called the "cavity method" for the study of random CSPs (Mézard, Parisi, Zecchina: Science 2002). Our result matches the best bound that can be obtained from the so-called "replica symmetric" version of the cavity method, and indeed our proof directly harnesses parts of the physics calculations.
Graph Homomorphisms for Quantum Players
Published in Journal of Combinatorial Theory, Series B, (2016), Volume 118, 228-267
• View Publication
• BIB
A homomorphism from a graph $X$ to a graph $Y$ is an adjacency preserving mapping $f:V(X) \rightarrow V(Y)$. We consider a nonlocal game in which Alice and Bob are trying to convince a verifier with certainty that a graph $X$ admits a homomorphism to $Y$. This is a generalization of the well-studied graph coloring game. Via systematic study of quantum homomorphisms we prove new results for graph coloring. Most importantly, we show that the Lovász theta number of the complement lower bounds the quantum chromatic number, which itself is not known to be computable. We also show that some of our newly introduced graph parameters, namely quantum independence and clique numbers, can differ from their classical counterparts while others, namely quantum odd girth, cannot. Finally, we show that quantum homomorphisms closely relate to zero-error channel capacity. In particular, we use quantum homomorphisms to construct graphs for which entanglement-assistance increases their one-shot zero-error capacity.
A New Lower Bound for the Ramsey Number R(4, 8)
The lower bound for the classical Ramsey number R(4, 8) is improved from 56 to 58. The author has found a new edge coloring of K_{57} that has no complete graphs of order 4 in the first color, and no complete graphs of order 8 in the second color. The coloring was found using a SAT solver which is based on MiniSat and customized for solving Ramsey problems.
The Distance Coloring of Graphs
Published in Acta Mathematica Sinica, English Series, 2014, 30, 9, 1579-1587
• View Publication
• BIB
Let $G$ be a connected graph with maximum degree $Δ\ge 3$. We investigate the upper bound for the chromatic number $χ_γ(G)$ of the power graph $G^γ$. It was proved that $χ_γ(G) \leΔ\frac{(Δ-1)^γ-1}{Δ-2}+1=:M+1$ with equality if and only $G$ is a Moore graph. If $G$ is not a Moore graph, and $G$ holds one of the following conditions: (1) $G$ is non-regular, (2) the girth $g(G) \le 2γ-1$, (3) $g(G) \ge 2γ+2$, and the connectivity $κ(G) \ge 3$ if $γ\ge 3$, $κ(G) \ge 4$ but $g(G) >6$ if $γ=2$, (4) $Δ$ is sufficiently large than a given number only depending on $γ$, then $χ_γ(G) \le M-1$. By means of the spectral radius $λ_1(G)$ of the adjacency matrix of $G$, it was shown that $χ_2(G) \le λ_1(G)^2+1$, with equality holds if and only if $G$ is a star or a Moore graph with diameter 2 and girth 5, and $χ_γ(G) < λ_1(G)^γ+1$ if $γ\ge 3$.
Using Differential Evolution for the Graph Coloring
Published in Proceedings of IEEE SSCI2011 Symposium Series on Computational Intelligence, pp. 150--156 (2011)
• View Publication
• BIB
Differential evolution was developed for reliable and versatile function optimization. It has also become interesting for other domains because of its ease to use. In this paper, we posed the question of whether differential evolution can also be used by solving of the combinatorial optimization problems, and in particular, for the graph coloring problem. Therefore, a hybrid self-adaptive differential evolution algorithm for graph coloring was proposed that is comparable with the best heuristics for graph coloring today, i.e. Tabucol of Hertz and de Werra and the hybrid evolutionary algorithm of Galinier and Hao. We have focused on the graph 3-coloring. Therefore, the evolutionary algorithm with method SAW of Eiben et al., which achieved excellent results for this kind of graphs, was also incorporated into this study. The extensive experiments show that the differential evolution could become a competitive tool for the solving of graph coloring problem in the future.
Around a conjecture of ErdH{o}s on graph Ramsey numbers
For given graphs G1 and G2 the Ramsey number R(G1,G2), is the smallest positive integer n such that each blue-red edge coloring of the complete graph Kn contains a blue copy of G1 or a red copy of G2. In 1983, Erdos conjectured that there is an absolute constant c such that R(G) = R(G,G) < 2c p
m for any graph G with m edges and no isolated vertices. Recently this conjecture was proved by B. Sudakov. In this note, using the Sudakovs ideas we give an extension of his result and some interesting corollaries.
Small H-coloring problems for bounded degree digraphs
Published
• View Publication
• BIB
An NP-complete coloring or homomorphism problem may become polynomial time solvable when restricted to graphs with degrees bounded by a small number, but remain NP-complete if the bound is higher. For instance, 3-colorability of graphs with degrees bounded by 3 can be decided by Brooks' theorem, while for graphs with degrees bounded by 4, the 3-colorability problem is NP-complete. We investigate an analogous phenomenon for digraphs, focusing on the three smallest digraphs H with NP-complete H-colorability problems. It turns out that in all three cases the H-coloring problem is polynomial time solvable for digraphs with degree bounds $Δ^{+} \leq 1$, $Δ^{-} \leq 2$ (or $Δ^{+} \leq 2$, $Δ^{-} \leq 1$). On the other hand with degree bounds $Δ^{+} \leq 2$, $Δ^{-} \leq 2$, all three problems are again NP-complete. A conjecture proposed for graphs H by Feder, Hell and Huang states that any variant of the $H$-coloring problem which is NP-complete without degree constraints is also NP-complete with degree constraints, provided the degree bounds are high enough. Our study is the first confirmation that the conjecture may also apply to digraphs.
Monochromatic generating sets in groups and other algebraic structures
The \emph{generating chromatic number} of a group $G$, $\chigen(G)$, is the maximum number of colors $k$ such that there is a monochromatic generating set for each coloring of the elements of $G$ in $k$ colors. If no such maximal $k$ exists, we set $\chigen(G)=\infty$. Equivalently, $\chigen(G)$ is the maximal number $k$ such that there is no cover of $G$ by proper subgroups ($\infty$ if there is no such maximal $k$).
We provide characterizations, for arbitrary gruops, in the cases $\chigen(G)=\infty$ and $\chigen(G)=2$. For nilpotent groups (in particular, for abelian ones), all possible chromatic numbers are characterized. Examples show that the characterization for nilpotent groups do not generalize to arbitrary solvable groups. We conclude with applications to vector spaces and fields.
Capturing Forms in Dense Subsets of Finite Fields
Published
• View Publication
• BIB
An open problem of arithmetic Ramsey theory asks if given a finite $r$-colouring $c:\mathbb{N}\to\{1,...,r\}$ of the natural numbers, there exist $x,y\in \mathbb{N}$ such that $c(xy)=c(x+y)$ apart from the trivial solution $x=y=2$. More generally, one could replace $x+y$ with a binary linear form and $xy$ with a binary quadratic form. In this paper we examine the analogous problem in a finite field $\mathbb{F}_q$. Specifically, given a linear form $L$ and a quadratic from $Q$ in two variables, we provide estimates on the necessary size of $A\subset \mathbb{F}_q$ to guarantee that $L(x,y)$ and $Q(x,y)$ are elements of $A$ for some $x,y\in\mathbb{F}_q$.
Interval colorings of complete balanced multipartite graphs
A graph $G$ is called a complete $k$-partite ($k\geq 2$) graph if its vertices can be partitioned into $k$ independent sets $V_{1},...,V_{k}$ such that each vertex in $V_{i}$ is adjacent to all the other vertices in $V_{j}$ for $1\leq i<j\leq k$. A complete $k$-partite graph $G$ is a complete balanced $k$-partite graph if $|V_{1}| = |V_{2}| =... = |V_{k}|$. An edge-coloring of a graph $G$ with colors $1,...,t$ is an interval $t$-coloring if all colors are used, and the colors of edges incident to each vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if $G$ has an interval $t$-coloring for some positive integer $t$. In this paper we show that a complete balanced $k$-partite graph $G$ with $n$ vertices in each part is interval colorable if and only if $nk$ is even. We also prove that if $nk$ is even and $(k-1)n\leq t\leq ((3/2)k-1)n-1$, then a complete balanced $k$-partite graph $G$ admits an interval $t$-coloring. Moreover, if $k=p2^{q}$, where $p$ is odd and $q\in \mathbb{N}$, then a complete balanced $k$-partite graph $G$ has an interval $t$-coloring for each positive integer $t$ satisfying $(k-1)n\leq t\leq (2k-p-q)n-1$.
Constant 2-labellings and an application to (r,a,b)-covering codes
Published
• View Publication
• BIB
We introduce the concept of constant $2$-labelling of a weighted graph and show how it can be used to obtain perfect weighted coverings. Roughly speaking, a constant $2$-labelling of a weighted graph is a $2$-colouring of its vertex set which preserves the sum of the weights of black vertices under some automorphisms. We study this problem on four types of weighted cycles. Our results on cycles allow us to determine $(r,a,b)$-codes in $\mathbb{Z}^2$ whenever $|a-b|>4$, $r\ge2$ and we give the precise values of $a$ and $b$. This is a refinement of Axenovich's theorem proved in 2003.
Beyond the Vizing's bound for at most seven colors
Let $G=(V,E)$ be a simple graph of maximum degree $Δ$. The edges of $G$ can be colored with at most $Δ+1$ colors by Vizing's theorem. We study lower bounds on the size of subgraphs of $G$ that can be colored with $Δ$ colors.
Vizing's Theorem gives a bound of $\fracΔ{Δ+1}|E|$. This is known to be tight for cliques $K_{Δ+1}$ when $Δ$ is even. However, for $Δ=3$ it was improved to $26/31|E|$ by Albertson and Haas [Parsimonious edge colorings, Disc. Math. 148, 1996] and later to $6/7|E|$ by Rizzi [Approximating the maximum 3-edge-colorable subgraph problem, Disc. Math. 309, 2009]. It is tight for $B_3$, the graph isomorphic to a $K_4$ with one edge subdivided.
We improve previously known bounds for $Δ\in{3,...,7}$, under the assumption that for $Δ=3,4,6$ graph $G$ is not isomorphic to $B_3$, $K_5$ and $K_7$, respectively. For $Δ\geq 4$ these are the first results which improve over the Vizing's bound. We also show a new bound for subcubic multigraphs not isomorphic to $K_3$ with one edge doubled.
In the second part, we give approximation algorithms for the Maximum k-Edge-Colorable Subgraph problem, where given a graph G (without any bound on its maximum degree or other restrictions) one has to find a k-edge-colorable subgraph with maximum number of edges. In particular, when G is simple for k=3,4,5,6,7 we obtain approximation ratios of 13/15, 9/11, 19/22, 23/27 and 22/25, respectively. We also present a 7/9-approximation for k=3 when G is a multigraph. The approximation algorithms follow from a new general framework that can be used for any value of k.
On $r$-Equitable Coloring of Complete Multipartite Graphs
Published in Taiwanese Journal of Mathematics 13(7), 991-998, 2013
• View Publication
• BIB
Let $r \geqslant 0$ and $k \geqslant 1$ be integers. We say that a graph $G$ has an $r$-equitable $k$-coloring if there exists a proper $k$-coloring of $G$ such that the sizes of any two color classes differ by at most $r$. The least $k$ such that a graph $G$ has an $r$-equitable $k$-coloring is denoted by $χ_{r=} (G)$, and the least $n$ such that a graph $G$ has an $r$-equitable $k$-coloring for all $k \geqslant n$ is denoted by $χ^*_{r=} (G)$. In this paper, we propose a necessary and sufficient condition for a complete multipartite graph $G$ to have an $r$-equitable $k$-coloring, and also give exact values of $χ_{r=} (G)$ and $χ^*_{r=} (G)$.
On the densities of cliques and independent sets in graphs
Published
• View Publication
• BIB
Let r, s >= 2 be integers. Suppose that the number of blue r-cliques in a red/blue coloring of the edges of the complete graph K_n is known and fixed. What is the largest possible number of red s-cliques under this assumption? The well known Kruskal-Katona theorem answers this question for r=2 or s=2. Using the shifting technique from extremal set theory together with some analytical arguments, we resolve this problem in general and prove that in the extremal coloring either the blue edges or the red edges form a clique.
Equitable vertex arboricity of graphs
Published
• View Publication
• BIB
An equitable $(t,k,d)$-tree-coloring of a graph $G$ is a coloring to vertices of $G$ such that the sizes of any two color classes differ by at most one and the subgraph induced by each color class is a forest of maximum degree at most $k$ and diameter at most $d$. The minimum $t$ such that $G$ has an equitable $(t',k,d)$-tree-coloring for every $t'\geq t$ is called the strong equitable $(k,d)$-vertex-arboricity and denoted by $va^{\equiv}_{k,d}(G)$. In this paper, we give sharp upper bounds for $va^{\equiv}_{1,1}(K_{n,n})$ and $va^{\equiv}_{k,\infty}(K_{n,n})$ by showing that $va^{\equiv}_{1,1}(K_{n,n})=O(n)$ and $va^{\equiv}_{k,\infty}(K_{n,n})=O(n^{\1/2})$ for every $k\geq 2$. It is also proved that $va^{\equiv}_{\infty,\infty}(G)\leq 3$ for every planar graph $G$ with girth at least 5 and $va^{\equiv}_{\infty,\infty}(G)\leq 2$ for every planar graph $G$ with girth at least 6 and for every outerplanar graph. We conjecture that $va^{\equiv}_{\infty,\infty}(G)=O(1)$ for every planar graph and $va^{\equiv}_{\infty,\infty}(G)\leq \lceil\frac{Δ(G)+1}{2}\rceil$ for every graph $G$.