-
Decentralized Distributed Graph Coloring: Cluster Graphs
Authors:
Maxime Flin,
Magnus M. Halldorsson,
Alexandre Nolin
Abstract:
Graph coloring is fundamental to distributed computing. We give an ultrafast distributed algorithm for coloring cluster graphs. These graphs are obtained from the underlying communication network by contracting nodes and edges, and they appear frequently as components in the study of distributed algorithms. In particular, we give a $O(\log^* n)$-round algorithm to $Δ+1$-color cluster graphs of at…
▽ More
Graph coloring is fundamental to distributed computing. We give an ultrafast distributed algorithm for coloring cluster graphs. These graphs are obtained from the underlying communication network by contracting nodes and edges, and they appear frequently as components in the study of distributed algorithms. In particular, we give a $O(\log^* n)$-round algorithm to $Δ+1$-color cluster graphs of at least polylogarithmic degree. The previous best bound known was $poly(\log n)$ [Flin et.al, SODA'24]. This properly generalizes results in the COONGEST model and shows that distributed graph problems can be quickly solved even when the node itself is decentralized.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
$(Δ+ 1)$ Vertex Coloring in $O(n)$ Communication
Authors:
Maxime Flin,
Parth Mittal
Abstract:
We study the communication complexity of $(Δ+ 1)$ vertex coloring, where the edges of an $n$-vertex graph of maximum degree $Δ$ are partitioned between two players. We provide a randomized protocol which uses $O(n)$ bits of communication and ends with both players knowing the coloring. Combining this with a folklore $Ω(n)$ lower bound, this settles the randomized communication complexity of…
▽ More
We study the communication complexity of $(Δ+ 1)$ vertex coloring, where the edges of an $n$-vertex graph of maximum degree $Δ$ are partitioned between two players. We provide a randomized protocol which uses $O(n)$ bits of communication and ends with both players knowing the coloring. Combining this with a folklore $Ω(n)$ lower bound, this settles the randomized communication complexity of $(Δ+ 1)$-coloring up to constant factors.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Fast Coloring Despite Congested Relays
Authors:
Maxime Flin,
Magnús M. Halldórsson,
Alexandre Nolin
Abstract:
We provide a $O(\log^6 \log n)$-round randomized algorithm for distance-2 coloring in CONGEST with $Δ^2+1$ colors. For $Δ\gg\operatorname{poly}\log n$, this improves exponentially on the $O(\logΔ+\operatorname{poly}\log\log n)$ algorithm of [Halldórsson, Kuhn, Maus, Nolin, DISC'20].
Our study is motivated by the ubiquity and hardness of local reductions in CONGEST. For instance, algorithms for t…
▽ More
We provide a $O(\log^6 \log n)$-round randomized algorithm for distance-2 coloring in CONGEST with $Δ^2+1$ colors. For $Δ\gg\operatorname{poly}\log n$, this improves exponentially on the $O(\logΔ+\operatorname{poly}\log\log n)$ algorithm of [Halldórsson, Kuhn, Maus, Nolin, DISC'20].
Our study is motivated by the ubiquity and hardness of local reductions in CONGEST. For instance, algorithms for the Local Lovász Lemma [Moser, Tardos, JACM'10; Fischer, Ghaffari, DISC'17; Davies, SODA'23] usually assume communication on the conflict graph, which can be simulated in LOCAL with only constant overhead, while this may be prohibitively expensive in CONGEST. We hope our techniques help tackle in CONGEST other coloring problems defined by local relations.
△ Less
Submitted 2 August, 2023;
originally announced August 2023.
-
Coloring Fast with Broadcasts
Authors:
Maxime Flin,
Mohsen Ghaffari,
Magnús M. Halldórsson,
Fabian Kuhn,
Alexandre Nolin
Abstract:
We present an $O(\log^3\log n)$-round distributed algorithm for the $(Δ+1)$-coloring problem, where each node broadcasts only one $O(\log n)$-bit message per round to its neighbors. Previously, the best such broadcast-based algorithm required $O(\log n)$ rounds. If $Δ\in Ω(\log^{3} n)$, our algorithm runs in $O(\log^* n)$ rounds. Our algorithm's round complexity matches state-of-the-art in the muc…
▽ More
We present an $O(\log^3\log n)$-round distributed algorithm for the $(Δ+1)$-coloring problem, where each node broadcasts only one $O(\log n)$-bit message per round to its neighbors. Previously, the best such broadcast-based algorithm required $O(\log n)$ rounds. If $Δ\in Ω(\log^{3} n)$, our algorithm runs in $O(\log^* n)$ rounds. Our algorithm's round complexity matches state-of-the-art in the much more powerful CONGEST model [Halldórsson et al., STOC'21 & PODC'22], where each node sends one different message to each of its neighbors, thus sending up to $Θ(n\log n)$ bits per round. This is the best complexity known, even if message sizes are unbounded.
Our algorithm is simple enough to be implemented in even weaker models: we can achieve the same $O(\log^3\log n)$ round complexity if each node reads its received messages in a streaming fashion, using only $O(\log^3 n)$-bit memory. Therefore, we hope that our algorithm opens the road for adopting the recent exciting progress on sublogarithmic-time distributed $(Δ+1)$-coloring algorithms in a wider range of (theoretical or practical) settings.
△ Less
Submitted 19 April, 2023;
originally announced April 2023.
-
A Distributed Palette Sparsification Theorem
Authors:
Maxime Flin,
Mohsen Ghaffari,
Magnús M. Halldórsson,
Fabian Kuhn,
Alexandre Nolin
Abstract:
The celebrated palette sparsification result of [Assadi, Chen, and Khanna SODA'19] shows that to compute a $Δ+1$ coloring of the graph, where $Δ$ denotes the maximum degree, it suffices if each node limits its color choice to $O(\log n)$ independently sampled colors in $\{1, 2, \dots, Δ+1\}$. They showed that it is possible to color the resulting sparsified graph -- the spanning subgraph with edge…
▽ More
The celebrated palette sparsification result of [Assadi, Chen, and Khanna SODA'19] shows that to compute a $Δ+1$ coloring of the graph, where $Δ$ denotes the maximum degree, it suffices if each node limits its color choice to $O(\log n)$ independently sampled colors in $\{1, 2, \dots, Δ+1\}$. They showed that it is possible to color the resulting sparsified graph -- the spanning subgraph with edges between neighbors that sampled a common color, which are only $\tilde{O}(n)$ edges -- and obtain a $Δ+1$ coloring for the original graph. However, to compute the actual coloring, that information must be gathered at a single location for centralized processing. We seek instead a local algorithm to compute such a coloring in the sparsified graph. The question is if this can be achieved in $\operatorname{poly}(\log n)$ distributed rounds with small messages.
Our main result is an algorithm that computes a $Δ+1$-coloring after palette sparsification with $O(\log^2 n)$ random colors per node and runs in $O(\log^2 Δ+ \log^3 \log n)$ rounds on the sparsified graph, using $O(\log n)$-bit messages. We show that this is close to the best possible: any distributed $Δ+1$-coloring algorithm that runs in the LOCAL model on the sparsified graph, given by palette sparsification, for any $\operatorname{poly}(\log n)$ colors per node, requires $Ω(\log Δ/ \log\log n)$ rounds. This distributed palette sparsification result leads to the first $\operatorname{poly}(\log n)$-round algorithms for $Δ+1$-coloring in two previously studied distributed models: the Node Capacitated Clique, and the cluster graph model.
△ Less
Submitted 11 April, 2023; v1 submitted 16 January, 2023;
originally announced January 2023.