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.

Partitons of vertices and facets in trees and stacked simplicial complexes

Partitions of Vertices and Facets in Trees and Stacked Simplicial Complexes

Vertex decomposability of complexes associated to forests

Congruence Classes of Simplex Structures in Finite Field Vector Spaces

Powers of facet ideals of simplicial trees

Simplicial complexes with many facets are vertex decomposable

Quasi-tree-partitions of graphs with an excluded subgraph

On squarefree powers of simplicial trees

Oriented Flip Graphs and Noncrossing Tree Partitions

Fulkerson duality for modulus of spanning trees and partitions

$P$-partitions with flags and back stable quasisymmetric functions

Higher Order Bipartiteness vs Bi-Partitioning in Simplicial Complexes

Shortcut Partitions in Minor-Free Graphs: Steiner Point Removal, Distance Oracles, Tree Covers, and More

On the parameterized complexity of computing tree-partitions

On Steiner Trees of the Regular Simplex

The cavity approach for Steiner trees packing problems

Lower bounds and integrality gaps in simplicial decomposition

Partitioning the projective plane to two incidence-rich parts

The infinitesimal Hopf algebra and the poset of planar forests

Dynamic programming on bipartite tree decompositions