[論文レビュー] Guarding Path Polygons with Orthogonal Visibility

Hamid Hoorfar, Alireza Bagheri|arXiv (Cornell University)|Sep 5, 2017

Computational Geometry and Mesh Generation参考文献 17被引用数 8

ひとこと要約

本稿では、単純な直交パス多角形（垂直分解の双対グラフがパスである多角形）における最小の r-ガード（直交可視性ガード）を計算する線形時間の幾何的アルゴリズムを提示する。幾何的性質を活用し、バランスの取れた単調分解とガード位置の貪欲なマージという二段階のアプローチを用いることで、O(n)の時間計算量を達成し、WormanとKeilによる従来のO(n^17 polylog n)の境界を著しく改善する。

ABSTRACT

We are interested in the problem of guarding simple orthogonal polygons with the minimum number of $ r $-guards. The interior point $ p $ belongs an orthogonal polygon $ P $ is visible from $ r $-guard $ g $, if the minimum area rectangle contained $ p $ and $ q $ lies within $ P $. A set of point guards in polygon $ P $ is named guard set (as denoted $ G $) if the union of visibility areas of these point guards be equal to polygon $ P $ i.e. every point in $ P $ be visible from at least one point guards in $ G $. For an orthogonal polygon, if dual graph of vertical decomposition is a path, it is named path polygon. In this paper, we show that the problem of finding the minimum number of $ r $-guards (minimum guard set) becomes linear-time solvable in orthogonal path polygons. The path polygon may have dent edges in every four orientations. For this class of orthogonal polygon, the problem has been considered by Worman and Keil who described an algorithm running in $ O(n^{17} poly\log n) $-time where $ n $ is the size of the input polygon. The problem of finding minimum number of guards for simple polygon with general visibility is NP-hard, even if polygon be orthogonal. Our algorithm is purely geometric and presents a new strategy for $ r $-guarding orthogonal polygons and guards can be placed everywhere in the interior and boundary of polygon.

研究の動機と目的

• r-可視性（直交可視性）を前提としたパス多角形における直交アートギャラリー問題を扱う。
• グラフ論的抽象化に依存しない完全に幾何的なアルゴリズムを開発する。
• パス多角形における最小r-ガード集合の計算時間計算量を、O(n^17 polylog n)からO(n)に低減する。
• 単調直交多角形に対する従来の幾何的戦略を、より広いクラスのパス多角形へ一般化する。
• 最小のr-ガードで直交パス多角形を効率的かつ実用的にガードするための解決策を提供する。

提案手法

• 垂直分解を用いて、直交パス多角形をバランスの取れた単調直交部分多角形に分解する。
• 左端および右端の境界上に存在する凹点ペアによって定まる長方形として、候補となるガード位置を特定する。
• 各水平エッジセグメントに対して、対応するコロシアムセグメントをカバーできる可視性長方形（位置）を計算する。
• 上部および下部の境界に跨る重複するガード位置をマージし、総ガード数を最小化する。
• ソート済みのガード位置リストに対して貪欲なマージ戦略を適用し、重複するガードを削除する。
• すべてのバランスの取れた部分多角形からの結果を統合し、O(n)時間でグローバル最小ガード集合を計算する。

実験結果

リサーチクエスチョン

• RQ1 グラフベースの手法ではなく、幾何的アプローチを用いて、直交パス多角形の最小r-ガード集合を線形時間で計算可能か？
• RQ2 すべての4方向の凹点を持つパス多角形の構造は、一般の直交多角形よりも効率的な解法を可能にする要因となるか？
• RQ3 バランスの取れた単調部分多角形が持つ幾何的性質は、どのように線形時間のガード配置戦略を可能にするか？
• RQ4 単調多角形に対する幾何的戦略を、最適性を損なわずにパス多角形へどの程度まで拡張可能か？
• RQ5 最適性を維持したまま、パス多角形のr-ガード配置の時間計算量をO(n^17 polylog n)からO(n)に低減可能か？

主な発見

• 提案されたアルゴリズムは、頂点数nを用いて、直交パス多角形の最小r-ガード集合をO(n)時間で計算する。
• アルゴリズムは完全に幾何的であり、長方形に基づく可視性と位置のマージに依存し、複雑なグラフ論的還元を避ける。
• 時間計算量が線形であるのは、すべてのバランスの取れた単調部分多角形に跨る頂点総数がO(n)であり、各部分問題が線形時間で解けるためである。
• 双対グラフのパス構造を活用することで、WormanとKeilのO(n^17 polylog n)アルゴリズムを改善した。
• 空間計算量もO(n)であり、時間効率と整合的である。
• すべての歯状エッジが少なくとも1つのガードによってカバーされることを保証し、マージによる重複ガードの削除によって最適性を達成している。