Document

# Derandomizing Local Distributed Algorithms under Bandwidth Restrictions

## File

LIPIcs.DISC.2017.11.pdf
• Filesize: 0.53 MB
• 16 pages

## Cite As

Keren Censor-Hillel, Merav Parter, and Gregory Schwartzman. Derandomizing Local Distributed Algorithms under Bandwidth Restrictions. In 31st International Symposium on Distributed Computing (DISC 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 91, pp. 11:1-11:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/LIPIcs.DISC.2017.11

## Abstract

This paper addresses the cornerstone family of local problems in distributed computing, and investigates the curious gap between randomized and deterministic solutions under bandwidth restrictions. Our main contribution is in providing tools for derandomizing solutions to local problems, when the n nodes can only send O(log n)-bit messages in each round of communication. We combine bounded independence, which we show to be sufficient for some algorithms, with the method of conditional expectations and with additional machinery, to obtain the following results. First, we show that in the Congested Clique model, which allows all-to-all communication, there is a deterministic maximal independent set (MIS) algorithm that runs in O(log^2 Delta) rounds, where Delta is the maximum degree. When Delta=O(n^(1/3)), the bound improves to O(log Delta). Adapting the above to the CONGEST model gives an O(D log^2 n)-round deterministic MIS algorithm, where D is the diameter of the graph. Apart from a previous unproven claim of a O(D log^3 n)-round algorithm, the only known deterministic solutions for the CONGEST model are a coloring-based O(Delta + log^* n)-round algorithm, where Delta is the maximal degree in the graph, and a 2^O(sqrt(log n log log n))-round algorithm, which is super-polylogarithmic in n. In addition, we deterministically construct a (2k-1)-spanner with O(kn^(1+1/k) log n) edges in O(k log n) rounds in the Congested Clique model. For comparison, in the more stringent CONGEST model, where the communication graph is identical to the input graph, the best deterministic algorithm for constructing a (2k-1)-spanner with O(kn^(1+1/k)) edges runs in O(n^(1-1/k)) rounds.
##### Keywords
• Local problems
• congested clique
• derandomization

## Metrics

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

## References

1. Noga Alon, László Babai, and Alon Itai. A fast and simple randomized parallel algorithm for the maximal independent set problem. Journal of algorithms, 7(4):567-583, 1986.
2. Baruch Awerbuch, Andrew V. Goldberg, Michael Luby, and Serge A. Plotkin. Network decomposition and locality in distributed computation. In FOCS, pages 364-369, 1989.
3. Leonid Barenboim. Deterministic (Δ + 1)-coloring in sublinear (in Δ) time in static, dynamic, and faulty networks. J. ACM, 63(5):47:1-47:22, 2016.
4. Leonid Barenboim and Michael Elkin. Distributed graph coloring: Fundamentals and recent developments. Synthesis Lectures on Distributed Computing Theory, 4(1):1-171, 2013.
5. Leonid Barenboim, Michael Elkin, and Cyril Gavoille. A fast network-decomposition algorithm and its applications to constant-time distributed computation. In SIROCCO, pages 209-223, 2015.
6. Leonid Barenboim, Michael Elkin, and Fabian Kuhn. Distributed (delta+1)-coloring in linear (in delta) time. SIAM J. Comput., 43(1):72-95, 2014.
7. Leonid Barenboim, Michael Elkin, Seth Pettie, and Johannes Schneider. The locality of distributed symmetry breaking. J. ACM, 63(3):20:1-20:45, 2016.
8. Surender Baswana and Sandeep Sen. A simple and linear time randomized algorithm for computing sparse spanners in weighted graphs. Random Structures &Algorithms, 30(4):532-563, 2007.
9. Bonnie Berger and John Rompel. Simulating (log cn)-wise independence in nc. Journal of the ACM (JACM), 38(4):1026-1046, 1991.
10. Sebastian Brandt, Orr Fischer, Juho Hirvonen, Barbara Keller, Tuomo Lempiäinen, Joel Rybicki, Jukka Suomela, and Jara Uitto. A lower bound for the distributed lovász local lemma. In STOC, pages 479-488, 2016.
11. Keren Censor-Hillel, Petteri Kaski, Janne H. Korhonen, Christoph Lenzen, Ami Paz, and Jukka Suomela. Algebraic methods in the congested clique. In PODC, pages 143-152, 2015.
12. Keren Censor-Hillel, Merav Parter, and Gregory Schwartzman. Derandomizing local distributed algorithms under bandwidth restrictions. arXiv preprint arXiv:1608.01689, 2016. URL: https://arxiv.org/abs/1608.01689.
13. Karthekeyan Chandrasekaran, Navin Goyal, and Bernhard Haeupler. Deterministic algorithms for the lovász local lemma. SIAM Journal on Computing, 42(6):2132-2155, 2013.
14. Yi-Jun Chang, Tsvi Kopelowitz, and Seth Pettie. An exponential separation between randomized and deterministic complexity in the LOCAL model. In FOCS, pages 615-624, 2016.
15. Bilel Derbel and Cyril Gavoille. Fast deterministic distributed algorithms for sparse spanners. Theor. Comput. Sci., 399(1-2):83-100, 2008.
16. Bilel Derbel, Cyril Gavoille, and David Peleg. Deterministic distributed construction of linear stretch spanners in polylogarithmic time. In DISC, pages 179-192, 2007.
17. Bilel Derbel, Cyril Gavoille, David Peleg, and Laurent Viennot. On the locality of distributed sparse spanner construction. In PODC, pages 273-282, 2008.
18. Bilel Derbel, Cyril Gavoille, David Peleg, and Laurent Viennot. Local computation of nearly additive spanners. In DISC, pages 176-190, 2009.
19. Bilel Derbel, Mohamed Mosbah, and Akka Zemmari. Sublinear fully distributed partition with applications. Theory of Computing Systems, 47(2):368-404, 2010.
20. Danny Dolev, Christoph Lenzen, and Shir Peled. "tri, tri again": Finding triangles and small subgraphs in a distributed setting - (extended abstract). In DISC, pages 195-209, 2012.
21. Andrew Drucker, Fabian Kuhn, and Rotem Oshman. On the power of the congested clique model. In PODC, pages 367-376, 2014.
22. Michael Elkin. A faster distributed protocol for constructing a minimum spanning tree. J. Comput. Syst. Sci., 72(8):1282-1308, 2006.
23. Michael Elkin. A near-optimal distributed fully dynamic algorithm for maintaining sparse spanners. In PODC, pages 185-194, 2007.
24. Laurent Feuilloley and Pierre Fraigniaud. Randomized local network computing. In SPAA, pages 340-349, 2015.
25. François Le Gall. Further algebraic algorithms in the congested clique model and applications to graph-theoretic problems. In DISC, pages 57-70, 2016.
26. Mohsen Ghaffari. An improved distributed algorithm for maximal independent set. In SODA, pages 270-277, 2016.
27. Mohsen Ghaffari and Merav Parter. Mst in log-star rounds of congested clique. In PODC, pages 19-28, 2016.
28. Mark Goldberg and Thomas Spencer. A new parallel algorithm for the maximal independent set problem. SIAM Journal on Computing, 18(2):419-427, 1989.
29. Yijie Han. A fast derandomization scheme and its applications. SIAM Journal on Computing, 25(1):52-82, 1996.
30. James W. Hegeman, Gopal Pandurangan, Sriram V. Pemmaraju, Vivek B. Sardeshmukh, and Michele Scquizzato. Toward optimal bounds in the congested clique: Graph connectivity and MST. In PODC, pages 91-100, 2015.
31. James W. Hegeman and Sriram V. Pemmaraju. Lessons from the congested clique applied to mapreduce. In SIROCCO, pages 149-164, 2014.
32. James W. Hegeman, Sriram V. Pemmaraju, and Vivek Sardeshmukh. Near-constant-time distributed algorithms on a congested clique. In DISC, pages 514-530, 2014.
33. Monika Henzinger, Sebastian Krinninger, and Danupon Nanongkai. A deterministic almost-tight distributed algorithm for approximating single-source shortest paths. In STOC, pages 489-498, 2016.
34. Stephan Holzer and Nathan Pinsker. Approximation of distances and shortest paths in the broadcast congest clique. In OPODIS, pages 6:1-6:16, 2015.
35. Amos Israeli and Alon Itai. A fast and simple randomized parallel algorithm for maximal matching. Inf. Process. Lett., 22(2):77-80, 1986.
36. Richard M Karp and Avi Wigderson. A fast parallel algorithm for the maximal independent set problem. In STOC, pages 266-272, 1984.
37. Fabian Kuhn, Thomas Moscibroda, and Roger Wattenhofer. Local computation: Lower and upper bounds. J. ACM, 63(2):17, 2016.
38. Christoph Lenzen. Optimal deterministic routing and sorting on the congested clique. In PODC, pages 42-50, 2013.
39. Christoph Lenzen and Roger Wattenhofer. Tight bounds for parallel randomized load balancing: extended abstract. In STOC, pages 11-20, 2011.
40. Nathan Linial. Locality in distributed graph algorithms. SIAM Journal on Computing, 21(1):193-201, 1992.
41. Zvi Lotker, Elan Pavlov, Boaz Patt-Shamir, and David Peleg. MST construction in O(log log n) communication rounds. In SPAA, pages 94-100, 2003.
42. Michael Luby. A simple parallel algorithm for the maximal independent set problem. SIAM journal on computing, 15(4):1036-1053, 1986.
43. Michael Luby. Removing randomness in parallel computation without a processor penalty. Journal of Computer and System Sciences, 47(2):250-286, 1993.
44. Michael Mitzenmacher and Eli Upfal. Probability and computing - randomized algorithms and probabilistic analysis. Cambridge University Press, 2005.
45. Rajeev Motwani, Joseph Naor, and Moni Naor. The probabilistic method yields deterministic parallel algorithms. J. Comput. Syst. Sci., 49(3):478-516, 1994.
46. Danupon Nanongkai. Distributed approximation algorithms for weighted shortest paths. In STOC, pages 565-573, 2014.
47. Moni Naor and Larry J. Stockmeyer. What can be computed locally? SIAM J. Comput., 24(6):1259-1277, 1995.
48. Alessandro Panconesi and Aravind Srinivasan. Improved distributed algorithms for coloring and network decomposition problems. In STOC, pages 581-592, 1992.
49. Alessandro Panconesi and Aravind Srinivasan. On the complexity of distributed network decomposition. J. Algorithms, 20(2):356-374, 1996.
50. Grammati Pantziou, Paul Spirakis, and Christos Zaroliagis. Fast parallel approximations of the maximum weighted cut problem through derandomization. In FSTTCS, pages 20-29, 1989.
51. Boaz Patt-Shamir and Marat Teplitsky. The round complexity of distributed sorting: extended abstract. In PODC, pages 249-256, 2011.
52. Seth Pettie. Distributed algorithms for ultrasparse spanners and linear size skeletons. Distributed Computing, 22(3):147-166, 2010.
53. Liam Roditty, Mikkel Thorup, and Uri Zwick. Deterministic constructions of approximate distance oracles and spanners. In ICALP, pages 261-272, 2005.
54. Anand Srivastav and Lasse Kliemann. Parallel algorithms via the probabilistic method. In Handbook of Parallel Computing - Models, Algorithms and Applications. Chapman and Hall/CRC, 2007.
55. Jukka Suomela. Survey of local algorithms. ACM Comput. Surv., 45(2):24, 2013.
56. Salil P. Vadhan. Pseudorandomness. Foundations and Trends in Theoretical Computer Science, 7(1-3):1-336, 2012.
X

Feedback for Dagstuhl Publishing