[논문 리뷰] The computational complexity of Minesweeper

Michiel de Bondt|arXiv (Cornell University)|2012. 04. 20.

Complexity and Algorithms in Graphs참고 문헌 4인용 수 3

한 줄 요약

이 논문은 성공 확률이 극히 작은 경우, 모든 지뢰를 최대 확률로 찾는 것이 목표일 때 미네스위퍼 게임이 PP-난이도이자 PSPACE-완전하다고 규명한다. 저자들은 정사각형, 육각형, 삼각형 격자에서 고유한 와이어, 게이트, 크로스오버 구성 요소를 사용해 부울 회로를 시뮬레이션하는 미네스위퍼 보드를 구축하며, 확률적 및 결정적 회로 인코딩을 통해 계산 복잡도 문제를 미네스위퍼 게임으로 감소시킨다.

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.

연구 동기 및 목표

• 모든 지뢰를 최대 확률로 찾는 것을 목표로 할 때 미네스위퍼의 계산 복잡도를 규명하는 것.
• 리처드 케이크의 정사각형 격자에 대한 미네스위퍼 해법의 NP-완전성 결과를 비정사각형 격자(육각형 및 삼각형)로 확장하는 것.
• 지뢰를 정확히 찾는 확률이 극히 작을 조건에서 미네스위퍼가 PSPACE-완전한지 보여주는 것.
• 확률적 및 결정적 구성 요소를 가진 부울 회로를 시뮬레이션하는 미네스위퍼 보드를 구축하여, 알려진 난이도 높은 문제들로의 감소를 가능하게 하는 것.

제안 방법

• 지뢰 배치를 통해 부울 값(0 또는 1)을 전달하는 와이어 메커니즘을 미네스위퍼 격자에 구축하며, 두 상호보완적 셀 집합 중 하나에만 지뢰가 존재하도록 한다.
• 정사각형, 육각형, 삼각형 격자에 적합한 고유한 논리 구성 요소를 설계: 와이어를 굽히는 커브, 신호를 복제하는 스플리터, 위상 이동 장치, 역자기 장치.
• 2의 합으로 덧셈을 사용한 스플리터와 더불어 크로스오버 메커니즘을 개발하여 간섭 없이 와이어가 교차하도록 하며, 이는 회로 구축에 필수적이다.
• 플레이어가 초기 값(예: s2=1 또는 s3=1)을 추측해야 하는 확률 감소 프레임워크를 도입하여, 양자화된 부울 공식을 시뮬레이션한다.
• 역방향 스플리터를 사용해 s2 또는 s3가 알려진 경우에만 변수 zij를 노출시키며, 회로 상태에 따라 조건부로 변수를 드러내는 것을 가능하게 한다.
• QBF 및 약한 교차 없는 SSAT 문제를 미네스위퍼로 감소시키기 위해, 부울 공식의 최대 만족 확률을 지뢰 탐지 성공 확률에 인코딩한다.

실험 결과

연구 질문

• RQ1 모든 지뢰를 찾는 확률을 최대화하는 목표일 때, 미네스위퍼는 PP-난이도인가?
• RQ2 지뢰를 정확히 찾는 확률이 극히 작은 조건에서, 미네스위퍼는 PSPACE-완전한가?
• RQ3 비정사각형 정규 격자(육각형 및 삼각형)에서의 미네스위퍼 보드가 부울 회로를 시뮬레이션할 수 있으며, 따라서 해법의 난이도가 NP-완전한가?
• RQ4 승리 확률이 부울 공식의 최대 만족 확률에 의존하는 방식으로 미네스위퍼 보드를 구성할 수 있는가?
• RQ5 지뢰 카운터의 존재가 추가적인 계산 능력을 제공하는가, 아니면 총 지뢰 수를 다항 시간 내에 계산할 수 있는가?

주요 결과

• 모든 지뢰를 찾는 확률을 최대화하는 목표일 때, 미네스위퍼는 성공 확률이 극히 작아지더라도 PP-난이도이다.
• 동일한 조건 하에서, 성공 확률이 2−e(1 − 2−m)로 감소할 수 있으며, e ≥ 1 이면 e가 증가함에 따라 무시할 수 없게 작아지므로, 미네스위퍼는 PSPACE-완전하다.
• 총 지뢰 수는 다항 시간 내에 계산 가능하므로, 지뢰 카운터는 추가 정보를 제공하지 않는다.
• s3 = 1을 올바르게 추측할 경우 승리 확률은 2−e이며, s2 = 1을 추측할 경우 승리 확률은 2−e(1/2 + 1/2 × maxϑ Pr[f] = ϑ)가 된다.
• 이 방법은 QBF 및 약한 교차 없는 SSAT 문제를 미네스위퍼로 감소시키며, 확률적 회로 시뮬레이션을 통해 PSPACE-완전성을 증명한다.
• 저자들은 정사각형, 육각형, 삼각형 격자에 대해 기능적인 회로 구성 요소(와이어, 스플리터, 역자기 장치, 크로스오버)를 구축하여, 케이크의 원래 NP-완전성 결과를 세 가지 정규 타일링 유형으로 확장한다.