Phutball은 PSPACE 난이도

논문은 먼저 Phutball의 규칙을 간략히 소개한다. 19×19 크기의 Go 판을 기반으로 하며, 중앙에 검은 공(볼)이 놓이고, 플레이어는 흰 돌을 빈 칸에 놓거나, 흰 돌이 연속된 라인을 뛰어넘어 공을 이동시키는 두 가지 행동을 번갈아 수행한다. 목표는 상대 진영의 목표선(보드의 양쪽 가장자리)까지 공을 이동시키는 것이다. 기존 연구에서는 한 번의 이동으로 승리할 수 있는지 여부가 NP‑complete임이 알려졌지만, 전체 게임의 복잡도는 미해결 상태였다. 저자는 이를 해결하기 위해 새로운 ‘그래프 게임’을 정의한다. 이 게임은 유향 그래프 G=(V,E), 특별 정점 집합 C⊆V, 시작 정점 s∈C, 그리고 정점과 간선 사이의 관계 R⊆V×E 로 구성된다. 활성 정점이 현재 위치이며, 플레이어는 C∪R⁻¹(E) 안의 목표 정점 v로 가는 경로 P를 선택하고, 그 경로의 모든 간선을 그래프에서 제거한다. 만약 현재 플레이어가 R⁻¹(E) 안의 정점으로 이동하면 즉시 승리하고, 이동 가능한 경로가 없으면 패배한다. 다음으로 저자는 QBF(Quantified Boolean Formula) 문제의 제한된 형태(∃∀∃… 순서, 변수 수가 짝수, 3‑CNF 형태)를 PSPACE‑complete임을 이용해, 해당 공식을 위 그래프 게임으로 변환한다. 변수마다 7개의 정점과 7개의 간선으로 이루어진 ‘변수 컴포넌트’를 만들고, 절마다 4개의 정점과 3개의 리터럴 정점 wᵢⱼ을 포함하는 ‘절 컴포넌트’를 만든다. 변수 컴포넌트 내부에는 두 개의 경로가 존재하는데, 하나는 변수 값을 true, 다른 하나는 false 로 해석된다. ∀‑플레이어가 변수 단계에 도달하면 자신의 양자화에 맞는 경로를 선택하게 되고, ∃‑플레이어는 자신의 양자화 단계에서 원하는 값을 정한다. 모든 변수 할당이 끝나면 ∀‑플레이어는 절 정점 zᵢ 로 이동하고, ∃‑플레이어는 wᵢⱼ 중 남아 있는 간선이 있으면 즉시 승리한다. 이는 해당 절의 적어도 하나의 리터럴이 참임을 의미한다. 따라서 ∃‑플레이어가 승리 전략을 갖는 것은 원래 QBF가 참이라는 것과 동치가 된다. 이제 그래프 게임을 Phutball 보드에 매핑한다. 저자는 각 정점을 보드상의 한 칸으로 대응시키고, 정점 사이의 간선을 가로·세로 혹은 대각선으로 연속된 흰 돌 열로 구현한다. 특히 C에 속하는 정점(gᵢ 등)은 특수 가젯으로 표현되며, 이 가젯은 플레이어가 돌을 두고 점프를 수행함으로써 그래프에서 해당 간선을 ‘제거’하는 효과를 만든다. 변수 컴포넌트는 두 종류(홀수·짝수 인덱스)로 나뉘어, 홀수 단계에서는 ∃‑플레이어가, 짝수 단계에서는 ∀‑플레이어가 선택하도록 설계되었다. 절 컴포넌트는 wᵢⱼ 정점에 흰 돌을 놓아 두고, 해당 리터럴이 참이면 연결된 간선이 아직 보드에 남아 있어 ∃‑플레이어가 마지막 점프를 할 수 있게 만든다. 전체 변환 과정은 QBF의 변수·절 수에 비례하는 보드 크기와 돌 수를 사용하므로 다항 시간에 수행 가능하다. 변환된 Phutball 위치에서 ∃‑플레이어가 승리 전략을 가질 경우, 이는 원래 QBF가 참이라는 것을 보이며, 반대로 ∃‑플레이어가 승리 전략이 없으면 QBF는 거짓이다. 따라서 임의의 초기 돌 배치에 대해 승리 여부를 결정하는 문제가 PSPACE‑hard임을 증명한다. 이 결과는 Phutball이 단순히 ‘다음 수’ 수준의 복잡도를 넘어서, 전체 게임 트리의 깊이와 양자화 구조를 포함한 PSPACE‑hard 문제임을 최초로 확립한다는 점에서 이론적 게임 복잡도 연구에 중요한 기여를 한다. 또한, 그래프‑게임 → 보드‑게임 변환 기법은 다른 복합적인 보드 게임의 복잡도 분석에도 적용 가능성을 시사한다.