[论文解读] The Point-Boundary Art Gallery Problem Is ∃ℝ-Hard

Jack Stade|arXiv (Cornell University)|Oct 23, 2022

Computational Geometry and Mesh Generation被引用 6

一句话总结

本文证明了点-边界博物馆问题为 ∃R-完全问题，确立其在计算上等价于判断多项式方程组是否存在实数解的问题。作者通过从 ETR-INV-REV 问题约化而来，使用几何装置——复制凹角与约束装置——这些装置通过圆规与直尺方法构建，实现可手工验证的有理坐标构造，简化了先前的工作，并展示了点-边界变体的 ∃R-难性。

ABSTRACT

We resolve the complexity of the point-boundary variant of the art gallery problem, showing that it is ∃ℝ-complete, meaning that it is equivalent under polynomial time reductions to deciding whether a system of polynomial equations has a real solution. The art gallery problem asks whether there is a configuration of guards that together can see every point inside of an art gallery modeled by a simple polygon. The original version of this problem (which we call the point-point variant) was shown to be ∃ℝ-hard [Abrahamsen, Adamaszek, and Miltzow, JACM 2021], but the complexity of the variant where guards only need to guard the walls of the art gallery was left as an open problem. We show that this variant is also ∃ℝ-hard. Our techniques can also be used to greatly simplify the proof of ∃ℝ-hardness of the point-point art gallery problem. The gadgets in previous work could only be constructed by using a computer to find complicated rational coordinates with specific algebraic properties. All of our gadgets can be constructed by hand and can be verified with simple geometric arguments.

研究动机与目标

• 为博物馆问题中点-边界变体的计算复杂性这一开放问题提供解答。
• 证明该变体为 ∃R-完全问题，即其复杂性与判断多项式方程组是否存在实数解的问题相当。
• 通过可手工验证的几何构造，简化并改进先前针对博物馆问题的 ∃R-难性证明。
• 证明点-边界变体在复杂性上等价于所有 X, Y ∈{Vertex, Point, Boundary} 的 Y-X 变体。

提出的方法

• 从 ETR-INV-REV 约化，这是存在理论中涉及变量在 [1/2, 2] 区间内不等式的变体。
• 仅使用圆规与直尺技术，通过有理坐标构造几何装置——复制凹角与约束装置。
• 利用守卫区域与可见性约束，通过几何可见性关系编码变量赋值与逻辑约束。
• 设计凹角线段与可见区域，使得守卫必须位于特定线段上才能看见整个凹角，从而强制变量一致性。
• 利用平行线与相交线排列，确保可见区域不相互干扰，并强制实现如 x + y ≤ z 或 x + y ≥ z 等不等式。
• 通过几何引理（例如引理 4.1、引理 5.7）验证装置的正确性，这些引理将线段长度与 [1/2, 2] 区间内的变量值关联起来。

实验结果

研究问题

• RQ1 点-边界博物馆问题是否为 ∃R-完全问题，或其复杂性是否属于更低的复杂类？
• RQ2 能否使用比先前方法更简单、可手工构造的几何装置，建立点-边界变体的 ∃R-难性？
• RQ3 该构造能否被调整以证明其他博物馆问题变体（如点-点或边界-边界）的 ∃R-难性？
• RQ4 可见性的对称性是否意味着对于所有 X, Y ∈{Vertex, Point, Boundary}，X-Y 与 Y-X 博物馆问题在多项式时间内等价？
• RQ5 能否使 ∃R-难性所需的几何构造独立于计算机辅助坐标计算，仅使用经典几何工具完成？

主要发现

• 点-边界博物馆问题为 ∃R-完全问题，即其复杂性与判断多项式方程组是否存在实数解的问题相当。
• 该约化源自 ETR-INV-REV，这是 ETR 的一个变体，使用不等式而非等式，从而避免了先前工作中所需的反转装置。
• 所有装置——包括复制凹角与约束装置——均可使用圆规与直尺构造，仅依赖几何性质，而非精确的有理坐标。
• 该构造确保守卫能看见整个凹角，当且仅当对应变量值满足所需约束，如 x + y ≤ z 或 xy ≤ 1。
• 该方法通过用直观的几何设计替代复杂的有理坐标，简化了先前针对点-点变体的 ∃R-难性证明。
• 相同构造还意味着标准点-点博物馆问题也为 ∃R-难性，因为任何有效的点-边界守卫配置同时也是有效的点-点配置。