Generalized feedback vertex set problems on bounded-treewidth graphs: chordality is the key to single-exponential parameterized algorithms

Édouard Bonnet, Nick Brettell, O-joung Kwon (Corresponding author), Dániel Marx

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Abstract

It has long been known that Feedback Vertex Set can be solved in time 2 O ( w log w ) n O ( 1 ) on n-vertex graphs of treewidth w, but it was only recently that this running time was improved to 2 O ( w ) n O ( 1 ) , that is, to single-exponential parameterized by treewidth. We investigate which generalizations of Feedback Vertex Set can be solved in a similar running time. Formally, for a class P of graphs, the BoundedP-Block Vertex Deletion problem asks, given a graph G on n vertices and positive integers k and d, whether G contains a set S of at most k vertices such that each block of G- S has at most d vertices and is in P. Assuming that P is recognizable in polynomial time and satisfies a certain natural hereditary condition, we give a sharp characterization of when single-exponential parameterized algorithms are possible for fixed values of d:if P consists only of chordal graphs, then the problem can be solved in time 2O(wd2)nO(1),if P contains a graph with an induced cycle of length ℓ⩾ 4 , then the problem is not solvable in time 2 o ( w log w ) n O ( 1 ) even for fixed d= ℓ, unless the ETH fails. We also study a similar problem, called BoundedP-Component Vertex Deletion, where the target graphs have connected components of small size rather than blocks of small size, and we present analogous results. For this problem, we also show that if d is part of the input and P contains all chordal graphs, then it cannot be solved in time f(w) n o ( w ) for some function f, unless the ETH fails.

Original languageEnglish
Pages (from-to)3890-3935
Number of pages46
JournalAlgorithmica
Volume81
Issue number10
DOIs
Publication statusPublished - 1 Oct 2019

Bibliographical note

•Special Issue: Parameterized and Exact Computation

Keywords

  • Chordal graph
  • Feedback Vertex Set
  • Parameterized complexity
  • Treewidth

Fingerprint Dive into the research topics of 'Generalized feedback vertex set problems on bounded-treewidth graphs: chordality is the key to single-exponential parameterized algorithms'. Together they form a unique fingerprint.

Cite this