Distributed Coloring of Graphs with an Optimal Number of Colors

This paper studies sufficient conditions to obtain efficient distributed algorithms coloring graphs optimally (i.e. with the minimum number of colors) in the LOCAL model of computation. Most of the work on distributed vertex coloring so far has focused on coloring graphs of maximum degree Delta with at most Delta+1 colors (or Delta colors when some simple obstructions are forbidden). When Delta is sufficiently large and c >= Delta-k_Delta+1, for some integer k_Delta ~~ sqrt{Delta}-2, we give a distributed algorithm that given a c-colorable graph G of maximum degree Delta, finds a c-coloring of G in min{O((log Delta)^{13/12}log n), 2^{O(log Delta+sqrt{log log n})}} rounds, with high probability. The lower bound Delta-k_Delta+1 is best possible in the sense that for infinitely many values of Delta, we prove that when chi(G) = Delta-k_Delta deciding whether chi(G) <= c is in P, while Embden-Weinert et al. proved that for c <= Delta-k_Delta-1, the same problem is NP-complete. Note that the sequential and distributed thresholds differ by one. Our first result covers the case where the chromatic number of the graph ranges between Delta-sqrt{Delta} and Delta+1. Our second result covers a larger range, but gives a weaker bound on the number of colors: For any sufficiently large Delta, and Omega(log Delta) 0, with a randomized algorithm running in O(log n/log log n) rounds with high probability

Distributed Algorithms, the Lov\'{a}sz Local Lemma, and Descriptive Combinatorics

In this paper we consider coloring problems on graphs and other combinatorial structures on standard Borel spaces. Our goal is to obtain sufficient conditions under which such colorings can be made well-behaved in the sense of topology or measure. To this end, we show that such well-behaved colorings can be produced using certain powerful techniques from finite combinatorics and computer science. First, we prove that efficient distributed coloring algorithms (on finite graphs) yield well-behaved colorings of Borel graphs of bounded degree; roughly speaking, deterministic algorithms produce Borel colorings, while randomized algorithms give measurable and Baire-measurable colorings. Second, we establish measurable and Baire-measurable versions of the Symmetric Lov\'{a}sz Local Lemma (under the assumption $\mathsf{p}(\mathsf{d}+1)^8 \leq 2^{-15}$, which is stronger than the standard LLL assumption $\mathsf{p}(\mathsf{d} + 1) \leq e^{-1}$ but still sufficient for many applications). From these general results, we derive a number of consequences in descriptive combinatorics and ergodic theory.Comment: 35 page

Distributed coloring of graphs with an optimal number of colors

18 pages, 2 figures - v2 a couple of remarks have been added in the introduction and the conclusionInternational audienceThis paper studies sufficient conditions to obtain efficient distributed algorithms coloring graphs optimally (i.e. with the minimum number of colors) in the LOCAL model of computation. Most of the work on distributed vertex coloring so far has focused on coloring graphs of maximum degree $\Delta$ with at most $\Delta+1$ colors (or $\Delta$ colors when some simple obstructions are forbidden). When $\Delta$ is a sufficiently large and $k\ge \Delta-k_\Delta+1$, for some integer $k_\Delta\approx \sqrt{\Delta}-2$, we give a distributed algorithm that given a $k$-colorable graph $G$ of maximum degree $\Delta$, finds a $k$-coloring of $G$ in $\min\{O(\Delta^\lambda\log n), 2^{O(\log \Delta+\sqrt{\log \log n})}\}$ rounds w.h.p., for any $\lambda>0$. The lower bound $\Delta-k_\Delta+1$ is best possible in the sense that for infinitely many values of $\Delta$, we prove that when $\chi(G)\le \Delta -k_\Delta$, finding an optimal coloring of $G$ requires $\Omega(n)$ rounds. Our proof is a light adaptation of a remarkable result of Molloy and Reed, who proved that for $\Delta$ large enough, for any $k\ge \Delta-k_\Delta$ deciding whether $\chi(G)\le k$ is in P, while Embden-Weinert et al. proved that for $k\le \Delta-k_\Delta-1$, the same problem is NP-complete. Note that the sequential and distributed thresholds differ by one. Our second result covers a larger range of parameters, but gives a weaker bound on the number of colors: For any sufficiently large $\Delta$, and $\Omega(\log \Delta)\le d \le \Delta/100$, we prove that every graph of maximum degree $\Delta$ and clique number at most $\Delta-d$ can be efficiently colored with at most $\Delta-\epsilon d$ colors, for some absolute constant $\epsilon >0$, with a randomized algorithm running w.h.p. in $\min\{O(\log_\Delta n),2^{O(\log \Delta+\sqrt{\log \log n})}\}$ rounds

Distributed Coloring of Graphs with an Optimal Number of Colors

This paper studies sufficient conditions to obtain efficient distributed algorithms coloring graphs optimally (i.e. with the minimum number of colors) in the LOCAL model of computation. Most of the work on distributed vertex coloring so far has focused on coloring graphs of maximum degree Delta with at most Delta + 1 colors (or Delta colors when some simple obstructions are forbidden). When Delta is sufficiently large and c >= Delta - k(Delta) + 1, for some integer k(Delta) approximate to root Delta - 2, we give a distributed algorithm that given a c-colorable graph G of maximum degree Delta, finds a c-coloring of G in min{O((log Delta)(13/12) log n), 2(O(log Delta + root log log n))} rounds, with high probability. The lower bound Delta - k(Delta) + 1 is best possible in the sense that for infinitely many values of Delta, we prove that when chi(G) = Delta - k(Delta) deciding whether chi(G) 0, with a randomized algorithm running in O(log n/log log n) rounds with high probability