A Parameterized Algorithm for Vertex and Edge Connectivity of Embedded Graphs

Authors Therese Biedl , Prosenjit Bose , Karthik Murali



PDF
Thumbnail PDF

File

LIPIcs.ESA.2024.24.pdf
  • Filesize: 0.83 MB
  • 15 pages

Document Identifiers

Author Details

Therese Biedl
  • University of Waterloo, Canada
Prosenjit Bose
  • School of Computer Science, Carleton University, Ottawa, Canada
Karthik Murali
  • School of Computer Science, Carleton University, Ottawa, Canada

Cite AsGet BibTex

Therese Biedl, Prosenjit Bose, and Karthik Murali. A Parameterized Algorithm for Vertex and Edge Connectivity of Embedded Graphs. In 32nd Annual European Symposium on Algorithms (ESA 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 308, pp. 24:1-24:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.ESA.2024.24

Abstract

The problem of computing vertex and edge connectivity of a graph are classical problems in algorithmic graph theory. The focus of this paper is on computing these parameters for graphs drawn on the plane. A typical example of such graphs are planar graphs which can be embedded without any crossings. It has long been known that vertex and edge connectivity of planar embedded graphs can be computed in linear time. Very recently, Biedl and Murali extended the techniques from planar graphs to 1-plane graphs without ×-crossings, i.e., crossings whose endpoints induce a matching. While the tools used were novel, they were highly tailored to 1-plane graphs, and do not provide much leeway for further extension. In this paper, we develop alternate techniques that are simpler, have wider applications to near-planar graphs, and can be used to test both vertex and edge connectivity. Our technique works for all those embedded graphs where any pair of crossing edges are connected by a path that, roughly speaking, can be covered with few cells of the drawing. Important examples of such graphs include optimal 2-planar and optimal 3-planar graphs, d-map graphs, d-framed graphs, graphs with bounded crossing number, and k-plane graphs with bounded number of ×-crossings.

Subject Classification

ACM Subject Classification
  • Theory of computation → Graph algorithms analysis
Keywords
  • Vertex Connectivity
  • Edge Connectivity
  • 1-planar
  • k-planar
  • Linear-time

Metrics

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

References

  1. Michael A. Bekos, Michael Kaufmann, and Chrysanthi N. Raftopoulou. On optimal 2- and 3-planar graphs. In 33rd International Symposium on Computational Geometry, SoCG 2017, July 4-7, 2017, Brisbane, Australia, volume 77 of LIPIcs, pages 16:1-16:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. URL: https://doi.org/10.4230/LIPIcs.SoCG.2017.16.
  2. Michael A. Bekos, Giordano Da Lozzo, Svenja M. Griesbach, Martin Gronemann, Fabrizio Montecchiani, and Chrysanthi N. Raftopoulou. Book embeddings of k-framed graphs and k-map graphs. Discret. Math., 347(1):113690, 2024. URL: https://doi.org/10.1016/j.disc.2023.113690.
  3. Therese Biedl, Prosenjit Bose, and Karthik Murali. A parameterized algorithm for vertex and edge connectivity of embedded graphs, 2024. URL: https://arxiv.org/abs/2407.00586.
  4. Therese Biedl and Karthik Murali. On computing the vertex connectivity of 1-plane graphs. CoRR, abs/2212.06782, 2022. URL: https://doi.org/10.48550/arXiv.2212.06782.
  5. Therese Biedl and Karthik Murali. On computing the vertex connectivity of 1-plane graphs. In 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, volume 261 of LIPIcs, pages 23:1-23:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. URL: https://doi.org/10.4230/LIPIcs.ICALP.2023.23.
  6. Li Chen, Rasmus Kyng, Yang P. Liu, Richard Peng, Maximilian Probst Gutenberg, and Sushant Sachdeva. Maximum flow and minimum-cost flow in almost-linear time. In 63rd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2022, Denver, CO, USA, October 31 - November 3, 2022, pages 612-623. IEEE, 2022. URL: https://doi.org/10.1109/FOCS54457.2022.00064.
  7. Zhi-Zhong Chen, Michelangelo Grigni, and Christos H Papadimitriou. Map graphs. Journal of the ACM (JACM), 49(2):127-138, 2002. URL: https://doi.org/10.1145/506147.506148.
  8. Bruno Courcelle. The monadic second-order logic of graphs. I. Recognizable sets of finite graphs. Information and computation, 85(1):12-75, 1990. URL: https://doi.org/10.1016/0890-5401(90)90043-H.
  9. Walter Didimo, Giuseppe Liotta, and Fabrizio Montecchiani. A survey on graph drawing beyond planarity. ACM Computing Surveys (CSUR), 52(1):1-37, 2019. URL: https://doi.org/10.1145/3301281.
  10. Reinhard Diestel. Graph Theory, 4th Edition, volume 173 of Graduate texts in mathematics. Springer, 5th edition, 2012. Google Scholar
  11. David Eppstein. Subgraph isomorphism in planar graphs and related problems. J. Graph Algorithms Appl., 3(3):1-27, 1999. URL: https://doi.org/10.7155/jgaa.00014.
  12. Mohsen Ghaffari, Krzysztof Nowicki, and Mikkel Thorup. Faster algorithms for edge connectivity via random 2-out contractions. In Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1260-1279. SIAM, 2020. URL: https://doi.org/10.1137/1.9781611975994.77.
  13. Monika Henzinger, Satish Rao, and Di Wang. Local flow partitioning for faster edge connectivity. SIAM J. Comput., 49(1):1-36, 2020. URL: https://doi.org/10.1137/18M1180335.
  14. Seok-Hee Hong and Takeshi Tokuyama, editors. Beyond Planar Graphs, Communications of NII Shonan Meetings. Springer, 2020. URL: https://doi.org/10.1007/978-981-15-6533-5.
  15. Jason Li. Deterministic mincut in almost-linear time. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, pages 384-395, 2021. URL: https://doi.org/10.1145/3406325.3451114.
  16. Jason Li, Danupon Nanongkai, Debmalya Panigrahi, Thatchaphol Saranurak, and Sorrachai Yingchareonthawornchai. Vertex connectivity in poly-logarithmic max-flows. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, pages 317-329, 2021. URL: https://doi.org/10.1145/3406325.3451088.
  17. János Pach and Géza Tóth. Graphs drawn with few crossings per edge. Combinatorica, 17(3):427-439, 1997. URL: https://doi.org/10.1007/BF01215922.
  18. Thatchaphol Saranurak and Sorrachai Yingchareonthawornchai. Deterministic small vertex connectivity in almost linear time. In 63rd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2022, Denver, CO, USA, October 31 - November 3, 2022, pages 789-800. IEEE, 2022. URL: https://doi.org/10.1109/FOCS54457.2022.00080.
  19. Marcus Schaefer. The graph crossing number and its variants: A survey. Electronic Journal of Combinatorics, 1000, 2013. URL: https://doi.org/10.37236/2713.
  20. Von H Schumacher. Zur Struktur 1-planarer Graphen. Mathematische Nachrichten, 125(1):291-300, 1986. 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