반강해 해결: 새로운 정의로 완벽 게임플레이 구현

초록

본 논문은 완전 정보 게임에서 강해(Strong)와 약해(Weak) 해결 사이의 중간 개념인 ‘반강해(semi‑strong) 해결’을 정의하고, 이를 효율적으로 구하기 위한 ‘재오픈 알파‑베타(reopening alpha‑beta)’ 알고리즘을 제시한다. 인증 영역 R을 명시적으로 제한함으로써 한 플레이어가 최적 정책을 따르는 동안 상대는 자유롭게 움직일 수 있는 경우에만 정확한 가치와 정규화된 최적 수를 보장한다. 6×6 오델로와 7×6 Connect Four 실험을 통해 강해 해결 대비 저장·연산 비용이 수천 배 이상 절감됨을 입증한다.

상세 분석

이 논문은 두 플레이어가 완전 정보와 제로섬 환경에서 경쟁하는 게임을 모델링하고, 기존의 ‘강해 해결(strong solving)’과 ‘약해 해결(weak solving)’이 갖는 한계를 명확히 짚는다. 강해 해결은 모든 도달 가능한 상태에 대해 최적값을 증명해야 하므로 상태공간이 급격히 폭발해 실용성이 떨어진다. 반면 약해 해결은 초기 상태와 그에 따른 최적 라인만을 보장하므로, 인간이 실수하거나 비정상적인 수를 두었을 때 엔진이 올바르게 대응하지 못한다.

‘반강해 해결’은 이러한 중간 지점을 목표로 한다. 핵심 아이디어는 인증 영역 R을 정의하는데, 이는 초기 상태에서 시작해 한 명의 플레이어가 언제든지 최적 정책(정해진 타이브레이크 규칙에 따라 유일하게 선택된 최적 수)만을 따르고, 상대는 임의의 합법적 수를 둘 수 있는 모든 경로를 포함한다. 즉, 두 플레이어가 동시에 비최적 수를 두는 경우는 인증 영역에 포함되지 않는다. 이 정의는 두 가지 방향(첫 번째 플레이어가 최적 에이전트, 두 번째 플레이어가 최적 에이전트)으로 나뉘며, 최종 인증 영역은 두 방향의 합집합으로 구성된다.

알고리즘적 구현은 ‘재오픈 알파‑베타(reopening alpha‑beta)’라는 변형된 프린시펄 변이 탐색(PVS/Negascout) 프레임워크를 기반으로 한다. 각 탐색 노드는 노드 종류(P, A′, P′, C, A) 로 라벨링되며, 이는 해당 노드가 만족해야 할 인증 의무를 정의한다. 예를 들어 P‑노드는 자유 혹은 최적 에이전트가 움직일 수 있는 상황을 모두 포괄해야 하므로 전체 윈도우(full‑window) 탐색과 정규화된 최적 수 식별이 요구된다. 반면 C와 A는 전통적인 알파‑베타 절단(cut) 혹은 전부 탐색(all)과 같이 값의 경계만 보장하면 된다.

이 구조는 필요한 경우에만 풀 윈도우 탐색을 수행하고, 나머지 경우에는 널‑윈도우(null‑window) 탐색을 통해 빠르게 반증(refutation)한다. 이때 ‘재오픈’ 메커니즘은 이전에 널‑윈도우로 탐색된 자식이 나중에 PV(Principal Variation) 후보가 되면 다시 풀 윈도우로 재탐색하도록 설계되어, 최적 수가 반드시 정확히 계산되도록 보장한다. 이론적 분석에서는 전통적인 알파‑베타가 완벽한 수 순서 가정 하에 Θ(b^{d/2}) 노드만 확장하는 것에 비해, 재오픈 알파‑베타는 O(d·b^{d/2}) 노드, 즉 깊이 d에 비례하는 상수만 추가된 복잡도를 가진다. 이는 인증 영역을 확대함에 따른 부가 비용을 명확히 정량화한 결과이다.

실험에서는 6×6 오델로(점수 기반 유틸리티)와 7×6 Connect Four(승·무·패 유틸리티)를 대상으로 검증하였다. 오델로에서는 강해 열거가 4×10^{12}개의 규칙‑도달 상태를 초과해 메모리 한계에 부딪히는 반면, 반강해 해결은 수십 억 개 수준의 상태만을 저장해도 전체 인증 영역에 대한 정확한 값과 정규화된 최적 수를 제공한다. Connect Four에서는 기존 강해 솔루션과 동일한 카운팅 기준 하에, 반강해 인증에 필요한 상태 수가 약 9,074배 적었다. 이러한 결과는 ‘반강해 해결’이 실제 게임 엔진에 적용될 때, 강해 해결이 요구하는 막대한 저장·연산 비용을 크게 낮추면서도 인간 플레이어가 임의로 실수했을 때도 최적 대응을 보장한다는 점을 시사한다.

마지막으로 논문은 두 종류의 출력물을 정의한다. 솔루션 아티팩트는 인증 영역에 대한 정확한 값과 정규화된 최적 수를 조회할 수 있는 영구 저장소(예: 트랜스포지션 테이블 덤프)이며, **증명 인증서(proof certificate)**는 제3자가 아티팩트를 검증할 수 있도록 추가 메타데이터(재탐색 로그, 보조 절단 경계 등)를 제공한다. 이는 연구 재현성과 실무 적용 모두를 지원한다는 점에서 의미가 크다.