[论文解读] Alpha-Concave Hull, a Generalization of Convex Hull

Saeed Asaeedi, Farzad Didehvar+1 more|arXiv (Cornell University)|Sep 30, 2013

Point processes and geometric inequalities被引用 4

一句话总结

本文提出了α-凹包（alpha-concave hull），这是一种凸包的新型推广，允许对点集进行非凸、灵活的包围。论文证明该问题为NP难，并建立了与最小面积TSP问题的联系，使α-凹包成为计算几何中凸包与α形状的有意义延伸。

ABSTRACT

Bounding hull, such as convex hull, concave hull, alpha shapes etc. has vast applications in different areas especially in computational geometry. Alpha shape and concave hull are generalizations of convex hull. Unlike the convex hull, they construct non-convex enclosure on a set of points. In this paper, we introduce another generalization of convex hull, named alpha-concave hull, and compare this concept with convex hull and alpha shape. We show that the alpha-concave hull is also a generalization of an NP-complete problem named min-area TSP. We prove that computing the alpha-concave hull is NP-hard on a set of points.

研究动机与目标

• 提出一种新的几何构造——α-凹包，作为凸包的推广，允许边界为非凸形态。
• 将α-凹包形式化为一个以α为参数的连续形状族，扩展α形状的概念。
• 通过证明其为NP难问题，展示计算α-凹包的计算复杂性。
• 建立α-凹包与已知NP完全的最小面积TSP问题之间的理论联系。
• 将α-凹包与现有概念（如凸包和α形状）进行比较，突出其独特性质。

提出的方法

• α-凹包被定义为所有闭半平面的交集，其中这些半平面的补集包含一个半径为α、且不与输入点集相交的开圆盘。
• 该构造依赖于点集与其Voronoi图之间的对偶性，利用基于圆盘的排除准则来定义包络边界。
• 该方法通过允许凹形、非凸形状，同时保持与点集的拓扑一致性，推广了α形状框架。
• 算法方法涉及基于α半径圆盘包含性与可见性约束，对候选边和区域进行过滤。
• 理论分析通过从已知NP难问题（特别是最小面积TSP）的归约，确立计算复杂性。
• 该框架通过理论证明以及与既有的几何构造的比较得到验证。

实验结果

研究问题

• RQ1 如何将凸包推广，以允许非凸、灵活的包围，同时保持点集的拓扑与几何一致性？
• RQ2 对于给定点集，计算α-凹包的计算复杂性是什么？
• RQ3 α-凹包与其他推广形式（如α形状和凹包）之间有何关系？
• RQ4 α-凹包能否用于建模或求解最小面积TSP问题？
• RQ5 对于给定的α值，一个形状成为α-凹包的必要与充分条件是什么？

主要发现

• α-凹包被正式定义为所有闭半平面的交集，其中这些半平面的补集包含一个半径为α、且不与输入点集相交的开圆盘。
• 计算α-凹包的问题被证明为NP难，确立了其在一般点集上的计算不可解性。
• α-凹包推广了凸包与α形状，提供了一个以α为参数的连续形状族。
• α-凹包被证明是已知为NP完全的最小面积TSP问题的自然推广。
• 该框架提供了一个统一的几何视角，将点集包围、形状重建与组合优化问题联系起来。
• 理论基础支持在计算几何中应用α-凹包，以实现灵活的非凸边界检测。