[論文レビュー] A PTAS for the continuous 1.5D Terrain Guarding Problem

Stephan Friedrichs, Michael Hemmer+1 more|arXiv (Cornell University)|May 26, 2014

Computational Geometry and Mesh Generation参考文献 19被引用数 4

ひとこと要約

本稿は、最適なカバーを保持する有限のガード集合とウェッジット集合を構築することにより、連続的1.5次元地形ガーディング問題に対する多項式時間近似スキーム（PTAS）を提示する。最適なガードカバーが有限の候補ガード集合内に存在することを証明し、これにより既知の離散バージョンに対するPTASを連続ケースに応用し、任意の精度で近似可能であることを示している。

ABSTRACT

In the continuous 1.5-dimensional terrain guarding problem we are given an $x$-monotone chain (the \emph{terrain} $T$) and ask for the minimum number of point guards (located anywhere on $T$), such that all points of $T$ are covered by at least one guard. It has been shown that the 1.5-dimensional terrain guarding problem is \NP-hard. The currently best known approximation algorithm achieves a factor of $4$. For the discrete problem version with a finite set of guard candidates and a finite set of points on the terrain that need to be monitored, a polynomial time approximation scheme (PTAS) has been presented [10]. We show that for the general problem we can construct finite guard and witness sets, $G$ and $W$, such that there exists an optimal guard cover $G^* \subseteq G$ that covers $T$, and when these guards monitor all points in $W$ the entire terrain is guarded. This leads to a PTAS as well as an (exact) IP formulation for the continuous terrain guarding problem.

研究の動機と目的

• 連続版と離散版の1.5次元地形ガーディング問題の間のギャップを埋め、連続ケースにおける近似スキームを可能にする。
• 連続地形の最適なガードカバーが、その中で完全に含まれる有限のガード候補集合が存在することを示す。
• すべてのウェッジットをカバーすることで、地形全体のカバーが保証される有限のウェッジット集合を構築する。
• これらの有限集合上で離散問題を解くことで、連続問題の最適解が得られることを確立する。
• 連続的地形ガーディング問題に対してPTASと正確な整数プログラミング定式化を可能にする。

提案手法

• 極値の視界点と地形の頂点に基づき、サイズ $ O(n^2) $ の有限なガード候補集合 $ U $ を構築する。
• ガード集合 $ U $ の視界領域において極値となる点からなる、サイズ $ O(n^3) $ の有限なウェッジット集合 $ W(U) $ を定義する。
• 連続地形問題の任意の最適ガードカバーが、$ U $ 内のガードのみを用いて実現可能であり、かつ $ W(U) $ をすべてカバーすれば地形全体がカバーされることを証明する。
• Gibsonら[11]が提案した離 discrete 地形ガーディング問題 $ \text{TGP}(G,W) $ に対する既存のPTASを、$ \text{TGP}(U, W(U)) $ に適用する。
• $ U $ のガードに対するバイナリ変数を用いて、$ W(U) $ のすべての点がカバーされる制約を課すことにより、連続的地形ガーディング問題を整数計画問題（IP）として定式化する。
• 等価性 $ \text{OPT}(T,T) = \text{OPT}(U, W(U)) $ を用いて、離散問題から連続問題への近似および正確解の保証を移転する。

実験結果

リサーチクエスチョン

• RQ1 最適な解が含まれる有限のガード候補集合を構築可能か？
• RQ2 すべてのウェッジットをカバーすれば連続地形全体がカバーされる有限のウェッジット集合が存在するか？
• RQ3 このような有限集合の存在が、離散地形ガーディング問題用に開発された既存のPTASアルゴリズムを連続ケースに適用可能にするか？
• RQ4 有限のガード集合とウェッジット集合を用いて、連続的地形ガーディング問題を正確に整数プログラミングとして定式化可能か？
• RQ5 連続問題の最適解サイズと、有限集合上の対応する離散問題の最適解サイズとの関係は何か？

主な発見

• サイズ $ O(n^2) $ の有限なガード候補集合 $ U $ が存在し、連続地形の最適ガードカバーは $ U $ 内に完全に含まれる。
• サイズ $ O(n^3) $ の有限なウェッジット集合 $ W(U) $ が存在し、$ W(U) $ のすべての点をカバーすれば地形全体がカバーされることを保証する。
• 連続的地形ガーディング問題の最適解サイズ $ \text{OPT}(T,T) $ は、$ U $ と $ W(U) $ における離散問題の最適解サイズに等しく、すなわち $ \text{OPT}(T,T) = \text{OPT}(U, W(U)) $ が成り立つ。
• Gibsonら[11]のPTASを $ \text{TGP}(U, W(U)) $ に適用することにより、連続的1.5次元地形ガーディング問題に対する多項式時間近似スキーム（PTAS）が達成され、任意の $ \epsilon > 0 $ に対して最適解の $ (1+\epsilon) $ 以内の解が得られる。
• $ U $ をガード変数、$ W(U) $ をカバー制約として用いることで、連続的地形ガーディング問題に対する正確な整数プログラミング定式化が確立される。
• 結果から、連続的地形ガーディング問題は、ガードとウェッジットの有限離散化によって近似法と正確解法の両方に適応可能であることが示唆される。