Choudhary, Pratibha ;
Kanesh, Lawqueen ;
Lokshtanov, Daniel ;
Panolan, Fahad ;
Saurabh, Saket
Parameterized Complexity of Feedback Vertex Sets on Hypergraphs
Abstract
A feedback vertex set in a hypergraph H is a set of vertices S such that deleting S from H results in an acyclic hypergraph. Here, deleting a vertex means removing the vertex and all incident hyperedges, and a hypergraph is acyclic if its vertexedge incidence graph is acyclic. We study the (parameterized complexity of) the Hypergraph Feedback Vertex Set (HFVS) problem: given as input a hypergraph H and an integer k, determine whether H has a feedback vertex set of size at most k. It is easy to see that this problem generalizes the classic Feedback Vertex Set (FVS) problem on graphs. Remarkably, despite the central role of FVS in parameterized algorithms and complexity, the parameterized complexity of a generalization of FVS to hypergraphs has not been studied previously. In this paper, we fill this void. Our main results are as follows
 HFVS is W[2]hard (as opposed to FVS, which is fixed parameter tractable).
 If the input hypergraph is restricted to a linear hypergraph (no two hyperedges intersect in more than one vertex), HFVS admits a randomized algorithm with running time 2^{𝒪(k³log k)}n^{𝒪(1)}.
 If the input hypergraph is restricted to a dhypergraph (hyperedges have cardinality at most d), then HFVS admits a deterministic algorithm with running time d^{𝒪(k)}n^{𝒪(1)}. The algorithm for linear hypergraphs combines ideas from the randomized algorithm for FVS by Becker et al. [J. Artif. Intell. Res., 2000] with the branching algorithm for Point Line Cover by Langerman and Morin [Discrete & Computational Geometry, 2005].
BibTeX  Entry
@InProceedings{choudhary_et_al:LIPIcs:2020:13259,
author = {Pratibha Choudhary and Lawqueen Kanesh and Daniel Lokshtanov and Fahad Panolan and Saket Saurabh},
title = {{Parameterized Complexity of Feedback Vertex Sets on Hypergraphs}},
booktitle = {40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020)},
pages = {18:118:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {9783959771740},
ISSN = {18688969},
year = {2020},
volume = {182},
editor = {Nitin Saxena and Sunil Simon},
publisher = {Schloss DagstuhlLeibnizZentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2020/13259},
URN = {urn:nbn:de:0030drops132596},
doi = {10.4230/LIPIcs.FSTTCS.2020.18},
annote = {Keywords: feedback vertex sets, hypergraphs, FPT, randomized algorithms}
}
04.12.2020
Keywords: 

feedback vertex sets, hypergraphs, FPT, randomized algorithms 
Seminar: 

40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020)

Issue date: 

2020 
Date of publication: 

04.12.2020 