조합 게임의 기묘한 대수 구조

초록

본 논문은 조합 게임을 대수적 관점에서 통합적으로 분석하는 틀을 제시한다. 기존 파티션 게임 이론과 최근 연구된 미제어 게임, 컴플라이‑컨스트레인 게임, 카드 게임 등을 하나의 몽고이드(단일 연산군) 구조로 귀결시켜, 각 게임의 동등류를 정의하고 그 몽고이드의 몫을 구성한다. 이를 통해 게임 간 관계와 해법을 보다 일반화된 방식으로 도출한다.

상세 분석

논문은 먼저 조합 게임을 “위치(position)와 움직임(move)으로 정의되는 유한 게임”이라 규정하고, 이러한 게임들을 대수적 객체, 즉 몽고이드(Monoid)로 모델링한다. 기존 파티션 게임 이론에서는 각 게임을 정수 혹은 초실수( surreal number )와 동형시켜 부분 순서 구조를 이용했지만, 저자는 게임 동등성(equivalence) 관계를 “동일한 승패 결과를 보이는 모든 상황에서 교환 가능”이라는 기준으로 정의하고, 이를 통해 게임들의 합산 연산이 결합법칙과 항등원을 만족함을 증명한다. 핵심은 ‘몫 몽고이드(quotient monoid)’의 구성이다. 게임 집합 G에 대해 동등관계 ∼를 정의하고, G/∼를 몽고이드의 동치류 집합으로 만든다. 이때 각 동치류는 게임의 전략적 본질을 완전히 포착한다는 점이 강조된다.

특히, 논문은 다음 네 가지 게임 클래스에 대해 구체적인 몽고이드 구조를 제시한다. 첫째, 고전 파티션 게임은 Conway의 ‘온스(ON)’와 동일시되는 초실수 체계와 일치함을 보이며, 여기서 몽고이드의 항등원은 ‘0’ 게임이다. 둘째, 미제어(misere) 게임에서는 Sprague‑Grundy 정리의 직접 적용이 불가능하므로, 저자는 ‘핵심값(core value)’이라는 새로운 불변량을 도입해 동등성을 정의하고, 그에 따른 몽고이드가 일반적인 Nim-heap의 직교곱 형태임을 증명한다. 셋째, comply‑constrain 게임은 플레이어가 ‘허용( comply )’과 ‘제한( constrain )’ 두 단계의 선택을 번갈아 가며 진행하는 구조로, 여기서는 두 단계의 선택을 하나의 복합 연산으로 묶어 비가환 몽고이드를 형성한다. 마지막으로, 카드 게임(예: 포커‑드로우 변형)에서는 카드의 순열과 남은 덱의 상태를 상태공간으로 삼아, 게임 합산이 카드 집합의 다중집합 합과 동형임을 보인다.

각 사례마다 저자는 동치류의 대표 원소를 명시하고, 그 원소들 간의 연산표를 제시함으로써 실제 계산 가능성을 확보한다. 또한, 몽고이드의 구조적 특성(예: 가환성, 부분 순서, 원소의 차수)과 게임 이론의 전통적 결과(예: 온스의 정렬, 미제어 게임의 파라미터) 사이의 대응 관계를 체계적으로 매핑한다. 이러한 접근은 기존에 개별적으로 다루어졌던 게임 이론들을 하나의 대수적 프레임워크 안에 통합함으로써, 새로운 게임 설계와 복합 게임 분석에 대한 이론적 토대를 제공한다.