Flipping odd matchings in geometric and combinatorial settings
By: Oswin Aichholzer , Sofia Brenner , Joseph Dorfer and more
Potential Business Impact:
Lets you change one matching to another.
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.
Similar Papers
On Computational Aspects of Ordered Matching Problems
Computational Complexity
Helps computers solve tricky matching puzzles faster.
Flipping Matchings is Hard
Computational Geometry
Finding the fewest steps to change one dot pattern to another is hard.
A note on embracing exchange sequences in oriented matroids
Combinatorics
Finds shortest path between geometric shapes.