Abstract:We revisit a graph width parameter that we dub bipartite treewidth, along with its associated graph decomposition that we call bipartite tree decomposition. Bipartite treewidth can be seen as a common generalization of treewidth and the odd cycle transversal number. Intuitively, a bipartite tree decomposition is a tree decomposition whose bags induce almost bipartite graphs and whose adhesions contain at most one vertex from the bipartite part of any other bag, while the width of such decomposition measures how far the bags are from being bipartite. Adapted from a tree decomposition originally defined by Demaine, Hajiaghayi, and Kawarabayashi [SODA 2010] and explicitly defined by Tazari [Th. Comp. Sci. 2012], bipartite treewidth appears to play a crucial role for solving problems related to odd-minors, which have recently attracted considerable attention. As a first step toward a theory for solving these problems efficiently, the main goal of this paper is to develop dynamic programming techniques to solve problems on graphs of small bipartite treewidth. For such graphs, we provide a number of para-NP-completeness results, FPT-algorithms, and XP-algorithms, as well as several open problems. In particular, we show that $K_t$-Subgraph-Cover, Weighted Vertex Cover/Independent Set, Odd Cycle Transversal, and Maximum Weighted Cut are $FPT$ parameterized by bipartite treewidth. We provide the following complexity dichotomy when $H$ is a 2-connected graph, for each of $H$-Subgraph-Packing, $H$-Induced-Packing, $H$-Scattered-Packing, and $H$-Odd-Minor-Packing problem: if $H$ is bipartite, then the problem is para-NP-complete parameterized by bipartite treewidth while, if $H$ is non-bipartite, then it is solvable in XP-time. We define 1-${\cal H}$-treewidth by replacing the bipartite graph class by any class ${\cal H}$. Most of the technology developed here works for this more general parameter.

Inapproximability of Treewidth, One-Shot Pebbling, and Related Layout Problems

A coarse geometric approach to graph layout problems

Hardness of Approximation in PSPACE and Separation Results for Pebble Games

Treewidth, Hadwiger Number, and Induced Minors

Better Inapproximability Bounds and Approximation Algorithms for Min-Max Tree/Cycle/Path Cover Problems.

FPT Approximation using Treewidth: Capacitated Vertex Cover, Target Set Selection and Vector Dominating Set

Inapproximability of the Standard Pebble Game and Hard to Pebble Graphs

Induced subgraphs and tree decompositions XV. Even-hole-free graphs with bounded clique number have logarithmic treewidth

Product structure extension of the Alon--Seymour--Thomas theorem

On Approximating Cutwidth and Pathwidth

Better Approximability Results for Min–max Tree/cycle/path Cover Problems

Minimizing the stabbing number of matchings, trees, and triangulations

On the Approximability of Covering Points by Lines and Related Problems

Approximating branchwidth on parametric extensions of planarity

Induced subgraphs and tree decompositions X. Towards logarithmic treewidth for even-hole-free graphs

Shallow Minors, Graph Products, and Beyond-Planar Graphs

Induced subgraphs and tree decompositions VI. Graphs with 2-cutsets

Dynamic programming on bipartite tree decompositions

Fixed-Parameter and Approximation Algorithms: A New Look

Upward and Orthogonal Planarity are W[1]-hard Parameterized by Treewidth

Algorithmic Applications of Tree-Cut Width