[论文解读] Locked and Unlocked Polygonal Chains in 3D

Thérèse Biedl, Erik D. Demaine+9 more|ArXiv.org|Nov 11, 1998

Computational Geometry and Mesh Generation参考文献 20被引用 36

一句话总结

本文研究了三维空间中开链与闭链的重新配置问题，证明具有简单正交投影的链可被拉直，同时展示了存在无法重新配置的锁定链。本文提出“圣路易斯拱门”算法，通过 O(n²) 次移动在三维空间中凸化平面简单多边形，全程保持简单性，并证明并非所有链都可解锁，即使它们是无结的。

ABSTRACT

In this paper, we study movements of simple polygonal chains in 3D. We say that an open, simple polygonal chain can be straightened if it can be continuously reconfigured to a straight sequence of segments in such a manner that both the length of each link and the simplicity of the chain are maintained throughout the movement. The analogous concept for closed chains is convexification: reconfiguration to a planar convex polygon. Chains that cannot be straightened or convexified are called locked. While there are open chains in 3D that are locked, we show that if an open chain has a simple orthogonal projection onto some plane, it can be straightened. For closed chains, we show that there are unknotted but locked closed chains, and we provide an algorithm for convexifying a planar simple polygon in 3D with a polynomial number of moves.

研究动机与目标

• 确定在何种条件下三维空间中的开链与闭链可被重新配置为直线或凸形，同时保持简单性。
• 解决计算几何领域长期悬而未决的问题，即三维空间中链的拉直与凸化问题。
• 开发高效算法对链进行重新配置，同时保持杆长不变并避免自相交。
• 研究判断链是否被锁定的可判定性与复杂性。
• 探讨具有简单投影的链是否总能在三维空间中被凸化或拉直。

提出的方法

• 本文引入一种基于移动的重新配置模型，其中关节绕固定轴单调旋转，保持杆长与简单性不变。
• 针对具有简单正交投影的开链，提出一种 O(n) 次移动的算法，通过依次旋转关节实现链的拉直。
• 通过构造一个由两个刚性杆通过柔性绳索连接的开链，证明了此类链因拓扑障碍而无法被拉直，从而展示了锁定链的存在。
• 针对平面简单多边形的凸化，提出“圣路易斯拱门”算法，该算法将顶点依次抬升至垂直半平面，形成位于参考平面之上的凸拱。
• 该算法使用参考平面 z = ε 安全地抬升并重新定位多边形的部分结构，确保运动过程中不会发生自相交。
• 证明了在移除一个“耳”后变为凸多边形的“带刺多边形”（barbed polygons）可每步以 O(i) 次移动完成凸化，从而实现整体 O(n²) 时间复杂度。

实验结果

研究问题

• RQ1 所有具有简单正交投影的三维开多边形链是否都能被拉直？
• RQ2 是否存在无结但被锁定的三维闭多边形链？
• RQ3 是否存在一种多项式时间算法，用于在三维空间中凸化平面简单多边形？
• RQ4 判断三维多边形链是否被锁定的计算复杂性是什么？
• RQ5 具有简单投影的闭链是否总能在三维空间中被凸化？

主要发现

• 具有简单正交投影到平面的开多边形链可在 O(n) 次移动内被拉直，证明此类链并非被锁定。
• 存在无结但被锁定的闭多边形链，表明拓扑简单性并不保证可重新配置性。
• “圣路易斯拱门”算法可在 O(n²) 次移动内凸化平面简单多边形，运行时间多项式，且全程保持简单性。
• 该算法使用参考平面 z = ε 安全地抬升并重新定位多边形线段，避免凸化过程中的自相交。
• 带刺多边形——即移除一个“耳”后变为凸多边形的多边形——可每步以 O(i) 次移动完成凸化，从而实现高效的总体重新配置。
• 本文证明并非所有三维链都可解锁，即使它们是无结的，从而解决了计算几何领域长期悬而未决的问题。