coloring
4405 papers tagged with this keyword
On the Lucky labeling of Graphs
Suppose the vertices of a graph $G$ were labeled arbitrarily by positive integers, and let $Sum(v)$ denote the sum of labels over all neighbors of vertex $v$. A labeling is lucky if the function $Sum$ is a proper coloring of $G$, that is, if we have $Sum(u) \neq Sum(v)$ whenever $u$ and $v$ are adjacent. The least integer $k$ for which a graph $G$ has a lucky labeling from the set $\lbrace 1, 2, ...,k\rbrace$ is the lucky number of $G$, denoted by $η(G)$. We will prove, for every graph $G$ other than $ K_{2} $, $\frac{w}{n-w+1}\leqη(G) \leq Δ^{2} $ and we present an algorithm for lucky labeling of $ G $.
Vertex-Coloring 2-Edge-Weighting of Graphs
Published
• View Publication
• BIB
A $k$-{\it edge-weighting} $w$ of a graph $G$ is an assignment of an integer weight, $w(e)\in \{1,\dots, k\}$, to each edge $e$. An edge weighting naturally induces a vertex coloring $c$ by defining $c(u)=\sum_{u\sim e} w(e)$ for every $u \in V(G)$. A $k$-edge-weighting of a graph $G$ is \emph{vertex-coloring} if the induced coloring $c$ is proper, i.e., $c(u) \neq c(v)$ for any edge $uv \in E(G)$.
Given a graph $G$ and a vertex coloring $c_0$, does there exist an edge-weighting such that the induced vertex coloring is $c_0$? We investigate this problem by considering edge-weightings defined on an abelian group.
It was proved that every 3-colorable graph admits a vertex-coloring $3$-edge-weighting \cite{KLT}. Does every 2-colorable graph (i.e., bipartite graphs) admit a vertex-coloring 2-edge-weighting? We obtain several simple sufficient conditions for graphs to be vertex-coloring 2-edge-weighting. In particular, we show that 3-connected bipartite graphs admit vertex-coloring 2-edge-weighting.
Coloring dense graphs via VC-dimension
The Vapnik-Červonenkis dimension is a complexity measure of set-systems, or hypergraphs. Its application to graphs is usually done by considering the sets of neighborhoods of the vertices (cf. Alon et al. (2006) and Chepoi, Estellon, and Vaxes (2007)), hence providing a set-system. But the graph structure is lost in the process. The aim of this paper is to introduce the notion of paired VC-dimension, a generalization of VC-dimension to set-systems endowed with a graph structure, hence a collection of pairs of subsets.
The classical VC-theory is generally used in combinatorics to bound the transversality of a hypergraph in terms of its fractional transversality and its VC-dimension. Similarly, we bound the chromatic number in terms of fractional transversality and paired VC-dimension. This approach turns out to be very useful for a class of problems raised by Erdős and Simonovits (1973) asking for H-free graphs with minimum degree at least cn and arbitrarily high chromatic number, where H is a fixed graph and c a positive constant.
We show how the usual VC-dimension gives a short proof of the fact that triangle-free graphs with minimum degree at least n/3 have bounded chromatic number, where $n$ is the number of vertices. Using paired VC-dimension, we prove that if the chromatic number of $H$-free graphs with minimum degree at least cn is unbounded for some positive c, then it is unbounded for all c<1/3. In other words, one can find H-free graphs with unbounded chromatic number and minimum degree arbitrarily close to n/3. These H-free graphs are derived from a construction of Hajnal. The large chromatic number follows from the Borsuk-Ulam Theorem.
Sub-exponentially many 3-colorings of triangle-free planar graphs
Published
• View Publication
• BIB
Thomassen conjectured that every triangle-free planar graph on n vertices has exponentially many 3-colorings, and proved that it has at least 2^[n^(1/12)/20000] distinct 3-colorings. We show that it has at least 2^sqrt(n/362) distinct 3-colorings.
Vertex colorings of simplicial complexes
We define an (r,s)-coloring of an abstract simplicial complex to be a coloring using r colors of the vertices so that in any simplex at most s vertices have the same color. We translate the problem of finding an (r,s)-coloring of a given simplex to a topological problem and to a ring theoretic problem. The topological version involves vector bundles over Davis--Januszkiewicz spaces and the algebraic one involves factorizations in Stanley-Reisner rings.
Injective colorings of sparse graphs
Published in Discrete Math. Vol. 310, no. 21, 2010, pp. 2965-2973
• 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 $mad(G) \leq 5/2$, then $χ_i(G)\leqΔ(G) + 1$; and if $mad(G) < 42/19$, then $χ_i(G)=Δ(G)$. Suppose that $G$ is a planar graph with girth $g(G)$ and $Δ(G)\geq 4$. We prove that if $g(G)\geq 9$, then $χ_i(G)\leqΔ(G)+1$; similarly, if $g(G)\geq 13$, then $χ_i(G)=Δ(G)$.
List precoloring extension in planar graphs
Published in Discrete Math 311 (2011), no. 12, 1046-1056
• View Publication
• BIB
A celebrated result of Thomassen states that not only can every planar graph be colored properly with five colors, but no matter how arbitrary palettes of five colors are assigned to vertices, one can choose a color from the corresponding palette for each vertex so that the resulting coloring is proper. This result is referred to as 5-choosability of planar graphs. Albertson asked whether Thomassen's theorem can be extended by precoloring some vertices which are at a large enough distance apart in a graph. Here, among others, we answer the question in the case when the graph does not contain short cycles separating precolored vertices and when there is a "wide" Steiner tree containing all the precolored vertices.
Perfect colourings of isonemal fabrics by thin striping
Published in Bull. Australian Math. Soc. 83 (2011), 63--86
• View Publication
• BIB
Perfect colouring of isonemal fabrics by thin striping of warp and weft and the closely related topic of isonemal prefabrics that fall apart are reconsidered and their relation further explored. The catalogue of isonemal prefabrics that fall apart is extended to order 20 for those of even genus.
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.