On the Parameterized Complexity of Deletion to [math]-Free Strong Components
Rian Neogi,M. S. Ramanujan,Saket Saurabh,Roohani Sharma
DOI: https://doi.org/10.1137/23m1548591
IF: 0.868
2024-12-16
SIAM Journal on Discrete Mathematics
Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 4, Page 3079-3110, December 2024. Directed Feedback Vertex Set (DFVS) is a fundamental computational problem that has received a lot of attention in parameterized complexity. In this paper, we initiate the study of a wide generalization of this problem called the [math]-free Strong Connected Component Deletion problem, where [math] is a finite family of digraphs. Here, one is given a digraph [math] and an integer [math], and the objective is to decide whether there is a vertex set of size at most [math] whose deletion results in a digraph where every strongly connected component excludes graphs in family [math] as (not necessarily induced) subgraphs. When [math] comprises only the digraph with a single arc, then this problem is precisely the DFVS problem. Our main result is a proof that this problem is fixed-parameter tractable parameterized by the size of the deletion set if [math] only contains rooted graphs or if [math] contains at least one directed path. Along with generalizing the fixed-parameter tractability result for DFVS, our result also generalizes the results of Göke, Marx, and Mnich [Proceedings of the International Conference on Algorithms and Complexity, Springer, 2019, pp. 249–261] for the 1-Out-Regular Vertex Deletion and Bounded Size Strong Component Vertex Deletion problems. Moreover, we design algorithms for the two above-mentioned problems, whose running times are better and that match with the best bounds for DFVS, without using the heavy machinery of shadow removal as is done by Göke, Marx, and Mnich [Proceedings of the International Conference on Algorithms and Complexity, Springer, 2019, pp. 249–261].
mathematics, applied