Document Open Access Logo

Faster Cycle Detection in the Congested Clique

Authors Keren Censor-Hillel , Tomer Even , Virginia Vassilevska Williams

PDF
Thumbnail PDF

File

LIPIcs.DISC.2024.12.pdf
  • Filesize: 0.88 MB
  • 18 pages

Document Identifiers

Author Details

Keren Censor-Hillel
  • Department of Computer Science, Technion, Haifa, Israel
Tomer Even
  • Department of Computer Science, Technion, Haifa, Israel
Virginia Vassilevska Williams
  • Massachusetts Institute of Technology, Cambridge, MA, USA

Funding

  • Censor-Hillel, Keren: The research is supported in part by the Israel Science Foundation (grant 529/23).
  • Vassilevska Williams, Virginia: Supported by NSF Grant CCF-2330048, BSF Grant 2020356, and a Simons Investigator Award.

Acknowledgements

We would like to thank the anonymous reviewers for their feedback.

Cite As Get BibTex

Keren Censor-Hillel, Tomer Even, and Virginia Vassilevska Williams. Faster Cycle Detection in the Congested Clique. In 38th International Symposium on Distributed Computing (DISC 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 319, pp. 12:1-12:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/LIPIcs.DISC.2024.12

Abstract

We provide a fast distributed algorithm for detecting h-cycles in the Congested Clique model, whose running time decreases as the number of h-cycles in the graph increases. In undirected graphs, constant-round algorithms are known for cycles of even length. Our algorithm greatly improves upon the state of the art for odd values of h. Moreover, our running time applies also to directed graphs, in which case the improvement is for all values of h. Further, our techniques allow us to obtain a triangle detection algorithm in the quantum variant of this model, which is faster than prior work.
A key technical contribution we develop to obtain our fast cycle detection algorithm is a new algorithm for computing the product of many pairs of small matrices in parallel, which may be of independent interest.

Subject Classification

ACM Subject Classification
  • Mathematics of computing → Graph algorithms
  • Theory of computation → Distributed algorithms
Keywords
  • triangle detection
  • cycle detection
  • distributed computing
  • Congested Clique
  • quantum computing
  • Fast matrix multiplication
  • Fast rectangular matrix multiplication

Metrics

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

Related Versions

References

  1. Amir Abboud, Keren Censor-Hillel, Seri Khoury, and Christoph Lenzen. Fooling views: a new lower bound technique for distributed computations under congestion. Distributed Comput., 33(6):545-559, 2020. URL: https://doi.org/10.1007/S00446-020-00373-4.
  2. Josh Alman, Ran Duan, Virginia Vassilevska Williams, Yinzhan Xu, Zixuan Xu, and Renfei Zhou. More asymmetry yields faster matrix multiplication, 2024. https://arxiv.org/abs/2404.16349, URL: https://doi.org/10.48550/arXiv.2404.16349.
  3. Noga Alon and Joel H Spencer. The probabilistic method. John Wiley & Sons, 2016. Google Scholar
  4. Noga Alon, Raphael Yuster, and Uri Zwick. Color-coding. Journal of the ACM (JACM), 42(4):844-856, 1995. URL: https://doi.org/10.1145/210332.210337.
  5. Jan van den Brand. Complexity term balancer. www.ocf.berkeley.edu/~vdbrand/complexity/. Tool to balance complexity terms depending on fast matrix multiplication.
  6. Keren Censor-Hillel. Distributed subgraph finding: Progress and challenges (invited talk). In 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference), volume 198 of LIPIcs, pages 3:1-3:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Up-to-date version on Arxiv, https://doi.org/10.48550/arXiv.2203.06597, 2021. URL: https://doi.org/10.4230/LIPIcs.ICALP.2021.3.
  7. Keren Censor-Hillel, Yi-Jun Chang, François Le Gall, and Dean Leitersdorf. Tight distributed listing of cliques. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 2878-2891. SIAM, 2021. URL: https://doi.org/10.1137/1.9781611976465.171.
  8. Keren Censor-Hillel, Michal Dory, Janne H. Korhonen, and Dean Leitersdorf. Fast approximate shortest paths in the congested clique. Distributed Comput., 34(6):463-487, 2021. URL: https://doi.org/10.1007/s00446-020-00380-5.
  9. Keren Censor-Hillel, Orr Fischer, François Le Gall, Dean Leitersdorf, and Rotem Oshman. Quantum distributed algorithms for detection of cliques. In Mark Braverman, editor, 13th Innovations in Theoretical Computer Science Conference, ITCS 2022, January 31 - February 3, 2022, Berkeley, CA, USA, volume 215 of LIPIcs, pages 35:1-35:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. URL: https://doi.org/10.4230/LIPICS.ITCS.2022.35.
  10. Keren Censor-Hillel, Orr Fischer, Tzlil Gonen, François Le Gall, Dean Leitersdorf, and Rotem Oshman. Fast distributed algorithms for girth, cycles and small subgraphs. In Hagit Attiya, editor, 34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference, volume 179 of LIPIcs, pages 33:1-33:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. URL: https://doi.org/10.4230/LIPICS.DISC.2020.33.
  11. Keren Censor-Hillel, François Le Gall, and Dean Leitersdorf. On distributed listing of cliques. In Proceedings of the 39th Symposium on Principles of Distributed Computing, pages 474-482, 2020. URL: https://doi.org/10.1145/3382734.3405742.
  12. Keren Censor-Hillel, Petteri Kaski, Janne H. Korhonen, Christoph Lenzen, Ami Paz, and Jukka Suomela. Algebraic methods in the congested clique. Distributed Comput., 32(6):461-478, 2019. URL: https://doi.org/10.1007/s00446-016-0270-2.
  13. Keren Censor-Hillel, Dean Leitersdorf, and Elia Turner. Sparse matrix multiplication and triangle listing in the congested clique model. Theoretical Computer Science, 809:45-60, 2020. URL: https://doi.org/10.1016/J.TCS.2019.11.006.
  14. Keren Censor-Hillel, Dean Leitersdorf, and David Vulakh. Deterministic near-optimal distributed listing of cliques. In Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing, pages 271-280, 2022. URL: https://doi.org/10.1145/3519270.3538434.
  15. Yi-Jun Chang, Shang-En Huang, and Hsin-Hao Su. Deterministic expander routing: Faster and more versatile. arXiv preprint arXiv:2405.03908, 2024. URL: https://doi.org/10.48550/arXiv.2405.03908.
  16. Yi-Jun Chang, Seth Pettie, Thatchaphol Saranurak, and Hengjie Zhang. Near-optimal distributed triangle enumeration via expander decompositions. Journal of the ACM (JACM), 68(3):1-36, 2021. URL: https://doi.org/10.1145/3446330.
  17. Yi-Jun Chang and Thatchaphol Saranurak. Deterministic distributed expander decomposition and routing with applications in distributed derandomization. In Sandy Irani, editor, 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020, Durham, NC, USA, November 16-19, 2020, pages 377-388. IEEE, 2020. URL: https://doi.org/10.1109/FOCS46700.2020.00043.
  18. Benjamin Doerr and Frank Neumann, editors. Theory of Evolutionary Computation - Recent Developments in Discrete Optimization. Natural Computing Series. Springer, 2020. URL: https://doi.org/10.1007/978-3-030-29414-4.
  19. Danny Dolev, Christoph Lenzen, and Shir Peled. “tri, tri again”: finding triangles and small subgraphs in a distributed setting. In Distributed Computing: 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings 26, pages 195-209. Springer, 2012. Google Scholar
  20. Andrew Drucker, Fabian Kuhn, and Rotem Oshman. On the power of the congested clique model. In Magnús M. Halldórsson and Shlomi Dolev, editors, ACM Symposium on Principles of Distributed Computing, PODC '14, Paris, France, July 15-18, 2014, pages 367-376. ACM, 2014. URL: https://doi.org/10.1145/2611462.2611493.
  21. Andrew Drucker, Fabian Kuhn, and Rotem Oshman. On the power of the congested clique model. In Proceedings of the 2014 ACM symposium on Principles of distributed computing, pages 367-376, 2014. URL: https://doi.org/10.1145/2611462.2611493.
  22. Talya Eden, Nimrod Fiat, Orr Fischer, Fabian Kuhn, and Rotem Oshman. Sublinear-time distributed algorithms for detecting small cliques and even cycles. Distributed Computing, pages 1-28, 2022. Google Scholar
  23. Michael Elkin, Hartmut Klauck, Danupon Nanongkai, and Gopal Pandurangan. Can quantum communication speed up distributed computation? In Magnús M. Halldórsson and Shlomi Dolev, editors, ACM Symposium on Principles of Distributed Computing, PODC '14, Paris, France, July 15-18, 2014, pages 166-175. ACM, 2014. URL: https://doi.org/10.1145/2611462.2611488.
  24. Michael Elkin and Ofer Neiman. Centralized, parallel, and distributed multi-source shortest paths via hopsets and rectangular matrix multiplication. In 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022). Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022. Google Scholar
  25. Orr Fischer, Tzlil Gonen, Fabian Kuhn, and Rotem Oshman. Possibilities and impossibilities for distributed subgraph detection. In Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, pages 153-162, 2018. URL: https://doi.org/10.1145/3210377.3210401.
  26. Pierre Fraigniaud, Mael Luce, Frederic Magniez, and Ioan Todinca. Even-cycle detection in the randomized and quantum congest model. arXiv preprint arXiv:2402.12018, 2024. Google Scholar
  27. François Le Gall. Further algebraic algorithms in the congested clique model and applications to graph-theoretic problems. In Cyril Gavoille and David Ilcinkas, editors, Distributed Computing - 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings, volume 9888 of Lecture Notes in Computer Science, pages 57-70. Springer, 2016. URL: https://doi.org/10.1007/978-3-662-53426-7_5.
  28. Mohsen Ghaffari, Fabian Kuhn, and Hsin-Hao Su. Distributed mst and routing in almost mixing time. In Proceedings of the ACM Symposium on Principles of Distributed Computing, pages 131-140, 2017. URL: https://doi.org/10.1145/3087801.3087827.
  29. Mohsen Ghaffari and Jason Li. New distributed algorithms in almost mixing time via transformations from parallel algorithms. In 32nd International Symposium on Distributed Computing, 2018. Google Scholar
  30. Lov K Grover. A fast quantum mechanical algorithm for database search. In Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, pages 212-219, 1996. URL: https://doi.org/10.1145/237814.237866.
  31. Taisuke Izumi and François Le Gall. Quantum distributed algorithm for the all-pairs shortest path problem in the CONGEST-CLIQUE model. In Peter Robinson and Faith Ellen, editors, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019, pages 84-93. ACM, 2019. URL: https://doi.org/10.1145/3293611.3331628.
  32. Taisuke Izumi and François Le Gall. Triangle finding and listing in congest networks. In Proceedings of the ACM Symposium on Principles of Distributed Computing, pages 381-389, 2017. URL: https://doi.org/10.1145/3087801.3087811.
  33. Taisuke Izumi, François Le Gall, and Frédéric Magniez. Quantum distributed algorithm for triangle finding in the congest model. In 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. Google Scholar
  34. Janne H. Korhonen and Joel Rybicki. Deterministic subgraph detection in broadcast CONGEST. In James Aspnes, Alysson Bessani, Pascal Felber, and João Leitão, editors, 21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017, volume 95 of LIPIcs, pages 4:1-4:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. URL: https://doi.org/10.4230/LIPICS.OPODIS.2017.4.
  35. François Le Gall and Frédéric Magniez. Sublinear-time quantum computation of the diameter in congest networks. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, pages 337-346, 2018. URL: https://dl.acm.org/citation.cfm?id=3212744.
  36. Christoph Lenzen. Optimal deterministic routing and sorting on the congested clique. In Proceedings of the 2013 ACM symposium on Principles of distributed computing, pages 42-50, 2013. URL: https://doi.org/10.1145/2484239.2501983.
  37. Zvi Lotker, Boaz Patt-Shamir, Elan Pavlov, and David Peleg. Minimum-weight spanning tree construction in o (log log n) communication rounds. SIAM journal on computing, 35(1):120-131, 2006. URL: https://doi.org/10.1137/S0097539704441848.
  38. Gopal Pandurangan, Peter Robinson, and Michele Scquizzato. On the distributed complexity of large-scale graph computations. ACM Transactions on Parallel Computing (TOPC), 8(2):1-28, 2021. URL: https://doi.org/10.1145/3460900.
  39. Joran van Apeldoorn and Tijn de Vos. A framework for distributed quantum queries in the CONGEST model. In Alessia Milani and Philipp Woelfel, editors, PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25 - 29, 2022, pages 109-119. ACM, 2022. URL: https://doi.org/10.1145/3519270.3538413.
  40. Virginia Vassilevska Williams, Yinzhan Xu, Zixuan Xu, and Renfei Zhou. New bounds for matrix multiplication: from alpha to omega. In Proc. SODA, page to appear, 2024. 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
© 2023-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact