[論文レビュー] Fast Approximation Algorithms for Art Gallery Problems in Simple Polygons

Dae-Sung Jang, Sunil Kwon|arXiv (Cornell University)|Jan 7, 2011

Computational Geometry and Mesh Generation参考文献 14被引用数 3

ひとこと要約

この論文は、単純多角形における頂点監視者（VG）問題と辺監視者（EG）問題のためのO(n³)時間近似アルゴリズムを提示している。従来のO(n⁴)アルゴリズムに比べて改善されている。可視性領域の集合をすべてカバーするのではなく、O(n²)個の可視性領域の「スイーパー（sink）」のみをカバーすれば十分であるという事実を活用することで、計算時間を短縮しつつ、可視性スイーパーに対する貪欲な集合被覆法によりO(log n)の近似比を維持している。

ABSTRACT

We present approximation algorithms with O(n^3) processing time for the minimum vertex and edge guard problems in simple polygons. It is improved from previous O(n^4) time algorithms of Ghosh. For simple polygon, there are O(n^3) visibility regions, thus any approximation algorithm for the set covering problem with approximation ratio of log(n) can be used for the approximation of n vertex and edge guard problems with O(n^3) visibility sequence. We prove that the visibility of all points in simple polygons is guaranteed by covering O(n^2) sinks from vertices and edges : It comes to O(n^3) time bound.

研究の動機と目的

• 単純多角形における頂点監視者問題と辺監視者問題のためのより高速な近似アルゴリズムを開発すること。
• 可視性領域の構造的性質を活用することで、時間計算量をO(n⁴)からO(n³)に削減すること。
• すべてのO(n³)個の可視性領域をカバーする必要があるのではなく、O(n²)個の可視性領域スイーパーのみをカバーすれば十分であることを証明すること。
• 計算時間の大幅な向上を実現しつつも、O(log n)の近似比を維持すること。

提案手法

• 頂点の可視性多角形からの可視性分割を用いて、単純多角形内の可視性領域を特定する。
• 共有境界をはさんで可視性集合が変化するペアを表すエッジを持つ、可視性領域の双対グラフを構築する。
• 双対グラフ構造を用いて、「スイーパー」（隣接領域のすべての可視性集合の部分集合である可視性領域）を定義し、抽出する。
• 頂点と辺の可視性に共通する窓構造の同一性により、辺監視者の可視性は、同じVGスイーパーの被覆問題に還元可能であることを示す。
• 各スイーパーから部分的に可視な辺を、線形時間の可視性多角形アルゴリズムを用いて計算する。
• 辺の弱可視性集合に対して貪欲な集合被覆ヒューリスティックを適用し、最小の辺監視者集合を特定する。これによりO(log n)の近似比が達成される。

実験結果

リサーチクエスチョン

• RQ1 単純多角形における頂点監視者問題の近似アルゴリズムの時間計算量をO(n⁴)未満に低下させることは可能か？
• RQ2 可視性領域にどのような構造的性質があるため、全可視性領域の集合よりも小さい支配集合が得られるのか？
• RQ3 辺監視者問題は、同一の近似保証を持つ頂点監視者風の可視性スイーパー被覆問題に還元可能か？
• RQ4 単純多角形において、可視性領域スイーパーの数は、全可視性領域数よりも遅く成長するか？
• RQ5 ゴーシュのアルゴリズムにおけるO(n⁴)のボトルネックは、全可視性領域ではなくスイーパーに注目することで解消可能か？

主な発見

• 単純多角形における可視性領域スイーパーの数はO(n²)であり、全可視性領域数O(n³)に比べて顕著に少ない。
• 頂点監視者問題と辺監視者問題は、O(n²)個のスイーパーのみを被覆することで解けるため、問題のサイズが削減される。
• 提案されたアルゴリズムはO(n³)時間で実行され、同じ近似比を達成する以前のO(n⁴)時間アルゴリズムに比べて改善されている。
• 可視性スイーパーに対する貪欲な集合被覆法を適用することで、アルゴリズムはO(log n)の近似比を維持している。
• 辺監視者問題は、頂点監視者問題で用いられる同じスイーパー集合の被覆問題に還元可能であり、これは頂点と辺の可視性に同一の窓構造があるためである。
• この手法は穴のある多角形に対しても拡張可能であるが、その場合スイーパー数がO(n⁴)に増加するため、時間計算量は依然としてO(n⁵)のままとなる。