[论文解读] Orthogonal Terrain Guarding is NP-complete

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

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

一句话总结

本文证明了正交地形守卫问题——即在矩形（正交）地形的顶点上放置最少数量的守卫以覆盖整个地形——是 NP-完全的。通过改编 King 和 Krohn 从平面 3-SAT 的归约，并将其精炼为从 3-SAT 的三次归约，作者建立了基于 ETH 的紧致下界 2Ω(n¹/³)，填补了与现有算法之间的差距，并解决了 Ashok 等人（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.

研究动机与目标

• 解决 Ashok 等人（SoCG'17）提出的关于正交地形守卫问题复杂性的开放问题。
• 弥合目前最优的 2O(√n log n)-时间算法与地形守卫问题的 ETH 下界之间的差距。
• 在指数时间假设（ETH）下，为正交地形守卫问题建立紧致的指数时间下界。
• 研究当以守卫数量为参数时，该问题是否为固定参数可追踪（FPT）问题。

提出的方法

• 通过使用矩形构件，将 King 和 Krohn 针对一般地形守卫问题的 NP-完全性证明改编至正交设置。
• 通过三次构造，从 3-SAT 到正交地形守卫问题建立归约，优于先前从平面 3-SAT 得到的二次归约。
• 在矩形网格中使用交叉构件以及变量/子句编码，以保持正交性的同时模拟逻辑约束。
• 设计一种基于模块的验证系统，可在列之间并行检查子句和等式约束，从而最小化所需的验证段数量。
• 应用稀疏化引理和基于 ETH 的推理，推导出运行时间的 2Ω(n¹/³) 下界。
• 证明正交地形守卫问题的离散版本与连续版本等价，从而支持聚焦于顶点守卫的合理性。

实验结果

研究问题

• RQ1 尽管存在矩形边的几何限制，正交地形守卫问题是否仍是 NP-完全的？
• RQ2 与先前的 2o(n¹/⁴) 下界相比，能否为正交地形守卫问题建立更紧致的基于 ETH 的下界？
• RQ3 当以守卫数量为参数时，该问题是否为固定参数可追踪（FPT）问题，特别是考虑到在严格矩形地形的可见性图上，支配集问题存在 FPT 算法？
• RQ4 从 3-SAT 到正交地形守卫问题的归约是否保持了实现三次归约所需的结构，从而支持更强的下界？
• RQ5 在矩形构造中，能否将验证所有子句所需的模块数量减少到 O(N)，同时保持正确性？

主要发现

• 正交地形守卫问题被证明是 NP-完全的，解决了 Ashok 等人（SoCG'17）提出的开放问题。
• 作者为正交地形守卫问题和一般地形守卫问题均建立了紧致的基于 ETH 的下界 2Ω(n¹/³)，优于先前的 2o(n¹/⁴) 下界。
• 从 3-SAT 到正交地形守卫问题的归约在变量数量上为三次，其下界强于先前从平面 3-SAT 得到的二次归约。
• 对于包含 N 个变量的 3-SAT 公式，所构造地形的总顶点数为 O(N³)，这导致了下界中的 nO(1) 因子。
• 基于模块的验证系统可在 O(N) 个模块内检查 O(N²) 个子句，每个模块大小为 O(N²)，总顶点数为 O(N³)。
• 该结果意味着，除非指数时间假设（ETH）不成立，否则不存在 2o(n¹/³)-时间算法用于正交地形守卫问题。