[論文レビュー] Guarding and Searching Polyhedra

Giovanni Viglietta|arXiv (Cornell University)|Nov 12, 2012

Artificial Intelligence in Games参考文献 3被引用数 9

ひとこと要約

本学位論文は、3次元直交的および多面体的環境における芸術ギャラリー問題とサーチライトスケジューリング問題を発展させ、エッジガードおよびサーチスケジュールのための新規な境界とアルゴリズムを導入する。2反復直交多面体に対しては、⌊r/2⌋+1 個の反復エッジガードで十分であり、必要最小限であることを証明する。直交多面体におけるエッジガードの境界を⌊11e/72⌋に改善し、3次元および2次元の状況における探索可能性と部分的探索の強力なNP困難性およびPSPACE完全性の結果を確立する。

ABSTRACT

We tackle the Art Gallery Problem and the Searchlight Scheduling Problem in 3-dimensional polyhedral environments, putting special emphasis on edge guards and orthogonal polyhedra.

研究の動機と目的

• 2次元のガーディングおよび探索問題を3次元多面体環境へ拡張し、特にエッジガードおよび直交多面体に焦点を当てる。
• 特定の構造的制約（例：2反復、4方向、直交的）を満たす3次元多面体をカバーするためのエッジガード数のタイトな上界および下界を確立する。
• 3次元サーチライトスケジューリング問題をモデル化・分析し、多面体が探索可能である条件と最適な探索スケジュールを計算する際の複雑性を特定する。
• 多面体の探索（部分的探索および完全探索の決定）に関する強力なNP困難性およびPSPACE完全性の結果を証明する。
• エッジ数、反復エッジ数、ガード数の関係を調査し、幾何学的および組合せ的技法を用いて先行研究の境界を改善する。

提案手法

• 2反復直交多面体に対して、⌊r/2⌋+1 個の反復エッジガードが十分かつしばしば必要であることを証明し、O’Rourkeの2次元定理を一般化する。
• 2反復直交多面体における反復エッジガードの配置を計算する線形時間アルゴリズムを開発する。
• 直交多面体における互いに平行なエッジガードに対して、⌊11e/72⌋ 個のガードで十分である新規な境界を導入し、以前の⌊e/6⌋の境界を改善する。
• エッジ数 e と反復エッジ数 r の間にタイトな不等式を確立し、上界として⌊7r/12⌋+1 個のガードを得る。
• エッジ軸回りの回転する半平面（サーチプレーン）を用いて3次元サーチライトスケジューリング問題をモデル化し、サーチスケジュールと埋め込みガードを定義する。
• 完全探索可能性の決定問題が強力NP困難であり、最小探索時間を定数倍の要因内で近似することも強力NP困難であることを証明する。また、直交多面体および平面多角形における部分的探索のPSPACE完全性を示す。

実験結果

リサーチクエスチョン

• RQ1 2反復直交多面体をカバーするための反復エッジガードの最小数は何か？ また、その値は効率的に計算可能か？
• RQ2 エッジ数 e と反復エッジ数 r の関係を用いて、直交多面体におけるエッジガード数のよりタイトな境界を確立できるか？
• RQ3 4方向多面体におけるエッジガードの上界⌊e/6⌋を改善できるか？ また、最もタイトな既知の下界および上界は何か？
• RQ4 与えられた多面体が与えられたガード集合によって3次元で完全に探索可能かどうかを決定する問題の計算複雑性は何か？
• RQ5 特定の領域が直交多面体で探索可能かどうかを決定する問題は、平面の場合を含めてもPSPACE完全であるか？

主な発見

• 2反復直交多面体に対しては、⌊r/2⌋+1 個の反復エッジガードが十分であり、場合によっては必要不可欠であり、その配置を線形時間で計算可能である。
• 直交多面体における互いに平行なエッジガードに対しては、⌊11e/72⌋ 個のガードで常に十分であり、線形時間で計算可能であり、以前の⌊e/6⌋の境界を改善する。
• 4方向多面体におけるエッジガードに対して、下界⌊e/6⌋−1 および上界⌊(e+r)/6⌋ のタイトな境界が確立された。
• 一般多面体を探索可能にするために必要なガード数は最大で r² 個であり、直交多面体では r 個にまで減少する（r は反復エッジ数）。
• 与えられたガード集合によって多面体が完全に探索可能かどうかを決定する問題は強力NP困難であり、最小探索時間を定数倍の要因内で近似することも強力NP困難である。
• 直交多面体の特定の領域が探索可能かどうかを決定する問題は強力PSPACE完全であり、この結果は平面直交多角形へも拡張可能であり、2次元計算複雑性理論における空白を解消する。