arXiv++ Combinatorics

Browse math.CO papers from arXiv

coloring

4410 papers tagged with this keyword
2011-04-04 v3
Hypergraph Coloring Complexes
Published • View PublicationBIB
The aim of this paper is to generalize the notion of the coloring complex of a graph to hypergraphs. We present three different interpretations of those complexes -- a purely combinatorial one and two geometric ones. It is shown, that most of the properties, which are known to be true for coloring complexes of graphs, break down in this more general setting, e.g., Cohen-Macaulayness and partitionabilty. Nevertheless, we are able to provide bounds for the $f$- and $h$-vectors of those complexes which yield new bounds on chromatic polynomials of hypergraphs. Moreover, it is shown that the coloring complex of a hypergraph has a wedge decomposition, though we conjecture that in general this decomposition is not homotopy equivalent to a wedge of spheres. In addition, we can completely characterize those hypergraphs whose coloring complex is connected.
2011-04-04
Minimal non-extensible precolorings and implicit-relations
In this paper I study a variant of the general vertex coloring problem called precoloring. Specifically, I study graph precolorings, by developing new theory, for characterizing the minimal non-extensible precolorings. It is interesting per se that, for graphs of arbitrarily large chromatic number, the minimal number of colored vertices, in a non-extensible precoloring, remains constant; only two vertices $u,v$ suffice. Here, the relation between such $u,v$ is called an implicit-relation, distinguishing two cases: (i) implicit-edges where $u,v$ are precolored with the same color and (ii) implicit-identities where $u,v$ are precolored distinct.
2011-04-01
Counting patterns in colored orthogonal arrays
Published • View PublicationBIB
Let $S$ be an orthogonal array $OA(d,k)$ and let $c$ be an $r$--coloring of its ground set $X$. We give a combinatorial identity which relates the number of vectors in $S$ with given color patterns under $c$ with the cardinalities of the color classes. Several applications of the identity are considered. Among them, we show that every equitable $r$--coloring of the integer interval $[1,n]$ has at least $1/2(n/r)^2+O(n)$ monochromatic Schur triples. We also show that in an orthogonal array $OA(d,d-1)$, the number of monochromatic vectors of each color depends only on the number of vectors which miss that color and the cardinality of the color class.
2011-04-01
Rainbow-free 3-colorings of Abelian Groups
Published • View PublicationBIB
A 3-coloring of the elements of an abelian group is said to be rainbow--free if there is no 3-term arithmetic progression with its members having pairwise distinct colors. We give a structural characterization of rainbow--free colorings of abelian groups. This characterization proves a conjecture of Jungić et al. on the size of the smallest chromatic class of a rainbow-free 3-coloring of cyclic groups.
2011-03-31
On the binary codes with parameters of triply-shortened 1-perfect codes
Published in Des. Codes Cryptogr. 64(3) 2012, 275-283 • View PublicationBIB
We study properties of binary codes with parameters close to the parameters of 1-perfect codes. An arbitrary binary $(n=2^m-3, 2^{n-m-1}, 4)$ code $C$, i.e., a code with parameters of a triply-shortened extended Hamming code, is a cell of an equitable partition of the $n$-cube into six cells. An arbitrary binary $(n=2^m-4, 2^{n-m}, 3)$ code $D$, i.e., a code with parameters of a triply-shortened Hamming code, is a cell of an equitable family (but not a partition) from six cells. As a corollary, the codes $C$ and $D$ are completely semiregular; i.e., the weight distribution of such a code depends only on the minimal and maximal codeword weights and the code parameters. Moreover, if $D$ is self-complementary, then it is completely regular. As an intermediate result, we prove, in terms of distance distributions, a general criterion for a partition of the vertices of a graph (from rather general class of graphs, including the distance-regular graphs) to be equitable. Keywords: 1-perfect code; triply-shortened 1-perfect code; equitable partition; perfect coloring; weight distribution; distance distribution
2011-03-30 v2
Coloring random graphs online without creating monochromatic subgraphs
Published in Random, Structures & Algorithms 44(4):419-464, 2014 • View PublicationBIB
Consider the following random process: The vertices of a binomial random graph $G_{n,p}$ are revealed one by one, and at each step only the edges induced by the already revealed vertices are visible. Our goal is to assign to each vertex one from a fixed number $r$ of available colors immediately and irrevocably without creating a monochromatic copy of some fixed graph $F$ in the process. Our first main result is that for any $F$ and $r$, the threshold function for this problem is given by $p_0(F,r,n)=n^{-1/m_1^*(F,r)}$, where $m_1^*(F,r)$ denotes the so-called \emph{online vertex-Ramsey density} of $F$ and $r$. This parameter is defined via a purely deterministic two-player game, in which the random process is replaced by an adversary that is subject to certain restrictions inherited from the random setting. Our second main result states that for any $F$ and $r$, the online vertex-Ramsey density $m_1^*(F,r)$ is a computable rational number. Our lower bound proof is algorithmic, i.e., we obtain polynomial-time online algorithms that succeed in coloring $G_{n,p}$ as desired with probability $1-o(1)$ for any $p(n) = o(n^{-1/m_1^*(F,r)})$.
2011-03-29
Acyclic and Star Colorings of Cographs
Published • View PublicationBIB
An \emph{acyclic coloring} of a graph is a proper vertex coloring such that the union of any two color classes induces a disjoint collection of trees. The more restricted notion of \emph{star coloring} requires that the union of any two color classes induces a disjoint collection of stars. We prove that every acyclic coloring of a cograph is also a star coloring and give a linear-time algorithm for finding an optimal acyclic and star coloring of a cograph. If the graph is given in the form of a cotree, the algorithm runs in O(n) time. We also show that the acyclic chromatic number, the star chromatic number, the treewidth plus one, and the pathwidth plus one are all equal for cographs.
2011-03-19 v2
A new approach to nonrepetitive sequences
Published • View PublicationBIB
A sequence is nonrepetitive if it does not contain two adjacent identical blocks. The remarkable construction of Thue asserts that 3 symbols are enough to build an arbitrarily long nonrepetitive sequence. It is still not settled whether the following extension holds: for every sequence of 3-element sets $L_1,..., L_n$ there exists a nonrepetitive sequence $s_1, ..., s_n$ with $s_i\in L_i$. Applying the probabilistic method one can prove that this is true for sufficiently large sets $L_i$. We present an elementary proof that sets of size 4 suffice (confirming the best known bound). The argument is a simple counting with Catalan numbers involved. Our approach is inspired by a new algorithmic proof of the Lovász Local Lemma due to Moser and Tardos and its interpretations by Fortnow and Tao. The presented method has further applications to nonrepetitive games and nonrepetitive colorings of graphs.
2011-03-08
On The b-Chromatic Number of Regular Graphs Without 4-Cycle
Published • View PublicationBIB
The b-chromatic number of a graph $G$, denoted by $φ(G)$, is the largest integer $k$ that $G$ admits a proper $k$-coloring such that each color class has a vertex that is adjacent to at least one vertex in each of the other color classes. We prove that for each $d$-regular graph $G$ which contains no 4-cycle, $φ(G)\geq\lfloor\frac{d+3}{2}\rfloor$ and if $G$ has a triangle, then $φ(G)\geq\lfloor\frac{d+4}{2}\rfloor$. Also, if $G$ is a $d$-regular graph which contains no 4-cycle and $diam(G)\geq6$, then $φ(G)=d+1$. Finally, we show that for any $d$-regular graph $G$ which does not contain 4-cycle and $κ(G)\leq\frac{d+1}{2}$, $φ(G)=d+1$.
Hypergraphs with many Kneser colorings (Extended Version)
Published • View PublicationBIB
For fixed positive integers $r, k$ and $\ell$ with $1 \leq \ell < r$ and an $r$-uniform hypergraph $H$, let $κ(H, k,\ell)$ denote the number of $k$-colorings of the set of hyperedges of $H$ for which any two hyperedges in the same color class intersect in at least $\ell$ elements. Consider the function $\KC(n,r,k,\ell)=\max_{H\in{\mathcal H}_{n}} κ(H, k,\ell) $, where the maximum runs over the family ${\mathcal H}_n$ of all $r$-uniform hypergraphs on $n$ vertices. In this paper, we determine the asymptotic behavior of the function $\KC(n,r,k,\ell)$ for every fixed $r$, $k$ and $\ell$ and describe the extremal hypergraphs. This variant of a problem of Erdős and Rothschild, who considered edge colorings of graphs without a monochromatic triangle, is related to the Erdős--Ko--Rado Theorem on intersecting systems of sets [Intersection Theorems for Systems of Finite Sets, Quarterly Journal of Mathematics, Oxford Series, Series 2, {\bf 12} (1961), 313--320].
2011-02-24 v3
Group edge choosability of planar graphs without adjacent short cycles
Published • View PublicationBIB
In this paper, we aim to introduce the group version of edge coloring and list edge coloring, and prove that all 2-degenerate graphs along with some planar graphs without adjacent short cycles is group $(Δ(G)+1)$-edge-choosable while some planar graphs with large girth and maximum degree is group $Δ(G)$-edge-choosable.
2011-02-22 v2
Random runners are very lonely
Suppose that $k$ runners having different constant speeds run laps on a circular track of unit length. The Lonely Runner Conjecture states that, sooner or later, any given runner will be at distance at least $1/k$ from all the other runners. We prove that, with probability tending to one, a much stronger statement holds for random sets in which the bound $1/k$ is replaced by \thinspace $1/2-\varepsilon $. The proof uses Fourier analytic methods. We also point out some consequences of our result for colouring of random integer distance graphs.
2011-02-19
k-forested choosability of graphs with bounded maximum average degree
A proper vertex coloring of a simple graph is $k$-forested if the graph induced by the vertices of any two color classes is a forest with maximum degree less than $k$. A graph is $k$-forested $q$-choosable if for a given list of $q$ colors associated with each vertex $v$, there exists a $k$-forested coloring of $G$ such that each vertex receives a color from its own list. In this paper, we prove that the $k$-forested choosability of a graph with maximum degree $Δ\geq k\geq 4$ is at most $\lceil\fracΔ{k-1}\rceil+1$, $\lceil\fracΔ{k-1}\rceil+2$ or $\lceil\fracΔ{k-1}\rceil+3$ if its maximum average degree is less than 12/5, $8/3 or 3, respectively.
2011-02-06 v5
Algorithms for Silver Coloring of Generalized Petersen Graphs
This paper has been withdrawn.
2011-02-04
Coloring $Δ$-Critical Graphs With Small High Vertex Cliques
Published • View PublicationBIB
We prove that $K_{χ(G)}$ is the only critical graph $G$ with $χ(G) \geq Δ(G) \geq 6$ and $ω(\mathcal{H}(G)) \leq \left \lfloor \frac{Δ(G)}{2} \right \rfloor - 2$. Here $\mathcal{H}(G)$ is the subgraph of $G$ induced on the vertices of degree at least $χ(G)$. Setting $ω(\mathcal{H}(G)) = 1$ proves a conjecture of Kierstead and Kostochka.
2011-02-03
Asymptotics of the chromatic number for quasi-line graphs
Published • View PublicationBIB
As proved by Kahn, the chromatic number and fractional chromatic number of a line graph agree asymptotically. That is, for any line graph $G$ we have $χ(G) \leq (1+o(1))χ_f(G)$. We extend this result to quasi-line graphs, an important subclass of claw-free graphs. Furthermore we prove that we can construct a colouring that achieves this bound in polynomial time, giving us an asymptotic approximation algorithm for the chromatic number of quasi-line graphs.
2011-01-29
A Coloring Algorithm for Triangle-Free Graphs
We give a randomized algorithm that properly colors the vertices of a triangle-free graph G on n vertices using O(Δ(G)/ log Δ(G)) colors, where Δ(G) is the maximum degree of G. The algorithm takes O(n\Delta2(G)logΔ(G)) time and succeeds with high probability, provided Δ(G) is greater than log^{1+ε}n for a positive constant ε. The number of colors is best possible up to a constant factor for triangle-free graphs. As a result this gives an algorithmic proof for a sharp upper bound of the chromatic number of a triangle-free graph, the existence of which was previously established by Kim and Johansson respectively.
2011-01-28 v2
Extending triangulations of the 2-sphere to the 3-disk preserving a 4-coloring
Published • View PublicationBIB
In this paper we prove that any triangulation of a 2-dimensional sphere with a strict 4-coloring on its vertices can seen as the boundary of a triangulation of a 3-dimensional disk with the same vertices and preserving the 4-coloring.
2011-01-19
On the connection between correlation-immune functions and perfect 2-colorings of the Boolean n-cube
A coloring of the Boolean $n$-cube is called perfect if, for every vertex $x$, the collection of the colors of the neighbors of $x$ depends only on the color of $x$. A Boolean function is called correlation-immune of degree $n-m$ if it takes the value 1 the same number of times for each $m$-face of the Boolean $n$-cube. In the present paper it is proven that each Boolean function $χ^S$ ($S\subset E^n$) satisfies the inequality $${\rm nei}(S)+ 2({\rm cor}(S)+1)(1-ρ(S))\leq n,$$ where ${\rm cor}(S)$ is the maximum degree of the correlation immunity of $χ^S$, ${\rm nei} (S)= \frac{1}{|S|}\sum\limits_{x\in S}|B(x)\cap S|-1$ is the average number of neighbors in the set $S$ for vertices in $S$, and $ρ(S)=|S|/2^n$ is the density of the set $S$. Moreover, the function $χ^S$ is a perfect coloring if and only if we obtain an equality in the above formula. Keywords: hypercube, perfect coloring, perfect code, correlation-immune function.
2011-01-18 v3
Perfectly Colorable Graphs
Published in Information Processing Letters 111, 19, 960 - 961, 2011 • View PublicationBIB
We define a perfect coloring of a graph $G$ as a proper coloring of $G$ such that every connected induced subgraph $H$ of $G$ uses exactly $ω(H)$ many colors where $ω(H)$ is the clique number of $H$. A graph is perfectly colorable if it admits a perfect coloring. We show that the class of perfectly colorable graphs is exactly the class of perfect paw-free graphs. It follows that perfectly colorable graphs can be recognized and colored in linear time.