Skip to main content

Reconfiguring k-path Vertex Covers

  • Conference paper
  • First Online:
WALCOM: Algorithms and Computation (WALCOM 2020)

Abstract

A vertex subset I of a graph G is called a k-path vertex cover if every path on k vertices in G contains at least one vertex from I. The k -Path Vertex Cover Reconfiguration (k -PVCR) problem asks if one can transform one k-path vertex cover into another via a sequence of k-path vertex covers where each intermediate member is obtained from its predecessor by applying a given reconfiguration rule exactly once. We investigate the computational complexity of k -PVCR from the viewpoint of graph classes under the well-known reconfiguration rules: \(\mathsf {TS}\), \(\mathsf {TJ}\), and \(\mathsf {TAR}\). The problem for \(k=2\), known as the Vertex Cover Reconfiguration (VCR) problem, has been well-studied in the literature. We show that certain known hardness results for VCR on different graph classes including planar graphs, bounded bandwidth graphs, chordal graphs, and bipartite graphs, can be extended for k -PVCR. In particular, we prove a complexity dichotomy for k -PVCR on general graphs: on those whose maximum degree is 3 (and even planar), the problem is \(\mathtt {PSPACE}\)-complete, while on those whose maximum degree is 2 (i.e., paths and cycles), the problem can be solved in polynomial time. Additionally, we also design polynomial-time algorithms for k -PVCR on trees under each of \(\mathsf {TJ}\) and \(\mathsf {TAR}\). Moreover, on paths, cycles, and trees, we describe how one can construct a reconfiguration sequence between two given k-path vertex covers in a yes-instance. In particular, on paths, our constructed reconfiguration sequence is shortest.

This work is partially supported by JSPS KAKENHI Grant Numbers JP17K12636, JP18H04091, and JP19K24349, and JST CREST Grant Number JPMJCR1402.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 74.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Acharya, H.B., Choi, T., Bazzi, R.A., Gouda, M.G.: The \(k\)-observer problem in computer networks. Networking Sci. 1(1–4), 15–22 (2012)

    Article  Google Scholar 

  2. Ausiello, G., Bonifaci, V., Escoffier, B.: Complexity and approximation in reoptimization. In: Computability in Context: Computation and Logic in the Real World, pp. 101–129. World Scientific, Singapore (2011)

    Chapter  Google Scholar 

  3. Beck, M., Lam, K.Y., Ng, J.K.Y., Storandt, S., Zhu, C.J.: Concatenated \(k\)-path covers. In: Proceedings of ALENEX 2019, pp. 81–91 (2019)

    Google Scholar 

  4. Belmonte, R., Kim, E.J., Lampis, M., Mitsou, V., Otachi, Y., Sikora, F.: Token sliding on split graphs. In: Niedermeier, R., Paul, C. (eds.) Proceedings of STACS 2019. LIPIcs, vol. 126, pp. 13:1–13:7 (2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik

    Google Scholar 

  5. Bonamy, M., Bousquet, N.: Token sliding on chordal graphs. In: Bodlaender, H.L., Woeginger, G.J. (eds.) WG 2017. LNCS, vol. 10520, pp. 127–139. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-68705-6_10

    Chapter  Google Scholar 

  6. Bonsma, P.S.: Independent set reconfiguration in cographs and their generalizations. J. Graph Theor. 83(2), 164–195 (2016)

    Article  MathSciNet  Google Scholar 

  7. Bonsma, P., Kamiński, M., Wrochna, M.: Reconfiguring independent sets in claw-free graphs. In: Ravi, R., Gørtz, I.L. (eds.) SWAT 2014. LNCS, vol. 8503, pp. 86–97. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08404-6_8

    Chapter  Google Scholar 

  8. Brešar, B., Kardoš, F., Katrenič, J., Semanišin, G.: Minimum \(k\)-path vertex cover. Discrete Appl. Math. 159(12), 1189–1195 (2011)

    Article  MathSciNet  Google Scholar 

  9. Brešar, B., Krivoš-Belluš, R., Semanišin, G., Šparl, P.: On the weighted k-path vertex cover problem. Discrete Appl. Math. 177, 14–18 (2014)

    Article  MathSciNet  Google Scholar 

  10. Demaine, E.D., et al.: Linear-time algorithm for sliding tokens on trees. Theor. Comput. Sci. 600, 132–142 (2015)

    Article  MathSciNet  Google Scholar 

  11. Diestel, R.: Graph Theory, Graduate Texts in Mathematics, vol. 173, 4th edn. Springer, Heidelberg (2010)

    Google Scholar 

  12. Fox-Epstein, E., Hoang, D.A., Otachi, Y., Uehara, R.: Sliding token on bipartite permutation graphs. In: Elbassioni, K., Makino, K. (eds.) ISAAC 2015. LNCS, vol. 9472, pp. 237–247. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-662-48971-0_21

    Chapter  Google Scholar 

  13. Funke, S., Nusser, A., Storandt, S.: On \(k\)-path covers and their applications. In: Proceedings VLDB Endowment, vol. 7, no. 10, pp. 893–902 (2014)

    Google Scholar 

  14. Garey, M.R., Johnson, D.S.: Computers and Intractability; A Guide to the Theory of NP-Completeness. W.H. Freeman & Co., New York (1990)

    MATH  Google Scholar 

  15. Hearn, R.A., Demaine, E.D.: PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation. Theor. Comput. Sci. 343(1–2), 72–96 (2005)

    Article  MathSciNet  Google Scholar 

  16. van den Heuvel, J.: The complexity of change. In: Surveys in Combinatorics. London Mathematical Society Lecture Note Series, vol. 409, pp. 127–160. Cambridge University Press, Cambridge (2013)

    Google Scholar 

  17. Ito, T., et al.: On the complexity of reconfiguration problems. Theor. Comput. Sci. 412(12–14), 1054–1065 (2011)

    Article  MathSciNet  Google Scholar 

  18. Kamiński, M., Medvedev, P., Milanič, M.: Complexity of independent set reconfigurability problems. Theor. Comput. Sci. 439, 9–15 (2012)

    Article  MathSciNet  Google Scholar 

  19. Kumar, M., Kumar, A., Pandu Rangan, C.: Reoptimization of path vertex cover problem. In: Du, D.-Z., Duan, Z., Tian, C. (eds.) COCOON 2019. LNCS, vol. 11653, pp. 363–374. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-26176-4_30

    Chapter  Google Scholar 

  20. Lokshtanov, D., Mouawad, A.E.: The complexity of independent set reconfiguration on bipartite graphs. ACM Trans. Algorithms 15(1), 7:1–7:19 (2019)

    MathSciNet  MATH  Google Scholar 

  21. Miyano, E., Saitoh, T., Uehara, R., Yagita, T., van der Zanden, T.C.: Complexity of the maximum k-path vertex cover problem. In: Rahman, M.S., Sung, W.-K., Uehara, R. (eds.) WALCOM 2018. LNCS, vol. 10755, pp. 240–251. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-75172-6_21

    Chapter  Google Scholar 

  22. Nishimura, N.: Introduction to reconfiguration. Algorithms 11(4), 52 (2018). (article 52)

    Article  MathSciNet  Google Scholar 

  23. Ran, Y., Zhang, Z., Huang, X., Li, X., Du, D.Z.: Approximation algorithms for minimum weight connected 3-path vertex cover. Appl. Math. Comput. 347, 723–733 (2019)

    MathSciNet  MATH  Google Scholar 

  24. Tsur, D.: Parameterized algorithm for 3-path vertex cover. Theor. Comput. Sci. 783, 1–8 (2019)

    Article  MathSciNet  Google Scholar 

  25. Wrochna, M.: Reconfiguration in bounded bandwidth and treedepth. J. Comput. Syst. Sci. 93, 1–10 (2018)

    Article  MathSciNet  Google Scholar 

  26. Zandenvan der Zanden, T.C.: Parameterized complexity of graph constraint logic. In: Proceedings of IPEC 2015. LIPIcs, vol. 9076, pp. 282–293 (2015)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Tsuyoshi Yagita .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Hoang, D.A., Suzuki, A., Yagita, T. (2020). Reconfiguring k-path Vertex Covers. In: Rahman, M., Sadakane, K., Sung, WK. (eds) WALCOM: Algorithms and Computation. WALCOM 2020. Lecture Notes in Computer Science(), vol 12049. Springer, Cham. https://doi.org/10.1007/978-3-030-39881-1_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-39881-1_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-39880-4

  • Online ISBN: 978-3-030-39881-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics