Abstract
In the Critical Node Cut problem, given an undirected graph G and two non-negative integers k and \(\mu \), the goal is to find a set S of exactly k vertices such that after deleting S we are left with at most \(\mu \) connected pairs of vertices. Back in 2015, Hermelin et al. studied the aforementioned problem under the framework of parameterized complexity. They considered various natural parameters, namely, the size k of the desired solution, the upper bound \(\mu \) on the number of remaining connected pairs, the lower bound b on the number of connected pairs to be removed, and the treewidth \(\mathsf {tw}(G)\) of the input graph G. For all but one combinations of the above parameters, they determined whether Critical Node Cut is fixed-parameter tractable and whether it admits a polynomial kernel. The only question they left open is whether the problem remains fixed-parameter tractable when parameterized by \(k + \mathsf {tw}(G)\). We answer this question in the negative via a new problem of independent interest, which we call SumCSP. We believe that SumCSP can be a useful starting point for showing hardness results of the same nature, i.e. when the treewidth of the graph is part of the parameter.
Due to space limitations most proofs have been omitted.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Addis, B., Di Summa, M., Grosso, A.: Removing critical nodes from a graph: complexity results and polynomial algorithms for the case of bounded treewidth. Optimization online (2011). www.optimization-online.org
Bodlaender, H.L., Lokshtanov, D., Penninkx, E.: Planar capacitated dominating set is W[1]-hard. In: Chen, J., Fomin, F.V. (eds.) IWPEC 2009. LNCS, vol. 5917, pp. 50–60. Springer, Heidelberg (2009). doi:10.1007/978-3-642-11269-0_4
Cygan, M., Fomin, F.V., Kowalik, L., Lokshtanov, D., Marx, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S.: Parameterized Algorithms. Springer, Heidelberg (2015). doi:10.1007/978-3-319-21275-3
Di Summa, M., Grosso, A., Locatelli, M.: Complexity of the critical node problem over trees. Comput. Oper. Res. 38(12), 1766–1774 (2011)
Diestel, R.: Graph Theory. Graduate Texts in Mathematics, 4th edn., vol. 173. Springer, Heidelberg (2012)
Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, Heidelberg (1997). doi:10.1007/978-1-4612-0515-9
Flum, J., Grohe, M.: Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006). doi:10.1007/3-540-29953-X
Grohe, M., Marx, D.: On tree width, bramble size, and expansion. J. Comb. Theory Ser. B 99(1), 218–228 (2009)
Hermelin, D., Kaspi, M., Komusiewicz, C., Navon, B.: Parameterized complexity of critical node cuts. Theoret. Comput. Sci. 651, 62–75 (2016)
Marx, D.: Can you beat treewidth? Theory Comput. 6(1), 85–112 (2010)
Niedermeier, R.: Invitation to Fixed-Parameter Algorithms. Oxford Lecture Series in Mathematics and Its Applications. Oxford University Press, Oxford (2006)
Ventresca, M.: Global search algorithms using a combinatorial unranking-based problem representation for the critical node detection problem. Comput. Oper. Res. 39(11), 2763–2775 (2012)
Ventresca, M., Aleman, D.: A derandomized approximation algorithm for the critical node detection problem. Comput. Oper. Res. 43, 261–270 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Agrawal, A., Lokshtanov, D., Mouawad, A.E. (2017). Critical Node Cut Parameterized by Treewidth and Solution Size is W[1]-Hard. In: Bodlaender, H., Woeginger, G. (eds) Graph-Theoretic Concepts in Computer Science. WG 2017. Lecture Notes in Computer Science(), vol 10520. Springer, Cham. https://doi.org/10.1007/978-3-319-68705-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-68705-6_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-68704-9
Online ISBN: 978-3-319-68705-6
eBook Packages: Computer ScienceComputer Science (R0)