[論文レビュー] Dead Ends in Misere Play: The Misere Monoid of Canonical Numbers

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

Artificial Intelligence in Games参考文献 9被引用数 7

ひとこと要約

この論文は、すべてのエンドフォロワーが自身でエンドエンドである（つまり、選択肢を失った後は再び選択肢を回復できない）死に至るゲームの世界における、正規数（整数および非整数）の誤りプレイにおけるモノイド構造と部分順序を確立する。整数および非整数の数が誤りプレイにおいて well-behaved なモノイドを形成することを示し、$G + \overline{G}$ の形をしていないにもかかわらず、ゼロと等価な無限のゲーム族が死に至るゲームの世界において存在することを特定する。主な貢献は、この制限された誤りプレイの文脈における同値性および比較可能性の完全な特徴付けである。

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.

研究の動機と目的

• 死に至るゲームの制限された世界（手の動きが不可逆的で、ゲーム状態が選択肢を再開できない）における誤りプレイの代数的構造を分析すること。
• 一般の誤りプレイにおいてあまりうまくいかないが、正規整数および非整数の誤りプレイモノイドを特定すること。
• 一般の誤りプレイ設定において加法的逆元を持たないにもかかわらず、死に至るゲームの世界でゼロと等価となるゲームの条件を同定すること。
• 死に至るゲームに制限することで、通常プレイから誤りプレイへの代数的ツールの適用を拡張すること。

提案手法

• 死に至るゲームを、すべてのエンドフォロワーが自身でエンドエンドである（すなわち、選択肢を失った後は再び選択肢を回復できない）ゲームとして定義する。
• 誤りプレイにおけるフォロワーおよび結果クラスの概念を用いて、関係 $G \equiv H \pmod{\mathcal{E}}$ を通じてゲームの同値性および不等式を分析する。
• 一般の誤りプレイにおいて $G + (-G) = 0$ が成り立たないため、$G$ の共役 $\overline{G}$ を負の演算の代わりに用いる。
• 左が $G + G + X$ で勝つ戦略を構築することで、特定のゲーム $G$ に対して $G + \overline{G} \not\equiv 0$ を示し、死に至るゲームの世界における非可逆性を証明する。
• 左の選択肢がすべてゼロに至る左端および右の選択肢がすべてゼロに至る右端であるゲームが、$\mathcal{E}$ を法としてゼロと等価であることを示す。第二戦略およびエンドゲーム戦略を用いる。
• 結果クラスの部分順序（$\mathcal{L}^-, \mathcal{P}^-, \mathcal{N}^-, \mathcal{R}^-$）を用いてゲームを比較し、比較可能性の条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 死に至るゲームの世界における正規整数の誤りプレイモノイドの構造は何か？
• RQ2 非整数の数は、死に至るゲームの世界における誤りプレイにおいてどのように振る舞うか？
• RQ3 どのゲームが死に至るゲームの世界でゼロと等価となり、その同値性を保証する条件は何か？
• RQ4 死に至るゲームに制限することで、誤りプレイにおいて比較可能性や可逆性といった代数的性質を回復できるか？

主な発見

• 正規整数の誤りプレイモノイドは $\mathbb{Z}$ に同型であり、$\boldsymbol{a} \equiv \boldsymbol{b} \pmod{\mathcal{E}}$ が成り立つのは $a = b$ のときに限る。
• 非整数の数については、誤りプレイモノイドは $\mathbb{Q}_2$（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}}$ を満たし、死に至るゲームの世界における非可逆性を示している。
• すべての左選択肢がゼロに至る左端であり、すべての右選択肢がゼロに至る右端であるゲームは、$G + \overline{G}$ の形をしていなくても、$\mathcal{E}$ を法としてゼロと等価である。