Parameterized Complexity Dichotomy for (r, a)-Vertex Deletion

摘要

For two integers r, a"" 0, a graph G = (V, E) is an (r, a"")-graph if V can be partitioned into r independent sets and a"" cliques. In the parameterized (r, a"")-Vertex Deletion problem, given a graph G and an integer k, one has to decide whether at most k vertices can be removed from G to obtain an (r, a"")-graph. This problem is NP-hard if r + a"" 1 and encompasses several relevant problems such as Vertex Cover and Odd Cycle Transversal. The parameterized complexity of (r, a"")-Vertex Deletion was known for all values of (r, a"") except for (2,1), (1,2), and (2,2). We prove that each of these three cases is FPT and, furthermore, solvable in single-exponential time, which is asymptotically optimal in terms of k. We consider as well the version of (r, a"")-Vertex Deletion where the set of vertices to be removed has to induce an independent set, and provide also a parameterized complexity dichotomy for this problem.