Abstract
The Eternal Vertex Cover problem is a dynamic variant of the vertex cover problem. We have a two player game in which guards are placed on some vertices of a graph. In every move, one player (the attacker) attacks an edge. In response to the attack, the second player (the defender) moves some of the guards along the edges of the graph in such a manner that at least one guard moves along the attacked edge. If such a movement is not possible, then the attacker wins. If the defender can defend the graph against an infinite sequence of attacks, then the defender wins.
The minimum number of guards with which the defender has a winning strategy is called the eternal vertex cover number of the graph G. On general graphs, the computational problem of determining the minimum eternal vertex cover number is \(\mathsf {NP}\)-hard and admits a 2-approximation algorithm and an exponential kernel. The complexity of the problem on bipartite graphs is open, as is the question of whether the problem admits a polynomial kernel.
We settle both these questions by showing that Eternal Vertex Cover is \(\mathsf {NP}\)-hard and does not admit a polynomial compression even on bipartite graphs of diameter six. We also show that the problem admits a polynomial time algorithm on the class of cobipartite graphs.
Dedicated to the memory of Professor Rolf Niedermeier.
The second author acknowledges support from the SERB-MATRICS grant MTR/2017/001033 and IIT Gandhinagar. The third author acknowledges support from CSIR.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We refer the reader to Sect. 2 for the definition of the notion of a polynomial kernel.
- 2.
Here, as elsewhere, we drop the index referring to the underlying graph if the reference is clear.
- 3.
The notion of generalized trees in the context of eternal vertex cover was considered by Araki et al. (2015). Such graphs are characterized by the following property: every block is an elementary bipartite graph or a clique having at most two cut-vertices in it. Note that a cobipartite graph with four vertices in both parts with two disjoint edges across the parts is not a generalized tree.
References
Araki, H., Fujito, T., Inoue, S.: On the eternal vertex cover numbers of generalized trees. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 98–A(6), 1153–1160 (2015)
Babu, J., Chandran, L.S., Francis, M.C., Prabhakaran, V., Rajendraprasad, D., Warrier, N.J.: On graphs whose eternal vertex cover number and vertex cover number coincide. Discret. Appl. Math. (2021a, in press)
Babu, J., Misra, N., Nanoti, S.: Eternal vertex cover on bipartite and co-bipartite graphs. CoRR, abs/2201.03820 (2022)
Babu, J., Prabhakaran, V.: A new lower bound for the eternal vertex cover number of graphs. J. Comb. Optim. 27–39 (2021)
Babu, J., Prabhakaran, V., Sharma, A.: A linear time algorithm for computing the eternal vertex cover number of cactus graphs. arXiv, Discrete Mathematics (2020)
Babu, J., Prabhakaran, V., Sharma, A.: A substructure based lower bound for eternal vertex cover number. Theoret. Comput. Sci. 890, 87–104 (2021)
Cygan, M., et al.: Parameterized Algorithms. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21275-3
Diestel, R.: Graph Theory. Springer, Cham (2017)
Dom, M., Lokshtanov, D., Saurabh, S.: Kernelization lower bounds through colors and IDs. ACM Trans. Algorithms 11(2), 13:1–13:20 (2014)
Downey, R.G., Fellows, M.R.: Fundamentals of Parameterized Complexity. Springer, London (2013). https://doi.org/10.1007/978-1-4471-5559-1
Flum, J., Grohe, M.: Parameterized Complexity Theory. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-29953-X
Fomin, F.V., Gaspers, S., Golovach, P.A., Kratsch, D., Saurabh, S.: Parameterized algorithm for eternal vertex cover. Inf. Process. Lett. 110(16), 702–706 (2010)
Fomin, F.V., Lokshtanov, D., Saurabh, S., Zehavi, M.: Kernelization: Theory of Parameterized Preprocessing. Cambridge University Press, Cambridge (2019)
Fujito, T., Nakamura, T.: Eternal connected vertex cover problem. In: Chen, J., Feng, Q., Xu, J. (eds.) TAMC 2020. LNCS, vol. 12337, pp. 181–192. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-59267-7_16
Grädel, E., Thomas, W., Wilke, T. (eds.): Automata, Logics, and Infinite Games: A Guide to Current Research. LNCS, vol. 2500. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-36387-4
Klostermeyer, W., Mynhardt, C.M.: Graphs with equal eternal vertex cover and eternal domination numbers. Discret. Math. 311(14), 1371–1379 (2011)
Klostermeyer, W.F., Mynhardt, C.M.: Edge protection in graphs. Australas. J. Comb. 45, 235–250 (2009)
Niedermeier, R.: Invitation to Fixed-Parameter Algorithms. Oxford University Press, Oxford (2006)
Acknowledgments
The authors thank Pratik Tale for pointing out a correction in a previous version of this paper, and to the anonymous reviewers of CSR for their very detailed comments that have helped improve the presentation of the paper. In particular, we note that the suggestion in Remark 1 was pointed out by one of the reviewers.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Babu, J., Misra, N., Nanoti, S.G. (2022). Eternal Vertex Cover on Bipartite Graphs. In: Kulikov, A.S., Raskhodnikova, S. (eds) Computer Science – Theory and Applications. CSR 2022. Lecture Notes in Computer Science, vol 13296. Springer, Cham. https://doi.org/10.1007/978-3-031-09574-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-031-09574-0_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-09573-3
Online ISBN: 978-3-031-09574-0
eBook Packages: Computer ScienceComputer Science (R0)