[论文解读] The computational complexity of Minesweeper

Michiel de Bondt|arXiv (Cornell University)|Apr 20, 2012

Complexity and Algorithms in Graphs参考文献 4被引用 3

一句话总结

本文证明，当目标是最大化找到所有地雷的概率时，Minesweeper 问题为 PP-难；当成功概率趋近于零时，该问题为 PSPACE-完全。作者通过在方形、六边形和三角形网格上构建模拟布尔电路的 Minesweeper 棋盘，使用自定义的导线、逻辑门和交叉组件，利用概率和确定性电路编码，将计算复杂性问题归约到 Minesweeper 游戏玩法。

ABSTRACT

We show that the Minesweeper game is PP-hard, when the object is to locate all mines with the highest probability. When the probability of locating all mines may be infinitesimal, the Minesweeper game is even PSPACE-complete. In our construction, the player can reveal a boolean circuit in polynomial time, after guessing an initial square with no surrounding mines, a guess that has 99 percent probability of success. Subsequently, the mines must be located with a maximum probability of success. Furthermore, we show that determining the solvability of a partially uncovered Minesweeper board is NP-complete with hexagonal and triangular grids as well as a square grid, extending a similar result for square grids only by R. Kaye. Actually finding the mines with a maximum probability of success is again PP-hard or PSPACE-complete respectively. Our constructions are in such a way that the number of mines can be computed in polynomial time and hence a possible mine counter does not provide additional information. The results are obtained by replacing the dyadic gates in [3] by two primitives which makes life more easy in this context.

研究动机与目标

• 确定当目标是最大化找到所有地雷的概率时，Minesweeper 的计算复杂性。
• 将 Richard Kaye 关于 Minesweeper 可解性的 NP-完全性结果扩展至非方形网格（六边形和三角形网格）。
• 证明在成功概率极低的条件下，Minesweeper 为 PSPACE-完全。
• 构建一个可模拟包含概率和确定性组件的布尔电路的 Minesweeper 棋盘，从而实现从已知难问题的归约。

提出的方法

• 在 Minesweeper 网格上构建导线机制，通过地雷布局传输布尔值（0 或 1），其中仅两个互补的单元格集合之一包含地雷。
• 设计定制的逻辑组件：用于弯曲导线的弯道、用于复制信号的分流器、时序移位器和非门，均适配于方形、六边形和三角形网格。
• 开发一种使用模 2 加法器的交叉机制，通过分流器和加法器实现导线交叉而不产生干扰，这对电路构建至关重要。
• 引入概率归约框架，玩家必须猜测初始值（如 s2=1 或 s3=1）以最大化成功概率，从而模拟量化布尔公式。
• 使用反向分流器在已知 s2 或 s3 时揭示变量 zij，实现基于电路状态的条件性变量揭示。
• 通过将 QBF 和弱非交替 SSAT 归约到 Minesweeper，将布尔公式的最大可满足概率编码为地雷探测的成功概率。

实验结果

研究问题

• RQ1 当目标是最大化找到所有地雷的概率时，Minesweeper 是否为 PP-难？
• RQ2 当正确找到所有地雷的概率趋近于零时，Minesweeper 是否为 PSPACE-完全？
• RQ3 在非方形正则网格（六边形和三角形）上的 Minesweeper 棋盘能否模拟布尔电路，从而使其可解性为 NP-完全？
• RQ4 能否构建一个 Minesweeper 棋盘，使得获胜概率取决于布尔公式的最大可满足概率？
• RQ5 地雷计数器是否提供额外的计算能力，或者是否能多项式时间计算出地雷总数？

主要发现

• 当目标是最大化找到所有地雷的概率时，Minesweeper 为 PP-难，即使该概率趋近于零。
• 在相同条件下，Minesweeper 为 PSPACE-完全，因为成功概率可降低至 2−e(1 − 2−m)（e ≥ 1），随着 e 增大而趋于可忽略。
• 该构造确保地雷总数可多项式时间计算，因此地雷计数器未提供额外信息。
• 当正确猜测 s3 = 1 时，获胜概率为 2−e；当正确猜测 s2 = 1 时，获胜概率为 2−e(1/2 + 1/2 × maxϑ Pr[f] = ϑ)。
• 该方法成功将 QBF 和弱非交替 SSAT 归约至 Minesweeper，通过概率电路模拟证明了 PSPACE-完全性。
• 作者为方形、六边形和三角形网格构建了功能性的电路组件（导线、分流器、非门、交叉器），将 Kaye 的原始 NP-完全性结果扩展至所有三种正则密铺类型。