[論文レビュー] The Continuous 1.5D Terrain Guarding Problem: Discretization, Optimal Solutions, and PTAS

Stephan Friedrichs, M. Hemmer+2 more|arXiv (Cornell University)|Sep 28, 2015

Computational Geometry and Mesh Generation被引用数 7

ひとこと要約

本稿では、連続的1.5次元地形監視問題（TGP）の多項式サイズの離散化を提示し、NP完全性の証明と多項式時間近似スキーム（PTAS）の実現を可能にした。ガードおよびウォッチ候補集合の構築と幾何的フィルタリングの適用により、著者らは正確な幾何計算を用いて、最大10⁶個の頂点を持つインスタンスを数分で解く正確なアルゴリズムを考案した。これにより、連続的TGPと離散的TGPの間のギャップが効果的に埋められた。

ABSTRACT

In the NP-hard continuous 1.5D Terrain Guarding Problem (TGP) we are given an $x$-monotone chain of line segments in $\\mathbb{R}^2$ (the terrain $T$) and ask for the minimum number of guards (located anywhere on $T$) required to guard all of $T$. We construct guard candidate and witness sets $G, W \\subset T$ of polynomial size such that any feasible (optimal) guard cover $G^* \\subseteq G$ for $W$ is also feasible (optimal) for the continuous TGP. This discretization allows us to (1) settle NP-completeness for the continuous TGP, (2) provide a Polynomial Time Approximation Scheme (PTAS) for the continuous TGP using the PTAS for the discrete TGP by Gibson et al., and (3) formulate the continuous TGP as an Integer Linear Program (IP). Furthermore, we propose several filtering techniques reducing the size of our discretization, allowing us to devise an efficient IP-based algorithm that reliably provides optimal guard placements for terrains with up to $10^6$ vertices within minutes on a standard desktop computer.

研究の動機と目的

• 連続的1.5次元地形監視問題（TGP）が既知のNP困難であるにもかかわらず、NPに属するかどうかという未解決の問題を解消すること。
• 最適な離散的アルゴリズムと近似的なアルゴリズムの実現を可能にするために、地形上のガードおよびウォッチの位置の有限で多項式サイズの離散化を確立すること。
• 整数計画法と幾何的フィルタリングを用いて、連続的TGPにおける最適なガード配置を効率的に計算する正確なアルゴリズムを開発すること。
• 幾何的性質とフィルタリング戦略を活用して、可視性計算および整数計画法の計算コストを低減すること。
• 最大10⁶個の頂点を持つ大規模な地形に対しても、実用的に効率的に連続的TGPを解くことができることを示すこと。

提案手法

• 任意のWに対する妥当なガードカバーが、全地形Tに対しても妥当であるように、多項式サイズのガード候補集合Gとウォッチ集合Wを構築する。
• 可視性計算における数値的正しさを保証するため、CGALの正確な命題と構成を用いた正確な幾何計算（EGC）パラダイムを採用する。
• ガードおよびウォッチの数を削減し、計算コストを最小化するために、4つのフィルタリング手法（EdgeFilter, VertexFilter, DominationFilter, WitnessFilter）を適用する。
• 可視性に基づく制約を用いて、連続的TGPを整数線形計画問題（IP）として定式化する。A_wg = 1 は、ウォッチwがガードgから可視である場合を表す。
• Gibsonら[23]による離散的TGPのPTASを、離散化されたインスタンスに適用することで、連続的TGPに対してもPTASを導出する。
• WitnessFilterからの幾何的洞察を活用して、支配される制約を早期に削除することで、IPソルバの効率を向上させる。

実験結果

リサーチクエスチョン

• RQ1 連続的1.5次元地形監視問題（TGP）は、既知のNP困難性があるにもかかわらず、NPに属するか？
• RQ2 最適解が連続的問題と一致する有限で多項式サイズのガードおよびウォッチ位置の離散化を構築できるか？
• RQ3 フィルタリング手法は、離散化のサイズおよび可視性計算とIPソルブの計算コストを顕著に削減できるか？
• RQ4 離散的TGPにPTASが存在するという事実が、提案された離散化により連続的TGPに対してもPTASが存在することを示唆するか？
• RQ5 整数計画法と幾何的フィルタリングに基づく正確なアルゴリズムは、標準的なハードウェア上でも、最大10⁶個の頂点を持つ大規模な連続的TGPインスタンスを効率的に解くことができるか？

主な発見

• 提案された多項式サイズの離散化により、連続的1.5次元TGPがNP完全であることが証明された。これは、NP困難性に加え、NPに属することが新たに示されたためである。
• Gibsonら[23]による離散的TGPのPTASが有効な離散化により正当化されたため、連続的TGPに対してもPTASが存在することが保証された。
• 提案されたフィルタリング手法により、ガードおよびウォッチの数が削減され、特にWitnessFilterが2番目に大きな影響を及ぼし、支配される制約の削除によりCPU時間のおおよそ半分にまで短縮された。
• 標準的なデスクトップコンピュータ（Intel Core i7-3770, 14 GB RAM）上では、最大10⁶個の頂点を持つインスタンスを数分で解くことができ、実用的なスケーラビリティが示された。
• 主なボトルネックは実行時間ではなくメモリ消費量であり、特にフィルタリング後の残存ガードの可視領域をすべて保持する段階で最大のメモリ使用量が生じた。
• CGALの遅延的正確算術を用いたEGCパラダイムにより、正確な幾何計算が保証されつつ、完全な任意精度算術のオーバーヘッドを回避した、妥当な性能を達成した。