[论文解读] Complexity of the General Chromatic Art Gallery Problem

Sándor P. Fekete, Stephan Friedrichs+1 more|arXiv (Cornell University)|Mar 12, 2014

Computational Geometry and Mesh Generation参考文献 16被引用 5

一句话总结

本论文证明了在具有洞的多边形和简单多边形中，广义色差美术馆问题（CAGP）的NP难性，表明即使在允许任意位置放置守卫的情况下，判断一个多边形是否能用k ≥ 2种颜色进行守卫仍然是计算上不可解的。论文通过引入几何装置（如针状物、交叉点或/多路复用器）构建新颖的归约，将3SAT编码为可见性约束，证明即使在任意守卫位置下，最小化颜色数依然是NP难的，尤其当最优色数为Θ(n)时更为显著。

ABSTRACT

In the original Art Gallery Problem (AGP), one seeks the minimum number of guards required to cover a polygon $P$. We consider the Chromatic AGP (CAGP), where the guards are colored. As long as $P$ is completely covered, the number of guards does not matter, but guards with overlapping visibility regions must have different colors. This problem has applications in landmark-based mobile robot navigation: Guards are landmarks, which have to be distinguishable (hence the colors), and are used to encode motion primitives, \eg, "move towards the red landmark". Let $χ_G(P)$, the chromatic number of $P$, denote the minimum number of colors required to color any guard cover of $P$. We show that determining, whether $χ_G(P) \leq k$ is \NP-hard for all $k \geq 2$. Keeping the number of colors minimal is of great interest for robot navigation, because less types of landmarks lead to cheaper and more reliable recognition.

研究动机与目标

• 确定当守卫可置于多边形内任意位置（而非仅从预设候选集选择）时，广义色差美术馆问题（CAGP）的计算复杂性。
• 解决关于CAGP在一般守卫放置下是否仍为NP难的开放问题，特别是针对k = 2和简单多边形的情形。
• 对CAGP提供完整的复杂性分析，包括最小颜色数与n成线性关系的情况。
• 将先前依赖于受限守卫集合的NP难性结果推广至守卫位置任意的一般情形。

提出的方法

• 通过几何装置（如针状物、交叉点、或门装置和多路复用器）从3SAT归约至k-CAGP，以在多边形可见性中编码逻辑约束。
• 利用“针状物引理”（引理2.1）强制至少一个守卫进入关键区域，该区域中多个点的可见性重叠要求必须设置守卫以避免颜色冲突。
• 对于简单多边形，通过几何对偶性将问题归约为最小基数点覆盖直线问题，采用“尖刺盒”构造，使凹槽中守卫的可见区域对应于直线覆盖。
• 通过将3SAT实例编码为多边形，证明2-CAGP的NP难性，即当且仅当公式可满足时，存在2-色守卫覆盖。
• 利用或门装置和与门装置，通过多边形布局中的可见性与着色约束，模拟逻辑或与与操作。
• 利用已知的点集最小直线覆盖问题的NP难性（由Megiddo和Tamir提出），并应用几何对偶性，证明简单多边形中CAGP的NP难性。

实验结果

研究问题

• RQ1 当守卫可置于多边形内任意位置（而非仅从固定集合中选择）时，色差美术馆问题是否为NP难？
• RQ2 判断一个具有洞的多边形是否能用k = 2种颜色守卫的复杂性如何？
• RQ3 即使最优色数为Θ(n)，计算简单多边形的最小颜色数是否仍为NP难？
• RQ4 是否可以在不依赖预设守卫候选位置集合的前提下，建立CAGP的NP难性？
• RQ5 对于给定守卫集合，确定简单多边形中色数的复杂性如何，特别是当冲突图非弦图时？

主要发现

• 对于具有洞的多边形，2-CAGP即使在守卫位置不被限制于有限候选集时，仍为NP难。
• 对于任意固定的k ≥ 2，判断具有洞的多边形是否k-可着色是NP难的。
• 通过从最小点覆盖直线问题（已知为NP难）归约，确立了简单多边形中广义CAGP的NP难性。
• 简单多边形的色数χ_G(P)可高达Θ(n)，且在该条件下计算色数为NP难。
• 通过构造‘尖刺盒’，确保最小化颜色数等价于最小化守卫数，后者对应于直线的最小点覆盖。
• 尖刺盒示例中守卫可见区域的冲突图并非弦图，从而否定了此前声称对固定守卫集合存在多项式时间解法的结论。