[論文レビュー] 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.

研究の動機と目的

• 非凸的で柔軟な境界を許容する凸包の一般化として、新たな幾何的構成、すなわちアルファ凹型包を導入すること。
• アルファ形状の概念を拡張するように、パラメータαでパrameter化された連続的な形状の族としてアルファ凹型包を形式化すること。
• アルファ凹型包の計算がNP困難であることを証明することで、その計算の困難性を立証すること。
• アルファ凹型包とNP完全である最小面積TSP問題との理論的関連を確立すること。
• 既存の概念、特に凸包やアルファ形状と比較し、その独自の性質を強調すること。

提案手法

• アルファ凹型包は、入力点集合と交差しない半径αの開円板を補集合に含むすべての閉半平面上の共通部分として定義される。
• 点集合とそのボロノイ図の双対性に依存し、円板に基づく除外基準を用いて包の境界を定義する。
• アルファ形状フレームワークを一般化し、トポロジー的に点集合と整合性を持つ非凸的で凹型の形状を許容する。
• アルファ半径の円板への包含および可視性制約に基づいて、候補となる辺や領域をフィルタリングするアルゴリズム的手法を用いる。
• 既知のNP困難問題への還元を用いた理論的分析により、計算複雑性を立証する。
• 理論的証明と既存の幾何的構成との比較を通じて、フレームワークの妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 凸包を、トポロジーや幾何学的整合性を保ちつつ非凸的で柔軟な囲いを許容する形に一般化するにはどうすればよいか？
• RQ2 与えられた点集合に対してアルファ凹型包を計算する際の計算複雑性は何か？
• RQ3 アルファ凹型包は、アルファ形状や凹型包といった他の一般化とどのように関係しているか？
• RQ4 アルファ凹型包を用いて最小面積TSP問題をモデル化または解くことは可能か？
• RQ5 与えられたα値に対して、形状がアルファ凹型包とみなされるために必要な十分条件は何か？

主な発見

• アルファ凹型包は、入力点集合と交差しない半径αの開円板を補集合に含むすべての閉半平面の共通部分として正式に定義される。
• アルファ凹型包の計算問題がNP困難であることが証明され、一般の点集合に対しては計算的に困難であることが立証された。
• アルファ凹型包は、凸包およびアルファ形状の両方を一般化し、パラメータαでパrameter化された連続的な形状の族を提供する。
• アルファ凹型包は、NP完全であることが知られる最小面積TSP問題の自然な一般化であることが示された。
• 点集合の囲い、形状再構築、組合せ最適化問題を統合する幾何的視点を提供する。
• 理論的基盤は、計算幾何学における柔軟で非凸的境界検出を必要とする応用においてアルファ凹型包の利用を支持する。