Local Recurrent Problems in the SUPPORTED Model

Authors Akanksha Agrawal , John Augustine , David Peleg , Srikkanth Ramachandran



PDF
Thumbnail PDF

File

LIPIcs.OPODIS.2023.22.pdf
  • Filesize: 0.96 MB
  • 19 pages

Document Identifiers

Author Details

Akanksha Agrawal
  • Indian Institute of Technology Madras, India
John Augustine
  • Indian Institute of Technology Madras, India
David Peleg
  • Weizmann Institute of Science, Rehovot, Israel
Srikkanth Ramachandran
  • Indian Institute of Technology Madras, India

Acknowledgements

David Peleg holds the Venky Harinarayanan and Anand Rajaraman (VHAR) Visiting Chair Professorship at IIT Madras. This work was carried out in part during mutual visits that were supported by the VHAR Visiting Chair funds.

Cite As Get BibTex

Akanksha Agrawal, John Augustine, David Peleg, and Srikkanth Ramachandran. Local Recurrent Problems in the SUPPORTED Model. In 27th International Conference on Principles of Distributed Systems (OPODIS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 286, pp. 22:1-22:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/LIPIcs.OPODIS.2023.22

Abstract

We study the SUPPORTED model of distributed computing introduced by Schmid and Suomela [Schmid and Suomela, 2013], which generalizes the LOCAL and CONGEST models. In this framework, multiple instances of the same problem, differing from each other by the subnetwork to which they apply. recur over time, and need to be solved efficiently online. To do that, one may rely on an initial preprocessing phase for computing some useful information. This preprocessing phase makes it possible, in some cases, to obtain improved distributed algorithms, overcoming locality-based time lower bounds.
Our main contribution is to expand the class of problems to which the SUPPORTED model applies, by handling also multiple recurring instances of the same problem that differ from each other by some problem specific input, and not only the subnetwork to which they apply. We illustrate this by considering two extended problem classes. The first class, denoted PCS, concerns problems where client nodes of the network need to be served, and each recurring instance applies to some Partial Client Set. The second class, denoted PFO, concerns situations where each recurrent instance of the problem includes a partially fixed output, which needs to be completed to a full consistent solution.
Specifically, we propose some natural recurrent variants of the dominating set problem and the coloring problem that are of interest particularly in the distributed setting. For these problems, we show that information about the topology can be used to overcome locality-based lower bounds. We also categorize the round complexity of Locally Checkable Labellings in the SUPPORTED model for the simple case of paths. Finally we present some interesting open problems and some partial results towards resolving them.

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed computing models
  • Theory of computation → Distributed algorithms
Keywords
  • Distributed Algorithms
  • LOCAL Model
  • SUPPORTED Model

Metrics

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

References

  1. Akanksha Agrawal, John Augustine, David Peleg, and Srikkanth Ramachandran. Local problems in the supported model. Technical Report 2212.14542, arXiv, 2022. Full version of this paper. URL: https://doi.org/10.48550/arXiv.2212.14542.
  2. Noga Alon, Jarosław Grytczuk, Mariusz Hałuszczak, and Oliver Riordan. Nonrepetitive colorings of graphs. Random Structures & Algorithms, 21(3-4):336-346, 2002. URL: https://doi.org/10.1002/RSA.10057.
  3. Saeed Akhoondian Amiri, Stefan Schmid, and Sebastian Siebertz. Distributed dominating set approximations beyond planar graphs. ACM Trans. Algorithms, 15(3), jun 2019. URL: https://doi.org/10.1145/3326170.
  4. Brenda S Baker. Approximation algorithms for np-complete problems on planar graphs. Journal of the ACM (JACM), 41(1):153-180, 1994. URL: https://doi.org/10.1145/174644.174650.
  5. Alkida Balliu, Sebastian Brandt, Juho Hirvonen, Dennis Olivetti, Mikaël Rabie, and Jukka Suomela. Lower bounds for maximal matchings and maximal independent sets. J.ACM, 68(5):1-30, 2021. URL: https://doi.org/10.1145/3461458.
  6. Alkida Balliu, Sebastian Brandt, Dennis Olivetti, Jan Studenỳ, Jukka Suomela, and Aleksandr Tereshchenko. Locally checkable problems in rooted trees. In Proc. 2021 ACM Symp. on Principles of Distributed Computing, pages 263-272, 2021. URL: https://doi.org/10.1145/3465084.3467934.
  7. Leonid Barenboim. Deterministic (δ+ 1)-coloring in sublinear (in δ) time in static, dynamic, and faulty networks. J. ACM, 63(5):1-22, 2016. URL: https://doi.org/10.1145/2979675.
  8. Leonid Barenboim, Michael Elkin, and Uri Goldenberg. Locally-iterative distributed (delta + 1): -coloring below szegedy-vishwanathan barrier, and applications to self-stabilization and to restricted-bandwidth models. In Proc. ACM Symp. on Principles of Distributed Computing (PODC), pages 437-446, 2018. Google Scholar
  9. Sebastian Brandt, Juho Hirvonen, Janne H. Korhonen, Tuomo Lempiäinen, Patric R. J. Östergård, Christopher Purcell, Joel Rybicki, Jukka Suomela, and Przemyslaw Uznanski. LCL problems on grids. In Elad Michael Schiller and Alexander A. Schwarzmann, editors, Proceedings of the ACM Symposium on Principles of Distributed Computing, PODC 2017, Washington, DC, USA, July 25-27, 2017, pages 101-110. ACM, 2017. URL: https://doi.org/10.1145/3087801.3087833.
  10. Yi-Jun Chang. The complexity landscape of distributed locally checkable problems on trees. In Hagit Attiya, editor, 34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference, volume 179 of LIPIcs, pages 18:1-18:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. URL: https://doi.org/10.4230/LIPICS.DISC.2020.18.
  11. Yi-Jun Chang, Tsvi Kopelowitz, and Seth Pettie. An exponential separation between randomized and deterministic complexity in the local model. SIAM J. Computing, 48(1):122-143, 2019. URL: https://doi.org/10.1137/17M1117537.
  12. Yi-Jun Chang and Seth Pettie. A time hierarchy theorem for the local model. SIAM J. Computing, 48(1):33-69, 2019. URL: https://doi.org/10.1137/17M1157957.
  13. Yi-Jun Chang, Jan Studený, and Jukka Suomela. Distributed graph problems through an automata-theoretic lens. In Tomasz Jurdzinski and Stefan Schmid, editors, Structural Information and Communication Complexity - 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 - July 1, 2021, Proceedings, volume 12810 of Lecture Notes in Computer Science, pages 31-49. Springer, 2021. URL: https://doi.org/10.1007/978-3-030-79527-6_3.
  14. Andrzej Czygrinow, Michal Hańćkowiak, and Wojciech Wawrzyniak. Fast distributed approximations in planar graphs. In Gadi Taubenfeld, editor, Distributed Computing, pages 78-92, Berlin, Heidelberg, 2008. Springer Berlin Heidelberg. URL: https://doi.org/10.1007/978-3-540-87779-0_6.
  15. Vida Dujmović , Louis Esperet, Gwenaël Joret, Bartosz Walczak, and David Wood. Planar graphs have bounded nonrepetitive chromatic number. Advances in Combinatorics, mar 2020. URL: https://doi.org/10.19086/aic.12100.
  16. Klaus-Tycho Foerster, Juho Hirvonen, Stefan Schmid, and Jukka Suomela. On the power of preprocessing in decentralized network optimization. In IEEE INFOCOM 2019-IEEE Conference on Computer Communications, pages 1450-1458. IEEE, 2019. URL: https://doi.org/10.1109/INFOCOM.2019.8737382.
  17. Pierre Fraigniaud, Marc Heinrich, and Adrian Kosowski. Local conflict coloring. In 2016 IEEE 57th Symp. on foundations of computer science (FOCS), pages 625-634. IEEE, 2016. URL: https://doi.org/10.1109/FOCS.2016.73.
  18. Christoph Grunau, Václav Rozhon, and Sebastian Brandt. The landscape of distributed complexities on trees and beyond. In Alessia Milani and Philipp Woelfel, editors, PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25 - 29, 2022, pages 37-47. ACM, 2022. URL: https://doi.org/10.1145/3519270.3538452.
  19. Chetan Gupta, Juho Hirvonen, Janne H. Korhonen, Jan Studený, and Jukka Suomela. Sparse matrix multiplication in the low-bandwidth model. In SPAA '22: 34th ACM Symp. on Parallelism in Algorithms and Architectures, pages 435-444, 2022. URL: https://doi.org/10.1145/3490148.3538575.
  20. Bernhard Haeupler, David Wajc, and Goran Zuzic. Universally-optimal distributed algorithms for known topologies. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, pages 1166-1179, 2021. URL: https://doi.org/10.1145/3406325.3451081.
  21. Ozan Heydt, Sebastian Siebertz, and Alexandre Vigny. Local planar domination revisited. In Merav Parter, editor, Structural Information and Communication Complexity - 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings, volume 13298 of Lecture Notes in Computer Science, pages 154-173. Springer, 2022. URL: https://doi.org/10.1007/978-3-031-09993-9_9.
  22. Nathan Linial. Locality in distributed graph algorithms. SIAM J. Comput., 21(1):193-201, 1992. URL: https://doi.org/10.1137/0221015.
  23. Yannic Maus. Distributed graph coloring made easy. In Proc. 33rd ACM Symp. on Parallelism in Algorithms and Architectures, pages 362-372, 2021. URL: https://doi.org/10.1145/3409964.3461804.
  24. Yannic Maus and Tigran Tonoyan. Local conflict coloring revisited: Linial for lists. arXiv preprint, 2020. URL: https://arxiv.org/abs/2007.15251.
  25. Adir Morgan, Shay Solomon, and Nicole Wein. Algorithms for the minimum dominating set problem in bounded arboricity graphs: Simpler, faster, and combinatorial. In Seth Gilbert, editor, 35th International Symposium on Distributed Computing, DISC 2021, October 4-8, 2021, Freiburg, Germany (Virtual Conference), volume 209 of LIPIcs, pages 33:1-33:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. URL: https://doi.org/10.4230/LIPICS.DISC.2021.33.
  26. Moni Naor and Larry J. Stockmeyer. What can be computed locally? SIAM J. Comput., 24(6):1259-1277, 1995. URL: https://doi.org/10.1137/S0097539793254571.
  27. Stefan Schmid and Jukka Suomela. Exploiting locality in distributed sdn control. In Proc. 2nd ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN '13, pages 121-126, New York, NY, USA, 2013. Association for Computing Machinery. URL: https://doi.org/10.1145/2491185.2491198.
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