Abstract:A matching cut of a graph is a partition of its vertex set in two such that no vertex has more than one neighbor across the cut. The Matching Cut problem asks if a graph has a matching cut. This problem, and its generalization d-cut, has drawn considerable attention of the algorithms and complexity community in the last decade, becoming a canonical example for parameterized enumeration algorithms and kernelization. In this paper, we introduce and study a generalization of Matching Cut, which we have named Matching Multicut: can we partition the vertex set of a graph in at least $\ell$ parts such that no vertex has more than one neighbor outside its part? We investigate this question in several settings. We start by showing that, contrary to Matching Cut, it is NP-hard on cubic graphs but that, when $\ell$ is a parameter, it admits a quasi-linear kernel. We also show an $O(\ell^{\frac{n}{2}})$ time exact exponential algorithm for general graphs and a $2^{O(t \log t)}n^{O(1)}$ time algorithm for graphs of treewidth at most $t$. We then study parameterized enumeration aspects of matching multicuts. First, we generalize the quadratic kernel of Golovach et. al for Enum Matching Cut parameterized by vertex cover, then use it to design a quadratic kernel for Enum Matching (Multi)cut parameterized by vertex-deletion distance to co-cluster. Our final contributions are on the vertex-deletion distance to cluster parameterization, where we show an FPT-delay algorithm for Enum Matching Multicut but that no polynomial kernel exists unless NP $\subseteq$ coNP/poly; we highlight that we have no such lower bound for Enum Matching Cut and consider it our main open question.

Matchings in bipartite graphs with a given number of cuts

Almost fair perfect matchings in complete bipartite graphs

Matching Cuts in Graphs of High Girth and H-Free Graphs

Matching (Multi)Cut: Algorithms, Complexity, and Enumeration

Matchings in Geometric Graphs

Integer k-matching preclusion of graphs

Max-Bisections of graphs without perfect matching

Induced matching, ordered matching and Castelnuovo-Mumford regularity of bipartite graphs

Dichotomies for Maximum Matching Cut: H -Freeness, Bounded Diameter, Bounded Radius

Maximal and maximum induced matchings in connected graphs

Dichotomies for Maximum Matching Cut: $H$-Freeness, Bounded Diameter, Bounded Radius

Integer k-matching preclusion of some interconnection networks

Matchings in multipartite hypergraphs

Maximizing Matching Cuts

Sharp lower bounds for the number of maximum matchings in bipartite multigraphs

Integer k-matching preclusion of twisted cubes and (n,s)-star graphs

A complexity dichotomy for Matching Cut in (bipartite) graphs of fixed diameter

Perfect Matching in k-partite k-graphs and 3-uniform HM-bipartite Hypergraphs

A Short Note of Strong Matching Preclusion for a Class of Arrangement Graphs

Excluding a planar matching minor in bipartite graphs