×

zbMATH — the first resource for mathematics

Directed Subset Feedback Vertex Set is fixed-parameter tractable. (English) Zbl 1272.68149
Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Warwick, UK, July 9–13, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-31593-0/pbk). Lecture Notes in Computer Science 7391, 230-241 (2012).
Summary: Given a graph \(G\) and an integer \(k\), the Feedback Vertex Set (FVS) problem asks if there is a vertex set \(T\) of size at most \(k\) that hits all cycles in the graph. Bodlaender (1991) gave the first fixed-parameter algorithm for FVS in undirected graphs. The fixed-parameter tractability status of FVS in directed graphs was a long-standing open problem until Chen et al. (2008) showed that it is fixed-parameter tractable by giving an \(4^{k } k!n ^{O(1)}\) algorithm. In the subset versions of this problems, we are given an additional subset \(S\) of vertices (resp. edges) and we want to hit all cycles passing through a vertex of \(S\) (resp. an edge of \(S\)). Indeed both the edge and vertex versions are known to be equivalent in the parameterized sense. Recently the Subset Feedback Vertex Set in undirected graphs was shown to be FPT by Cygan et al. (2011) and Kakimura et al. (2012). We generalize the result of Chen et al. (2008) by showing that Subset Feedback Vertex Set in directed graphs can be solved in time \(2^{2^{O(k)}}n^{O(1)}\), i.e., FPT parameterized by size \(k\) of the solution. By our result, we complete the picture for feedback vertex set problems and their subset versions in undirected and directed graphs.
The technique of random sampling of important separators was used by Marx and Razgon (2011) to show that Undirected Multicut is FPT and was generalized by Chitnis et al. (2012) to directed graphs to show that Directed Multiway Cut is FPT. In this paper we give a general family of problems (which includes Directed Multiway Cut and Directed Subset Feedback Vertex Set among others) for which we can do random sampling of important separators and obtain a set which is disjoint from a minimum solution and covers its “shadow”. We believe this general approach will be useful for showing the fixed-parameter tractability of other problems in directed graphs.
For the entire collection see [Zbl 1268.68011].

MSC:
68Q25 Analysis of algorithms and problem complexity
68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
68R10 Graph theory (including graph drawing) in computer science
PDF BibTeX Cite
Full Text: DOI