ABSTRACT
In the distributed message passing model a communication network is represented by an n-vertex graph G = (V,E) of maximum degree Δ. Computation proceeds in discrete synchronous rounds consisting of sending and receiving messages and performing local computations. The running time of an algorithm is the number of rounds it requires. In the static setting the network remains unchanged throughout the entire execution. In the dynamic setting the topology of the network changes, and a new solution has to be computed after each change. In the faulty setting the network is static, but some vertices or edges may lose the computed solution as a result of faults. The goal of an algorithm in this setting is fixing the solution. The problems of (Δ + 1)-vertex-coloring and (2Δ - 1)-edge-coloring are among the most important and intensively studied problems in distributed computing. Despite a very intensive research in the last 30 years, no deterministic algorithms for these problems with sublinear (in Δ) time have been known so far. Moreover, for more restricted scenarios and some related problems there are lower bounds of Ω(Δ) [13, 14, 20, 27]. The question of the possibility to devise algorithms that overcome this challenging barrier is one of the most fundamental questions in distributed symmetry breaking [4, 6, 13, 14, 19, 24]. In this paper we settle this question for (Δ + 1)-vertex-coloring and (2Δ - 1)-edge-coloring by devising deterministic algorithms that require O(Δ3/4 log Δ + log* n) time in the static, dynamic and faulty settings. (The term log* n is unavoidable in view of the lower bound of Linial [21]. Moreover, for (1 + o(1))Δ-vertex-coloring and (2 + o(1))Δ-edge-coloring we devise algorithms with Õ(√Δ + log* n) deterministic time. This is roughly a quadratic improvement comparing to the state-of-the-art that requires O(Δ + log* n) time [4, 19, 24]. Our results are actually more general than that since they apply also to a variant of the list-coloring problem that generalizes ordinary coloring.
Our results are obtained using a novel technique for coloring partially-colored graphs (also known as fixing). We partition the uncolored parts into a small number of subgraphs with certain helpful properties. Then we color these subgraphs gradually using a technique that employs constructions of polynomials in a novel way. Our construction is inspired by the algorithm of Linial [21] for ordinary O(Δ2)-coloring. However, it is a more sophisticated construction that differs from [21] in several important respects. These new insights in using systems of polynomials allow us to significantly speed up the O(Δ)-coloring algorithms. Moreover, they allow us to devise algorithms with the same running time also in the more complicated settings of dynamic and faulty networks.
- N. Alon, L. Babai, and A. Itai. A fast and simple randomized parallel algorithm for the maximal independent set problem. Journal of Algorithms, 7(4):567--583, 1986. Google ScholarDigital Library
- B. Awerbuch, A. V. Goldberg, M. Luby, and S. Plotkin. Network decomposition and locality in distributed computation. In Proc. of the 30th Annual Symposium on Foundations of Computer Science, pages 364--369, 1989. Google ScholarDigital Library
- L. Barenboim, and M. Elkin. Sublogarithmic distributed MIS algorithm for sparse graphs using Nash-Williams decomposition. In Proc. of the 27th ACM Symp. on Principles of Distributed Computing, pages 25--34, 2008. Google ScholarDigital Library
- L. Barenboim, and M. Elkin. Distributed (Δ+1)- coloring in linear (in Δ) time. In Proc. 41th ACM Symp. on Theory of Computing, pp. 111--120, 2009. Google ScholarDigital Library
- L. Barenboim, and M. Elkin. Deterministic distributed vertex coloring in polylogarithmic time. In Proc. 29th ACM Symp. on Principles of Distributed Computing, pages 410--419, 2010. Google ScholarDigital Library
- L. Barenboim, and M. Elkin. Distributed deterministic edge coloring using bounded neighborhood independence. In Proc. of the 30th ACM Symp. on Principles of Distributed Computing, pages 129 - 138, 2011. Google ScholarDigital Library
- L. Barenboim, M. Elkin, and F. Kuhn. Distributed (Delta+1)-Coloring in Linear (in Delta) Time. SIAM Journal on Computing, 43(1): 72--95, 2014.Google ScholarDigital Library
- L. Barenboim, M. Elkin, S. Pettie, and J. Schneider. The locality of distributed symmetry breaking. In Proc. of the 53rd Annual Symposium on Foundations of Computer Science, pages 321--330, 2012. Google ScholarDigital Library
- M. Elkin. A near-optimal distributed fully dynamic algorithm for maintaining sparse spanners. In Proc. of the 26th ACM Symp. on Principles of Distributed Computing, page 185--194, 2007. Google ScholarDigital Library
- M. Elkin, S. Pettie, and H. Su. (2Δ - 1)$-Edge-Coloring is Much Easier than Maximal Matching in the Distributed Setting. In Proc. of the 26th ACM-SIAM Symp. on Discrete Algorithms, pages 355--370, 2015. Google ScholarDigital Library
- P. Erdos, P. Frankl, and Z. Füredi. Families of finite sets in which no set is covered by the union of $r$ others. Israel J. of Mathematics, 51:79--89, 1985.Google ScholarCross Ref
- I. Finocchi, F. Grandoni, G. Italiano. Designing Reliable Algorithms in Unreliable Memories. In Proc. of the 13th European Symposium on Algorithms, pages 1--8, 2005. Google ScholarDigital Library
- M. Göös, J. Hirvonen, and J. Suomela. Linear-in-delta lower bounds in the LOCAL model. In proc. of the 33th ACM Symp. on Principles of Distributed Computing, pages 86--95, 2014. Google ScholarDigital Library
- J. Hirvonen, and J. Suomela. Distributed maximal matching: greedy is optimal. In Proc. of the 31th ACM Symp on Principles of Distributed Computing, pages 165--174, 2012. Google ScholarDigital Library
- A. Israeli, and A. Itai. A fast and simple randomized parallel algorithm for maximal matching. Information Processing Letters, 22(2):77--80, 1986. Google ScholarCross Ref
- M. König, and R. Wattenhofer. On local fixing. In Proc. of the 17th International Conf. on Principles of Distributed Systems, pages 191 - 205, 2013. Google ScholarDigital Library
- A. Korman, J. Sereni, and L. Viennot. Toward more localized local algorithms: removing assumptions concerning global knowledge. In Proc. of the 30th ACM Symp. on Principles of Distributed Computing, pages 49--58, 2011. Google ScholarDigital Library
- K. Kothapalli, C. Scheideler, M. Onus, and C. Schindelhauer. Distributed coloring in O(√log n) bit rounds. In Proc. of the 20th International Parallel and Distributed Processing Symposium, 2006. Google ScholarDigital Library
- F. Kuhn. Weak graph colorings: distributed algorithms and applications. In Proc. of the 21st ACM Symposium on Parallel Algorithms and Architectures, pages 138--144, 2009. Google ScholarDigital Library
- F. Kuhn, and R. Wattenhofer. On the complexity of distributed graph coloring. In Proc. 25th ACM Symp. Principles of Distributed Computing, pp. 7--15, 2006. Google ScholarDigital Library
- N. Linial. Distributive graph algorithms: Global solutions from local data In Proc. 28th Symp. on Foundation of Computer Science, pp. 331--335, 1987. Google ScholarDigital Library
- M. Luby. A simple parallel algorithm for the maximal independent set problem. SIAM Journal on Computing, 15:1036--1053, 1986. Google ScholarDigital Library
- M. Luby. Removing randomness in parallel computation without a processor penalty. In Proc. of the 29th Annual Symposium on Foundations of Computer Science, pages 162--173, 1988. Google ScholarDigital Library
- A. Panconesi, and R. Rizzi. Some simple distributed algorithms for sparse networks. Distributed Computing, 14(2):97--100, 2001. Google ScholarDigital Library
- A. Panconesi, and A. Srinivasan. On the complexity of distributed network decomposition. Journal of Algorithms, 20(2):581--592, 1995. Google ScholarDigital Library
- D. Peleg. Distributed Computing: A Locality-Sensitive Approach. SIAM, 2000. Google ScholarCross Ref
- M. Szegedy, and S. Vishwanathan. Locality based graph coloring. In Proc. 25th ACM Symposium on Theory of Computing, pages 201--207, 1993. Google ScholarDigital Library
Index Terms
- Deterministic (Δ + 1)-Coloring in Sublinear (in Δ) Time in Static, Dynamic and Faulty Networks
Recommendations
Locally-Iterative Distributed (Δ+ 1): -Coloring below Szegedy-Vishwanathan Barrier, and Applications to Self-Stabilization and to Restricted-Bandwidth Models
PODC '18: Proceedings of the 2018 ACM Symposium on Principles of Distributed ComputingWe consider graph coloring and related problems in the distributed message-passing model. \em Locally-iterative algorithms are especially important in this setting. These are algorithms in which each vertex decides about its next color only as a ...
Deterministic (Δ + 1)-Coloring in Sublinear (in Δ) Time in Static, Dynamic, and Faulty Networks
We study the distributed (Δ + 1)-vertex-coloring and (2Δ − 1)-edge-coloring problems. These problems are among the most important and intensively studied problems in distributed computing. Despite very intensive research in the last 30 years, no ...
Comments