[论文解读] Angle-monotone Paths in Non-obtuse Triangulations

Anna Lubiw, Joseph O’Rourke|arXiv (Cornell University)|Jul 1, 2017

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

一句话总结

本文提供了非钝角三角剖分中任意两点间存在角度单调路径的简化证明，表明在宽度至少为60°的楔形区域内此类路径存在。此外，尽管角度单调生成树并不总存在，但边界根生成森林存在，从而引出关于浅凸多面帽无重叠边展开的新型猜想。

ABSTRACT

We reprove a result of Dehkordi, Frati, and Gudmundsson: every two vertices in a non-obtuse triangulation of a point set are connected by an angle-monotone path--an xy-monotone path in an appropriately rotated coordinate system. We show that this result cannot be extended to angle-monotone spanning trees, but can be extended to boundary-rooted spanning forests. The latter leads to a conjectural edge-unfolding of sufficiently shallow polyhedral convex caps.

研究动机与目标

• 提供Dehkordi、Fratei与Gudmundsson原始结果的更简单、更直接的证明，即在非钝角三角剖分中存在角度单调路径。
• 研究角度单调路径性质是否可推广至生成树；若不能，则识别出保持该性质的替代结构。
• 探讨角度单调路径与凸多面帽边展开之间的联系，尤其关注径向单调性与无重叠展开。
• 提出猜想：在投影平面图中通过算法构造的角度单调生成森林可被提升至三维，从而生成浅凸多面帽的无重叠边展开。

提出的方法

• 以源点s为中心进行角度扫描，为每个顶点v定义以90°为中心的楔形区域W(β,v)，以识别β-单调路径。
• 在凸包顶点处添加射线以增强三角剖分G，确保所有顶点（包括边界顶点）均满足路径延伸条件。
• 将上包络U(β)与下包络L(β)分别定义为从s出发最逆时针与最顺时针的β-单调路径，形成包含所有可达顶点的区域R(β)。
• 证明由上包络与下包络构成的区域R(β)内所有顶点均可通过从s出发的β-单调路径到达，从而确立此类路径的存在性。
• 将结果推广至任意宽度γ ≥ 60°的楔形区域，表明在所有角度≤γ的三角剖分中，任意两点间均存在宽度为γ的角度单调路径。
• 应用算法1在四个象限中构造边界根生成森林，使用β_j = 45° + j·90°，并将所得平面森林提升至三维，形成凸帽上的切割森林。

实验结果

研究问题

• RQ1 能否以比Dehkordi、Fratei与Gudmundsson原始方法更简单的方式证明非钝角三角剖分中角度单调路径的存在性？
• RQ2 角度单调路径性质是否可推广至非钝角三角剖分中的角度单调生成树？
• RQ3 能否在非钝角三角剖分中构造由角度单调路径组成的边界根生成森林？若能，其成立条件为何？
• RQ4 角度单调路径与凸多面帽无重叠边展开之间是否存在联系？
• RQ5 能否将通过算法1在平面中构造的角度单调生成森林提升至三维，使得所得切割路径具有径向单调性，从而实现无自交展开？

主要发现

• 通过角度扫描与包络路径，提供了非钝角三角剖分中任意两点间存在角度单调路径的更简单证明。
• 该结果可推广至任意宽度γ ≥ 60°的楔形区域，不仅限于90°，确保在所有角度≤γ的三角剖分中，任意两点间均存在宽度为γ的角度单调路径。
• 通过反例表明，非钝角三角剖分中角度单调生成树并不总存在。
• 对于任意β，均可构造由β-单调路径组成的边界根生成森林，且此类森林在非钝角三角剖分中确实存在。
• 在浅凸多面帽的投影平面图C⊥中构造的角度单调生成森林可被提升至三维，形成一个切割森林，该森林被猜想可实现无重叠边展开。
• 实现代码支持该猜想，视觉证据显示Φ ≈ 27°的凸帽成功无重叠展开。