arXiv++ Combinatorics

Browse math.CO papers from arXiv

coloring

4497 papers tagged with this keyword
Rainbow Colouring of Split Graphs
Published • View Publication • BIB
A rainbow path in an edge coloured graph is a path in which no two edges are coloured the same. A rainbow colouring of a connected graph G is a colouring of the edges of G such that every pair of vertices in G is connected by at least one rainbow path. The minimum number of colours required to rainbow colour G is called its rainbow connection number. Between them, Chakraborty et al. [J. Comb. Optim., 2011] and Ananth et al. [FSTTCS, 2012] have shown that for every integer k, k \geq 2, it is NP-complete to decide whether a given graph can be rainbow coloured using k colours. A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. Chandran and Rajendraprasad have shown that the problem of deciding whether a given split graph G can be rainbow coloured using 3 colours is NP-complete and further have described a linear time algorithm to rainbow colour any split graph using at most one colour more than the optimum [COCOON, 2012]. In this article, we settle the computational complexity of the problem on split graphs and thereby discover an interesting dichotomy. Specifically, we show that the problem of deciding whether a given split graph can be rainbow coloured using k colours is NP-complete for k \in {2,3}, but can be solved in polynomial time for all other values of k.
2014-04-15
A simple SVD algorithm for finding hidden partitions
Published • View Publication • BIB
Finding a hidden partition in a random environment is a general and important problem, which contains as subproblems many famous questions, such as finding a hidden clique, finding a hidden coloring, finding a hidden bipartition etc. In this paper, we provide a simple SVD algorithm for this purpose, answering a question of McSherry. This algorithm is very easy to implement and works for sparse graphs with optimal density.
2014-04-13
Resolving a Conjecture on Degree of Regularity of Linear Homogeneous Equations
Published • View Publication • BIB
A linear equation is $r$-regular, if, for every $r$-coloring of the positive integers, there exist positive integers of the same color which satisfy the equation. In 2005, Fox and Radoicic conjectured that the equation $x_1 + 2x_2 + \cdots + 2^{n-2}x_{n-1} - 2^{n-1}x_n = 0$, for any $n \geq 2$, has a degree of regularity of $n-1$, which would verify a conjecture of Rado from 1933. Rado's conjecture has since been verified with a different family of equations. In this paper, we show that Fox and Radoicic's family of equations indeed have a degree of regularity of $n-1$. We also provide a few extensions of this result.
2014-04-13 v2
A proof for a conjecture of Gyarfas, Lehel, Sarkozy and Schelp on Berge-cycles
Published • View Publication • BIB
It has been conjectured that for any fixed $r\geq 2$ and sufficiently large $n$, there is a monochromatic Hamiltonian Berge-cycle in every $(r-1)$-coloring of the edges of $K_{n}^{r}$, the complete $r$-uniform hypergraph on $n$ vertices. In this paper we prove this conjecture.
2014-04-10
Coloring sparse hypergraphs
Published • View Publication • BIB
Fix $k \geq 3$, and let $G$ be a $k$-uniform hypergraph with maximum degree $Δ$. Suppose that for each $l = 2, ..., k-1$, every set of l vertices of G is in at most $Δ^{(k-l)/(k-1)}/f$ edges. Then the chromatic number of $G$ is $O( (Δ/\log f)^{1/(k-1)})$. This extends results of Frieze and the second author and Bennett and Bohman. A similar result is proved for 3-uniform hypergraphs where every vertex lies in few triangles. This generalizes a result of Alon, Krivelevich, and Sudakov, who proved the result for graphs. Our main new technical contribution is a deviation inequality for positive random variables with expectation less than 1. This may be of independent interest and have further applications.
2014-04-09 v2
The 3-rainbow index and connected dominating sets
Published • View Publication • BIB
A tree in an edge-colored graph is said to be rainbow if no two edges on the tree share the same color. An edge-coloring of $G$ is called 3-rainbow if for any three vertices in $G$, there exists a rainbow tree connecting them. The 3-rainbow index $rx_3(G)$ of $G$ is defined as the minimum number of colors that are needed in a 3-rainbow coloring of $G$. This concept, introduced by Chartrand et al., can be viewed as a generalization of the rainbow connection. In this paper, we study the 3-rainbow index by using connected three-way dominating sets and 3-dominating sets. We shown that for every connected graph $G$ on $n$ vertices with minimum degree at least $δ$ ($3\leqδ\leq5$), $rx_{3}(G)\leq \frac{3n}{δ+1}+4$, and the bound is tight up to an additive constant; whereas for every connected graph $G$ on $n$ vertices with minimum degree at least $δ$ ($δ\geq3$), we get that $rx_{3}(G)\leq n\frac{ln(δ+1)}{δ+1}(1+o_δ(1))+5$. In addition, we obtain some tight upper bounds of the 3-rainbow index for some special graph classes, including threshold graphs, chain graphs and interval graphs.
2014-04-09 v2
Coloring of the square of Kneser graph $K(2k+r,k)$
Published • View Publication • BIB
The Kneser graph $K(n,k)$ is the graph whose vertices are the $k$-element subsets of an $n$ elements set, with two vertices adjacent if they are disjoint. The square $G^2$ of a graph $G$ is the graph defined on $V(G)$ such that two vertices $u$ and $v$ are adjacent in $G^2$ if the distance between $u$ and $v$ in $G$ is at most 2. Determining the chromatic number of the square of the Kneser graph $K(n, k)$ is an interesting graph coloring problem, and is also related with intersecting family problem. The square of $K(2k, k)$ is a perfect matching and the square of $K(n, k)$ is the complete graph when $n \geq 3k-1$. Hence coloring of the square of $K(2k +1, k)$ has been studied as the first nontrivial case. In this paper, we focus on the question of determining $χ(K^2(2k+r,k))$ for $r \geq 2$. Recently, Kim and Park \cite{KP2014} showed that $χ(K^2(2k+1,k)) \leq 2k+2$ if $ 2k +1 = 2^t -1$ for some positive integer $t$. In this paper, we generalize the result by showing that for any integer $r$ with $1 \leq r \leq k -2$, (a) $χ(K^2 (2k+r, k)) \leq (2k+r)^r$, if $2k + r = 2^t$ for some integer $t$, and (b) $χ(K^2 (2k+r, k)) \leq (2k+r+1)^r$, if $2k + r = 2^t-1$ for some integer $t$. On the other hand, it was showed in \cite{KP2014} that $χ(K^2 (2k+r, k)) \leq (r+2)(3k + \frac{3r+3}{2})^r$ for $2 \leq r \leq k-2$. We improve these bounds by showing that for any integer $r$ with $2 \leq r \leq k -2$, we have $χ(K^2 (2k+r, k)) \leq2 \left(\frac{9}{4}k + \frac{9(r+3)}{8} \right)^r$. Our approach is also related with injective coloring and coloring of Johnson graph.
2014-04-01 v4
Constructive discrepancy minimization for convex sets
Published • View Publication • BIB
A classical theorem of Spencer shows that any set system with n sets and n elements admits a coloring of discrepancy O(n^1/2). Recent exciting work of Bansal, Lovett and Meka shows that such colorings can be found in polynomial time. In fact, the Lovett-Meka algorithm finds a half integral point in any "large enough" polytope. However, their algorithm crucially relies on the facet structure and does not apply to general convex sets. We show that for any symmetric convex set K with measure at least exp(-n/500), the following algorithm finds a point y in K \cap [-1,1]^n with Omega(n) coordinates in {-1,+1}: (1) take a random Gaussian vector x; (2) compute the point y in K \cap [-1,1]^n that is closest to x. (3) return y. This provides another truly constructive proof of Spencer's theorem and the first constructive proof of a Theorem of Gluskin and Giannopoulos.
On color-critical ($P_{5},\overline{P}_5$)-free graphs
A graph is $k$-critical if it is $k$-chromatic but each of its proper induced subgraphs is ($k-1$)-colorable. It is known that the number of $4$-critical $P_5$-free graphs is finite, but there is an infinite number of $k$-critical $P_5$-free graphs for each $k \geq 5$. We show that the number of $k$-critical $(P_5, \overline{P}_5)$-free graphs is finite for every fixed $k$. Our result implies the existence of a certifying algorithm for $k$-coloring $(P_5, \overline{P}_5)$-free graphs.
2014-03-31
Perfect colorings of the 12-cube that attain the bound on correlation immunity
Published in Siberian Electronic Mathematical Reports 4, 2007, 292-295 [in Russian, with English Abstract] • Search Publication
We construct perfect $2$-colorings of the $12$-hypercube that attain our recent bound on the dimension of arbitrary correlation immune functions. We prove that such colorings with parameters $(x,12-x,4+x,8-x$) exist if $x=0$, $2$, $3$ and do not exist if $x=1$. This is a translation into English of the original paper by D. G. Fon-Der-Flaass, "Perfect colorings of the $12$-cube that attain the bound on correlation immunity", published in Russian in Siberian Electronic Mathematical Reports, vol. 4 (2007) 292-295.
2014-03-31
Coloring Digraphs with Forbidden Cycles
Published • View Publication • BIB
Let $k$ and $r$ be two integers with $k \ge 2$ and $k\ge r \ge 1$. In this paper we show that (1) if a strongly connected digraph $D$ contains no directed cycle of length $1$ modulo $k$, then $D$ is $k$-colorable; and (2) if a digraph $D$ contains no directed cycle of length $r$ modulo $k$, then $D$ can be vertex-colored with $k$ colors so that each color class induces an acyclic subdigraph in $D$. The first result gives an affirmative answer to a question posed by Tuza in 1992, and the second implies the following strong form of a conjecture of Diwan, Kenkre and Vishwanathan: If an undirected graph $G$ contains no cycle of length $r$ modulo $k$, then $G$ is $k$-colorable if $r\ne 2$ and $(k+1)$-colorable otherwise. Our results also strengthen several classical theorems on graph coloring proved by Bondy, Erdős and Hajnal, Gallai and Roy, Gyárfás, etc.
2014-03-28 v2
S-Packing Colorings of Cubic Graphs
Given a non-decreasing sequence $S=(s\_1,s\_2, \ldots, s\_k)$ of positive integers, an {\em $S$-packing coloring} of a graph $G$ is a mapping $c$ from $V(G)$ to $\{s\_1,s\_2, \ldots, s\_k\}$ such that any two vertices with color $s\_i$ are at mutual distance greater than $s\_i$, $1\le i\le k$. This paper studies $S$-packing colorings of (sub)cubic graphs. We prove that subcubic graphs are $(1,2,2,2,2,2,2)$-packing colorable and $(1,1,2,2,3)$-packing colorable. For subdivisions of subcubic graphs we derive sharper bounds, and we provide an example of a cubic graph of order $38$ which is not $(1,2,\ldots,12)$-packing colorable.
2014-03-25
Recoloring graphs via tree decompositions
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. Jerrum proved that any graph is $k$-mixing if $k$ is at least the maximum degree plus two. We first improve Jerrum's bound using the grundy number, which is the worst number of colors in a greedy coloring. 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 (which is optimal up to a constant factor), a problem left open in Bonamy et al. (2012). We also prove that given any two $(χ(G)+1)$-colorings of a cograph (resp. distance-hereditary graph) $G$, we can find a linear (resp. quadratic) sequence between them. In both cases, the bounds cannot be improved by more than a constant factor for a fixed $χ(G)$. The graph classes are also optimal in some sense: one of the smallest interesting superclass of distance-hereditary graphs corresponds to comparability graphs, for which no such property holds (even when relaxing the constraint on the length of the sequence). As for cographs, they are equivalently the graphs with no induced $P_4$, and there exist $P_5$-free graphs that admit no sequence between two of their $(χ(G)+1)$-colorings. All the proofs are constructivist and lead to polynomial-time recoloring algorithm
Colouring multijoints
Published • View Publication • BIB
Let L_1, ..., L_d be pairwise disjoint collections of lines in a d-dimensional vector space over some field. If the collections are sufficiently generic we prove that there exists a d-colouring of the set of multijoints J such that for each j, for each line in L_j, the number of points on it of colour j is O(|J|^{1/d}).
2014-03-24 v3
Ramsey Algebras
Published • View Publication • BIB
Hindman's theorem says that every finite coloring of the natural numbers has a monochromatic set of finite sums. Ramsey algebras are structures that satisfy an analogue of Hindman's Theorem. This paper introduces Ramsey algebras and presents some elementary results. Furthermore, their connection to Ramsey spaces will be addressed.
2014-03-24 v3
Monochromatic cycle partitions in local edge colourings
Published • View Publication • BIB
An edge colouring of a graph is said to be an $r$-local colouring if the edges incident to any vertex are coloured with at most $r$ colours. Generalising a result of Bessy and Thomassé, we prove that the vertex set of any $2$-locally coloured complete graph may be partitioned into two disjoint monochromatic cycles of different colours. Moreover, for any natural number $r$, we show that the vertex set of any $r$-locally coloured complete graph may be partitioned into $O(r^2 \log r)$ disjoint monochromatic cycles. This generalises a result of Erdős, Gyárfás and Pyber.
2014-03-23
Solution of Vizing's Problem on Interchanges for Graphs with Maximum Degree 4 and Related Results
Published • View Publication • BIB
Let $G$ be a Class 1 graph with maximum degree $4$ and let $t\geq 5$ be an integer. We show that any proper $t$-edge coloring of $G$ can be transformed to any proper $4$-edge coloring of $G$ using only transformations on $2$-colored subgraphs (so-called interchanges). This settles the smallest previously unsolved case of a well-known problem of Vizing on interchanges, posed in 1965. Using our result we give an affirmative answer to a question of Mohar for two classes of graphs: we show that all proper $5$-edge colorings of a Class 1 graph with maximum degree 4 are Kempe equivalent, that is, can be transformed to each other by interchanges, and that all proper 7-edge colorings of a Class 2 graph with maximum degree 5 are Kempe equivalent.
2014-03-20
Tree-colorable maximal planar graphs
A tree-coloring of a maximal planar graph is a proper vertex $4$-coloring such that every bichromatic subgraph, induced by this coloring, is a tree. A maximal planar graph $G$ is tree-colorable if $G$ has a tree-coloring. In this article, we prove that a tree-colorable maximal planar graph $G$ with $δ(G)\geq 4$ contains at least four odd-vertices. Moreover, for a tree-colorable maximal planar graph of minimum degree 4 that contains exactly four odd-vertices, we show that the subgraph induced by its four odd-vertices is not a claw and contains no triangles.
On small Mixed Pattern Ramsey numbers
We call the minimum order of any complete graph so that for any coloring of the edges by $k$ colors it is impossible to avoid a monochromatic or rainbow triangle, a Mixed Ramsey number. For any graph $H$ with edges colored from the above set of $k$ colors, if we consider the condition of excluding $H$ in the above definition, we produce a \emph{Mixed Pattern Ramsey number}, denoted $M_k(H)$. We determine this function in terms of $k$ for all colored $4$-cycles and all colored $4$-cliques. We also find bounds for $M_k(H)$ when $H$ is a monochromatic odd cycles, or a star for sufficiently large $k$. We state several open questions.
2014-03-14 v2
Almost all friendly matrices have many obstructions
Published • View Publication • BIB
A symmetric $m\times m$ matrix $M$ with entries taken from $\{0,1,\ast\}$ gives rise to a graph partition problem, asking whether a graph can be partitioned into $m$ vertex sets matched to the rows (and corresponding columns) of $M$ such that, if $M_{ij}=1$, then any two vertices between the corresponding vertex sets are joined by an edge, and if $M_{ij}=0$ then any two vertices between the corresponding vertex sets are not joined by an edge. The entry $\ast$ places no restriction on the edges between the corresponding sets. This problem generalises graph colouring and graph homomorphism problems. A graph with no $M$-partition but such that every proper subgraph does have an $M$-partition is called a minimal obstruction. Feder, Hell and Xie have defined friendly matrices and shown that non-friendly matrices have infinitely many minimal obstructions. They showed through examples that friendly matrices can have finitely or infinitely many minimal obstructions and gave an example of a friendly matrix with an NP-hard partition problem. Here we show that almost all friendly matrices have infinitely many minimal obstructions and an NP-hard partition problem.