Compatible Paths on Labelled Point Sets

Let $P$ and $Q$ be finite point sets of the same cardinality in $\mathbb{R}^2$, each labelled from $1$ to $n$. Two noncrossing geometric graphs $G_P$ and $G_Q$ spanning $P$ and $Q$, respectively, are called compatible if for every face $f$ in $G_P$, there exists a corresponding face in $G_Q$ with the same clockwise ordering of the vertices on its boundary as in $f$. In particular, $G_P$ and $G_Q$ must be straight-line embeddings of the same connected $n$-vertex graph. Deciding whether two labelled point sets admit compatible geometric paths is known to be NP-complete. We give polynomial-time algorithms to find compatible paths or report that none exist in three scenarios: $O(n)$ time for points in convex position; $O(n^2)$ time for two simple polygons, where the paths are restricted to remain inside the closed polygons; and $O(n^2 \log n)$ time for points in general position if the paths are restricted to be monotone.

[1]  Diane L. Souvaine,et al.  Constructing piecewise linear homeomorphisms of polygons with holes , 1997, CCCG.

[2]  Michael Tarsi,et al.  The Structure of Well-Covered Graphs and the Complexity of Their Recognition Problems , 1997, J. Comb. Theory, Ser. B.

[3]  Michael D. Plummer,et al.  On well-covered pentagonalizations of the plane , 2017, Discret. Appl. Math..

[4]  Richard Pollack,et al.  On the Combinatorial Classification of Nondegenerate Configurations in the Plane , 1980, J. Comb. Theory, Ser. A.

[5]  Debajyoti Mondal,et al.  On Compatible Triangulations with a Minimum Number of Steiner Points , 2017, CCCG.

[6]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[7]  Alan Saalfeld Joint triangulations and triangulation maps , 1987, SCG '87.

[8]  Ronald L. Rivest,et al.  Introduction to Algorithms, 3rd Edition , 2009 .

[9]  Farhad Shahrokhi,et al.  Applications of the crossing number , 1994, SCG '94.

[10]  William V. Baxter,et al.  Compatible Embedding for 2D Shape Animation , 2009, IEEE Transactions on Visualization and Computer Graphics.

[11]  Marcus Schaefer,et al.  Paired Pointset Traversal , 2004, ISAAC.

[12]  John Hershberger,et al.  An optimal visibility graph algorithm for triangulated simple polygons , 1989, Algorithmica.

[13]  Franz Aurenhammer,et al.  Towards compatible triangulations , 2001, Theor. Comput. Sci..

[14]  Boris Aronov,et al.  On Compatible Triangulations of Simple Polygons , 1993, Comput. Geom..

[15]  Craig Gotsman,et al.  High quality compatible triangulations , 2004, Engineering with Computers.