[论文解读] Edge-Unfolding Nearly Flat Convex Caps

Joseph O’Rourke|arXiv (Cornell University)|Jan 1, 2018

Computational Geometry and Mesh Generation被引用 6

一句话总结

本文证明了在R³中近乎平坦、锐角三角剖分的凸顶帽可以沿边展开为非重叠的平面多边形。作者利用角度单调曲线与径向单调曲线，提出了一种时间复杂度为O(n²)的构造性算法，其中非重叠的阈值角F ≈ 0.36√a，a为三角形内角的锐度间隙。

ABSTRACT

The main result of this paper is a proof that a nearly flat, acutely triangulated convex cap C in R^3 has an edge-unfolding to a non-overlapping polygon in the plane. A convex cap is the intersection of the surface of a convex polyhedron and a halfspace. Nearly flat means that every outer face normal forms a sufficiently small angle f < F with the z^-axis orthogonal to the halfspace bounding plane. The size of F depends on the acuteness gap a: if every triangle angle is at most pi/2 {-} a, then F ~~ 0.36 sqrt{a} suffices; e.g., for a=3°, F ~~ 5°. The proof employs the recent concepts of angle-monotone and radially monotone curves. The proof is constructive, leading to a polynomial-time algorithm for finding the edge-cuts, at worst O(n^2); a version has been implemented.

研究动机与目标

• 建立近乎平坦凸顶帽可无重叠展开的条件。
• 解决具有锐角三角剖分的凸顶帽边展开的挑战。
• 开发一种计算保证无重叠展开的边切割的构造性算法。
• 根据三角形内角的锐度间隙a，量化无重叠展开所允许的最大倾斜角F。

提出的方法

• 证明依赖于角度单调曲线与径向单调曲线的几何性质，以引导展开过程。
• 作者将'近乎平坦'定义为所有外表面法向量与z⁻轴的夹角f < F，其中F取决于锐度间隙a。
• 推导出阈值F ≈ 0.36√a，使得当f < F时，展开保持无重叠。
• 该方法利用单调曲线的性质在曲面上构造边切割，以避免自相交。
• 该算法为多项式时间，最坏时间复杂度为O(n²)，且已在实践中实现。
• 该方法确保所得平面多边形为简单且无重叠，同时保持顶帽的拓扑结构。

实验结果

研究问题

• RQ1 在何种几何条件下，近乎平坦的凸顶帽可被边展开为无重叠的平面多边形？
• RQ2 三角形内角的锐度间隙a如何影响无重叠展开所允许的最大倾斜角F？
• RQ3 角度单调曲线与径向单调曲线能否用于保证凸顶帽中无重叠的边展开？
• RQ4 锐度间隙a与确保无重叠的阈值F之间存在何种定量关系？
• RQ5 是否存在一种构造性、多项式时间的算法，用于计算近乎平坦凸顶帽中的此类边切割？

主要发现

• 若所有三角形内角≤ π/2 − a，且面法向量与z⁻轴的夹角f < F，则近乎平坦的凸顶帽可被边展开为无重叠的平面多边形。
• 阈值F ≈ 0.36√a可确保无重叠展开，当a = 3°时，F ≈ 5°。
• 该证明具有构造性，并产生时间复杂度为O(n²)的多项式时间算法。
• 该方法成功利用角度单调曲线与径向单调曲线引导展开路径，避免自相交。
• 该算法的实现验证了该方法在具体实例中的可行性和正确性。
• 该结果扩展了在几何约束下可实现无重叠边展开的凸顶帽类别。