List Defective Colorings: Distributed Algorithms and Applications

Authors Marc Fuchs, Fabian Kuhn



PDF
Thumbnail PDF

File

LIPIcs.DISC.2023.22.pdf
  • Filesize: 0.83 MB
  • 23 pages

Document Identifiers

Author Details

Marc Fuchs
  • University of Freiburg, Germany
Fabian Kuhn
  • University of Freiburg, Germany

Cite AsGet BibTex

Marc Fuchs and Fabian Kuhn. List Defective Colorings: Distributed Algorithms and Applications. In 37th International Symposium on Distributed Computing (DISC 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 281, pp. 22:1-22:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.DISC.2023.22

Abstract

The distributed coloring problem is at the core of the area of distributed graph algorithms and it is a problem that has seen tremendous progress over the last few years. Much of the remarkable recent progress on deterministic distributed coloring algorithms is based on two main tools: a) defective colorings in which every node of a given color can have a limited number of neighbors of the same color and b) list coloring, a natural generalization of the standard coloring problem that naturally appears when colorings are computed in different stages and one has to extend a previously computed partial coloring to a full coloring. In this paper, we introduce list defective colorings, which can be seen as a generalization of these two coloring variants. Essentially, in a list defective coloring instance, each node v is given a list of colors x_{v,1},… ,x_{v,p} together with a list of defects d_{v,1},… ,d_{v,p} such that if v is colored with color x_{v, i}, it is allowed to have at most d_{v, i} neighbors with color x_{v, i}. We highlight the important role of list defective colorings by showing that faster list defective coloring algorithms would directly lead to faster deterministic (Δ+1)-coloring algorithms in the LOCAL model. Further, we extend a recent distributed list coloring algorithm by Maus and Tonoyan [DISC '20]. Slightly simplified, we show that if for each node v it holds that ∑_{i=1}^p (d_{v,i}+1)² > deg_G²(v)⋅ polylogΔ then this list defective coloring instance can be solved in a communication-efficient way in only O(logΔ) communication rounds. This leads to the first deterministic (Δ+1)-coloring algorithm in the standard CONGEST model with a time complexity of O(√{Δ}⋅ polylog Δ+log^* n), matching the best time complexity in the LOCAL model up to a polylogΔ factor.

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed algorithms
  • Mathematics of computing → Graph coloring
Keywords
  • distributed coloring
  • list coloring
  • defective coloring

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Baruch Awerbuch, Andrew V. Goldberg, Michael Luby, and Serge A. Plotkin. Network decomposition and locality in distributed computation. In Proc. 30th Symp. on Foundations of Computer Science (FOCS), pages 364-369, 1989. URL: https://doi.org/10.1109/SFCS.1989.63504.
  2. Alkida Balliu, Sebastian Brandt, Fabian Kuhn, and Dennis Olivetti. Distributed Δ-coloring plays hide-and-seek. arXiv preprint arXiv:2110.00643, 2021. Google Scholar
  3. Alkida Balliu, Sebastian Brandt, Fabian Kuhn, and Dennis Olivetti. Distributed edge coloring in time polylogarithmic in Δ. In Proc. 41st ACM Symp. on Principles of Distributed Computing (PODC), pages 15-25, 2022. Google Scholar
  4. Alkida Balliu, Fabian Kuhn, and Dennis Olivetti. Distributed edge coloring in time quasi-polylogarithmic in delta. In Proc. 39th ACM Symp. on Principles of Distributed Computing (PODC), pages 289-298, 2020. Google Scholar
  5. Leonid Barenboim. Deterministic (δ+1)-coloring in sublinear (in δ) time in static, dynamic, and faulty networks. Journal of ACM, 63(5):1-22, 2016. URL: https://doi.org/10.1145/2979675.
  6. Leonid Barenboim and Michael Elkin. Distributed (delta+1)-coloring in linear (in delta) time. In Proc. 41st Annual ACM Symp. on Theory of Computing (STOC), pages 111-120, 2009. Google Scholar
  7. Leonid Barenboim and Michael Elkin. Sublogarithmic distributed MIS algorithm for sparse graphs using Nash-Williams decomposition. Distributed Comput., 22:363-379, 2010. URL: https://doi.org/10.1007/s00446-009-0088-2.
  8. Leonid Barenboim and Michael Elkin. Deterministic distributed vertex coloring in polylogarithmic time. Journal of ACM, 58:23:1-23:25, 2011. URL: https://doi.org/10.1145/2027216.2027221.
  9. Leonid Barenboim and Michael Elkin. Distributed deterministic edge coloring using bounded neighborhood independence. In Proc. 30th ACM Symp. on Principles of Distributed Computing (PODC), pages 129-138, 2011. Google Scholar
  10. Leonid Barenboim, Michael Elkin, and Uri Goldenberg. Locally-iterative distributed (Δ+1)-coloring below Szegedy-Vishwanathan barrier, and applications to self-stabilization and to restricted-bandwidth models. In Proc. 37th ACM Symp. on Principles of Distributed Computing (PODC), pages 437-446, 2018. Google Scholar
  11. Leonid Barenboim, Michael Elkin, and Fabian Kuhn. Distributed (Δ+1)-Coloring in Linear (in Δ) Time. SIAM Journal on Computing, 43(1):72-95, 2014. URL: https://doi.org/10.1137/12088848X.
  12. Leonid Barenboim, Michael Elkin, Seth Pettie, and Johannes Schneider. The Locality of Distributed Symmetry Breaking. Journal of the ACM, 63(3):1-45, 2016. URL: https://doi.org/10.1145/2903137.
  13. Yi-Jun Chang, Wenzheng Li, and Seth Pettie. An optimal distributed (Δ+1)-coloring algorithm? In Proc. 50th ACM Symp. on Theory of Computing, (STOC), pages 445-456, 2018. URL: https://doi.org/10.1145/3188745.3188964.
  14. Pierre Fraigniaud, Marc Heinrich, and Adrian Kosowski. Local conflict coloring. In Proc. 57th IEEE Symp. on Foundations of Computer Science (FOCS), pages 625-634, 2016. Google Scholar
  15. Marc Fuchs and Fabian Kuhn. List defective colorings: Distributed algorithms and applications. CoRR, abs/2304.09666, 2023. URL: https://doi.org/10.48550/arXiv.2304.09666.
  16. Mohsen Ghaffari, Christoph Grunau, Bernhard Haeupler, Saeed Ilchi, and Václav Rozhon. Improved distributed network decomposition, hitting sets, and spanners, via derandomization. In Proc. 34th ACM-SIAM Symposium on Discrete Algorithms (SODA), 2023. Google Scholar
  17. Mohsen Ghaffari, Christoph Grunau, and Václav Rozhon. Improved deterministic network decomposition. In Proc. 32nd ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 2904-2923, 2021. URL: https://doi.org/10.1137/1.9781611976465.173.
  18. Mohsen Ghaffari and Fabian Kuhn. Deterministic distributed vertex coloring: Simpler, faster, and without network decomposition. In Proc. 62nd IEEE Symp. on Foundations of Computing (FOCS), 2021. Google Scholar
  19. A.V. Goldberg, S.A. Plotkin, and G.E. Shannon. Parallel symmetry-breaking in sparse graphs. SIAM Journal on Discrete Mathematics, 1(4):434-446, 1988. Google Scholar
  20. Magnús M. Halldórsson, Fabian Kuhn, Yannic Maus, and Tigran Tonoyan. Efficient randomized distributed coloring in CONGEST. In Proc. 53rd ACM Symp. on Theory of Computing (STOC), pages 1180-1193, 2021. Google Scholar
  21. Magnús M. Halldórsson, Fabian Kuhn, Alexandre Nolin, and Tigran Tonoyan. Near-optimal distributed degree+1 coloring. CoRR, abs/2112.00604, 2021. Google Scholar
  22. David G. Harris, Johannes Schneider, and Hsin-Hao Su. Distributed (Δ +1)-coloring in sublogarithmic rounds. J. ACM, 65(4):19:1-19:21, 2018. Google Scholar
  23. Fabian Kuhn. Local weak coloring algorithms and implications on deterministic symmetry breaking. In Proc. 21st ACM Symp. on Parallelism in Algorithms and Architectures (SPAA), 2009. Google Scholar
  24. Fabian Kuhn. Faster deterministic distributed coloring through recursive list coloring. In Proc. 32st ACM-SIAM Symp. on Discrete Algorithms (SODA), pages 1244-1259, 2020. Google Scholar
  25. Fabian Kuhn and Roger Wattenhofer. On the complexity of distributed graph coloring. In Proc. 25th ACM Symp. on Principles of Distributed Computing (PODC), pages 7-15, 2006. Google Scholar
  26. Nathan Linial. Distributive graph algorithms – Global solutions from local data. In Proc. 28th Symp. on Foundations of Computer Science (FOCS), pages 331-335. IEEE, 1987. URL: https://doi.org/10.1109/SFCS.1987.20.
  27. L. Lovász. On decompositions of graphs. Studia Sci. Math. Hungar., 1:237-238, 1966. Google Scholar
  28. Michael Luby. A simple parallel algorithm for the maximal independent set problem. SIAM Journal on Computing, 15(4):1036-1053, 1986. URL: https://doi.org/10.1137/0215074.
  29. Yannic Maus. Distributed graph coloring made easy. In Proc. 33rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2021. Google Scholar
  30. Yannic Maus and Tigran Tonoyan. Local conflict coloring revisited: Linial for lists. In Proc. 34th Symp. on Distributed Computing (DISC), volume 179 of LIPIcs, pages 16:1-16:18, 2020. Google Scholar
  31. Moni Naor. A lower bound on probabilistic algorithms for distributive ring coloring. SIAM Journal on Discrete Mathematics, 4(3):409-412, 1991. URL: https://doi.org/10.1137/0404036.
  32. Alessandro Panconesi and Aravind Srinivasan. On the complexity of distributed network decomposition. Journal of Algorithms, 20(2):356-374, 1996. Google Scholar
  33. David Peleg. Distributed Computing: A Locality-Sensitive Approach. Society for Industrial and Applied Mathematics, 2000. URL: https://doi.org/10.1137/1.9780898719772.
  34. Václav Rozhoň and Mohsen Ghaffari. Polylogarithmic-time deterministic network decomposition and distributed derandomization. In Proc. 52nd ACM Symp. on Theory of Computing (STOC), pages 350-363, 2020. Google Scholar
  35. Johannes Schneider and Roger Wattenhofer. A new technique for distributed symmetry breaking. In Proc. 29th ACM Symp. on Principles of Distributed Computing (PODC), pages 257-266, 2010. URL: https://doi.org/10.1145/1835698.1835760.
  36. Mario Szegedy and Sundar Vishwanathan. Locality based graph coloring. In Proc. 25th ACM Symp. on Theory of Computing (STOC), pages 201-207, 1993. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail