[논문 리뷰] When game comparison becomes play: Absolutely Categorical Game Theory

Urban Larsson, Richard J. Nowakowski외 1명|arXiv (Cornell University)|2016. 09. 09.

Game Theory and Applications참고 문헌 1인용 수 3

한 줄 요약

이 논문은 정상 플레이(normal-play) 조합 게임 구조인 왼쪽 예비 게임(Left Provisonal Game, LPG)을 도입하며, 정상 플레이, 미세어(misère), 스코링 플레이(scoring-play) 등 다양한 조합 게임 우주 간의 게임 비교를 가능하게 한다. 이는 유도된 정상 플레이 게임에서 두 번째 플레이어 승리 조건으로 게임 비교를 인코딩함으로써 이루어진다. 주요 기여는 어떤 절대 우주(absolute universe)에서든 $ G \succcurlyeq H $이 성립하는 것은 오직 왼쪽 플레이어가 두 번째로 플레이할 때 LPG $[G,H]$에서 승리하는 경우에 한하여 성립함을 증명한 것으로, 이러한 모든 우주에 대해 범주적 구조 $\mathbf{LNP}(\mathbb{U})$를 수립한다.

ABSTRACT

Absolute Universes of combinatorial games, as defined in a recent paper by the same authors, include many standard short normal- misère- and scoring-play monoids. In this note we show that the class is categorical, by extending Joyal's construction of arrows in normal-play games. Given $G$ and $H$ in an Absolute Universe $U$, we study instead the Left Provisonal Game $[G, H]$, which is a normal-play game, independently of the particular Absolute Universe, and find that $G\longrightarrow H$ (implying $G\succcurlyeq H$) corresponds to the set of winning strategies for Left playing second in $[G,H]$. By this we define the category ${\bf LNP(U)}$.

연구 동기 및 목표

• 다양한 조합 게임 유형—정상 플레이, 미세어, 스코링—간의 게임 비교를 통일하기 위해 그들을 공통적인 범주적 프레임워크에 통합하는 것.
• 역행 게임이 일반적으로 존재하지 않는 군 구조를 갖지 않는 우주(예: 미세어 또는 스코링 플레이)에서 게임 비교의 과제를 해결하는 것.
• 모든 게임 비교를 표준 정상 플레이 결과 평가로 환원하는 보편적 게임 구조인 왼쪽 예비 게임(LPG)을 정의하는 것.
• 왼쪽 플레이어가 두 번째로 플레이할 때 LPG $[G,H]$에서 승리하는 것과 $ G \succcurlyeq H $가 동시에 성립함을 증명함으로써 범주적 구조를 확립하는 것.
• CG-suit 0.7에서 LPG 프레임워크를 기반으로 한 자동화된 미세어-디코트(dicot) 게임 비교를 위한 계산 구현을 제공하는 것.

제안 방법

• 절대 우주 $\mathbb{U}$ 내에서 Proviso 조건을 만족하는 선택지로 제한된 왼쪽 선택지와 제한이 없는 오른쪽 선택지를 가진 정상 플레이 게임으로서 왼쪽 예비 게임 $[G,H]$를 정의한다.
• 표준 조합 게임 표기법을 사용하여 LPG를 구성한다: $[G,H] = \{[G^L,H] \in \text{Proviso}, [G,H^R] \in \text{Proviso} \mid [G^R,H], [G,H^L]\}$, 이는 항상 유효한 정상 플레이 게임임을 보장한다.
• 절대 우주 $\mathbb{U}$ 내에서 '유지(Maintenance)' 개념을 도입한다. $[G,H] \in \text{Maintain}(\mathbb{U})$이면 왼쪽 플레이어가 오른쪽 플레이어의 수를 항상 승리로 이어지는 응답으로 대응할 수 있다.
• 절대 우주 $\mathbb{U}$에서 $ G \succcurlyeq H $가 성립하는 것은 오직 $[G,H] \in \text{Proviso}(\mathbb{U}) \cap \text{Maintain}(\mathbb{U})$일 때에만 성립하며, 이는 정상 플레이에서 $[G,H] \geq 0$과 동치임을 증명한다.
• CG-suit 0.7에서 `CompareDM`이라는 사용자 정의 프로시저를 통해 LPG 구조를 구현하여, $[G,H]$의 결과와 그 쌍대 게임을 재귀적으로 분석함으로써 게임 비교를 평가한다.
• 위치를 왼쪽 승(1), 오른쪽 승(-1), 또는 드로우(0 또는 11)로 분류하는 결과 함수 `Moutcome`를 사용하고, 쌍대 게임 논리를 적용하여 비교적 지배 관계를 결정한다.

실험 결과

연구 질문

• RQ1 비정상 플레이 우주(예: 미세어 또는 스코링)에서 게임 비교를 보편적 구조를 사용해 표준 정상 플레이 결과 평가로 환원할 수 있는가?
• RQ2 군 성질이 없는 우주에서도 모든 절대 우주의 기초가 되는 범주적 구조가 존재하는가?
• RQ3 왼쪽 예비 게임 $[G,H]$가 정상 플레이에서 왼쪽 플레이어가 두 번째로 플레이할 때 승리하는 것으로 $ G \succcurlyeq H $ 관계를 정확히 인코딩하는가?
• RQ4 LPG 구조를 알고리즘적으로 구현하여 CG-suit와 같은 도구에서 자동화된 게임 비교를 가능하게 할 수 있는가?
• RQ5 왼쪽 플레이어가 두 번째로 플레이할 때 $[G,H]$에서 승리하는 것과 $ G \succcurlyeq H $가 동시에 성립하도록 보장하기 위한 최소 조건은 무엇인가?

주요 결과

• Proviso 조건을 만족하는 선택지로 제한된 재귀적 구성 덕분에, 어떤 절대 우주 $\mathbb{U}$ 에서든 왼쪽 예비 게임 $[G,H]$는 항상 유효한 정상 플레이 게임이다.
• 모든 절대 우주 $\mathbb{U}$ 에서 $ G \succcurlyeq H $가 성립하는 것은 오직 왼쪽 플레이어가 두 번째로 플레이할 때 LPG $[G,H]$에서 승리하는 경우에 한하여 성립하며, 이는 정상 플레이에서 $[G,H] \geq 0$과 동치이다.
• 모든 절대 우주에 대해, $ G \succcurlyeq H $일 때만 $ G \to H $로의 사상이 존재하는 게임의 범주 $\mathbf{LNP}(\mathbb{U})$ 가 LPG를 통해 수립되었으며, 이는 조르지의 정상 플레이 범주를 모든 절대 우주로 일반화한 것이다.
• Proviso 조건은 $ G \succcurlyeq H $ 관계가 모든 왼쪽 및 오른쪽 원자적 확장에서 유지됨을 보장하며, 게임 비교에 있어 필요충분 조건이 된다.
• CG-suit 0.7에서 `CompareDM`을 통해 LPG 구조를 성공적으로 구현하여, LPG와 그 쌍대를 분석함으로써 미세어-디코트 게임의 게임 비교를 평가했으며, `Moutcome`를 사용한 결과 분류가 정확하였다.
• 이 방법은 표준 우주—정상 플레이, 디코트 미세어, 자유 미세어, 스코링 플레이—모두에서 $ G \succcurlyeq H $를 정확히 식별한다. 이는 정리 3.21에서 제시된 조건에 따라 성립한다.