[論文レビュー] When game comparison becomes play: Absolutely Categorical Game Theory

Urban Larsson, Richard J. Nowakowski+1 more|arXiv (Cornell University)|Sep 9, 2016

Game Theory and Applications参考文献 1被引用数 3

ひとこと要約

本稿では、左一時的ゲーム（LPG）と呼ばれる正戦形式の組み合わせゲームの構成を導入し、正戦形式、ミゼール形式、スコア戦形式といった多様な組み合わせゲームの宇宙間でのゲーム比較を、導出された正戦形式ゲームにおける第二手番プレイヤーの勝利条件としてゲーム比較を符号化することで、カテゴリカルなゲーム比較を可能にする。主な貢献は、任意の絶対的宇宙 $
\mathbb{U}$ において $ 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）を定義すること。
• 任意の宇宙 $\mathbb{U}$ において $ G \succcurlyeq H $ が成り立つのは、左が第二手番として LPG $[G,H]$ に勝つとき、かつそのときに限ることを確立し、カテゴリカル構造を構築すること。
• CG-suit 0.7 における実装を通じて、ミゼール・ディコットゲームの自動比較を LPG フレームワークを用いて行えるようにすること。

提案手法

• 絶対的宇宙 $\mathbb{U}$ におけるプロビソ条件を満たすものに制限された左の手番のみを許容する正戦形式ゲームとして、左一時的ゲーム $[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}$ 内で「メンテナンス」の概念を導入する。$[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` を実装し、$[G,H]$ 及びその双対の結果を再帰的に分析することで、ゲーム比較を評価する。
• 結果関数 `Moutcome` を用いて、局面を左勝利（1）、右勝利（-1）、またはドロー（0 または 11）に分類し、双対ゲーム論理を適用して優位性の支配関係を特定する。

実験結果

リサーチクエスチョン

• RQ1 非正戦形式の宇宙（例：ミゼール形式やスコア戦形式）におけるゲーム比較を、普遍的な構成を用いて標準的な正戦形式の結果評価に還元できるか。
• RQ2 群的性質を持たない宇宙であっても、すべての絶対的宇宙に背後にカテゴリカル構造が存在するか。
• RQ3 左一時的ゲーム $[G,H]$ が、正戦形式において左が第二手番として勝つという形で、関係 $ G \succcurlyeq H $ を正しく符号化しているか。
• RQ4 LPG 構成をアルゴリズム的に実装することで、CG-suit のようなツールにおける自動ゲーム比較を可能にできるか。
• RQ5 左が第二手番として $[G,H]$ に勝つとき、かつそのときに限って $ G \succcurlyeq H $ が成り立つという性質を保証するための最小条件は何か。

主な発見

• 左一時的ゲーム $[G,H]$ は、プロビソ制限付きの選択肢を再帰的に用いる構成により、任意の絶対的宇宙 $\mathbb{U}$ に対しても常に有効な正戦形式ゲームである。
• 任意の絶対的宇宙 $\mathbb{U}$ において $ G \succcurlyeq H $ が成り立つのは、LPG $[G,H]$ が左が第二手番として勝つとき、かつそのときに限る。これは、正戦形式において $[G,H] \geq 0$ であることと同値である。
• $\mathbb{U}$ 内のゲームのカテゴリ $\mathbf{LNP}(\mathbb{U})$ は、$ G \to H $ が $ G \succcurlyeq H $ であるときのみ存在するという射の定義により、LPG を通じて確立され、ジョイアルの正戦形式カテゴリをすべての絶対的宇宙に一般化する。
• プロビソ条件により、$ G \succcurlyeq H $ がすべての左および右のアトミック拡張において保存されるため、ゲーム比較のための十分かつ必要条件であることが保証される。
• CG-suit 0.7 における `CompareDM` を用いた実装により、LPG 及びその双対を分析することで、ミゼール・ディコットゲームのゲーム比較が正しく評価され、`Moutcome` を用いた正しい結果分類が可能である。
• 本手法は、標準的な宇宙すべて（正戦形式、ディコット・ミゼール形式、フリー・ミゼール形式、スコア戦形式）において、命題 3.21 で示された条件に従って、$ G \succcurlyeq H $ を正しく特定している。