# Subexponential Parameterized Algorithms for Cut and Cycle Hitting Problems on H-Minor-Free Graphs

We design the first subexponential-time (parameterized) algorithms for several cut and cycle-hitting problems on H-minor free graphs. In particular, we obtain the following results (where k is the solution-size parameter). 1. 2^O(√(k)log k)· n^O(1) time algorithms for Edge Bipartization and Odd Cycle Transversal; 2. a 2^O(√(k)log^4 k)· n^O(1) time algorithm for Edge Multiway Cut and a 2^O(r √(k)log k)· n^O(1) time algorithm for Vertex Multiway Cut, where r is the number of terminals to be separated; 3. a 2^O((r+√(k))log^4 (rk))· n^O(1) time algorithm for Edge Multicut and a 2^O((√(rk)+r) log (rk))· n^O(1) time algorithm for Vertex Multicut, where r is the number of terminal pairs to be separated; 4. a 2^O(√(k)log g log^4 k)· n^O(1) time algorithm for Group Feedback Edge Set and a 2^O(g √(k)log(gk))· n^O(1) time algorithm for Group Feedback Vertex Set, where g is the size of the group. 5. In addition, our approach also gives n^O(√(k)) time algorithms for all above problems with the exception of n^O(r+√(k)) time for Edge/Vertex Multicut and (ng)^O(√(k)) time for Group Feedback Edge/Vertex Set. We obtain our results by giving a new decomposition theorem on graphs of bounded genus, or more generally, an h-almost-embeddable graph for any fixed constant h. In particular we show the following. Let G be an h-almost-embeddable graph for a constant h. Then for every p∈ℕ, there exist disjoint sets Z_1,…,Z_p ⊆ V(G) such that for every i ∈{1,…,p} and every Z'⊆ Z_i, the treewidth of G/(Z_i\ Z') is O(p+|Z'|). Here G/(Z_i\ Z') is the graph obtained from G by contracting edges with both endpoints in Z_i \ Z'.

• 22 publications
• 13 publications
• 55 publications
• 69 publications
• 17 publications
research
07/28/2020

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

The Cut Count technique and the rank-based approach have lead to sin...
research
10/28/2021

### A Framework for Parameterized Subexponential Algorithms for Generalized Cycle Hitting Problems on Planar Graphs

Subexponential parameterized algorithms are known for a wide range of na...
research
06/30/2021

### Close relatives (of Feedback Vertex Set), revisited

At IPEC 2020, Bergougnoux, Bonnet, Brettell, and Kwon showed that a numb...
research
02/20/2020

### On quasipolynomial multicut-mimicking networks and kernelization of multiway cut problems

We show the existence of an exact mimicking network of k^O(log k) edges ...
research
12/28/2020

### Bounded-Degree Cut is Fixed-Parameter Tractable

In the bounded-degree cut problem, we are given a multigraph G=(V,E), tw...
research
06/30/2023

### Subexponential parameterized algorithms for cycle-hitting problems in contact and intersection graphs of segments

In this paper we investigate the existence of subexponential parameteriz...
research
07/15/2023

### Sandpile Prediction on Structured Undirected Graphs

We present algorithms that compute the terminal configurations for sandp...