Close relatives of Feedback Vertex Set without single-exponential algorithms parameterized by treewidth

Benjamin Bergougnoux , Édouard Bonnet (1, 2) , Nick Brettell (3) , O-Joung Kwon (4)

1 LIP - Laboratoire de l'Informatique du Parallélisme
2 ENS de Lyon - École normale supérieure de Lyon
3 Victoria University of Wellington
4 Incheon National University

The Cut & Count technique and the rank-based approach have lead to single-exponential FPT algorithms parameterized by treewidth, that is, running in time 2 O(tw) n^O(1) , for Feedback Vertex Set and connected versions of the classical graph problems (such as Vertex Cover and Dominating Set). We show that Subset Feedback Vertex Set, Subset Odd Cycle Transversal, Restricted Edge-Subset Feedback Edge Set, Node Multiway Cut, and Multiway Cut are unlikely to have such running times. More precisely, we match algorithms running in time 2^O(tw log tw) n^O(1) with tight lower bounds under the Exponential-Time Hypothesis (ETH), ruling out 2^o(tw log tw) n^O(1), where n is the number of vertices and tw is the treewidth of the input graph. Our algorithms extend to the weighted case, while our lower bounds also hold for the larger parameter pathwidth and do not require weights. We also show that, in contrast to Odd Cycle Transversal, there is no 2^o(tw log tw) n^O(1)-time algorithm for Even Cycle Transversal under the ETH.

Mots clés: Subset Feedback Vertex Set; Multiway Cut; Parameterized Algorithms; Treewidth; Graph Modification; Vertex Deletion Problems

Domaines: Informatique [cs]

Benjamin Bergougnoux, Édouard Bonnet, Nick Brettell, O-Joung Kwon. Close relatives of Feedback Vertex Set without single-exponential algorithms parameterized by treewidth. IPEC 2020, Dec 2020, Hong Kong, China. ⟨hal-03430381⟩