[论文解读] Smoothed Analysis of the Art Gallery Problem

Michael Gene Dobbins, Andreas F. Holmsen+1 more|arXiv (Cornell University)|Nov 3, 2018

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

一句话总结

本文将平滑分析应用于博物馆守卫问题，证明在多边形顶点经历小范围随机扰动时，最优守卫位置通常仅需极少位数即可描述——这意味着在实际中使用有理坐标已足够。关键结果为：朴素算法（猜测守卫位置并验证可见性）在期望的非确定性多项式时间内运行，表明尽管该问题具有∃ℝ-完全性，但典型实例通常无需代数方法。

ABSTRACT

In the Art Gallery Problem we are given a polygon $P\subset [0,L]^2$ on $n$ vertices and a number $k$. We want to find a guard set $G$ of size $k$, such that each point in $P$ is seen by a guard in $G$. Formally, a guard $g$ sees a point $p \in P$ if the line segment $pg$ is fully contained inside the polygon $P$. The history and practical findings indicate that irrational coordinates are a "very rare" phenomenon. We give a theoretical explanation. Next to worst case analysis, Smoothed Analysis gained popularity to explain the practical performance of algorithms, even if they perform badly in the worst case. The idea is to study the expected performance on small perturbations of the worst input. The performance is measured in terms of the magnitude $δ$ of the perturbation and the input size. We consider four different models of perturbation. We show that the expected number of bits to describe optimal guard positions per guard is logarithmic in the input and the magnitude of the perturbation. This shows from a theoretical perspective that rational guards with small bit-complexity are typical. Note that describing the guard position is the bottleneck to show NP-membership. The significance of our results is that algebraic methods are not needed to solve the Art Gallery Problem in typical instances. This is the first time an $\exists\mathbb{R}$-complete problem was analyzed by Smoothed Analysis.

研究动机与目标

• 解释为何在最优博物馆守卫问题解中，无理坐标极为罕见。
• 在∃ℝ-完全性的前提下，分析精确算法在博物馆守卫问题中的实际可行性。
• 证明多边形输入的小扰动通常会产生具有有理数、低复杂度守卫位置的解。
• 为非代数算法在求解中等规模博物馆守卫实例时的实证成功提供理论依据。
• 探讨平滑分析是否能够克服计算几何中∃ℝ-完全问题的固有难度。

提出的方法

• 分析了四种扰动模型：闵可夫斯基膨胀（Minkowski-Inflation）、边膨胀（Edge-Inflation）、边扰动（Edge-Perturbation）和顶点扰动（Vertex-Perturbation），以模拟多边形顶点的小范围随机变化。
• 最优守卫位置描述的期望比特复杂度在三种模型下被界定为O(log(nL/δ))，在顶点扰动模型下为O(log(nL/(δβ)))，其中β为最小内角或外角。
• 引入一种离散的边膨胀模型，以证明在高概率下，实例可在非确定性多项式时间内求解。
• 在平滑条件下分析了朴素算法（猜测守卫位置并验证可见性），表明其在期望的非确定性多项式时间内运行。
• 对于连续扰动，由于涉及实数坐标，该算法在真实RAM上验证守卫正确性需额外O(n⁴)时间。
• 理论结果被扩展，以证明近似算法在平滑分析设定下的正确性。

实验结果

研究问题

• RQ1 平滑分析是否能解释为何在最优博物馆守卫解中，无理坐标如此罕见？
• RQ2 在小扰动下，是否可合理预期朴素算法能在非确定性多项式时间内求解典型博物馆守卫实例？
• RQ3 是否存在一个大小为多项式量级的守卫位置候选集，可用于博物馆守卫问题的平滑分析？
• RQ4 为何实际实现中，大部分时间消耗在几何计算上，而非NP难的集合覆盖部分？
• RQ5 平滑分析能否推广至其他∃ℝ-完全问题，如运动规划或纳什均衡计算？

主要发现

• 在小范围随机扰动下，描述最优守卫位置所需的期望比特数在三种扰动模型下为O(log(nL/δ))，表明具有低比特复杂度的有理守卫是典型情况。
• 对于顶点扰动，比特复杂度为O(log(nL/(δβ)))，其中β为最小内角或外角，表明角度结构会影响解的复杂度。
• 在离散边膨胀模型下，朴素算法在期望的非确定性多项式时间内运行，表明典型实例通常无需代数方法。
• 在连续扰动模型中，由于涉及实数坐标，朴素算法在真实RAM上验证守卫正确性需额外O(n⁴)时间。
• 结果表明，尽管问题具有∃ℝ-完全性，但代数方法在典型情况下并非解决博物馆守卫问题所必需。
• 本研究首次对∃ℝ-完全问题进行了平滑分析，表明在轻微随机性下，此类问题在实践中可能具有可解性。