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

by   Sayan Bandyapadhyay, et al.

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'.



There are no comments yet.


page 1

page 2

page 3

page 4


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...

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...

Bounded-Degree Cut is Fixed-Parameter Tractable

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

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 ...

Decomposition of Map Graphs with Applications

Bidimensionality is the most common technique to design subexponential-t...

Ultrasparse Ultrasparsifiers and Faster Laplacian System Solvers

In this paper we provide an O(m (loglog n)^O(1)log(1/ϵ))-expected time a...

Vertex Sparsification for Edge Connectivity

Graph compression or sparsification is a basic information-theoretic and...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.