Advertisement

Distributed Computing

, Volume 30, Issue 4, pp 261–280 | Cite as

Distributed algorithms for the Lovász local lemma and graph coloring

  • Kai-Min Chung
  • Seth Pettie
  • Hsin-Hao Su
Article

Abstract

The Lovász local lemma (LLL), introduced by Erdős and Lovász in 1975, is a powerful tool of the probabilistic method that allows one to prove that a set of n “bad” events do not happen with non-zero probability, provided that the events have limited dependence. However, the LLL itself does not suggest how to find a point avoiding all bad events. Since the works of Alon (Random Struct Algorithms 2(4):367–378, 1991) and Beck (Random Struct Algorithms 2(4):343–365, 1991) there has been a sustained effort to find a constructive proof (i.e. an algorithm) for the LLL or weaker versions of it. In a major breakthrough Moser and Tardos (J ACM 57(2):11, 2010) showed that a point avoiding all bad events can be found efficiently. They also proposed a distributed/parallel version of their algorithm that requires \(O(\log ^2 n)\) rounds of communication in a distributed network. In this paper we provide two new distributed algorithms for the LLL that improve on both the efficiency and simplicity of the Moser–Tardos algorithm. For clarity we express our results in terms of the symmetric LLL though both algorithms deal with the asymmetric version as well. Let p bound the probability of any bad event and d be the maximum degree in the dependency graph of the bad events. When \(epd^2 < 1\) we give a truly simple LLL algorithm running in \(O(\log _{1/epd^2} n)\) rounds. Under the weaker condition \(ep(d+1) < 1\), we give a slightly slower algorithm running in \(O(\log ^2 d\cdot \log _{1/ep(d+1)} n)\) rounds. Furthermore, we give an algorithm that runs in sublogarithmic rounds under the condition \(p\cdot f(d) < 1\), where f(d) is an exponential function of d. Although the conditions of the LLL are locally verifiable, we prove that any distributed LLL algorithm requires \({\varOmega }(\log ^* n)\) rounds. In many graph coloring problems the existence of a valid coloring is established by one or more applications of the LLL. Using our LLL algorithms, we give logarithmic-time distributed algorithms for frugal coloring, defective coloring, coloring girth-4 (triangle-free) and girth-5 graphs, edge coloring, and list coloring.

Keywords

Lovász local lemma Distributed algorithms Randomized algorithms Coloring Locality 

Notes

Acknowledgements

Thanks Mohsen Ghaffari for pointing out that by iteratively applying LLL, the range of f can be improved from \({\varOmega }(\log {\varDelta })\) to any positive integer for f-defective, \(O({\varDelta }/f)\)-colorings.

References

  1. 1.
    Alon, N.: A parallel algorithmic version of the local lemma. Random Struct. Algorithms 2(4), 367–378 (1991)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Alon, N., Babai, L., Itai, A.: A fast and simple randomized parallel algorithm for the maximal independent set problem. J. Algorithms 7(4), 567–583 (1986)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Alon, N., Krivelevich, M., Sudakov, B.: Coloring graphs with sparse neighborhoods. J. Comb. Theory Ser. B 77(1), 73–82 (1999)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Barenboim, L., Elkin, M.: Distributed Graph Coloring: Fundamentals and Recent Developments Synthesis Lectures on Distributed Computing Theory. Morgan & Claypool, San Rafael (2013)MATHGoogle Scholar
  5. 5.
    Barenboim, L., Elkin, M., Kuhn, F.: Distributed \({({\varDelta }+1)}\)-coloring in linear (in \({\varDelta }\)) time. SIAM J. Comput. 43(1), 72–95 (2014)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Barenboim, L., Elkin, M., Pettie, S., Schneider, J.: The locality of distributed symmetry breaking. J. ACM 63(3), 1–20 (2016)Google Scholar
  7. 7.
    Beck, J.: An algorithmic approach to the Lovász local lemma. I. Random Struct. Algorithms 2(4), 343–365 (1991)CrossRefMATHGoogle Scholar
  8. 8.
    Brandt, S., Fischer, O., Hirvonen, J., Keller, B., Lempiäinen, T., Rybicki, J., Suomela, J., Uitto, J.: A lower bound for the distributed lovász local lemma. In: Proceedings of 48th ACM Symposium on Theory of Computing (STOC), pp. 479–488 (2016)Google Scholar
  9. 9.
    Chandrasekaran, K., Goyal, N., Haeupler, B.: Deterministic algorithms for the Lovász local lemma. SIAM J. Comput. 42(6), 2132–2155 (2013)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Chang, Y., Kopelowitz, T., Pettie, S.: An exponential separation between randomized and deterministic complexity in the LOCAL model. In: Proceedings of 57th Symposium on Foundations of Computer Science (FOCS), pp. 195–197 (2016)Google Scholar
  11. 11.
    Czumaj, A., Scheideler, C.: A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract). In: Proceedings of 32nd ACM Symposium on Theory of Computing (STOC), pp. 38–47 (2000)Google Scholar
  12. 12.
    Dubhashi, D., Grable, D.A., Panconesi, A.: Near-optimal, distributed edge colouring via the nibble method. Theor. Comput. Sci. 203(2), 225–251 (1998)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Elkin, M., Pettie, S., Su, H.-H.: (\(2{\varDelta }-1\))-edge-coloring is much easier than maximal matching in the distributed setting. In: Proceedings of 26th ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 355–370 (2015)Google Scholar
  14. 14.
    Erdős, P., Lovász, L.: Problems and results on 3-chromatic hypergraphs and some related questions. In: Hanjal, A., Rado, R., Sós, V.T. (eds.) Infinite and Finite Sets, vol. 11, pp. 609–627. North-Holland, Amsterdam (1975)Google Scholar
  15. 15.
    Ghaffari, M.: An improved distributed algorithm for maximal independent set. In: Proceedings of 27th ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 270–277 (2016)Google Scholar
  16. 16.
    Haeupler, B., Saha, B., Srinivasan, A.: New constructive aspects of the Lovász local lemma. J. ACM 58(6), 28 (2011)CrossRefMATHGoogle Scholar
  17. 17.
    Harris, D.G.: Lopsidependency in the Moser–Tardos framework: beyond the lopsided Lovász local lemma. In: Proceedings of 26th ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1792–1808 (2015)Google Scholar
  18. 18.
    Harris, D.G., Srinivasan, A.: The Moser-Tardos framework with partial resampling. In: Proceedings of 54th IEEE Symposium on Foundations of Computer Science (FOCS), pp. 469–478 (2013)Google Scholar
  19. 19.
    Harris, D.G., Srinivasan, A.: A constructive algorithm for the Lovász local lemma on permutations. In: Proceedings of 25th ACM-SIAM Symposium on Discrete Algorithms (SODA) pp. 907–925 (2014)Google Scholar
  20. 20.
    Haxell, P.E.: A note on vertex list colouring. Comb. Probab. Comput. 10(4), 345–347 (2001)MathSciNetCrossRefMATHGoogle Scholar
  21. 21.
    Hind, H., Molloy, M., Reed, B.: Colouring a graph frugally. Combinatorica 17(4), 469–482 (1997)MathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Kolipaka, K., Szegedy, M.: Moser and Tardos meet Lovász. In: Proceedings 43rd ACM Symposium on Theory of Computing (STOC), pp. 235–244 (2011)Google Scholar
  23. 23.
    Kuhn, F., Moscibroda, T., Wattenhofer, R.: Local computation: lower and upper bounds. J. ACM 63(2), 17 (2016)MathSciNetCrossRefGoogle Scholar
  24. 24.
    Kuhn, F., Wattenhofer, R.: On the complexity of distributed graph coloring. In: Proceedings 25th Annual ACM Symposium on Principles of Distributed Computing (PODC), pp. 7–15 (2006)Google Scholar
  25. 25.
    Levi, R., Rubinfeld, R., Yodpinyanee, A.: Local computation algorithms for graphs of non-constant degrees. Algorithmica, pp. 1–24 (2016)Google Scholar
  26. 26.
    Linial, N.: Locality in distributed graph algorithms. SIAM J. Comput. 21(1), 193–201 (1992)MathSciNetCrossRefMATHGoogle Scholar
  27. 27.
    Luby, M.: A simple parallel algorithm for the maximal independent set problem. SIAM J. Comput. 15(4), 1036–1053 (1986)MathSciNetCrossRefMATHGoogle Scholar
  28. 28.
    Molloy, M., Reed, B.: Further algorithmic aspects of the local lemma. In: Proceedings of 30th ACM Symposium on Theory of Computing (STOC), pp. 524–529 (1998)Google Scholar
  29. 29.
    Molloy, M., Reed, B.: Graph Colouring and the Probabilistic Method. Algorithms and Combinatorics. Springer, Berlin (2001)MATHGoogle Scholar
  30. 30.
    Molloy, M., Reed, B.: Asymptotically optimal frugal colouring. J. Comb. Theory Ser. B 100(2), 226–246 (2010)MathSciNetCrossRefMATHGoogle Scholar
  31. 31.
    Moser, R.A.: Derandomizing the Lovász local lemma more effectively. CoRR, abs/0807.2120 (2008)Google Scholar
  32. 32.
    Moser, R.A.: A constructive proof of the Lovász local lemma. In: Proceedings of 41st ACM Symposium on Theory of Computing (STOC), pp. 343–350 (2009)Google Scholar
  33. 33.
    Moser, R.A., Tardos, G.: A constructive proof of the general Lovász local lemma. J. ACM 57(2), 11 (2010)CrossRefMATHGoogle Scholar
  34. 34.
    Pegden, W.: An extension of the Moser–Tardos algorithmic local lemma. SIAM J. Discrete Math. 28(2), 911–917 (2014)MathSciNetCrossRefMATHGoogle Scholar
  35. 35.
    Peleg, D.: Distributed Computing: A Locality-Sensitive Approach. Monographs on Discrete Mathematics and Applications. Society for Industrial and Applied Mathematics, Philadelphia (2000)CrossRefGoogle Scholar
  36. 36.
    Pemmaraju, S., Srinivasan, A.: The randomized coloring procedure with symmetry-breaking. In: Proceedings of 35th Int’l Colloq. on Automata, Languages, and Programming (ICALP), pp. 306–319 (2008)Google Scholar
  37. 37.
    Pettie, S., Su, H.-H.: Fast distributed coloring algorithms for triangle-free graphs. In: Proceedings of 40th Int’l Colloq. on Automata, Languages, and Programming (ICALP), pp. 687–699, (2013)Google Scholar
  38. 38.
    Reed, B.: The list colouring constants. J. Graph Theory 31(2), 149–153 (1999)MathSciNetCrossRefMATHGoogle Scholar
  39. 39.
    Reed, B., Sudakov, B.: Asymptotically the list colouring constants are 1. J. Comb. Theory Ser. B 86(1), 27–37 (2002)Google Scholar
  40. 40.
    Schneider, J., Wattenhofer, R.: A new technique for distributed symmetry breaking. In: Proceedings of 29th ACM Symposium on Principles of Distributed Computing (PODC), pp. 257–266 (2010)Google Scholar
  41. 41.
    Spencer, J.: Asymptotic lower bounds for Ramsey functions. Discret. Math. 20, 69–76 (1977)MathSciNetCrossRefMATHGoogle Scholar
  42. 42.
    Srinivasan, A.: Improved algorithmic versions of the Lovász local lemma. In: Proceedings of 19th ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 611–620 (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  1. 1.Academia SinicaTaipeiTaiwan
  2. 2.University of MichiganAnn ArborUSA
  3. 3.MITCambridgeUSA

Personalised recommendations