[논문 리뷰] Misère canonical forms of partizan games

Aaron N. Siegel|ArXiv.org|2007. 03. 20.

Artificial Intelligence in Games참고 문헌 4인용 수 9

한 줄 요약

이 논문은 미세어 플레이 하에서 부분지안 게임에 대한 표준형의 존재성을 확립하며, 콘웨이의 정상 플레이 표준형 정리가 미세어 맥락으로 확장됨을 보여준다. 증명은 구조적임으로써 알고리즘을 통한 표준형 계산과 게임 비교를 가능하게 하며, 명시적인 수열을 통해 2일차까지 태어난 256개의 게임과 3일차까지의 게임 수에 대한 상한을 제시한다.

ABSTRACT

We show that partizan games admit canonical forms in misère play. The proof is a synthesis of the canonical form theorems for normal-play partizan games and misère-play impartial games. It is fully constructive, and algorithms readily emerge for comparing misère games and calculating their canonical forms. We use these techniques to show that there are precisely 256 games born by day 2, and to obtain a bound on the number of games born by day 3.

연구 동기 및 목표

• 미세어 플레이에 대한 부분지안 게임에 대한 표준형 정리 수립을 통해 조합 게임 이론에서 오랫동안 존재해온 격차를 해결하기 위해.
• 미세어 플레이에서 표준형이 정상 플레이와 유사하게 구조적으로 구할 수 있음을 보여주기 위해.
• 미세어 게임을 비교하고 그 표준형을 계산하는 알고리즘을 제공하기 위해.
• 미세어 부분지안 플레이에서 2일차까지 태어난 서로 다른 게임의 수를 수열하고, 3일차까지 태어난 게임의 수에 대한 상한을 제시하기 위해.
• 미세어 등가관계와 정상 플레이 등가관계, 결과 클래스 간의 관계를 명확히 하기 위해.

제안 방법

• 정상 플레이 부분지안 게임과 미세어 플레이 불변 게임의 표준형 정리들을 통합된 프레임워크로 확장하여, 미세어 부분지안 게임에 적용함.
• 미세어 불등식 $G \geq H$ 를 위한 재귀적 테스트를 도입하며, $G+X$ 와 $H+X$ 의 결과 클래스 비교를 바탕으로 하며, 미세어 결과 클래스의 부분순서 $\mathscr{L} \geq \mathscr{P} \geq \mathscr{R}$ 와 $\mathscr{L} \geq \mathscr{N} \geq \mathscr{R}$ 를 활용함.
• 게임 $G$ 의 동반자 $G^\circ$ 를 정의하여 $G + G^\circ$ 가 $\mathscr{P}$-포지션임을 보장함으로써, 불변 게임에 대한 콘웨이의 '파트너' 개념을 일반화함.
• 내림 링크링과 역행성 개념을 사용하여, 미세어 플레이에서 지배당하는 옵션과 역행성 옵션을 제거함으로써 등가성을 유지함.
• 결과 분할과 $\mathbb{P}$ 의 반사계열 구조를 활용하여, 3일차까지 태어난 게임의 수를 상한으로 제시함.
• 미세어 몫을 모델링하기 위해 사분기형 모노이드 $ (\mathcal{Q}, \Pi) $ 를 사용하며, 유도된 부분순서는 $ x \geq y \text{ iff } \Pi(xz) \geq \Pi(yz) \text{ for all } z \in \mathcal{Q} $ 를 만족함.

실험 결과

연구 질문

• RQ1 부분지안 게임은 미세어 플레이 하에서도 정상 플레이의 경우와 유사하게 표준형을 갖는가?
• RQ2 미세어 부분지안 게임에 대한 표준형 정리가 구조적으로 증명될 수 있는가? 이는 알고리즘적 계산을 가능하게 한다.
• RQ3 미세어 부분지안 플레이에서 2일차까지 태어난 서로 다른 게임의 수는 얼마인가?
• RQ4 미세어 부분지안 플레이에서 3일차까지 태어난 게임의 수에 대한 상한을 확립할 수 있는가?
• RQ5 미세어 등가관계와 정상 플레이 등가관계는 어떻게 관련되어 있으며, 특히 불변 게임의 경우 어떻게 되는가?

주요 결과

• 미세어 플레이 하에서 부분지안 게임은 표준형을 갖으며, 정상 플레이와 동일한 정의에 따라 지배당하는 옵션과 역행성 옵션을 갖는다.
• 재귀적 불등식 테스트 $G \geq H$ 는 모든 게임 $X$ 에 대해 $G+X$ 와 $H+X$ 의 결과 클래스 비교에 의해 완전히 특성화되며, 이는 구조적 증명 방법을 제공한다.
• 미세어 부분지안 플레이에서 정확히 256개의 서로 다른 게임이 2일차까지 태어났다.
• 3일차까지 태어난 게임의 수에 대한 상한으로 $M^2$ 게임이 확립되었으며, 여기서 $M = 2 \times 167 \times 167 \times 56130437228687557907788$ 이고, 이는 약 $2^{183}$ 의 상한을 제공한다.
• 불변 게임에 대해 미세어 등가관계 $=^{-}$ 는 $=^{-}_{I}$ 보다 엄밀히 더 넓은 관계임을 보여주며, $\ast + \ast =^{-}_{I} 0$ 이지만 $\ast + \ast \neq^{-} 0$ 이므로, 미세어 플레이는 정상 플레이가 구분하지 못하는 게임을 구분할 수 있음을 시사한다.
• 몫 모노이드 $\mathcal{Q}(1, \overline{1})$ 에서 $\Phi(\overline{1}) > \Phi(0) > \Phi(1)$ 과 $\Phi(\overline{1})\Phi(1) = \Phi(0)$ 이 성립하며, $\mathcal{Q}(1, \overline{1}) \cong \mathbb{Z}$ 이며 표준 부분순서를 갖는다.