마인스위퍼 복잡도 탐구

초록

이 논문은 마인스위퍼 게임의 복잡도 특성을 규명한다. 부분적으로 드러난 보드의 해답 존재 여부는 NP‑complete이며, 모든 지뢰를 최대 확률로 찾는 문제는 PP‑hard, 경우에 따라 확률이 무한소가 될 때는 PSPACE‑complete임을 보인다. 또한 99 % 확률로 시작 칸을 선택한 뒤 다항식 시간 내에 불리언 회로를 구현할 수 있는 구성법을 제시한다.

상세 분석

논문은 먼저 기존 연구인 Kaye가 제시한 정사각형 격자에서의 NP‑complete 결과를 확장한다. 저자들은 정육각형·삼각형 격자에서도 동일한 난이도가 유지된다는 것을 증명함으로써 격자 형태에 관계없이 마인스위퍼 보드의 부분 해답 판정이 NP‑complete임을 일반화한다. 핵심은 “부분적으로 드러난 보드”라는 입력 형식이다. 여기서 보드의 일부 칸은 이미 열려 있고, 남은 칸에 지뢰가 배치될 수 있는 모든 경우를 고려한다. 이 문제를 SAT의 인스턴스로 변환하는 과정에서 각 칸의 주변 지뢰 수가 논리 게이트의 출력값을 나타내도록 설계한다. 특히, 기존의 dyadic 게이트 대신 두 개의 원시 게이트(AND와 NOT에 해당하는 구조)를 사용해 회로를 구성함으로써 구현이 단순해진다.

다음 단계에서는 “모든 지뢰를 찾는” 최적 확률 문제를 다룬다. 여기서는 플레이어가 처음에 주변에 지뢰가 없는 칸을 선택해야 하는데, 저자는 이 초기 선택이 99 %의 성공 확률을 갖도록 보드를 설계한다. 초기 선택이 성공하면, 남은 보드에서 플레이어는 다항식 시간 내에 전체 회로를 드러낼 수 있다. 회로가 완전히 드러난 뒤에는 각 논리 게이트에 대응하는 지뢰 배치를 추론해야 하는데, 이는 각 입력에 대한 확률적 선택을 요구한다. 이 과정을 PP‑hard 문제로 환원함으로써, 최적 확률로 모든 지뢰를 찾는 것이 PP‑hard임을 증명한다. 더 나아가, 회로가 포함하는 양자화된 선택(예: ∀∃ 구조)을 이용해 확률이 무한소가 되는 경우를 구성하면, 문제는 PSPACE‑complete 수준으로 상승한다. 이는 플레이어가 무한히 많은 경우의 수를 고려해야 함을 의미한다.

마지막으로, 논문은 지뢰 개수를 다항식 시간에 계산할 수 있도록 보드를 설계한다. 따라서 마인스위퍼 게임에 내장된 “남은 지뢰 수” 카운터는 복잡도 분석에 영향을 주지 않는다. 전체적으로 저자들은 복잡도 이론과 퍼즐 게임을 연결하는 새로운 방법론을 제시하며, 확률적 목표와 결정적 목표를 동시에 고려한 복합적인 복잡도 분류를 제공한다.