[論文レビュー] Minimum Hidden Guarding of Histogram Polygons

Hamid Hoorfar, Alireza Bagheri|arXiv (Cornell University)|Aug 19, 2017

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

ひとこと要約

本稿では、互いに見えない guard の条件下で、直交可視性下でのヒストグラム多角形における最小隠し監視者数を計算する線形時間幾何的アルゴリズムを提示する。多角形を r-スター部分多角形に分解し、それらの核内に重複しない長方形に guard を配置することで、O(n) 時間および O(n) 空間で最適なカバレッジを達成する。

ABSTRACT

A hidden guard set $ G $ is a set of point guards in polygon $ P $ that all points of the polygon are visible from some guards in $ G $ under the constraint that no two guards may see each other. In this paper, we consider the problem for finding minimum hidden guard sets in histogram polygons under orthogonal visibility. Two points $ p $ and $ q $ are orthogonally visible if the orthogonal bounding rectangle for $ p $ and $ q $ lies within $ P $. It is known that the problem is NP-hard for simple polygon with general visibility and it is true for simple orthogonal polygon. We proposed a linear time exact algorithm for finding minimum hidden guard set in histogram polygons under orthogonal visibility. In our algorithm, it is allowed that guards place everywhere in the polygon.

研究の動機と目的

• 互いに見えない guard が許可されない条件下で、直交可視性下でのヒストグラム多角形における最小隠し監視者集合問題を解くこと。
• 先行研究で一般的なグラフ理論的モデルに依存しない、完全に幾何的なアルゴリズムを開発すること。
• この特定の多角形クラスにおける隠し監視者問題に対して、最適な時間および空間複雑度を達成すること。
• 標準的な直交アートギャラリー問題（単調多角形）への幾何的アプローチの拡張を通じて、隠しバージョンの基礎を築くこと。
• より一般の単純な直交多角形（穴あり・なしを問わず）における隠し直交アートギャラリー問題を解くための基盤を提供すること。

提案手法

• 上側チェーンの水平および垂直辺に基づいて、ヒストグラム多角形を垂直な長方形成分に分解する。
• 両端で 270° および 90° の角度を持つ水平辺に対して、その下の点から上の点までをカバーする長方形 (si_i) を定義し、多角形の内部に含まれることを保証する。
• 各 such 長方形 si_i 内に guard を配置し、可視領域が重複しないために guard 相互が互いに見えないことを保証する。
• O(n) 時間で処理できるスイープラインに類似した戦略を用い、guard の配置領域を定義する y-レベル y1 および y2 を維持する。
• 各長方形 si_i がピラミッド部分多角形の核に含まれることを活用し、guard がその部分多角形を完全に視認できることを保証する。
• 最小通常監視者集合のサイズが示された先行のアルゴリズム的結果に基づき、guard の数が最適であることを示すことで最適性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ヒストグラム多角形において、直交可視性下で最小隠し監視者集合を線形時間で計算できるか？
• RQ2 グラフ理論的還元を避けて最適解を導く、完全に幾何的な隠し監視者問題のアプローチは存在するか？
• RQ3 r-スター部分多角形の核と、直交可視性下での非可視 guard の配置との関係は何か？
• RQ4 ヒストグラム多角形の幾何的分解は、隠し直交アートギャラリー問題に対する線形時間解法を可能にするか？
• RQ5 提案されたアルゴリズムの時間および空間複雑度は、類似問題に対する既存手法と比較してどうなるか？

主な発見

• 提案されたアルゴリズムは、O(n) 時間および O(n) 空間で最小隠し監視者集合を計算し、ヒストグラム多角形において最適な効率性を達成する。
• アルゴリズムは完全に幾何的であり、可視性グラフや NP 困難な還元に依存せず、先行手法とは明確に異なる。
• 生成された guard の数は最適であることが証明されており、同じ多角形における最小通常監視者集合のサイズと一致する。
• 各 guard は、ピラミッド部分多角形の核に含まれる長方形 (si_i) 内に配置されており、その部分多角形を完全に視認できることを保証する。
• 長方形 si_i が互いに可視でないことを示すことで、アルゴリズムの正しさが確立され、隠し監視者制約が満たされている。
• 本手法は、より一般のクラスの直交多角形（穴あり・なし）における隠し直交アートギャラリー問題の解決の基盤を提供するが、これは今後の研究課題のままである。