TY - GEN

T1 - Critical node cut parameterized by treewidth and solution size is W[1]-Hard

AU - Agrawal, Akanksha

AU - Lokshtanov, Daniel

AU - Mouawad, Amer E.

N1 - Publisher Copyright:
© 2017, Springer International Publishing AG.

PY - 2017/1/1

Y1 - 2017/1/1

N2 - In the Critical Node Cut problem, given an undirected graph G and two non-negative integers k and μ, the goal is to find a set S of exactly k vertices such that after deleting S we are left with at most μ 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 μ on the number of remaining connected pairs, the lower bound b on the number of connected pairs to be removed, and the treewidth 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+ 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.

AB - In the Critical Node Cut problem, given an undirected graph G and two non-negative integers k and μ, the goal is to find a set S of exactly k vertices such that after deleting S we are left with at most μ 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 μ on the number of remaining connected pairs, the lower bound b on the number of connected pairs to be removed, and the treewidth 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+ 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.

UR - http://www.scopus.com/inward/record.url?scp=85034100452&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-68705-6_3

DO - 10.1007/978-3-319-68705-6_3

M3 - Conference contribution

AN - SCOPUS:85034100452

SN - 9783319687049

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 32

EP - 44

BT - Graph-Theoretic Concepts in Computer Science - 43rd International Workshop, WG 2017, Revised Selected Papers

A2 - Woeginger, Gerhard J.

A2 - Bodlaender, Hans L.

PB - Springer Verlag

T2 - 43rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2017

Y2 - 21 June 2017 through 23 June 2017

ER -