노드 차단 게임 복잡도와 DAG에서의 PSPACE 완전성

본 논문은 두 종류의 토큰을 이용한 노드 차단 게임(node blocking)의 복잡도를 연구한다. 게임은 방향성 그래프 G=(V,E) 위에서 진행되며, 각 정점은 최대 하나의 토큰만 보유한다. 플레이어 W와 B는 각각 흰색·검은색 토큰만 이동시킬 수 있고, 이동은 현재 토큰이 있는 정점 v에서 인접한 비어있는 정점 u로만 가능하다. 이동할 수 없을 때 패배한다. 기존 연구에서는 일반 그래프에서 이 게임이 EXPTIME‑complete임이 알려졌지만, DAG(방향성 비순환 그래프)에서의 복잡도는 미해결 문제로 남아 있었다. 논문은 먼저 관련 연구를 정리한다. 소멸 게임(annihilation game)과 그 변형인 hit, capture, edge blocking 등은 다양한 복잡도 결과를 가지고 있다. 특히, hit 게임은 DAG에서 PSPACE‑complete가 알려졌으며, capture는 DAG에서 PSPACE‑complete, 일반 그래프에서는 EXPTIME‑complete이다. 그러나 노드 차단 게임은 DAG에서의 복잡도가 아직 확정되지 않은 상태였다. 복잡도 증명을 위해 저자는 제한된 형태의 QBF(Quantified Boolean Formula)를 선택한다. 입력은 ∃∀ 교대로 양화된 3‑CNF 식이며, 변수 수 n은 짝수이다. 이 식을 인스턴스로 받아, 각 변수마다 두 종류의 “컴포넌트”를 만든다. 홀수 인덱스(i=2j‑1)에서는 흰색 컴포넌트, 짝수 인덱스(i=2j)에서는 검은색 컴포넌트를 사용한다. 각 컴포넌트는 고정된 정점 집합과 간선 집합을 가지며, 초기 토큰 배치는 정해져 있다. 흰색 컴포넌트는 정점 s, t, x, y와 v1~v4 로 구성되고, 검은색 컴포넌트는 추가로 v5~v8을 포함한다. 이 구조는 그림 1에 명시되어 있다. Lemma 1은 각 컴포넌트 내부에서의 게임 진행을 분석한다. 흰색 컴포넌트에서는 흰색 플레이어가 반드시 승리하고, 최종적으로 x 혹은 y 중 하나가 비게 된다. 검은색 컴포넌트에서는 검은색 플레이어가 승리하며, x, y, v5, v6 중 정확히 하나가 비게 된다. 증명은 초기 상태에서 첫 두 수순을 고정하고, 이후 가능한 이동을 경우별로 추적한다. 다음으로 전체 그래프 G_F 를 구성한다. G_F 는 모든 변수 컴포넌트를 순차적으로 연결한 뒤, 각 절 F_j 를 나타내는 정점 v(F_j)와 연결된 w 정점을 추가한다. w는 흰색 토큰, 각 v(F_j)는 검은색 토큰으로 초기화된다. 또한, 변수 컴포넌트의 x 혹은 y 정점에서 절 정점으로 향하는 간선을 추가한다. 이때 x→v(F_j) 간선은 절에 해당 변수의 양(positive) 리터럴이 포함될 때, y→v(F_j) 간선은 부정 리터럴이 포함될 때 추가된다. 전체 그래프는 사이클이 없도록 설계되어 있다. Theorem 1에서는 두 방향을 모두 증명한다. (1) QBF가 참이면 흰색 플레이어가 승리 전략을 가질 수 있다. 구체적으로, 변수 i가 존재량화된 경우 흰색 플레이어는 해당 변수 컴포넌트에서 x 혹은 y 로 토큰을 이동시켜 변수 값을 설정한다. 이후 게임이 다음 컴포넌트로 넘어가면서 동일한 과정을 반복한다. 마지막에 w 정점에서 흰색 토큰이 s(G_n) 로 이동하고, 어떤 절 정점 v(F_j) 로 이동하면, QBF가 참이므로 해당 절에 만족하는 리터럴이 존재한다. 그 리터럴에 대응하는 x 혹은 y 정점이 비어 있으므로 흰색 플레이어는 해당 정점에서 v(F_j) 로 이동해 승리한다. (2) 반대로 흰색 플레이어가 승리 전략을 가지고 있다면, 게임 진행 중 각 변수 컴포넌트에서 선택한 이동이 변수의 진리값을 정의한다. 게임이 마지막 절 단계에 도달했을 때 흰색 플레이어가 승리하려면 반드시 만족하는 리터럴이 존재해야 하므로, 원래 QBF 식이 참임을 역으로 증명한다. 따라서 QBF의 참/거짓 판단이 노드 차단 게임의 승패 판단과 정확히 일치한다는 점에서 PSPACE‑hardness가 성립한다. 마지막으로, DAG에서의 노드 차단 게임이 PSPACE에 포함된다는 것을 보인다. 게임 상태는 각 정점에 토큰이 있거나 없음을 나타내는 비트 문자열로 표현될 수 있으며, 전체 상태 공간의 크기는 |V|에 대해 2^{|V|}이지만, 게임 진행은 교대적이며 한 번의 이동은 하나의 토큰을 옮기는 것이므로, 비결정적 폴리노미얼 공간(NPSPACE) 알고리즘으로 승패를 판단할 수 있다. Savitch 정리에 의해 NPSPACE = PSPACE이므로, 문제는 PSPACE에 속한다. 따라서 전체 결과는 “노드 차단 게임은 DAG에서 PSPACE‑complete”라는 결론을 얻는다. 이 결과는 기존 복잡도 표에 있던 공백을 메우며, 두 플레이어가 토큰 종류에만 제한을 두고 모든 간선을 사용할 수 있는 경우에도 문제의 난이도가 여전히 PSPACE 수준임을 명확히 한다.