Abstract:The Multicut problem asks for a minimum cut separating certain pairs of vertices: formally, given a graph $G$ and demand graph $H$ on a set $T\subseteq V(G)$ of terminals, the task is to find a minimum-weight set $C$ of edges of $G$ such that whenever two vertices of $T$ are adjacent in $H$, they are in different components of $G\setminus C$. Colin de Verdière [Algorithmica, 2017] showed that Multicut with $t$ terminals on a graph $G$ of genus $g$ can be solved in time $f(t,g)n^{O(\sqrt{g^2+gt+t})}$. Cohen-Addad et al. [JACM, 2021] proved a matching lower bound showing that the exponent of $n$ is essentially best possible (for fixed values of $t$ and $g$), even in the special case of Multiway Cut, where the demand graph $H$ is a complete graph. However, this lower bound tells us nothing about other special cases of Multicut such as Group 3-Terminal Cut. We show that if the demand pattern is, in some sense, close to being a complete bipartite graph, then Multicut can be solved faster than $f(t,g)n^{O(\sqrt{g^2+gt+t})}$, and furthermore this is the only property that allows such an improvement. Formally, for a class $\mathcal{H}$ of graphs, Multicut$(\mathcal{H})$ is the special case where the demand graph $H$ is in $\mathcal{H}$. For every fixed class $\mathcal{H}$ (satisfying some mild closure property), fixed $g$, and fixed $t$, our main result gives tight upper and lower bounds on the exponent of $n$ in algorithms solving Multicut$(\mathcal{H})$. In addition, we investigate a similar setting where, instead of parameterizing by the genus $g$ of $G$, we parameterize by the minimum number $k$ of edges of $G$ that need to be deleted to obtain a planar graph. Interestingly, in this setting it makes a significant difference whether the graph $G$ is weighted or unweighted: further nontrivial algorithmic techniques give substantial improvements in the unweighted case.

An introduction to the mincut graph of a graph

Intersection Graphs: An Introduction

Vital Edges for (s,t)-mincut: Efficient Algorithms, Compact Structures, and Optimal Sensitivity Oracle

Cuts in Graphs with Matroid Constraints

Complete Graph Minors and the Graph Minor Structure Theorem

What Energy Functions Can Be Minimized via Graph Cuts?

A New Approach to Constructing a Minimum Edge Cut Set Based on Maximum Flow.

A Short Note on Relevant Cuts

The Structure of Minimum Vertex Cuts

Minimal separators in graph classes defined by small forbidden induced subgraphs

U-Bubble Model for Mixed Unit Interval Graphs and its Applications: The MaxCut Problem Revisited

Multicut Problems in Embedded Graphs: The Dependency of Complexity on the Demand Pattern

Topology of Cut Complexes of Graphs

Maximizing Matching Cuts

On the cut dimension of a graph

Cheeger's Cut, Maxcut and the Spectral Theory Of1-Laplacian on Graphs

On the Dominant of the Multicut Polytope

Finding Almost-Perfect Graph Bisections.

An introduction to graph theory

The minmin coalition number in graphs

Minimizing an Uncrossed Collection of Drawings