장기와 장기의 EXPTIME 복잡도 분석

초록

본 논문은 2차원 플랫폼 게임에 적용되는 NP‑hard, PSPACE‑hard, EXPTIME‑hard 프레임워크를 정리하고, 이를 이용해 중국 체스인 장기와 한국 체스인 장기의 게임 복잡도를 EXPTIME‑complete임을 증명한다.

상세 분석

논문은 먼저 기존에 제안된 NP‑hard와 PSPACE‑hard 프레임워크를 간략히 재정리한다. NP‑hard 프레임워크는 3‑SAT 인스턴스를 구현하기 위해 시작·종료·전환·스위치·병합·일방통로·교차·문(door) 등 8가지 기본 가젯을 필요로 한다. 각 가젯은 아바타가 한 번만 통과하거나, 특정 상태(열림/닫힘)에 따라 통과 가능 여부가 결정된다. PSPACE‑hard 프레임워크는 여기서 문을 열고 닫을 수 있는 open‑close door와, 플레이어가 번갈아 가며 두 출구를 교대로 이용하도록 강제하는 alternation gadget을 추가한다. 이 두 가젯을 통해 TQBF(양자 부울 공식) 문제를 시뮬레이션함으로써 PSPACE‑hardness를 확보한다.

핵심 기여는 EXPTIME‑hard 프레임워크의 설계이다. 저자는 G₂라는 EXPTIME‑complete 공식 게임을 목표로 삼아, 두 명의 플레이어가 번갈아 가며 변수 X와 Y를 조정하고, 각각의 승리 조건 I‑WIN, II‑WIN을 만족시키는지를 판단한다. 이를 2D 플랫폼 게임에 매핑하기 위해 다음과 같은 가젯을 도입한다.

1. 색상 구분이 가능한 Red와 Black 전용 시작·종료·전환·스위치·병합·일방통로 가젯.
2. Red‑Red, Black‑Black, Red‑Black 교차 가젯(후자는 두 플레이어가 서로 방해 없이 통과 가능).
3. 여섯 종류의 문(gadget) – RRR, BBB, RBR, BRB, BBR, RRB – 각각은 열림/닫힘 상태와 통과 가능한 경로가 다르게 정의된다. 특히 RBR, BBR 문은 한 플레이어가 열고 다른 플레이어가 닫는 비대칭 동작을 구현한다.
4. 동기화(gadget)와 할당 진행(assign‑progress) 가젯을 조합해 두 플레이어의 움직임을 정확히 교대로 맞춘다.

이러한 가젯들을 장기와 장기의 규칙에 맞게 구현한다. 장기와 장기 보드에는 말의 이동 제한, 강제 이동(예: 장군·장군 체크), 포(炮)의 점프 등 복잡한 움직임이 존재하지만, 논문은 각각의 가젯을 기존 말의 이동 패턴과 보드 배치를 이용해 재현한다. 예를 들어, 스위치 가젯은 차(車)나 마(馬)의 직선·곡선 이동으로 구현하고, 문 가젯은 장군·장군 체크 상황을 이용해 열림·닫힘 상태를 전환한다. 교차 가젯은 두 색상의 말이 서로 교차하는 경로를 서로 다른 레이어(예: 강변·진영)로 배치함으로써 충돌 없이 통과하도록 만든다.

프레임워크 전체를 장기와 장기에 매핑한 결과, 플레이어가 자신의 아바타(말)를 시작점에서 목표점(승리 조건)까지 이동시키는 문제는 G₂ 게임과 동등하게 되며, 따라서 장기와 장기의 결정 문제는 EXPTIME‑complete임을 증명한다. 논문은 또한 기존 연구에서 제시된 오류(특히 Gao·Xu의 Boolean controller 설계 결함)를 교정하고, 가젯 구현 과정에서 발생할 수 있는 “single‑use” 제한을 명확히 설명한다.

이와 같이, 복잡도 이론과 전통 보드 게임을 연결한 이번 연구는 게임 이론, 알고리즘 복잡도, 그리고 인공지능 분야에서 장기·장기의 전략적 난이도를 정량화하는 중요한 발판을 제공한다.