무작위성 없이도 충분한 게임 이론

초록

본 논문은 그래프 기반 2인 제로섬 게임을 관찰 가능성과 상호작용 방식에 따라 6가지 유형으로 분류하고, 전이 함수의 확률성 및 전략의 무작위성이 실제로 필요 없는 경우를 완전하게 규정한다. 특히, 확률적 전이를 결정론적 전이로 대체할 수 있는 조건과 순수 전략이 혼합 전략과 동등한 힘을 갖는 게임 클래스를 정확히 제시한다. 이를 통해 기존에 알려지지 않았던 몇몇 게임에서의 불가능성(undecidability) 결과를 새롭게 도출한다.

상세 요약

이 논문은 먼저 2인 제로섬 게임을 “관찰 정보”와 “상호작용 모드”라는 두 축으로 구분한다. 관찰 정보는 (a) 부분 관찰(partial‑observation), (b) 일방 완전 관찰(one‑sided complete‑observation), (c) 완전 관찰(complete‑observation)으로 나뉘며, 상호작용 모드는 동시(concurrent)와 순차(turn‑based) 두 종류가 있다. 이러한 3 × 2 = 6개의 조합은 각각 전이 함수가 확률적일 수도, 결정적일 수도, 그리고 플레이어가 순수 전략(pure strategy) 혹은 혼합 전략(mixed strategy)을 사용할 수도 있는 복합적인 게임 클래스를 만든다.

핵심 질문은 “언제 확률적 전이와 무작위 전략이 실제로 게임 결과에 영향을 미치지 않는가?”이다. 저자들은 두 가지 차원에서 ‘무작위성 없이도 충분함(randomness for free)’을 정의한다. 첫 번째는 전이 함수의 무작위성을 없앨 수 있는 경우이다. 이를 위해 게임 그래프의 구조적 특성—특히, 상태 간의 결정론적 경로가 존재하고, 확률 분포가 모든 가능한 선택을 동일하게 가중하는 경우—를 분석한다. 이러한 조건 하에서는 확률적 전이를 동일한 확률 분포를 갖는 결정론적 전이 집합으로 치환할 수 있으며, 이는 게임의 가치(value)와 최적 전략에 전혀 영향을 주지 않는다.

두 번째는 전략 차원에서의 무작위성 제거이다. 여기서는 마르코프 결정 과정(MDP)과 같은 확률적 환경에서도 ‘determinacy’가 성립하는 경우를 찾아낸다. 구체적으로, 완전 관찰 및 순차적 상호작용 게임에서는 ‘determinacy theorem’에 따라 순수 전략이 최적값을 달성한다는 것이 증명된다. 더 나아가, 부분 관찰 상황에서도 ‘belief‑state’ 변환을 통해 확률적 정보를 상태에 내포시켜, 결국 결정론적 ‘belief‑MDP’로 환원할 수 있음을 보인다. 이때, 최적 전략은 belief‑space에서 순수 전략으로 표현 가능하므로, 원래 게임에서도 무작위 전략이 필요 없게 된다.

이러한 두 축의 결과를 결합하면, 저자들은 6가지 게임 클래스 중 4가지에 대해 ‘전이 무작위성 제거’와 ‘전략 무작위성 제거’가 동시에 가능한 완전한 특성을 제시한다. 남은 두 클래스—특히, 부분 관찰·동시 상호작용 게임—에서는 무작위성이 본질적으로 필요함을 보이며, 이 경우 기존에 알려진 복잡도와 불가능성 결과를 재확인한다.

마지막으로, 이 정규화된 무작위성 없는 게임 모델을 이용해 새로운 불가능성(undecidability) 결과를 도출한다. 예를 들어, 부분 관찰·동시 게임에서 목표 상태 도달 확률이 1/2 초과인지 여부를 판단하는 문제가 튜링 완전성을 갖는다는 것을 증명함으로써, 기존에 ‘확률적 전이만이 복잡성을 유발한다’는 가설을 반증한다. 전체적으로, 논문은 무작위성의 실제 필요성을 정확히 구분함으로써, 알고리즘 설계와 복잡도 분석에 있어 불필요한 확률적 요소를 제거하고, 보다 효율적인 결정론적 해법을 모색할 수 있는 이론적 기반을 제공한다.