[論文レビュー] Smoothed Analysis of the Art Gallery Problem

Michael Gene Dobbins, Andreas F. Holmsen+1 more|arXiv (Cornell University)|Nov 3, 2018

Computational Geometry and Mesh Generation参考文献 50被引用数 5

ひとこと要約

本稿はアートギャラリー問題に滑らかさ解析を適用し、多角形の頂点に小さなランダムな摂動を加えた場合、最適な監視者位置は通常、記述にわずかなビット数しか必要としないため、実際には有理数座標で十分であることを示している。主な結果は、ナイーブアルゴリズム（監視者位置を推測し、視界を検証する）が期待される非決定的多項式時間で動作することであり、これは代数的手法が通常のインスタンスではほとんど必要とされないことを示唆している。これは、問題の∃ℝ-完全性にもかかわらず成り立つ。

ABSTRACT

In the Art Gallery Problem we are given a polygon $P\subset [0,L]^2$ on $n$ vertices and a number $k$. We want to find a guard set $G$ of size $k$, such that each point in $P$ is seen by a guard in $G$. Formally, a guard $g$ sees a point $p \in P$ if the line segment $pg$ is fully contained inside the polygon $P$. The history and practical findings indicate that irrational coordinates are a "very rare" phenomenon. We give a theoretical explanation. Next to worst case analysis, Smoothed Analysis gained popularity to explain the practical performance of algorithms, even if they perform badly in the worst case. The idea is to study the expected performance on small perturbations of the worst input. The performance is measured in terms of the magnitude $δ$ of the perturbation and the input size. We consider four different models of perturbation. We show that the expected number of bits to describe optimal guard positions per guard is logarithmic in the input and the magnitude of the perturbation. This shows from a theoretical perspective that rational guards with small bit-complexity are typical. Note that describing the guard position is the bottleneck to show NP-membership. The significance of our results is that algebraic methods are not needed to solve the Art Gallery Problem in typical instances. This is the first time an $\exists\mathbb{R}$-complete problem was analyzed by Smoothed Analysis.

研究の動機と目的

• 最適なアートギャラリー問題の解において無理数座標がなぜ極めてまれであるかを説明すること。
• ∃ℝ-完全性を鑑みた場合でも、正確なアルゴリズムの実用的妥当性を分析すること。
• 小さな摂動を加えた多角形入力に対して、通常は有理数かつ低複雑度の監視者位置が得られることを示すこと。
• 中規模のアートギャラリーインスタンスを解く際、非代数的手法がなぜ実験的に成功するかの理論的根拠を提供すること。
• 滑らかさ解析が、計算幾何学における∃ℝ-完全問題の本質的困難性をどのように克服できるかを検討すること。

提案手法

• 頂点への小さなランダムな変更をモデル化するため、4つの摂動モデル（ミンコフスキー拡張、エッジ拡張、エッジ摂動、頂点摂動）を分析した。
• 3つのモデルでは、最適な監視者位置を記述するのに必要な期待ビット複雑度がO(log(nL/δ))で抑えられ、頂点摂動ではO(log(nL/(δβ)))であることが示された。ここでβは最小内角または外角を表す。
• 離散的エッジ拡張モデルを導入し、インスタンスが高確率で非決定的多項式時間で解けることを示した。
• 滑らかさ解析下で、ナイーブアルゴリズム（監視者位置を推測し、視界を検証する）を分析し、期待される非決定的多項式時間で実行されることを示した。
• 連続的摂動モデルでは、実数座標のため、監視者位置の正しさを検証するために、実数RAM上で追加でO(n⁴)の時間が必要となる。
• 理論的結果を拡張し、滑らかさ解析の枠組みにおいて近似アルゴリズムの正しさを示した。

実験結果

リサーチクエスチョン

• RQ1 滑らかさ解析は、最適なアートギャラリー解において無理数座標が極めてまれであることを説明できるか？
• RQ2 小さな摂動のもとで、ナイーブアルゴリズムが典型的なアートギャラリーインスタンスを非決定的多項式時間で解けると期待できるか？
• RQ3 滑らかさ解析において、アートギャラリー問題に適した多項式サイズの監視者位置候補集合が存在するか？
• RQ4 実装において、なぜ幾何的ルーチンの処理に時間がかかり、NP困難な集合被覆部分よりも長時間費やされるのか？
• RQ5 滑らかさ解析は、運動計画やナッシュ均衡計算といった他の∃ℝ-完全問題へ一般化可能か？

主な発見

• 小さなランダム摂動のもとで、最適な監視者位置を記述するために必要なビット数の期待値は、3つの摂動モデルでO(log(nL/δ))であり、これは有理数で低複雑度の監視者位置が通常得られることを示している。
• 頂点摂動では、ビット複雑度がO(log(nL/(δβ)))であり、角度構造が解の複雑度に影響することを示している。
• 離散的エッジ拡張モデル下で、ナイーブアルゴリズムは期待される非決定的多項式時間で実行され、これは通常のインスタンスでは代数的手法が不要であることを示唆している。
• 連続的摂動モデルでは、ナイーブアルゴリズムは実数RAM上で監視者位置の正しさを検証するために追加でO(n⁴)の時間が必要となる。
• 結果として、∃ℝ-完全性にもかかわらず、通常のケースでは代数的手法が必須でないことが示唆される。
• 本研究は、∃ℝ-完全問題に対する最初の滑らかさ解析を確立し、このような問題が弱いランダムネスのもとでは実用的に扱いやすいことを示している。