Flipping odd matchings in geometric and combinatorial settings

TL;DR

This paper investigates the reconfiguration of odd matchings through flips in geometric and combinatorial contexts, providing characterizations, complexity results, and fixed-parameter tractability insights.

Contribution

It offers a complete polynomial-time characterization for reconfiguring odd matchings in graphs and establishes complexity and FPT results for flip sequences.

Findings

Complete characterization of graphs with reconfigurable odd matchings

Linear diameter of flip graph in connected cases

NP-completeness of flip sequence existence decision

Abstract

We study the problem of reconfiguring odd matchings, that is, matchings that cover all but a single vertex. Our reconfiguration operation is a so-called flip where the unmatched vertex of the first matching gets matched, while consequently another vertex becomes unmatched. We consider two distinct settings: the geometric setting, in which the vertices are points embedded in the plane and all occurring odd matchings are crossing-free, and a combinatorial setting, in which we consider odd matchings in general graphs. For the latter setting, we provide a complete polynomial time checkable characterization of graphs in which any two odd matchings can be reconfigured into each another. This complements the previously known result that the flip graph is always connected in the geometric setting [Aichholzer, Br\"otzner, Perz, and Schnider. Flips in odd matchings]. In the combinatorial setting, we prove that the diameter of the flip graph, if connected, is linear in the number of vertices. Furthermore, we establish that deciding whether there exists a flip sequence of length $k$ transforming one given matching into another is NP-complete in both the combinatorial and the geometric settings. To prove the latter, we introduce a framework that allows us to transform partial order types into general position with only polynomial overhead. Finally, we demonstrate that when parameterized by the flip distance $k$, the problem is fixed-parameter tractable (FPT) in the geometric setting when restricted to convex point sets.