English

Close relatives (of Feedback Vertex Set), revisited

Discrete Mathematics 2021-07-01 v1 Computational Complexity Data Structures and Algorithms Combinatorics

Abstract

At IPEC 2020, Bergougnoux, Bonnet, Brettell, and Kwon showed that a number of problems related to the classic Feedback Vertex Set (FVS) problem do not admit a 2o(klogk)nO(1)2^{o(k \log k)} \cdot n^{\mathcal{O}(1)}-time algorithm on graphs of treewidth at most kk, assuming the Exponential Time Hypothesis. This contrasts with the 3kkO(1)n3^{k} \cdot k^{\mathcal{O}(1)} \cdot n-time algorithm for FVS using the Cut&Count technique. During their live talk at IPEC 2020, Bergougnoux et al.~posed a number of open questions, which we answer in this work. - Subset Even Cycle Transversal, Subset Odd Cycle Transversal, Subset Feedback Vertex Set can be solved in time 2O(klogk)n2^{\mathcal{O}(k \log k)} \cdot n in graphs of treewidth at most kk. This matches a lower bound for Even Cycle Transversal of Bergougnoux et al.~and improves the polynomial factor in some of their upper bounds. - Subset Feedback Vertex Set and Node Multiway Cut can be solved in time 2O(klogk)n2^{\mathcal{O}(k \log k)} \cdot n, if the input graph is given as a clique-width expression of size nn and width kk. - Odd Cycle Transversal can be solved in time 4kkO(1)n4^k \cdot k^{\mathcal{O}(1)} \cdot n if the input graph is given as a clique-width expression of size nn and width kk. Furthermore, the existence of a constant ε>0\varepsilon > 0 and an algorithm performing this task in time (4ε)knO(1)(4-\varepsilon)^k \cdot n^{\mathcal{O}(1)} would contradict the Strong Exponential Time Hypothesis.

Keywords

Cite

@article{arxiv.2106.16015,
  title  = {Close relatives (of Feedback Vertex Set), revisited},
  author = {Hugo Jacob and Thomas Bellitto and Oscar Defrain and Marcin Pilipczuk},
  journal= {arXiv preprint arXiv:2106.16015},
  year   = {2021}
}

Comments

32 pages, 4 figures