Skip to main content
Top

2020 | OriginalPaper | Chapter

Reconfiguring k-path Vertex Covers

Authors : Duc A. Hoang, Akira Suzuki, Tsuyoshi Yagita

Published in: WALCOM: Algorithms and Computation

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference 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)CrossRef 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)CrossRef
2.
go back to reference 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)CrossRef 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)CrossRef
3.
go back to reference 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) 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)
4.
go back to reference 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 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
6.
go back to reference Bonsma, P.S.: Independent set reconfiguration in cographs and their generalizations. J. Graph Theor. 83(2), 164–195 (2016)MathSciNetCrossRef Bonsma, P.S.: Independent set reconfiguration in cographs and their generalizations. J. Graph Theor. 83(2), 164–195 (2016)MathSciNetCrossRef
8.
go back to reference Brešar, B., Kardoš, F., Katrenič, J., Semanišin, G.: Minimum \(k\)-path vertex cover. Discrete Appl. Math. 159(12), 1189–1195 (2011)MathSciNetCrossRef Brešar, B., Kardoš, F., Katrenič, J., Semanišin, G.: Minimum \(k\)-path vertex cover. Discrete Appl. Math. 159(12), 1189–1195 (2011)MathSciNetCrossRef
9.
go back to reference 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)MathSciNetCrossRef 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)MathSciNetCrossRef
10.
go back to reference Demaine, E.D., et al.: Linear-time algorithm for sliding tokens on trees. Theor. Comput. Sci. 600, 132–142 (2015)MathSciNetCrossRef Demaine, E.D., et al.: Linear-time algorithm for sliding tokens on trees. Theor. Comput. Sci. 600, 132–142 (2015)MathSciNetCrossRef
11.
go back to reference Diestel, R.: Graph Theory, Graduate Texts in Mathematics, vol. 173, 4th edn. Springer, Heidelberg (2010) Diestel, R.: Graph Theory, Graduate Texts in Mathematics, vol. 173, 4th edn. Springer, Heidelberg (2010)
13.
go back to reference 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) 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)
14.
go back to reference 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 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
15.
go back to reference 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)MathSciNetCrossRef 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)MathSciNetCrossRef
16.
go back to reference 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) 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)
17.
go back to reference Ito, T., et al.: On the complexity of reconfiguration problems. Theor. Comput. Sci. 412(12–14), 1054–1065 (2011)MathSciNetCrossRef Ito, T., et al.: On the complexity of reconfiguration problems. Theor. Comput. Sci. 412(12–14), 1054–1065 (2011)MathSciNetCrossRef
18.
go back to reference Kamiński, M., Medvedev, P., Milanič, M.: Complexity of independent set reconfigurability problems. Theor. Comput. Sci. 439, 9–15 (2012)MathSciNetCrossRef Kamiński, M., Medvedev, P., Milanič, M.: Complexity of independent set reconfigurability problems. Theor. Comput. Sci. 439, 9–15 (2012)MathSciNetCrossRef
20.
go back to reference Lokshtanov, D., Mouawad, A.E.: The complexity of independent set reconfiguration on bipartite graphs. ACM Trans. Algorithms 15(1), 7:1–7:19 (2019)MathSciNetMATH Lokshtanov, D., Mouawad, A.E.: The complexity of independent set reconfiguration on bipartite graphs. ACM Trans. Algorithms 15(1), 7:1–7:19 (2019)MathSciNetMATH
23.
go back to reference 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)MathSciNetMATH 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)MathSciNetMATH
25.
26.
go back to reference Zandenvan der Zanden, T.C.: Parameterized complexity of graph constraint logic. In: Proceedings of IPEC 2015. LIPIcs, vol. 9076, pp. 282–293 (2015) Zandenvan der Zanden, T.C.: Parameterized complexity of graph constraint logic. In: Proceedings of IPEC 2015. LIPIcs, vol. 9076, pp. 282–293 (2015)
Metadata
Title
Reconfiguring k-path Vertex Covers
Authors
Duc A. Hoang
Akira Suzuki
Tsuyoshi Yagita
Copyright Year
2020
DOI
https://doi.org/10.1007/978-3-030-39881-1_12

Premium Partner