Maximum Minimal Feedback Vertex Set: A Parameterized Perspective

08/03/2022
by   Ajinkya Gaikwad, et al.
0

In this paper we study a maximization version of the classical Feedback Vertex Set (FVS) problem, namely, the Max Min FVS problem, in the realm of parameterized complexity. In this problem, given an undirected graph G, a positive integer k, the question is to check whether G has a minimal feedback vertex set of size at least k. We obtain following results for Max Min FVS. 1) We first design a fixed parameter tractable (FPT) algorithm for Max Min FVS running in time 10^kn^𝒪(1). 2) Next, we consider the problem parameterized by the vertex cover number of the input graph (denoted by 𝗏𝖼(G)), and design an algorithm with running time 2^𝒪(𝗏𝖼(G)log𝗏𝖼(G))n^𝒪(1). We complement this result by showing that the problem parameterized by 𝗏𝖼(G) does not admit a polynomial compression unless coNP ⊆ NP/poly. 3) Finally, we give an FPT-approximation scheme (fpt-AS) parameterized by 𝗏𝖼(G). That is, we design an algorithm that for every ϵ >0, runs in time 2^𝒪(𝗏𝖼(G)/ϵ) n^𝒪(1) and returns a minimal feedback vertex set of size at least (1-ϵ) opt.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/04/2022

Globally Minimal Defensive Alliances: A Parameterized Perspective

A defensive alliance in an undirected graph G=(V,E) is a non-empty set o...
research
08/04/2022

Parameterized Complexity of Upper Edge Domination

In this paper we study a maximization version of the classical Edge Domi...
research
02/19/2023

Parameterized Max Min Feedback Vertex Set

Given a graph G and an integer k, Max Min FVS asks whether there exists ...
research
10/09/2018

A Note on Max k-Vertex Cover: Faster FPT-AS, Smaller Approximate Kernel and Improved Approximation

In Maximum k-Vertex Cover (Max k-VC), the input is an edge-weighted grap...
research
07/01/2023

Kernelization for Finding Lineal Topologies (Depth-First Spanning Trees) with Many or Few Leaves

For a given graph G, a depth-first search (DFS) tree T of G is an r-root...
research
06/02/2022

On the Parallel Parameterized Complexity of MaxSAT Variants

In the maximum satisfiability problem (MAX-SAT) we are given a propositi...
research
02/05/2021

Parameterized complexity of computing maximum minimal blocking and hitting sets

A blocking set in a graph G is a subset of vertices that intersects ever...

Please sign up or login with your details

Forgot password? Click here to reset