[论文解读] Guarding and Searching Polyhedra

Giovanni Viglietta|arXiv (Cornell University)|Nov 12, 2012

Artificial Intelligence in Games参考文献 3被引用 9

一句话总结

该论文推进了三维正交与多面体环境下的博物馆问题与边光束调度问题，提出了针对边守卫与搜索调度的新界限与算法。证明了对于2-反射正交多面体，⌊r/2⌋+1个反射边守卫已足够；将正交多面体的边守卫界限改进为⌊11e/72⌋；并建立了关于三维与二维场景中可搜索性与部分搜索性的强NP难与PSPACE完全性结果。

ABSTRACT

We tackle the Art Gallery Problem and the Searchlight Scheduling Problem in 3-dimensional polyhedral environments, putting special emphasis on edge guards and orthogonal polyhedra.

研究动机与目标

• 将经典的二维守卫与搜索问题推广至三维多面体环境，特别关注边守卫与正交多面体。
• 为具有特定结构约束（如2-反射、4方向、正交）的三维多面体，建立其边守卫数量的紧致上下界。
• 对三维边光束调度问题进行建模与分析，确定多面体可搜索的条件，以及计算最优搜索调度的复杂性。
• 证明关于多面体搜索的强NP难与PSPACE完全性结果，包括部分搜索与完全可搜索性判定。
• 探讨边数、反射边数与守卫数之间的关系，并利用几何与组合技术改进先前的界限。

提出的方法

• 证明对于2-反射正交多面体，⌊r/2⌋+1个反射边守卫是充分且必要的，推广了O’Rourke的二维定理。
• 设计一种线性时间算法，用于计算2-反射正交多面体中反射边守卫的布置位置。
• 提出正交多面体中相互平行边守卫的新界限⌊11e/72⌋，优于先前的⌊e/6⌋界限。
• 建立边数e与反射边数r之间的紧不等式，推导出最多⌊7r/12⌋+1个守卫的上界。
• 通过绕边轴旋转半平面（搜索平面）建模三维边光束调度问题，定义搜索调度与填充守卫。
• 证明判定完全可搜索性为强NP难，且最小搜索时间的近似问题也属于强NP难；并证明在正交多面体与平面多边形中，部分搜索问题为PSPACE完全。

实验结果

研究问题

• RQ1 对于一个2-反射正交多面体，最少需要多少个反射边守卫才能实现覆盖？该数量能否被高效计算？
• RQ2 能否通过关联边数e与反射边数r，为正交多面体建立更紧的边守卫数量界限？
• RQ3 能否改进4方向多面体中边守卫的上界⌊e/6⌋？目前已知的最紧上下界为何？
• RQ4 判定给定多面体是否能被一组给定守卫在三维空间中完全搜索，其计算复杂性如何？
• RQ5 判定正交多面体中某一特定区域是否可搜索的问题，是否为强PSPACE完全，即使在平面情况下也是如此？

主要发现

• 对于2-反射正交多面体，⌊r/2⌋+1个反射边守卫已足够且在某些情况下为必要，且存在线性时间算法可计算其位置。
• 对于正交多面体中相互平行的边守卫，⌊11e/72⌋个守卫始终足够，且可在O(e)时间内计算，优于先前的⌊e/6⌋界限。
• 为4方向多面体的边守卫建立了紧致界限：下界⌊e/6⌋−1，上界⌊(e+r)/6⌋。
• 使一般多面体可搜索所需的守卫数最多为r²，而正交多面体仅需r个守卫，其中r为反射边数。
• 判定给定多面体是否能被一组守卫完全搜索的问题为强NP难，且将最小搜索时间近似至常数因子内也属于强NP难。
• 判定正交多面体中某一特定区域是否可搜索的问题为强PSPACE完全，该结果可推广至平面正交多边形，从而填补了二维复杂性理论中的空白。