Document Open Access Logo

The Even-Path Problem in Directed Single-Crossing-Minor-Free Graphs

Authors Archit Chauhan, Samir Datta , Chetan Gupta , Vimal Raj Sharma

PDF
Thumbnail PDF

File

LIPIcs.MFCS.2024.43.pdf
  • Filesize: 1 MB
  • 16 pages

Document Identifiers

Author Details

Archit Chauhan
  • Chennai Mathematical Institute, India
Samir Datta
  • Chennai Mathematical Institute & UMI ReLaX, India
Chetan Gupta
  • Indian Institute of Technology, Roorkee, India
Vimal Raj Sharma
  • Indian Institute of Technology, Jodhpur, India

Funding

  • Chauhan, Archit: Partially supported by a grant from Infosys foundation and TCS PhD fellowship.
  • Datta, Samir: Partially supported by a grant from Infosys foundation.

Acknowledgements

We would like to thank anonymous reviewers for their useful comments and corrections in past submissions. We would also like to thank Martin Grohe for pointing out some references. We are also grateful to Geevarghese Philip and Vishwa Prakash H .V. for their help in reading some sections and improving the presentation of this paper.

Cite AsGet BibTex

Archit Chauhan, Samir Datta, Chetan Gupta, and Vimal Raj Sharma. The Even-Path Problem in Directed Single-Crossing-Minor-Free Graphs. In 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 306, pp. 43:1-43:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.MFCS.2024.43

Abstract

Finding a simple path of even length between two designated vertices in a directed graph is a fundamental NP-complete problem [Andrea S. LaPaugh and Christos H. Papadimitriou, 1984] known as the EP problem. Nedev [Zhivko Prodanov Nedev, 1999] proved in 1999, that for directed planar graphs, the problem can be solved in polynomial time. More than two decades since then, we make the first progress in extending the tractable classes of graphs for this problem. We give a polynomial time algorithm to solve the EP problem for classes of H-minor-free directed graphs, where H is a single-crossing graph. We make two new technical contributions along the way, that might be of independent interest. The first, and perhaps our main, contribution is the construction of small, planar, parity-mimicking networks. These are graphs that mimic parities of all possible paths between a designated set of terminals of the original graph. Finding vertex disjoint paths between given source-destination pairs of vertices is another fundamental problem, known to be NP-complete in directed graphs [Steven Fortune et al., 1980], though known to be tractable in planar directed graphs [Alexander Schrijver, 1994]. We encounter a natural variant of this problem, that of finding disjoint paths between given pairs of vertices, but with constraints on parity of the total length of paths. The other significant contribution of our paper is to give a polynomial time algorithm for the 3-disjoint paths with total parity problem, in directed planar graphs with some restrictions (and also in directed graphs of bounded treewidth).

Subject Classification

ACM Subject Classification
  • Theory of computation → Design and analysis of algorithms
  • Theory of computation → Graph algorithms analysis
Keywords
  • Graph Algorithms
  • EvenPath
  • Polynomial-time Algorithms
  • Reachability

Metrics

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

Related Versions

References

  1. Nima Anari and Vijay V. Vazirani. Planar graph perfect matching is in nc. J. ACM, 67(4), May 2020. URL: https://doi.org/10.1145/3397504.
  2. Rahul Arora, Ashu Gupta, Rohit Gurjar, and Raghunath Tewari. Derandomizing isolation lemma for K_3,3-free and K_5-free bipartite graphs. In Symposium on Theoretical Aspects of Computer Science, 2014. URL: https://api.semanticscholar.org/CorpusID:1484963.
  3. Andreas Björklund, Thore Husfeldt, and Petteri Kaski. The shortest even cycle problem is tractable. In Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2022, pages 117-130, New York, NY, USA, 2022. Association for Computing Machinery. URL: https://doi.org/10.1145/3519935.3520030.
  4. Glencora Borradaile and Philip Klein. An o(n log n) algorithm for maximum st-flow in a directed planar graph. J. ACM, 56(2), April 2009. URL: https://doi.org/10.1145/1502793.1502798.
  5. Diptarka Chakraborty and Raghunath Tewari. Simultaneous time-space upper bounds for red-blue path problem in planar dags. In M. Sohel Rahman and Etsuji Tomita, editors, WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings, volume 8973 of Lecture Notes in Computer Science, pages 258-269. Springer, 2015. URL: https://doi.org/10.1007/978-3-319-15612-5_23.
  6. Erin Wolf Chambers and David Eppstein. Flows in one-crossing-minor-free graphs. Journal of Graph Algorithms and Applications, 17(3):201-220, 2013. URL: https://doi.org/10.7155/jgaa.00291.
  7. Shiva Chaudhuri, K. Subrahmanyam, Frank Wagner, and Christos Zaroliagis. Computing mimicking networks. Algorithmica, 26:31-49, January 2000. URL: https://doi.org/10.1007/s004539910003.
  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. Marek Cygan, Daniel Marx, Marcin Pilipczuk, and Michal Pilipczuk. The planar directed k-vertex-disjoint paths problem is fixed-parameter tractable. In 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, pages 197-206, 2013. URL: https://doi.org/10.1109/FOCS.2013.29.
  10. Samir Datta, Arjun Gopalan, Raghav Kulkarni, and Raghunath Tewari. Improved bounds for bipartite matching on surfaces. In Christoph Dürr and Thomas Wilke, editors, 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012, February 29th - March 3rd, 2012, Paris, France, volume 14 of LIPIcs, pages 254-265. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. URL: https://doi.org/10.4230/LIPIcs.STACS.2012.254.
  11. Samir Datta, Prajakta Nimbhorkar, Thomas Thierauf, and Fabian Wagner. Graph isomorphism for k_3, 3-free and k_5-free graphs is in log-space. Electron. Colloquium Comput. Complex., TR10, 2009. URL: https://api.semanticscholar.org/CorpusID:7978883.
  12. Erik D Demaine, MohammadTaghi Hajiaghayi, Naomi Nishimura, Prabhakar Ragde, and Dimitrios M Thilikos. Approximation algorithms for classes of graphs excluding single-crossing graphs as minors. Journal of Computer and System Sciences, 69(2):166-195, 2004. URL: https://doi.org/10.1016/j.jcss.2003.12.001.
  13. David Eppstein and Vijay V. Vazirani. Nc algorithms for computing a perfect matching and a maximum flow in one-crossing-minor-free graphs. SIAM Journal on Computing, 50(3):1014-1033, 2021. URL: https://doi.org/10.1137/19M1256221.
  14. Steven Fortune, John Hopcroft, and James Wyllie. The directed subgraph homeomorphism problem. Theoretical Computer Science, 10(2):111-121, 1980. URL: https://doi.org/10.1016/0304-3975(80)90009-2.
  15. Anna Galluccio and Martin Loebl. Even/odd dipaths in planar digraphs. Optimization Methods and Software, 3(1-3):225-236, 1994. URL: https://doi.org/10.1080/10556789408805566.
  16. Martin Grohe, Ken-ichi Kawarabayashi, and Bruce Reed. A simple algorithm for the graph minor decomposition: logic meets structural graph theory. In Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA '13, pages 414-431, USA, 2013. Society for Industrial and Applied Mathematics. Google Scholar
  17. Torben Hagerup, Jyrki Katajainen, Naomi Nishimura, and Prabhakar Ragde. Characterizing multiterminal flow networks and computing flows in networks of small treewidth. Journal of Computer and System Sciences, 57(3):366-375, 1998. URL: https://doi.org/10.1006/jcss.1998.1592.
  18. Ken-ichi Kawarabayashi, Bruce Reed, and Paul Wollan. The graph minor algorithm with parity conditions. In 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science, pages 27-36, 2011. URL: https://doi.org/10.1109/FOCS.2011.52.
  19. Ken-ichi Kawarabayashi and Paul Wollan. A simpler algorithm and shorter proof for the graph minor decomposition. In Proceedings of the Forty-Third Annual ACM Symposium on Theory of Computing, STOC '11, pages 451-458, New York, NY, USA, 2011. Association for Computing Machinery. URL: https://doi.org/10.1145/1993636.1993697.
  20. Arindam Khan and Prasad Raghavendra. On mimicking networks representing minimum terminal cuts. Information Processing Letters, 114(7):365-371, 2014. URL: https://doi.org/10.1016/j.ipl.2014.02.011.
  21. Samir Khuller. Coloring algorithms for k5-minor free graphs. Information Processing Letters, 34(4):203-208, 1990. URL: https://doi.org/10.1016/0020-0190(90)90161-P.
  22. Samir Khuller. Extending planar graph algorithms to k3,3-free graphs. Information and Computation, 84(1):13-25, 1990. URL: https://doi.org/10.1016/0890-5401(90)90031-C.
  23. Robert Krauthgamer and Inbal Rika. Mimicking Networks and Succinct Representations of Terminal Cuts, pages 1789-1799. SIAM, 2013. URL: https://doi.org/10.1137/1.9781611973105.128.
  24. Andrea S. LaPaugh and Christos H. Papadimitriou. The even-path problem for graphs and digraphs. Networks, 14(4):507-513, 1984. URL: https://doi.org/10.1002/net.3230140403.
  25. Daniel Lokshtanov, Pranabendu Misra, Michał Pilipczuk, Saket Saurabh, and Meirav Zehavi. An exponential time parameterized algorithm for planar disjoint paths. In Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020, pages 1307-1316, New York, NY, USA, 2020. Association for Computing Machinery. URL: https://doi.org/10.1145/3357713.3384250.
  26. James F. Lynch. The equivalence of theorem proving and the interconnection problem. SIGDA Newsl., 5(3):31-36, September 1975. URL: https://doi.org/10.1145/1061425.1061430.
  27. William McCuaig, Neil Robertson, P. D. Seymour, and Robin Thomas. Permanents, pfaffian orientations, and even directed circuits (extended abstract). In Proceedings of the Twenty-Ninth Annual ACM Symposium on Theory of Computing, STOC '97, pages 402-405, New York, NY, USA, 1997. Association for Computing Machinery. URL: https://doi.org/10.1145/258533.258625.
  28. Zhivko Prodanov Nedev. Finding an even simple path in a directed planar graph. SIAM J. Comput., 29(2):685-695, 1999. URL: https://doi.org/10.1137/S0097539797330343.
  29. Bruce Reed, Neil Robertson, Alexander Schrijver, and Paul Seymour. Finding dsjoint trees in planar graphs in linear time. In Graph Structure Theory, Proceedings of a AMS-IMS-SIAM Joint Summer Research Conference on Graph Minors held June 22 to July 5, 1991, at the University of Washington, Seattle, USA, volume 147 of Contemporary Mathematics, pages 295-302, January 1991. URL: https://doi.org/10.1090/conm/147/01180.
  30. N. Robertson and P.D. Seymour. Excluding a graph with one crossing. Graph struc- ture theory (Seattle, WA, 1991), 1993. URL: https://doi.org/10.1090/conm/147.
  31. N. Robertson and P.D. Seymour. Graph minors .xiii. the disjoint paths problem. Journal of Combinatorial Theory, Series B, 63(1):65-110, 1995. URL: https://doi.org/10.1006/jctb.1995.1006.
  32. Neil Robertson and P.D Seymour. Graph minors. xvi. excluding a non-planar graph. Journal of Combinatorial Theory, Series B, 89(1):43-76, 2003. URL: https://doi.org/10.1016/S0095-8956(03)00042-X.
  33. Neil Robertson and P.D. Seymour. Graph minors. xx. wagner’s conjecture. Journal of Combinatorial Theory, Series B, 92(2):325-357, 2004. Special Issue Dedicated to Professor W.T. Tutte. URL: https://doi.org/10.1016/j.jctb.2004.08.001.
  34. Alexander Schrijver. Finding k disjoint paths in a directed planar graph. SIAM J. Comput., 23(4):780-788, 1994. URL: https://doi.org/10.1137/S0097539792224061.
  35. Simon Straub, Thomas Thierauf, and Fabian Wagner. Counting the number of perfect matchings in k5-free graphs. In 2014 IEEE 29th Conference on Computational Complexity (CCC), pages 66-77, 2014. URL: https://doi.org/10.1109/CCC.2014.15.
  36. Thomas Thierauf and Fabian Wagner. Reachability in k3,3-free graphs and k5-free graphs is in unambiguous log-space. In Mirosław Kutyłowski, Witold Charatonik, and Maciej Gębala, editors, Fundamentals of Computation Theory, pages 323-334, Berlin, Heidelberg, 2009. Springer Berlin Heidelberg. Google Scholar
  37. Vijay V. Vazirani. Nc algorithms for computing the number of perfect matchings in k3,3-free graphs and related problems. Information and Computation, 80(2):152-164, 1989. URL: https://doi.org/10.1016/0890-5401(89)90017-5.
  38. Klaus Von Wagner. Über eine eigenschaft der ebenen komplexe. Mathematische Annalen, 114:570-590, 1937. URL: https://api.semanticscholar.org/CorpusID:123534907.
  39. Raphael Yuster and Uri Zwick. Finding even cycles even faster. SIAM Journal on Discrete Mathematics, 10(2):209-222, 1997. 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 Imprint Privacy Contact