[논문 리뷰] Dead Ends in Misere Play: The Misere Monoid of Canonical Numbers

Rebecca Milley, Gabriel Renault|arXiv (Cornell University)|2012. 12. 27.

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

한 줄 요약

이 논문은 모든 종료 후속자가 스스로 종료 상태인 사망 게임의 세계에서 정수와 비정수를 포함한 캐논리컬 수의 오만 게임 모노이드와 부분순서를 수립한다. 정수와 비정수 수는 오만 게임 하에서 잘 정의된 모노이드를 이룬다. 또한, 일반적인 오만 게임 설정에서 덧셈 역원이 없는 바에도 불구하고, 사망 게임 세계에서 0과 동치인 무한한 게임의 집합을 특정한다. 핵심 기여는 이러한 제한된 오만 게임 맥락에서 동치성과 비교 가능성의 완전한 특성화이다.

ABSTRACT

We find the misere monoids of normal-play canonical-form integer and non-integer numbers. These come as consequences of more general results for the universe of `dead-ending' games. Left and right `ends' have previously been defined as games in which Left or Right, respectively, have no moves; here we define a dead left (right) end to be a left (right) end whose options are all left (right) ends, and we define a dead-ending game to be one in which all end followers are dead. We find the monoids and partial orders of dead ends, integers, and all numbers, and construct an infinite family of games that are equivalent to zero in the dead-ending universe.

연구 동기 및 목표

• 이동이 불가역적이고 게임 상태가 옵션을 다시 열 수 없는 사망 게임의 제한된 세계에서 오만 게임의 대수적 구조를 분석한다.
• 일반적인 오만 게임에서 잘 정의되지 않는 정수와 비정수 캐논리컬 수의 오만 모노이드를 규명한다.
• 일반적인 오만 게임 설정에서 덧셈 역원이 없음에도 불구하고, 사망 게임 세계에서 0과 동치인 게임 조건을 규명한다.
• 잘 정의된 부분세계로 제한함으로써 정상 게임에서의 대수적 도구를 오만 게임으로 확장한다.

제안 방법

• 모든 종료 후속자가 스스로 종료 상태인 게임(즉, 옵션을 상실한 후 다시 회복할 수 없는 게임)을 사망 게임으로 정의한다.
• 오만 게임 하에서의 후속자와 결과 클래스 개념을 사용하여, 관계 $G \equiv H \pmod{\mathcal{E}}$ 를 통해 게임의 동치성과 부등식을 분석한다.
• 일반적인 오만 게임에서 $G + (-G) = 0$ 가 성립하지 않기 때문에, 부정 대신 공액 연산 $\overline{G}$ 를 사용한다.
• 특정 게임 $G$ 에 대해 $G + \overline{G} \not\equiv 0$ 임을 보이기 위해 $G + G + X$ 에서 왼쪽 플레이어의 승리 전략을 구성함으로써, 비가역성을 입증한다.
• 왼쪽 옵션이나 오른쪽 옵션이 모두 0에 도달하는 종료 상태로만 이루어진 게임은, 제2수선수 전략과 종료 게임 전략을 사용하여 $\mathcal{E}$ 모듈로 0과 동치임을 증명한다.
• 결과 클래스($\mathcal{L}^-, \mathcal{P}^-, \mathcal{N}^-, \mathcal{R}^-$)의 부분순서를 사용하여 게임을 비교하고 비교 가능성 조건을 설정한다.

실험 결과

연구 질문

• RQ1 사망 게임 세계에서 캐논리컬 정수의 오만 모노이드는 어떤 구조를 가지는가?
• RQ2 비정수 수는 사망 게임 세계에서 오만 게임 하에 어떻게 행동하는가?
• RQ3 어떤 게임이 사망 게임 세계에서 0과 동치이며, 이러한 동치성의 조건은 무엇인가?
• RQ4 사망 게임으로 제한함으로써, 오만 게임에서 비교 가능성과 가역성과 같은 대수적 성질을 회복할 수 있는가?

주요 결과

• 캐논리컬 정수의 오만 모노이드는 $\mathbb{Z}$ 와 동형이며, $\boldsymbol{a} \equiv \boldsymbol{b} \pmod{\mathcal{E}}$ 이다. 그리고 그 조건은 $a = b$ 이다.
• 비정수 수의 경우 오만 모노이드는 $\mathbb{Q}_2$인 이진 유리수와 동형이며, $\boldsymbol{a} \equiv \boldsymbol{b} \pmod{\mathcal{E}}$ 이다. 그리고 그 조건은 $a = b$ 이다.
• $\mathbb{Q}_2$ 모듈로 $\mathcal{E}$ 의 부분순서는 완전히 특성화되어 있다: $\boldsymbol{a} \gneqq \boldsymbol{b}$ 이다. 조건은 $0 < a < b$ 이고 $l(\boldsymbol{a}) \leq l(\boldsymbol{b})$ 이거나, $b < a < 0$ 이고 $r(\boldsymbol{b}) \leq r(\boldsymbol{a})$ 이다; 그렇지 않으면 $\boldsymbol{a} || \boldsymbol{b}$ 이다.
• 모든 $n_i \in \mathbb{N}$ 인 무한한 게임 집합 $G = \{\boldsymbol{n_1}, \dots, \boldsymbol{n_k} \mid \overline{\boldsymbol{n_1}}, \dots, \overline{\boldsymbol{n_k}}\}$ 는 $G + \overline{G} \not\equiv 0 \pmod{\mathcal{E}}$ 를 만족하며, 사망 게임 세계에서의 비가역성을 보여준다.
• 모든 왼쪽 옵션이 0에 도달하는 왼쪽 종료 상태이고, 모든 오른쪽 옵션이 0에 도달하는 오른쪽 종료 상태인 게임은, $G + \overline{G}$ 의 형태가 아니더라도 $\mathcal{E}$ 모듈로 0과 동치이다.