coloring
4497 papers tagged with this keyword
Online Chromatic Number is PSPACE-Complete
In the online graph coloring problem, vertices from a graph G, known in advance, arrive in an online fashion and an algorithm must immediately assign a color to each incoming vertex v so that the revealed graph is properly colored. The exact location of v in the graph G is not known to the algorithm. The online chromatic number of G is the smallest number of colors such that some online algorithm is able to properly color G for any incoming order. We prove that computing the online chromatic number of a graph is PSPACE-complete.
Circular Backbone Colorings: on matching and tree backbones of planar graphs
Published
• View Publication
• BIB
Given a graph $G$, and a spanning subgraph $H$ of $G$, a circular $q$-backbone $k$-coloring of $(G,H)$ is a proper $k$-coloring $c$ of $G$ such that $q\le \lvert c(u)-c(v)\rvert \le k-q$, for every edge $uv\in E(H)$. The circular $q$-backbone chromatic number of $(G,H)$, denoted by $CBC_q(G,H)$, is the minimum integer $k$ for which there exists a circular $q$-backbone $k$-coloring of $(G,H)$.
The Four Color Theorem implies that whenever $G$ is planar, we have $CBC_2(G,H)\le 8$. It is conjectured that this upper bound can be improved to 7 when $H$ is a tree, and to 6 when $H$ is a matching. In this work, we show that: 1) if $G$ is planar and has no $C_4$ as subgraph, and $H$ is a linear spanning forest of $G$, then $CBC_2(G,H)\leq 7$; 2) if $G$ is a plane graph having no two 3-faces sharing an edge, and $H$ is a matching of $G$, then $CBC_2(G,H)\leq 6$; and 3) if $G$ is planar and has no $C_4$ nor $C_5$ as subgraph, and $H$ is a mathing of $G$, then $CBC_2(G,H)\leq 5$. These results partially answer questions posed by Broersma, Fujisawa and Yoshimoto (2003), and by Broersma, Fomin and Golovach (2007). It also points towards a positive answer for the Steinberg's Conjecture.
Pebbling Meets Coloring: Reversible Pebble Game On Trees
Published
• View Publication
• BIB
The reversible pebble game is a combinatorial game played on rooted DAGs. This game was introduced by Bennett (1989) motivated by applications in designing space efficient reversible algorithms. Recently, Chan (2013) showed that the reversible pebble game number of any DAG is the same as its Dymond-Tompa pebble number and Raz-Mckenzie pebble number.
We show, as our main result, that for any rooted directed tree T, its reversible pebble game number is always just one more than the edge rank coloring number of the underlying undirected tree U of T. It is known that given a DAG G as input, determining its reversible pebble game number is PSPACE-hard. Our result implies that the reversible pebble game number of trees can be computed in polynomial time.
We also address the question of finding the number of steps required to optimally pebble various families of trees. It is known that trees can be pebbled in $n^{O(\log(n))}$ steps where $n$ is the number of nodes in the tree. Using the equivalence between reversible pebble game and the Dymond-Tompa pebble game (Chan, 2013), we show that complete binary trees can be pebbled in $n^{O(\log\log(n))}$ steps, a substantial improvement over the naive upper bound of $n^{O(\log(n))}$. It remains open whether complete binary trees can be pebbled in polynomial (in $n$) number of steps. Towards this end, we show that almost optimal (i.e., within a factor of $(1 + ε)$ for any constant $ε> 0$) pebblings of complete binary trees can be done in polynomial number of steps.
We also show a time-space trade-off for reversible pebbling for families of bounded degree trees by a divide-and-conquer approach: for any constant $ε> 0$, such families can be pebbled using $O(n^ε)$ pebbles in $O(n)$ steps. This generalizes an analogous result of Kralovic (2001) for chains.
Ramsey-type numbers involving graphs and hypergraphs with large girth
A question of Erdős asks if for every pair of positive integers $r$ and $k$, there exists a graph $H$ having $\textrm{girth}(H)=k$ and the property that every $r$-colouring of the edges of $H$ yields a monochromatic cycle $C_k$. The existence of such graphs was confirmed by the third author and Ruciński.
We consider the related numerical problem of determining the smallest such graph with this property. We show that for integers $r$ and $k$, there exists a graph $H$ on $R^{10k^2} k^{15k^3}$ vertices (where $R = R(C_k;r)$ is the $r$-colour Ramsey number for the cycle $C_k$) having $\textrm{girth}(H)=k$ and the Ramsey property that every $r$-colouring of $E(H)$ yields a monochromatic $C_k$. Two related numerical problems regarding arithmetic progressions in sets and cliques in graphs are also considered.
Small minimal $(3, 3)$-Ramsey graphs
Published in Ann. Univ. Sofia Fac. Math. Inform., 103:123-147, 2016
• Search Publication
We say that $G$ is a $(3, 3)$-Ramsey graph if every $2$-coloring of the edges of $G$ forces a monochromatic triangle. The $(3, 3)$-Ramsey graph $G$ is minimal if $G$ does not contain a proper $(3, 3)$-Ramsey subgraph. In this work we find all minimal $(3, 3)$-Ramsey graphs with up to 13 vertices with the help of a computer, and we obtain some new results for these graphs. We also obtain new upper bounds on the independence number and new lower bounds on the minimum degree of arbitrary $(3, 3)$-Ramsey graphs.
Covering complete partite hypergraphs by monochromatic components
A well-known special case of a conjecture attributed to Ryser states that k-partite intersecting hypergraphs have transversals of at most k-1 vertices. An equivalent form was formulated by Gyárfás: if the edges of a complete graph K are colored with k colors then the vertex set of K can be covered by at most k-1 sets, each connected in some color. It turned out that the analogue of the conjecture for hypergraphs can be answered: Z. Király proved that in every k-coloring of the edges of the r-uniform complete hypergraph K^r (r >= 3), the vertex set of K^r can be covered by at most $\lceil k/r \rceil$ sets, each connected in some color.
Here we investigate the analogue problem for complete r-uniform r-partite hypergraphs. An edge coloring of a hypergraph is called spanning if every vertex is incident to edges of any color used in the coloring. We propose the following analogue of Ryser conjecture.
In every spanning (r+t)-coloring of the edges of a complete r-uniform r-partite hypergraph, the vertex set can be covered by at most t+1 sets, each connected in some color.
Our main result is that the conjecture is true for 1 <= t <= r-1. We also prove a slightly weaker result for t >= r, namely that t+2 sets, each connected in some color, are enough to cover the vertex set.
To build a bridge between complete r-uniform and complete r-uniform r-partite hypergraphs, we introduce a new notion. A hypergraph is complete r-uniform (r,l)-partite if it has all r-sets that intersect each partite class in at most l vertices.
Extending our results achieved for l=1, we prove that for any r >= 3, 2 <= l <= r, k >= 1+r-l, in every spanning k-coloring of the edges of a complete r-uniform (r,l)-partite hypergraph, the vertex set can be covered by at most 1+\lfloor \frac{k-r+\ell-1}{\ell}\rfloor sets, each connected in some color.
More on total monochromatic connection of graphs
A graph is said to be {\it total-colored} if all the edges and the vertices of the graph are colored. A total-coloring of a graph is a {\it total monochromatically-connecting coloring} ({\it TMC-coloring}, for short) if any two vertices of the graph are connected by a path whose edges and internal vertices on the path have the same color. For a connected graph $G$, the {\it total monochromatic connection number}, denoted by $tmc(G)$, is defined as the maximum number of colors used in a TMC-coloring of $G$. Note that a TMC-coloring does not exist if $G$ is not connected, in which case we simply let $tmc(G)=0$. In this paper, we first characterize all graphs of order $n$ and size $m$ with $tmc(G)=3,4,5,6,m+n-2,m+n-3$ and $m+n-4$, respectively. Then we determine the threshold function for a random graph to have $tmc(G)\geq f(n)$, where $f(n)$ is a function satisfying $1\leq f(n)<\frac{1}{2}n(n-1)+n$. Finally, we show that for a given connected graph $G$, and a positive integer $L$ with $L\leq m+n$, it is NP-complete to decide whether $tmc(G)\geq L$.
Zarankiewicz Numbers and Bipartite Ramsey Numbers
The Zarankiewicz number $z(b;s)$ is the maximum size of a subgraph of $K_{b,b}$ which does not contain $K_{s,s}$ as a subgraph. The two-color bipartite Ramsey number $b(s,t)$ is the smallest integer $b$ such that any coloring of the edges of $K_{b,b}$ with two colors contains a $K_{s,s}$ in the first color or a $K_{t,t}$ in the second color.
In this work, we design and exploit a computational method for bounding and computing Zarankiewicz numbers. Using it, we obtain several new values and bounds on $z(b;s)$ for $3 \le s \le 6$. Our approach and new knowledge about $z(b;s)$ permit us to improve some of the results on bipartite Ramsey numbers obtained by Goddard, Henning and Oellermann in 2000. In particular, we compute the smallest previously unknown bipartite Ramsey number, $b(2,5)=17$. Moreover, we prove that up to isomorphism there exists a unique $2$-coloring which witnesses the lower bound $16<b(2,5)$. We also find tight bounds on $b(2,2,3)$, $17 \le b(2,2,3) \le 18$, which currently is the smallest open case for multicolor bipartite Ramsey numbers.
New Bounds for Facial Nonrepetitive Colouring
Published
• View Publication
• BIB
We prove that the facial nonrepetitive chromatic number of any outerplanar graph is at most 11 and of any planar graph is at most 22.
Characterizations of the Connected Forcing Number of a Graph
Zero forcing is a dynamic graph coloring process whereby a colored vertex with a single uncolored neighbor forces that neighbor to be colored. This forcing process has been used to approximate certain linear algebraic parameters, as well as to model the spread of diseases and information in social networks. In this paper, we introduce and study the connected forcing process -- a restriction of zero forcing in which the initially colored set of vertices induces a connected subgraph. We show that the connected forcing number -- the cardinality of the smallest initially colored vertex set which forces the entire graph to be colored -- is a sharp upper bound to the maximum nullity, path cover number, and leaf number of the graph. We also give closed formulas and bounds for the connected forcing numbers of several families of graphs including trees, hypercubes, and flower snarks, and characterize graphs with extremal connected forcing numbers.
Characterising Bounded Expansion by Neighbourhood Complexity
Published
• View Publication
• BIB
We show that a graph class $\cal G$ has bounded expansion if and only if it has bounded $r$-neighbourhood complexity, i.e. for any vertex set $X$ of any subgraph $H$ of $G\in\cal G$, the number of subsets of $X$ which are exact $r$-neighbourhoods of vertices of $H$ on $X$ is linear to the size of $X$. This is established by bounding the $r$-neighbourhood complexity of a graph in terms of both its $r$-centred colouring number and its weak $r$-colouring number, which provide known characterisations to the property of bounded expansion.
Complexity of equitable tree-coloring problems
A $(q,t)$\emph{-tree-coloring} of a graph $G$ is a $q$-coloring of vertices of $G$ such that the subgraph induced by each color class is a forest of maximum degree at most $t.$ A $(q,\infty)$\emph{-tree-coloring} of a graph $G$ is a $q$-coloring of vertices of $G$ such that the subgraph induced by each color class is a forest.
Wu, Zhang, and Li introduced the concept of \emph{equitable $(q, t)$-tree-coloring} (respectively, \emph{equitable $(q, \infty)$-tree-coloring}) which is a $(q,t)$-tree-coloring (respectively, $(q, \infty)$-tree-coloring) such that the sizes of any two color classes differ by at most one. Among other results, they obtained a sharp upper bound on the minimum $p$ such that $K_{n,n}$ has an equitable $(q, 1)$-tree-coloring for every $q\geq p.$
In this paper, we obtain a polynomial time criterion to decide if a complete bipartite graph has an equitable $(q,t)$-tree-coloring or an equitable $(q,\infty)$-tree-coloring. Nevertheless, deciding if a graph $G$ in general has an equitable $(q,t)$-tree-coloring or an equitable $(q,\infty)$-tree-coloring is NP-complete.
Regular colorings and factors of regular graphs
Published
• View Publication
• BIB
An $(r-1,1)$-coloring of an $r$-regular graph $G$ is an edge coloring such that each vertex is incident to $r-1$ edges of one color and $1$ edge of a different color. In this paper, we completely characterize all $4$-regular pseudographs (graphs that may contain parallel edges and loops) which do not have a $(3,1)$-coloring. An $\{r-1,1\}$-factor of an $r$-regular graph is a spanning subgraph in which each vertex has degree either $r-1$ or $1$. We prove various conditions that that must hold for any vertex-minimal $5$-regular pseudographs without $(4,1)$-colorings or without $\{4,1\}$-factors. Finally, for each $r\geq 6$ we construct graphs that are not $(r-1,1)$-colorable and, more generally, are not $(r-t,t)$-colorable for small $t$.
Some upper bounds for the $3$-proper index of graphs
Published
• View Publication
• BIB
A tree $T$ in an edge-colored graph is a {\it proper tree} if no two adjacent edges of $T$ receive the same color. Let $G$ be a connected graph of order $n$ and $k$ be a fixed integer with $2\le k\le n$. For a vertex subset $S \subseteq V(G)$ with $\left|S\right| \ge 2$, a tree containing all the vertices of $S$ in $G$ is called an $S$-tree. An edge-coloring of $G$ is called a \emph{$k$-proper coloring} if for every $k$-subset $S$ of $V(G)$, there exists a proper $S$-tree in $G$. For a connected graph $G$, the \emph{$k$-proper index} of $G$, denoted by $px_k(G)$, is the smallest number of colors that are needed in a $k$-proper coloring of $G$. In this paper, we show that for every connected graph $G$ of order $n$ and minimum degree $δ\geq 3$, $px_{3}(G)\le n\frac{\ln(δ+1)}{δ+1}(1+o_δ(1))+2$. We also prove that for every connected graph $G$ with minimum degree at least $3$, $px_{3}(G) \le px_{3}(G[D])+3$ when $D$ is a connected $3$-way dominating set of $G$ and $px_{3}(G) \le px_{3}(G[D])+1$ when $D$ is a connected $3$-dominating set of $G$. In addition, we obtain tight upper bounds of the 3-proper index for two special graph classes: threshold graphs and chain graphs. Finally, we prove that $px_3(G) \le \lfloor\frac{n}{2}\rfloor$ for any 2-connected graphs with at least four vertices.
On the number of solutions in random hypergraph 2-colouring
Published
• View Publication
• BIB
We determine the limiting distribution of the logarithm of the number of satisfying assignments in the random $k$-uniform hypergraph 2-colouring problem in a certain density regime for all $k\ge 3$ . As a direct consequence we obtain that in this regime the random colouring model is contiguous wrt. the planted model, a result that helps simplifying the transfer of statements between these two models.
Cyclic Coloring of Plane Graphs with Maximum Face Size 16 and 17
Plummer and Toft conjectured in 1987 that the vertices of every 3-connected plane graph with maximum face size D can be colored using at most D+2 colors in such a way that no face is incident with two vertices of the same color. The conjecture has been proven for D=3, D=4 and D>=18. We prove the conjecture for D=16 and D=17.
Polychromatic Colorings on the Hypercube
Published
• View Publication
• BIB
Given a subgraph G of the hypercube Q_n, a coloring of the edges of Q_n such that every embedding of G contains an edge of every color is called a G-polychromatic coloring. The maximum number of colors with which it is possible to G-polychromatically color the edges of any hypercube is called the polychromatic number of G. To determine polychromatic numbers, it is only necessary to consider a structured class of colorings, which we call simple. The main tool for finding upper bounds on polychromatic numbers is to translate the question of polychromatically coloring the hypercube so every embedding of a graph G contains every color into a question of coloring the 2-dimensional grid so that every so-called shape sequence corresponding to G contains every color. After surveying the tools for finding polychromatic numbers, we apply these techniques to find polychromatic numbers of a class of graphs called punctured hypercubes. We also consider the problem of finding polychromatic numbers in the setting where larger subcubes of the hypercube are colored. We exhibit two new constructions which show that this problem is not a straightforward generalization of the edge coloring problem.
Sidorenko's conjecture, colorings and independent sets
Let $\hom(H,G)$ denote the number of homomorphisms from a graph $H$ to a graph $G$. Sidorenko's conjecture asserts that for any bipartite graph $H$, and a graph $G$ we have $$\hom(H,G)\geq v(G)^{v(H)}\left(\frac{\hom(K_2,G)}{v(G)^2}\right)^{e(H)},$$ where $v(H),v(G)$ and $e(H),e(G)$ denote the number of vertices and edges of the graph $H$ and $G$, respectively. In this paper we prove Sidorenko's conjecture for certain special graphs $G$: for the complete graph $K_q$ on $q$ vertices, for a $K_2$ with a loop added at one of the end vertices, and for a path on $3$ vertices with a loop added at each vertex. These cases correspond to counting colorings, independent sets and Widom-Rowlinson colorings of a graph $H$. For instance, for a bipartite graph $H$ the number of $q$-colorings $\textrm{ch}(H,q)$ satisfies $$\textrm{ch}(H,q)\geq q^{v(H)}\left(\frac{q-1}{q}\right)^{e(H)}.$$ In fact, we will prove that in the last two cases (independent sets and Widom-Rowlinson colorings) the graph $H$ does not need to be bipartite. In all cases, we first prove a certain correlation inequality which implies Sidorenko's conjecture in a stronger form.
On the number of alternating paths in bipartite complete graphs
Published
• View Publication
• BIB
Let $C \subseteq [r]^m$ be a code such that any two words of $C$ have Hamming distance at least $t$. It is not difficult to see that determining a code $C$ with the maximum number of words is equivalent to finding the largest $n$ such that there is an $r$-edge-coloring of $K_{m, n}$ with the property that any pair of vertices in the class of size $n$ has at least $t$ alternating paths (with adjacent edges having different colors) of length $2$. In this paper we consider a more general problem from a slightly different direction. We are interested in finding maximum $t$ such that there is an $r$-edge-coloring of $K_{m,n}$ such that any pair of vertices in class of size $n$ is connected by $t$ internally disjoint and alternating paths of length $2k$. We also study a related problem in which we drop the assumption that paths are internally disjoint. Finally, we introduce a new concept, which we call alternating connectivity. Our proofs make use of random colorings combined with some integer programs.
Linear Hypergraph Edge Coloring
Motivated by the Erdos-Faber Lovasz conjecture (EFL) for hypergraphs, we explore relationships between several conjectures on the edge coloring of linear hypergraphs. In particular, we are able to increase the class of hypergraphs for which EFL is true.