[論文レビュー] Misère canonical forms of partizan games

Aaron N. Siegel|ArXiv.org|Mar 20, 2007

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日目までに生成される異なるゲームの数を列挙すること。
• ミスエアプレイとノーマルプレイの同値関係および結果クラスの関係を明確にすること。

提案手法

• ノーマルプレイにおける部分的ゲームの正規形定理と、ミスエアプレイにおける平等的ゲームの正規形定理を統合的に統合し、ミスエアプレイにおける部分的ゲームに適用する枠組みを構築する。
• ミスエア不等式 $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$ の結果クラスの比較によって完全に特徴づけられ、構成的証明法が与えられている。
• ミスエアプレイにおける2日目までに生成される異なるゲームは正確に256個である。
• 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}$ であり、標準的部分順序と同型である。