Disjoint Compatibility via Graph Classes
Oswin Aichholzer, Julia Obmann, Pavel Pat\'ak, Daniel Perz, Josef, Tkadlec, Birgit Vogtenhuber

TL;DR
This paper investigates the structure and connectivity of a graph formed by plane perfect matchings on convex point sets, focusing on compatibility via specific classes of plane graphs like spanning trees, caterpillars, and paths.
Contribution
It introduces a new graph model based on disjoint compatibility of plane perfect matchings and analyzes its connectivity and diameter for different classes of plane graphs.
Findings
The graph is connected with constant diameter when using all plane spanning trees.
The graph has linear diameter when using caterpillars.
The graph is disconnected when using paths.
Abstract
Two plane drawings of graphs on the same set of points are called disjoint compatible if their union is plane and they do not have an edge in common. Let be a convex point set of points and let be a family of plane drawings on . Two plane perfect matchings and on (which do not need to be disjoint nor compatible) are \emph{disjoint -compatible} if there exists a drawing in which is disjoint compatible to both and In this work, we consider the graph which has all plane perfect matchings as vertices and where two vertices are connected by an edge if the matchings are disjoint -compatible. We study the diameter of this graph when is the family of all plane spanning trees, caterpillars or paths. We show that in the first two cases the graph is connected with constant and linear…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Formal Methods in Verification · Constraint Satisfaction and Optimization
