On the Parameterized Complexity of Deletion to H-free Strong Components

05/04/2020
by   Rian Neogi, et al.
0

Directed Feedback Vertex Set (DFVS) is a fundamental computational problem that has received extensive attention in parameterized complexity. In this paper, we initiate the study of a wide generalization, the H-free SCC Deletion problem. Here, one is given a digraph D, an integer k and the objective is to decide whether there is a vertex set of size at most k whose deletion leaves a digraph where every strong component excludes graphs in the fixed finite family H as (not necessarily induced) subgraphs. When H comprises only the digraph with a single arc, then this problem is precisely DFVS. Our main result is a proof that this problem is fixed-parameter tractable parameterized by the size of the deletion set if H only contains rooted graphs or if H contains at least one directed path. Along with generalizing the fixed-parameter tractability result for DFVS, our result also generalizes the recent results of Göke et al. [CIAC 2019] 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 match with the best bounds for DFVS, without using the heavy machinery of shadow removal as is done by Göke et al. [CIAC 2019].

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/01/2023

Structural Parameterizations of the Biclique-Free Vertex Deletion Problem

In this work, we study the Biclique-Free Vertex Deletion problem: Given ...
research
09/05/2022

Resolving Infeasibility of Linear Systems: A Parameterized Approach

Deciding feasibility of large systems of linear equations and inequaliti...
research
11/24/2017

On the Parallel Parameterized Complexity of the Graph Isomorphism Problem

In this paper, we study the parallel and the space complexity of the gra...
research
05/10/2021

Parameterized Complexity of Deletion to Scattered Graph Classes

Graph-modification problems, where we add/delete a small number of verti...
research
08/11/2023

Lossy Kernelization for (Implicit) Hitting Set Problems

We re-visit the complexity of kernelization for the d-Hitting Set proble...
research
06/13/2019

Structural Parameterization for Graph Deletion Problems over Data Streams

The study of parameterized streaming complexity on graph problems was in...
research
08/04/2022

Almost Consistent Systems of Linear Equations

Checking whether a system of linear equations is consistent is a basic c...

Please sign up or login with your details

Forgot password? Click here to reset