TY - GEN
T1 - Parameterized complexity dichotomy for Steiner Multicut
AU - Bringmann, Karl
AU - Hermelin, Danny
AU - Mnich, Matthias
AU - Van Leeuwen, Erik Jan
N1 - Publisher Copyright:
© 2015 LIPICS.
PY - 2015/2/1
Y1 - 2015/2/1
N2 - We consider the Steiner Multicut problem, which asks, given an undirected graph G, a collection T{script} = {T1, ⋯, Tt}, Ti ⊆ V (G), of terminal sets of size at most p, and an integer k, whether there is a set S of at most k edges or nodes such that of each set Ti at least one pair of terminals is in different connected components of G \ S. This problem generalizes several well-studied graph cut problems, in particular the Multicut problem, which corresponds to the case p = 2. The Multicut problem was recently shown to be fixed-parameter tractable for parameter k [Marx and Razgon, Bousquet et al., STOC 2011]. The question whether this result generalizes to Steiner Multicut motivates the present work. We answer the question that motivated this work, and in fact provide a dichotomy of the parameterized complexity of Steiner Multicut on general graphs. That is, for any combination of k, t, p, and the treewidth tw(G) as constant, parameter, or unbounded, and for all versions of the problem (edge deletion and node deletion with and without deletable terminals), we prove either that the problem is fixed-parameter tractable or that the problem is hard (W[1]-hard or even (para-)NP-complete). Among the many results in the paper, we highlight that: ▪ The edge deletion version of Steiner Multicut is fixed-parameter tractable for parameter k + t on general graphs (but has no polynomial kernel, even on trees). ▪ In contrast, both node deletion versions of Steiner Multicut are W[1]-hard for the parameter k + t on general graphs. ▪ All versions of Steiner Multicut are W[1]-hard for the parameter k, even when p = 3 and the graph is a tree plus one node. Since we allow k, t, p, and tw(G) to be any constants, our characterization includes a dichotomy for Steiner Multicut on trees (for tw(G) = 1) as well as a polynomial time versus NP-hardness dichotomy (by restricting k, t, p, tw(G) to constant or unbounded).
AB - We consider the Steiner Multicut problem, which asks, given an undirected graph G, a collection T{script} = {T1, ⋯, Tt}, Ti ⊆ V (G), of terminal sets of size at most p, and an integer k, whether there is a set S of at most k edges or nodes such that of each set Ti at least one pair of terminals is in different connected components of G \ S. This problem generalizes several well-studied graph cut problems, in particular the Multicut problem, which corresponds to the case p = 2. The Multicut problem was recently shown to be fixed-parameter tractable for parameter k [Marx and Razgon, Bousquet et al., STOC 2011]. The question whether this result generalizes to Steiner Multicut motivates the present work. We answer the question that motivated this work, and in fact provide a dichotomy of the parameterized complexity of Steiner Multicut on general graphs. That is, for any combination of k, t, p, and the treewidth tw(G) as constant, parameter, or unbounded, and for all versions of the problem (edge deletion and node deletion with and without deletable terminals), we prove either that the problem is fixed-parameter tractable or that the problem is hard (W[1]-hard or even (para-)NP-complete). Among the many results in the paper, we highlight that: ▪ The edge deletion version of Steiner Multicut is fixed-parameter tractable for parameter k + t on general graphs (but has no polynomial kernel, even on trees). ▪ In contrast, both node deletion versions of Steiner Multicut are W[1]-hard for the parameter k + t on general graphs. ▪ All versions of Steiner Multicut are W[1]-hard for the parameter k, even when p = 3 and the graph is a tree plus one node. Since we allow k, t, p, and tw(G) to be any constants, our characterization includes a dichotomy for Steiner Multicut on trees (for tw(G) = 1) as well as a polynomial time versus NP-hardness dichotomy (by restricting k, t, p, tw(G) to constant or unbounded).
KW - Fixed-parameter tractability
KW - Graph cut problems
KW - Steiner cut
UR - http://www.scopus.com/inward/record.url?scp=84923935942&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.STACS.2015.157
DO - 10.4230/LIPIcs.STACS.2015.157
M3 - Conference contribution
AN - SCOPUS:84923935942
T3 - Leibniz International Proceedings in Informatics, LIPIcs
SP - 157
EP - 170
BT - 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015
A2 - Mayr, Ernst W.
A2 - Ollinger, Nicolas
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015
Y2 - 4 March 2015 through 7 March 2015
ER -