Parameterized complexity dichotomy for Steiner Multicut

We consider the Steiner Multicut problem, which asks, given an undirected graph G, a collection T={_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. We provide a dichotomy of the parameterized complexity of Steiner Multicut. 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, W[1]-hard, or (para-)NP-complete. Our characterization includes a dichotomy for Steiner Multicut on trees as well as a polynomial time versus NP-hardness dichotomy (by restricting k,t,p,tw(G) to constant or unbounded).