Skip to main content

Finding a Shortest Non-Zero Path in Group-Labeled Graphs

Combinatorica volume 42, pages 1253–1282 (2022)Cite this article

Abstract

We study a constrained shortest path problem in group-labeled graphs with nonnegative edge length, called the shortest non-zero path problem. Depending on the group in question, this problem includes two types of tractable variants in undirected graphs: one is the parity-constrained shortest path/cycle problem, and the other is computing a shortest noncontractible cycle in surface-embedded graphs.

For the shortest non-zero path problem with respect to finite abelian groups, Kobayashi and Toyooka (2017) proposed a randomized, pseudopolynomial-time algorithm via permanent computation. For a slightly more general class of groups, Yamaguchi (2016) showed a reduction of the problem to the weighted linear matroid parity problem. In particular, some cases are solved in strongly polynomial time via the reduction with the aid of a deterministic, polynomial-time algorithm for the weighted linear matroid parity problem developed by Iwata and Kobayashi (2021), which generalizes a well-known fact that the parity-constrained shortest path problem is solved via weighted matching.

In this paper, as the first general solution independent of the group, we present a rather simple, deterministic, and strongly polynomial-time algorithm for the shortest non-zero path problem. This result captures a common tractable feature behind the parity and topological constraints in the shortest path/cycle problem. The algorithm is based on Dijkstra’s algorithm for the unconstrained shortest path problem and Edmonds’ blossom shrinking technique in matching algorithms; this approach is inspired by Derigs’ faster algorithm (1985) for the parity-constrained shortest path problem via a reduction to weighted matching. Furthermore, we improve our algorithm so that it does not require explicit blossom shrinking, and make the computational time match Derigs’ one. In the speeding-up step, a dual linear programming formulation of the equivalent problem based on potential maximization for the unconstrained shortest path problem plays a key role.

This is a preview of subscription content, access via your institution.

Access options

Buy single article

Instant access to the full article PDF.

USD 39.95

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

References

  1. S. Cabello, E. W. Chambers and J. Erickson: Multiple-source shortest paths in embedded graphs, SIAM Journal on Computing 42 (2013), 1542–1571.

    Article  MathSciNet  MATH  Google Scholar 

  2. M. Chudnovsky, W. H. Cunningham and J. Geelen: An algorithm for packing non-zero A-paths in group-labelled graphs, Combinatorica 28 (2008), 145–161.

    Article  MathSciNet  MATH  Google Scholar 

  3. M. Chudnovsky, J. Geelen, B. Gerards, L. Goddyn, M. Lohman and P. Seymour: Packing non-zero A-paths in group-labelled graphs, Combinatorica 26 (2006), 521–532.

    Article  MathSciNet  MATH  Google Scholar 

  4. É. Colin de Verdière: Computational topology of graphs on surfaces, in: Handbook of Discrete and Computational Geometry, 3rd Ed. (C. D. Toth, J. O’Rourke, and J. E. Goodman, eds., Chapman and Hall/CRC, 2017), 605–636 (Chap. 23), 2017.

  5. T. H. Cormen, C. E. Leiserson, R. L. Rivest and C. Stein: Introduction to Algorithms, 3rd Ed., MIT Press, 2009.

  6. U. Derigs: An efficient Dijkstra-like labeling method for computing shortest odd/even paths, Information Processing Letters 21 (1985), 253–258.

    Article  MathSciNet  MATH  Google Scholar 

  7. E. W. Dijkstra: A note on two problems in connexion with graphs, Numerische Mathematik 1 (1959), 269–271.

    Article  MathSciNet  MATH  Google Scholar 

  8. J. Erickson: Combinatorial optimization of cycles and bases, Advances in Applied and Computational Topology 70 (2012), 195–228.

    Article  MathSciNet  MATH  Google Scholar 

  9. J. Erickson and S. Har-Peled: Optimally cutting a surface into a disk, Discrete and Computational Geometry 31 (2004), 37–59.

    Article  MathSciNet  MATH  Google Scholar 

  10. K. Fox: Shortest non-trivial cycles in directed and undirected surface graphs, in: Proceedings of the 24th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2013), 352–364, 2013.

  11. T. Huynh: The Linkage Problem for Group-Labelled Graphs, Ph.D. Thesis, University of Waterloo, 2009.

  12. T. Huynh, F. Joos and P. Wollan: A unified ErdŐs-Pósa theorem for constrained cycles, Combinatorica 39 (2019), 91–133.

    Article  MathSciNet  MATH  Google Scholar 

  13. S. Iwata and Y. Kobayashi: A weighted linear matroid parity algorithm, SIAM Journal on Computing, 2021 (published online).

  14. K. Kawarabayashi and P. Wollan: Non-zero disjoint cycles in highly connected group labelled graphs, Journal of Combinatorial Theory, Series B 96 (2006), 296–301.

    Article  MathSciNet  MATH  Google Scholar 

  15. Y. Kawase, Y. Kobayashi and Y. Yamaguchi: Finding a path with two labels forbidden in group-labeled graphs, Journal of Combinatorial Theory, Series B 143 (2020), 65–122.

    Article  MathSciNet  MATH  Google Scholar 

  16. Y. Kobayashi and S. Toyooka: Finding a shortest non-zero path in group-labeled graphs via permanent computation, Algorithmica 77 (2017), 1128–1142.

    Article  MathSciNet  MATH  Google Scholar 

  17. A. S. LaPaugh and C. H. Papadimitriou: The even-path problem for graphs and digraphs, Networks 14 (1984), 507–513.

    Article  MathSciNet  MATH  Google Scholar 

  18. D. Lokshtanov, M. S. Ramanujan and S. Saurabh: The half-integral ErdŐs-Pósa property for non-null cycles, arXiv:1703.02866, 2017.

  19. A. Schrijver: Combinatorial Optimization: Polyhedra and Efficiency, Springer, 2003.

  20. S. Tanigawa and Y. Yamaguchi: Packing non-zero A-paths via matroid matching, Discrete Applied Mathematics 214 (2016), 169–178.

    Article  MathSciNet  MATH  Google Scholar 

  21. C. Thomassen: Embeddings of graphs with no short noncontractible cycles, Journal of Combinatorial Theory, Series B 48 (1990), 155–177.

    Article  MathSciNet  MATH  Google Scholar 

  22. P. Wollan: Packing cycles with modularity constraints, Combinatorica 31 (2011), 95–126.

    Article  MathSciNet  MATH  Google Scholar 

  23. Y. Yamaguchi: Packing A-paths in group-labelled graphs via linear matroid parity, SIAM Journal on Discrete Mathematics 30 (2016), 474–492.

    Article  MathSciNet  MATH  Google Scholar 

  24. Y. Yamaguchi: Shortest disjoint \(\cal{S}\)-paths via weighted linear matroid parity, in: Proceedings of the 27th International Symposium on Algorithms and Computation (ISAAC 2016), No. 63, 2016.

  25. Y. Yamaguchi: A strongly polynomial algorithm for finding a shortest non-zero path in group-labeled graphs, in: Proceedings of the 31st Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2020), 1923–1932, 2020.

Download references

Acknowledgments

The authors are deeply grateful to the anonymous reviewers of this paper and the preliminary version [25] for their valuable comments and suggestions. This work was partially supported by RIKEN Center for Advanced Intelligence Project.

Author information

Authors and Affiliations

  1. AtCoder Inc., Tokyo, 160-0022, Japan

    Yoichi Iwata

  2. Osaka University, Osaka, 565-0871, Japan

    Yutaro Yamaguchi

Authors
  1. Yoichi Iwata
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yutaro Yamaguchi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yutaro Yamaguchi.

Additional information

A preliminary version [25] of this paper appeared in SODA 2020.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Iwata, Y., Yamaguchi, Y. Finding a Shortest Non-Zero Path in Group-Labeled Graphs. Combinatorica 42 (Suppl 2), 1253–1282 (2022). https://doi.org/10.1007/s00493-021-4736-x

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00493-021-4736-x

Mathematics Subject Classification (2010)

  • 05C85
  • 90C27
  • 05C22
  • 05C38
  • 05E15
  • 55P10