[論文レビュー] Efficient Computation of Visibility Polygons

Francisc Bungiu, Michael Hemmer+3 more|arXiv (Cornell University)|Mar 16, 2014

Computational Geometry and Mesh Generation参考文献 18被引用数 22

ひとこと要約

本稿では、穴あき単純多角形領域における可視多角形の計算のための新規な三角形展開アルゴリズムを提示する。理論的最悪計算量はO(n²)であるが、実用的性能は線形未満である。この手法は、三角形分割に基づく再帰的アプローチを用い、角度制約によって可視領域を制限することで、既存のO(n)およびO(n log n)アルゴリズムを、特にノルウェーおよび大聖堂多角形のような複雑な入力において、最大100倍の性能向上を達成する。

ABSTRACT

Determining visibility in planar polygons and arrangements is an important subroutine for many algorithms in computational geometry. In this paper, we report on new implementations, and corresponding experimental evaluations, for two established and one novel algorithm for computing visibility polygons. These algorithms will be released to the public shortly, as a new package for the Computational Geometry Algorithms Library (CGAL).

研究の動機と目的

• 計算幾何ライブラリにおける可視多角形アルゴリズムの正確で完全かつ効率的な実装の不足に対処すること。
• 特に穴あき領域を含む複雑な多角形環境における可視性計算において、高い実用的性能を達成する新アルゴリズムの開発。
• 退化ケースを適切に処理でき、可視性アンテナを含む出力のカスタマイズが可能な、堅牢で正確な計算フレームワークの提供。
• 実世界および最悪ケース入力において、新アルゴリズムと既存のO(n)およびO(n log n)手法との性能を評価・比較すること。

提案手法

• 三角形展開アルゴリズムは、入力多角形の三角形分割を用い、クエリ点からの可視性コーンを再帰的に探索し、可視でない領域を枝刈りする。
• 各再帰段階で、屈曲頂点が定める現在の角度範囲内に新しい頂点が存在するかを、向きのテストにより判定する。
• アルゴリズムは、アクティブな可視性コーンのスタックを維持し、頂点が左および右の角度境界の間に位置する場合に再帰を2つに分割する。
• 可視性コーンが屈曲頂点によって制限可能であるという事実を活用し、最悪ケースでも処理すべき三角形の数を削減する。
• 退化を適切に処理できる正確な算術演算を用いて実装されており、可視性アンテナを含む出力のカスタマイズも可能である。
• 事前処理では多角形の三角形分割を行い、O(n)時間およびO(n)空間で完了し、クエリ処理中の可視性コーン走査を効率化する。

実験結果

リサーチクエスチョン

• RQ1 理論的最悪計算量がO(n²)であるにもかかわらず、実用的性能が線形未満となるような新規な可視多角形アルゴリズムを設計可能か？
• RQ2 三角形展開アルゴリズムの性能は、実世界および最悪ケース入力において、既存のO(n)およびO(n log n)手法と比べてどの程度異なるか？
• RQ3 三角形分割による事前処理が、複雑な多角形領域における可視性計算のクエリ効率をどの程度向上させるか？
• RQ4 なぜ、CGALなどの主要な計算幾何ライブラリにおいて、可視性アルゴリズムの実装が未完または欠落しているのか？

主な発見

• ノルウェー・データセット（20,981頂点）では、三角形展開アルゴリズムの平均クエリ時間は1頂点あたり0.18 msであり、O(n)のJoe-Simpsonアルゴリズムを100倍以上上回る。
• 大聖堂データセット（1,209頂点）では、新アルゴリズムのクエリ時間は1回あたり0.004 msであり、回転スイープ法よりも100倍以上高速である。
• 最悪ケース（Θ(n)個の穴）ではO(n²)の計算量に達するが、実際の応用ではこのケースは稀であり、実性能に大きな影響を与えない。
• ノルウェー・データセットでは、三角形展開アルゴリズムがO(n log n)の回転スイープ法を100倍以上上回り、優れた実用的効率を示している。
• 実装は正確で、すべての退化ケースを適切に処理でき、可視性アンテナを含む出力のカスタマイズも可能であり、CGALへの統合に向けた生産環境適合性を備えている。
• 著者らは、本アルゴリズムが、公開予定のCGAL 4.5において、同種のアルゴリズムとして初めて完全かつ正確な実装であると報告している。