Document Open Access Logo

Color Fault-Tolerant Spanners

Authors Asaf Petruschka, Shay Sapir, Elad Tzalik

PDF
Thumbnail PDF

File

LIPIcs.ITCS.2024.88.pdf
  • Filesize: 0.7 MB
  • 17 pages

Document Identifiers

Author Details

Asaf Petruschka
  • Weizmann Institute of Science, Rehovot, Israel
Shay Sapir
  • Weizmann Institute of Science, Rehovot, Israel
Elad Tzalik
  • Weizmann Institute of Science, Rehovot, Israel

Funding

  • Petruschka, Asaf: Supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, grant agreement No. 949083, and by the Israeli Science Foundation (ISF), grant 2084/18.
  • Sapir, Shay: Partially supported by the Israeli Council for Higher Education (CHE) via the Weizmann Data Science Research Center.

Acknowledgements

We are grateful to Merav Parter for encouraging this collaboration, and for helpful guidance and discussions. We thank Nathan Wallheimer for useful discussions.

Cite AsGet BibTex

Asaf Petruschka, Shay Sapir, and Elad Tzalik. Color Fault-Tolerant Spanners. In 15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 287, pp. 88:1-88:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.ITCS.2024.88

Abstract

We initiate the study of spanners in arbitrarily vertex- or edge-colored graphs (with no "legality" restrictions), that are resilient to failures of entire color classes. When a color fails, all vertices/edges of that color crash. An f-color fault-tolerant (f-CFT) t-spanner of an n-vertex colored graph G is a subgraph H that preserves distances up to factor t, even in the presence of at most f color faults. This notion generalizes the well-studied f-vertex/edge fault-tolerant (f-V/EFT) spanners. The size (number of edges) of an f-V/EFT spanner crucially depends on the number f of vertex/edge faults to be tolerated. In the colored variants, even a single color fault can correspond to an unbounded number of vertex/edge faults. The key conceptual contribution of this work is in showing that the size required by an f-CFT spanner is in fact comparable to its uncolored counterpart, with no dependency on the size of color classes. We provide optimal bounds on the size required by f-CFT (2k-1)-spanners, as follows: - When vertices have colors, we show an upper bound of O(f^{1-1/k} n^{1+1/k}) edges. This precisely matches the (tight) bounds for (2k-1)-spanners resilient to f individual vertex faults [Bodwin et al., SODA 2018; Bodwin and Patel, PODC 2019]. - For colored edges, we show that O(f n^{1+1/k}) edges are always sufficient. Further, we prove this is tight, i.e., we provide an Ω(f n^{1+1/k}) (worst-case) lower bound. The state-of-the-art bounds known for the corresponding uncolored setting of edge faults are (roughly) Θ(f^{1/2} n^{1+1/k}) [Bodwin et al., SODA 2018; Bodwin, Dinitz and Robelle, SODA 2022]. - We also consider a mixed model where both vertices and edges are colored. In this case, we show tight Θ(f^{2-1/k} n^{1+1/k}) bounds. Thus, CFT spanners exhibit an interesting phenomenon: while (individual) edge faults are "easier" than vertex faults, edge-color faults are "harder" than vertex-color faults. Our upper bounds are based on a generalization of the blocking set technique of [Bodwin and Patel, PODC 2019] for analyzing the (exponential-time) greedy algorithm for FT spanners. We complement them by providing efficient constructions of CFT spanners with similar size guarantees, based on the algorithm of [Dinitz and Robelle, PODC 2020].

Subject Classification

ACM Subject Classification
  • Theory of computation → Sparsification and spanners
Keywords
  • Fault tolerance
  • Graph spanners

Metrics

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

Related Versions

References

  1. Ingo Althöfer, Gautam Das, David P. Dobkin, Deborah Joseph, and José Soares. On sparse spanners of weighted graphs. Discret. Comput. Geom., 9:81-100, 1993. URL: https://doi.org/10.1007/BF02189308.
  2. Surender Baswana and Sandeep Sen. Approximate distance oracles for unweighted graphs in Õ(n²) time. In Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 271-280, 2004. URL: http://dl.acm.org/citation.cfm?id=982792.982830.
  3. Surender Baswana and Sandeep Sen. A simple and linear time randomized algorithm for computing sparse spanners in weighted graphs. Random Struct. Algorithms, 30(4):532-563, 2007. URL: https://doi.org/10.1002/rsa.20130.
  4. Greg Bodwin, Michael Dinitz, Merav Parter, and Virginia Vassilevska Williams. Optimal vertex fault tolerant spanners (for fixed stretch). In Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 1884-1900, 2018. URL: https://doi.org/10.1137/1.9781611975031.123.
  5. Greg Bodwin, Michael Dinitz, and Caleb Robelle. Optimal vertex fault-tolerant spanners in polynomial time. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 2924-2938, 2021. URL: https://doi.org/10.1137/1.9781611976465.174.
  6. Greg Bodwin, Michael Dinitz, and Caleb Robelle. Partially optimal edge fault-tolerant spanners. In Proceedings of the 2022 ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 3272-3286, 2022. URL: https://doi.org/10.1137/1.9781611977073.129.
  7. Greg Bodwin and Shyamal Patel. A trivial yet optimal solution to vertex fault tolerant spanners. In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC, pages 541-543, 2019. URL: https://doi.org/10.1145/3293611.3331588.
  8. Shiri Chechik, Michael Langberg, David Peleg, and Liam Roditty. Fault tolerant spanners for general graphs. SIAM J. Comput., 39(7):3403-3423, 2010. URL: https://doi.org/10.1137/090758039.
  9. Joseph Cheriyan, Ming-Yang Kao, and Ramakrishna Thurimella. Scan-first search and sparse certificates: An improved parallel algorithms for k-vertex connectivity. SIAM J. Comput., 22(1):157-174, 1993. Google Scholar
  10. David Coudert, Pallab Datta, Stephane Perennes, Hervé Rivano, and Marie-Emilie Voge. Shared risk resource group complexity and approximability issues. Parallel Process. Lett., 17(2):169-184, 2007. URL: https://doi.org/10.1142/S0129626407002958.
  11. Lenore Cowen. Compact routing with minimum stretch. J. Algorithms, 38(1):170-183, 2001. URL: https://doi.org/10.1006/jagm.2000.1134.
  12. Lenore Cowen and Christopher G. Wagner. Compact roundtrip routing in directed networks. J. Algorithms, 50(1):79-95, 2004. URL: https://doi.org/10.1016/j.jalgor.2003.08.001.
  13. Michael Dinitz and Robert Krauthgamer. Fault-tolerant spanners: better and simpler. In Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, PODC, pages 169-178, 2011. URL: https://doi.org/10.1145/1993806.1993830.
  14. Michael Dinitz and Caleb Robelle. Efficient and simple algorithms for fault-tolerant spanners. In PODC '20: ACM Symposium on Principles of Distributed Computing, pages 493-500, 2020. URL: https://doi.org/10.1145/3382734.3405735.
  15. Michael Elkin, Yuval Emek, Daniel A. Spielman, and Shang-Hua Teng. Lower-stretch spanning trees. SIAM J. Comput., 38(2):608-628, 2008. URL: https://doi.org/10.1137/050641661.
  16. Georgios Ellinas, Eric Bouillet, Ramu Ramamurthy, J.-F Labourdette, Sid Chaudhuri, and Krishna Bala. Routing and restoration architectures in mesh optical networks. Opt Networks Mag, 4, January 2003. Google Scholar
  17. Paul Erdős. Extremal problems in graph theory. Theory of Graphs and its Applications, 1963. Google Scholar
  18. Sebastian Forster, Danupon Nanongkai, Liu Yang, Thatchaphol Saranurak, and Sorrachai Yingchareonthawornchai. Computing and testing small connectivity in near-linear time and queries via fast local cut algorithms. In Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 2046-2065, 2020. Google Scholar
  19. Mohsen Ghaffari and Fabian Kuhn. Distributed minimum cut approximation. In Distributed Computing - 27th International Symposium, DISC, volume 8205 of Lecture Notes in Computer Science, pages 1-15. Springer, 2013. Google Scholar
  20. Shlomo Hoory. The size of bipartite graphs with a given girth. J. Comb. Theory, Ser. B, 86(2):215-220, 2002. URL: https://doi.org/10.1006/JCTB.2002.2123.
  21. Jian Qiang Hu. Diverse routing in optical mesh networks. IEEE Transactions on Communications, 51(3):489-494, 2003. URL: https://doi.org/10.1109/TCOMM.2003.809779.
  22. David R. Karger and Rajeev Motwani. An NC algorithm for minimum cuts. SIAM J. Comput., 26(1):255-272, 1997. Google Scholar
  23. F. Kuipers. An overview of algorithms for network survivability. ISRN Communications and Networking, 2012, December 2012. URL: https://doi.org/10.5402/2012/932456.
  24. Jason Li, Danupon Nanongkai, Debmalya Panigrahi, Thatchaphol Saranurak, and Sorrachai Yingchareonthawornchai. Vertex connectivity in poly-logarithmic max-flows. In STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, pages 317-329, 2021. Google Scholar
  25. David W. Matula. A linear time 2+ε approximation algorithm for edge connectivity. In Proceedings of the Fourth Annual ACM/SIGACT-SIAM Symposium on Discrete Algorithms, SODA, pages 500-504, 1993. Google Scholar
  26. Eytan H. Modiano and Aradhana Narula-Tam. Survivable lightpath routing: a new approach to the design of wdm-based networks. IEEE J. Sel. Areas Commun., 20(4):800-809, 2002. URL: https://doi.org/10.1109/JSAC.2002.1003045.
  27. Hiroshi Nagamochi and Toshihide Ibaraki. A linear-time algorithm for finding a sparse k-connected spanning subgraph of a k-connected graph. Algorithmica, 7(5&6):583-596, 1992. URL: https://doi.org/10.1007/BF01758778.
  28. Merav Parter. Small cuts and connectivity certificates: A fault tolerant approach. In 33rd International Symposium on Distributed Computing, DISC, volume 146 of Leibniz International Proceedings in Informatics (LIPIcs), pages 30:1-30:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. URL: https://doi.org/10.4230/LIPIcs.DISC.2019.30.
  29. Merav Parter. Nearly optimal vertex fault-tolerant spanners in optimal time: sequential, distributed, and parallel. In STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, pages 1080-1092, 2022. URL: https://doi.org/10.1145/3519935.3520047.
  30. David Peleg and Alejandro A. Schäffer. Graph spanners. J. Graph Theory, 13(1):99-116, 1989. URL: https://doi.org/10.1002/jgt.3190130114.
  31. David Peleg and Jeffrey D. Ullman. An optimal synchronizer for the hypercube. SIAM J. Comput., 18(4):740-747, 1989. URL: https://doi.org/10.1137/0218050.
  32. David Peleg and Eli Upfal. A tradeoff between space and efficiency for routing tables. In Proceedings of the 20th Annual ACM Symposium on Theory of Computing, STOC, pages 43-52, 1988. URL: https://doi.org/10.1145/62212.62217.
  33. Mikkel Thorup and Uri Zwick. Compact routing schemes. In Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA, pages 1-10, 2001. URL: https://doi.org/10.1145/378580.378581.
  34. Mikkel Thorup and Uri Zwick. Approximate distance oracles. J. ACM, 52(1):1-24, 2005. URL: https://doi.org/10.1145/1044731.1044732.
  35. Peng Zhang, Jin-Yi Cai, Lin-Qing Tang, and Wen-Bo Zhao. Approximation and hardness results for label cut and related problems. Journal of Combinatorial Optimization, 21:192-208, February 2011. URL: https://doi.org/10.1007/s10878-009-9222-0.
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 Imprint Privacy Contact