coloring
4497 papers tagged with this keyword
Injective colorings of graphs with low average degree
Published in Algorithmica. Vol. 60(3), 2011, pp. 553-568
• View Publication
• BIB
Let $\mad(G)$ denote the maximum average degree (over all subgraphs) of $G$ and let $χ_i(G)$ denote the injective chromatic number of $G$. We prove that if $Δ\geq 4$ and $\mad(G)<\frac{14}5$, then $χ_i(G)\leqΔ+2$. When $Δ=3$, we show that $\mad(G)<\frac{36}{13}$ implies $χ_i(G)\le 5$. In contrast, we give a graph $G$ with $Δ=3$, $\mad(G)=\frac{36}{13}$, and $χ_i(G)=6$.
Crossings, colorings, and cliques
Published in Electronic J. of Combinatorics, R45 16(1), 2009
• View Publication
• BIB
Albertson conjectured that if graph $G$ has chromatic number $r$, then the crossing number of $G$ is at least that of the complete graph $K_r$. This conjecture in the case $r=5$ is equivalent to the four color theorem. It was verified for $r=6$ by Oporowski and Zhao.
In this paper, we prove the conjecture for $7 \leq r \leq 12$ using results of Dirac; Gallai; and Kostochka and Stiebitz that give lower bounds on the number of edges in critical graphs, together with lower bounds by Pach et.al. on the crossing number of graphs in terms of the number of edges and vertices.
Polychromatic Coloring for Half-Planes
Published
• View Publication
• BIB
We prove that for every integer $k$, every finite set of points in the plane can be $k$-colored so that every half-plane that contains at least $2k-1$ points, also contains at least one point from every color class. We also show that the bound $2k-1$ is best possible. This improves the best previously known lower and upper bounds of $\frac{4}{3}k$ and $4k-1$ respectively. We also show that every finite set of half-planes can be $k$ colored so that if a point $p$ belongs to a subset $H_p$ of at least $3k-2$ of the half-planes then $H_p$ contains a half-plane from every color class. This improves the best previously known upper bound of $8k-3$. Another corollary of our first result is a new proof of the existence of small size $\eps$-nets for points in the plane with respect to half-planes.
Conflict-Free Coloring Made Stronger
Published
• View Publication
• BIB
In FOCS 2002, Even et al. showed that any set of $n$ discs in the plane can be Conflict-Free colored with a total of at most $O(\log n)$ colors. That is, it can be colored with $O(\log n)$ colors such that for any (covered) point $p$ there is some disc whose color is distinct from all other colors of discs containing $p$. They also showed that this bound is asymptotically tight. In this paper we prove the following stronger results:
\begin{enumerate} \item [(i)] Any set of $n$ discs in the plane can be colored with a total of at most $O(k \log n)$ colors such that (a) for any point $p$ that is covered by at least $k$ discs, there are at least $k$ distinct discs each of which is colored by a color distinct from all other discs containing $p$ and (b) for any point $p$ covered by at most $k$ discs, all discs covering $p$ are colored distinctively. We call such a coloring a {\em $k$-Strong Conflict-Free} coloring. We extend this result to pseudo-discs and arbitrary regions with linear union-complexity.
\item [(ii)] More generally, for families of $n$ simple closed Jordan regions with union-complexity bounded by $O(n^{1+α})$, we prove that there exists a $k$-Strong Conflict-Free coloring with at most $O(k n^α)$ colors.
\item [(iii)] We prove that any set of $n$ axis-parallel rectangles can be $k$-Strong Conflict-Free colored with at most $O(k \log^2 n)$ colors.
\item [(iv)] We provide a general framework for $k$-Strong Conflict-Free coloring arbitrary hypergraphs. This framework relates the notion of $k$-Strong Conflict-Free coloring and the recently studied notion of $k$-colorful coloring. \end{enumerate}
All of our proofs are constructive. That is, there exist polynomial time algorithms for computing such colorings.
Gallai colorings and domination in multipartite digraphs
Assume that D is a digraph without cyclic triangles and its vertices are partitioned into classes A_1,...,A_t of independent vertices. A set $U=\cup_{i\in S} A_i$ is called a dominating set of size |S| if for any vertex $v\in \cup_{i\notin S} A_i$ there is a w in U such that (w,v) is in E(D). Let beta(D) be the cardinality of the largest independent set of D whose vertices are from different partite classes of D. Our main result says that there exists a h=h(beta(D)) such that D has a dominating set of size at most h. This result is applied to settle a problem related to generalized Gallai colorings, edge colorings of graphs without 3-colored triangles.
Paths of homomorphisms from stable Kneser graphs
Published
• View Publication
• BIB
We denote by SG_{n,k} the stable Kneser graph (Schrijver graph) of stable n-subsets of a set of cardinality 2n+k. For k congruent 3 (mod 4) and n\ge2 we show that there is a component of the χ-colouring graph of SG_{n,k} which is invariant under the action of the automorphism group of SG_{n,k}. We derive that there is a graph G with χ(G)=χ(SG_{n,k}) such that the complex Hom(SG_{n,k}, G) is non-empty and connected. In particular, for k congruent 3 (mod 4) and n\ge2 the graph SG_{n,k} is not a test graph.
The potential to improve the choice: list conflict-free coloring for geometric hypergraphs
Published
• View Publication
• BIB
Given a geometric hypergraph (or a range-space) $H=(V,\cal E)$, a coloring of its vertices is said to be conflict-free if for every hyperedge $S \in \cal E$ there is at least one vertex in $S$ whose color is distinct from the colors of all other vertices in $S$. The study of this notion is motivated by frequency assignment problems in wireless networks. We study the list-coloring (or choice) version of this notion. In this version, each vertex is associated with a set of (admissible) colors and it is allowed to be colored only with colors from its set. List coloring arises naturally in the context of wireless networks.
Our main result is a list coloring algorithm based on a new potential method. The algorithm produces a stronger unique-maximum coloring, in which colors are positive integers and the maximum color in every hyperedge occurs uniquely. As a corollary, we provide asymptotically sharp bounds on the size of the lists required to assure the existence of such unique-maximum colorings for many geometric hypergraphs (e.g., discs or pseudo-discs in the plane or points with respect to discs). Moreover, we provide an algorithm, such that, given a family of lists with the appropriate sizes, computes such a coloring from these lists.
The size Ramsey number of a directed path
Published
• View Publication
• BIB
Given a graph $H$, the size Ramsey number $r_e(H,q)$ is the minimal number $m$ for which there is a graph $G$ with $m$ edges such that every $q$-coloring of $G$ contains a monochromatic copy of $H$. We study the size Ramsey number of the directed path of length $n$ in oriented graphs, where no antiparallel edges are allowed. We give nearly tight bounds for every fixed number of colors, showing that for every $q\geq 1 $ there are constants $c_1 = c_1(q),c_2$ such that $$\frac{c_1(q) n^{2q}(\log n)^{1/q}}{(\log\log n)^{(q+2)/q}} \leq r_e(\overrightarrow{P_n},q+1) \leq c_2 n^{2q}(\log {n})^2.$$
Our results show that the path size Ramsey number in oriented graphs is asymptotically larger than the path size Ramsey number in general directed graphs. Moreover, the size Ramsey number of a directed path is polynomially dependent in the number of colors, as opposed to the undirected case.
Our approach also gives tight bounds on $r_e(\overrightarrow{P_n},q)$ for general directed graphs with $q \geq 3$, extending previous results.
Silver block intersection graphs of Steiner 2-designs
Published
• View Publication
• BIB
For a block design $\cal{D}$, a series of {\sf block intersection graphs} $G_i$, or $i$-{\rm BIG}($\cal{D}$), $i=0, ..., k$ is defined in which the vertices are the blocks of $\cal{D}$, with two vertices adjacent if and only if the corresponding blocks intersect in exactly $i$ elements. A silver graph $G$ is defined with respect to a maximum independent set of $G$, called a {\sf diagonal} of that graph. Let $G$ be $r$-regular and $c$ be a proper $(r + 1)$-coloring of $G$. A vertex $x$ in $G$ is said to be {\sf rainbow} with respect to $c$ if every color appears in the closed neighborhood $N[x] = N(x) \cup \{x\}$. Given a diagonal $I$ of $G$, a coloring $c$ is said to be silver with respect to $I$ if every $x\in I$ is rainbow with respect to $c$. We say $G$ is {\sf silver} if it admits a silver coloring with respect to some $I$.
We investigate conditions for 0-{\rm BIG}($\cal{D}$) and 1-{\rm BIG}($\cal{D}$) of Steiner systems ${\cal{D}}=S(2,k,v)$ to be silver.
High-Dimensional Lipschitz Functions are Typically Flat
Published
• View Publication
• BIB
A homomorphism height function on the $d$-dimensional torus $\mathbb{Z}_n^d$ is a function taking integer values on the vertices of the torus with consecutive integers assigned to adjacent vertices. A Lipschitz height function is defined similarly but may also take equal values on adjacent vertices. In each model, we consider the uniform distribution over such functions, subject to boundary conditions. We prove that in high dimensions, with zero boundary values, a typical function is very flat, having bounded variance at any fixed vertex and taking at most $C(\log n)^{1/d}$ values with high probability. Our results extend to any dimension $d\ge 2$, if $\mathbb{Z}_n^d$ is replaced by an enhanced version of it, the torus $\mathbb{Z}_n^d\times\mathbb{Z}_2^{d_0}$ for some fixed $d_0$. This establishes one side of a conjectured roughening transition in $2$ dimensions. The full transition is established for a class of tori with non-equal side lengths. We also find that when $d$ is taken to infinity while $n$ remains fixed, a typical function takes at most $r$ values with high probability, where $r=5$ for the homomorphism model and $r=4$ for the Lipschitz model. Suitable generalizations are obtained when $n$ grows with $d$. Our results apply also to the related model of uniform 3-coloring and establish, for certain boundary conditions, that a uniformly sampled proper 3-coloring of $\mathbb{Z}_n^d$ will be nearly constant on either the even or odd sub-lattice.
Our proofs are based on a combinatorial transformation and on a careful analysis of the properties of a class of cutsets which we term odd cutsets. For the Lipschitz model, our results rely also on a bijection of Yadin. This work generalizes results of Galvin and Kahn, refutes a conjecture of Benjamini, Yadin and Yehudayoff and answers a question of Benjamini, Häggström and Mossel.
Toward a Hajnal-Szemeredi theorem for hypergraphs
Let $H$ be a triple system with maximum degree $d>1$ and let $r>10^7\sqrt{d}\log^{2}d$. Then $H$ has a proper vertex coloring with $r$ colors such that any two color classes differ in size by at most one. The bound on $r$ is sharp in order of magnitude apart from the logarithmic factors. Moreover, such an $r$-coloring can be found via a randomized algorithm whose expected running time is polynomial in the number of vertices of $\cH$.
This is the first result in the direction of generalizing the Hajnal-Szemerédi theorem to hypergraphs.
Conflict-Free Coloring and its Applications
Published
• View Publication
• BIB
Let $H=(V,E)$ be a hypergraph. A {\em conflict-free} coloring of $H$ is an assignment of colors to $V$ such that in each hyperedge $e \in E$ there is at least one uniquely-colored vertex. This notion is an extension of the classical graph coloring. Such colorings arise in the context of frequency assignment to cellular antennae, in battery consumption aspects of sensor networks, in RFID protocols and several other fields, and has been the focus of many recent research papers. In this paper, we survey this notion and its combinatorial and algorithmic aspects.
Lower Bounds on the van der Waerden Numbers: Randomized- and Deterministic-Constructive
Published in Electronic Journal of Combinatorics, vol. 18, nr. P64, 2011
• View Publication
• BIB
The van der Waerden number W(k,2) is the smallest integer n such that every 2-coloring of 1 to n has a monochromatic arithmetic progression of length k. The existence of such an n for any k is due to van der Waerden but known upper bounds on W(k,2) are enormous. Much effort was put into developing lower bounds on W(k,2). Most of these lower bound proofs employ the probabilistic method often in combination with the Lovász Local Lemma. While these proofs show the existence of a 2-coloring that has no monochromatic arithmetic progression of length k they provide no efficient algorithm to find such a coloring. These kind of proofs are often informally called nonconstructive in contrast to constructive proofs that provide an efficient algorithm.
This paper clarifies these notions and gives definitions for deterministic- and randomized-constructive proofs as different types of constructive proofs. We then survey the literature on lower bounds on W(k,2) in this light. We show how known nonconstructive lower bound proofs based on the Lovász Local Lemma can be made randomized-constructive using the recent algorithms of Moser and Tardos. We also use a derandomization of Chandrasekaran, Goyal and Haeupler to transform these proofs into deterministic-constructive proofs. We provide greatly simplified and fully self-contained proofs and descriptions for these algorithms.
Rectangle Free Coloring of Grids
A two-dimensional \emph{grid} is a set $\Gnm = [n]\times[m]$. A grid $\Gnm$ is \emph{$c$-colorable} if there is a function $χ_{n,m}: \Gnm \to [c]$ such that there are no rectangles with all four corners the same color. We address the following question: for which values of $n$ and $m$ is $\Gnm$ $c$-colorable? This problem can be viewed as a bipartite Ramsey problem and is related to a the Gallai-Witt theorem (also called the multidimensioanl Van Der Waerden's Theorem). We determine (1) \emph{exactly} which grids are 2-colorable, (2) \emph{exactly} which grids are 3-colorable, and (3) \emph{exactly} which grids are 4-colorable. We use combinatorics, finite fields, and tournament graphs.
A note on monotonicity of mixed Ramsey numbers
Published
• View Publication
• BIB
For two graphs, $G$, and $H$, an edge-coloring of a complete graph is $(G,H)$-good if there is no monochromatic subgraph isomorphic to $G$ and no rainbow subgraph isomorphic to $H$ in this coloring. The set of number of colors used by some $(G,H)$-colorings of $K_n$ is called a mixed-Ramsey spectrum. This note addresses a fundamental question of whether the spectrum is an interval. It is shown that the answer is "yes" if $G$ is not a star and $H$ does not contain a pendent edge.
Improved bounds on coloring of graphs
Published
• View Publication
• BIB
Given a graph $G$ with maximum degree $Δ\ge 3$, we prove that the acyclic edge chromatic number $a'(G)$ of $G$ is such that $a'(G)\le\lceil 9.62 (Δ-1)\rceil$. Moreover we prove that:
$a'(G)\le \lceil 6.42(Δ-1)\rceil$ if $G$ has girth $g\ge 5\,$; $a'(G)\le \lceil5.77 (Δ-1)\rc$ if
$G$ has girth $g\ge 7$; $a'(G)\le \lc4.52(\D-1)\rc$ if $g\ge 53$;
$a'(G)\le \D+2\,$ if $g\ge \lceil25.84\D\log\D(1+ 4.1/\log\D)\rceil$.
We further prove that the acyclic (vertex) chromatic number $a(G)$ of $G$ is such that
$a(G)\le \lc 6.59 Δ^{4/3}+3.3\D\rc$. We also prove that the star-chromatic number $χ_s(G)$ of $G$ is such that $χ_s(G)\le \lc4.34Δ^{3/2}+ 1.5\D\rc$. We finally prove that the $\b$-frugal chromatic number $χ^\b(G)$ of $G$ is such that $χ^\b(G)\le \lc\max\{k_1(\b)\D,\; k_2(\b){\D^{1+1/\b}/ (\b!)^{1/\b}}\}\rc$, where $k_1(\b)$ and $k_2(\b)$ are decreasing functions of $\b$ such that $k_1(\b)\in[4, 6]$ and $k_2(\b)\in[2,5]$.
To obtain these results we use an improved version of the Lovász Local Lemma due to Bissacot, Fernández, Procacci and Scoppola \cite{BFPS}.
List Coloring and $n$-monophilic graphs
In 1990, Kostochka and Sidorenko proposed studying the smallest number of list-colorings of a graph $G$ among all assignments of lists of a given size $n$ to its vertices. We say a graph $G$ is $n$-monophilic if this number is minimized when identical $n$-color lists are assigned to all vertices of $G$. Kostochka and Sidorenko observed that all chordal graphs are $n$-monophilic for all $n$. Donner (1992) showed that every graph is $n$-monophilic for all sufficiently large $n$. We prove that all cycles are $n$-monophilic for all $n$; we give a complete characterization of 2-monophilic graphs (which turns out to be similar to the characterization of 2-choosable graphs given by Erdos, Rubin, and Taylor in 1980); and for every $n$ we construct a graph that is $n$-choosable but not $n$-monophilic.
Conflict free colorings of (strongly) almost disjoint set-systems
Published
• View Publication
• BIB
A set-system $X$ is a $(λ, κ,μ)$-system iff $|X|=λ$, $|x|=κ$ for each $x\in X$, and $X$ is $μ$-almost disjoint. We write $[λ, κ, μ] -> ρ$ iff every $(λ, κ,μ)$-system has a "conflict free coloring with $ρ$ colors", i.e. there is a coloring of the elements of $\cup X$ with$ρ$ colors such that for each element $x$ of $X$ there is a color $ξ<ρ$ such that exactly one element of $x$ has color $ξ$. Our main object of study is the relation $[λ, κ, μ] -> ρ$. We give full description of this relation when $κ$ is finite. We also show that if $d$ is a natural number then $[λ,κ,d]-> ω$ always holds.
Under GCH we prove that $[λ,κ,ω]-> ω_2$ holds for $κ>ω_1$, but the relation $[λ,κ,ω]-> ω_1$ is independent (modulo some large cardinals).
A tree-decomposed transfer matrix for computing exact Potts model partition functions for arbitrary graphs, with applications to planar graph colourings
Published
• View Publication
• BIB
Combining tree decomposition and transfer matrix techniques provides a very general algorithm for computing exact partition functions of statistical models defined on arbitrary graphs. The algorithm is particularly efficient in the case of planar graphs. We illustrate it by computing the Potts model partition functions and chromatic polynomials (the number of proper vertex colourings using Q colours) for large samples of random planar graphs with up to N=100 vertices. In the latter case, our algorithm yields a sub-exponential average running time of ~ exp(1.516 sqrt(N)), a substantial improvement over the exponential running time ~ exp(0.245 N) provided by the hitherto best known algorithm. We study the statistics of chromatic roots of random planar graphs in some detail, comparing the findings with results for finite pieces of a regular lattice.
Minimal functions on the random graph
Published
• View Publication
• BIB
We show that there is a system of 14 non-trivial finitary functions on the random graph with the following properties: Any non-trivial function on the random graph generates one of the functions of this system by means of composition with automorphisms and by topological closure, and the system is minimal in the sense that no subset of the system has the same property. The theorem is obtained by proving a Ramsey-type theorem for colorings of tuples in finite powers of the random graph, and by applying this to find regular patterns in the behavior of any function on the random graph. As model-theoretic corollaries of our methods we re-derive a theorem of Simon Thomas classifying the first-order closed reducts of the random graph, and prove some refinements of this theorem; also, we obtain a classification of the minimal reducts closed under primitive positive definitions, and prove that all reducts of the random graph are model-complete.