Simultaneous Feedback Vertex Set: A Parameterized Perspective

Given a family of graphs $\mathcal{F}$, a graph $G$, and a positive integer $k$, the $\mathcal{F}$-Deletion problem asks whether we can delete at most $k$ vertices from $G$ to obtain a graph in $\mathcal{F}$. $\mathcal{F}$-Deletion generalizes many classical graph problems such as Vertex Cover, Feedback Vertex Set, and Odd Cycle Transversal. A graph $G = (V, \cup_{i=1}^α E_{i})$, where the edge set of $G$ is partitioned into $α$ color classes, is called an $α$-edge-colored graph. A natural extension of the $\mathcal{F}$-Deletion problem to edge-colored graphs is the $α$-Simultaneous $\mathcal{F}$-Deletion problem. In the latter problem, we are given an $α$-edge-colored graph $G$ and the goal is to find a set $S$ of at most $k$ vertices such that each graph $G_i \setminus S$, where $G_i = (V, E_i)$ and $1 \leq i \leq α$, is in $\mathcal{F}$. In this work, we study $α$-Simultaneous $\mathcal{F}$-Deletion for $\mathcal{F}$ being the family of forests. In other words, we focus on the $α$-Simultaneous Feedback Vertex Set ($α$-SimFVS) problem. Algorithmically, we show that, like its classical counterpart, $α$-SimFVS parameterized by $k$ is fixed-parameter tractable (FPT) and admits a polynomial kernel, for any fixed constant $α$. In particular, we give an algorithm running in $2^{O(αk)}n^{O(1)}$ time and a kernel with $O(αk^{3(α+ 1)})$ vertices. The running time of our algorithm implies that $α$-SimFVS is FPT even when $α\in o(\log n)$. We complement this positive result by showing that for $α\in O(\log n)$, where $n$ is the number of vertices in the input graph, $α$-SimFVS becomes W[1]-hard. Our positive results answer one of the open problems posed by Cai and Ye (MFCS 2014).