[論文レビュー] Absolute Combinatorial Game Theory

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

Artificial Intelligence in Games参考文献 27被引用数 10

ひとこと要約

本稿では、正常プレー、ミゼールプレー、スコアプレーの規約を統一的に扱う枠組みとして、ゲーム比較が局所的・構成的基準に簡略化される『絶対的』ゲーム宇宙を同定することにより、一般化された組合せゲーム理論（CGT）を提唱する。主な貢献は、親性（parentality）と飽和（saturation）を特徴とするこのような宇宙において、ゲームの比較が明示的な区別ゲームの構成を必要とせず、条件の確認と不等式の維持に帰着されることを証明することにある。

ABSTRACT

We propose a unifying additive theory for standard conventions in Combinatorial Game Theory, including normal-, misère- and scoring-play, studied by Berlekamp, Conway, Dorbec, Ettinger, Guy, Larsson, Milley, Neto, Nowakowski, Renault, Santos, Siegel, Sopena, Stewart (1976-2019), and others. A game {\em universe} is a set of games that satisfies some standard closure properties. Here, we reveal when the fundamental game comparison problem, ``Is $G\su H$?'', simplifies to a constructive `local' solution, which generalizes Conway's foundational result in ONAG (1976) for normal-play games. This happens in a broad and general fashion whenever a given game universe is {\em absolute}. Games in an absolute universe satisfy two properties, dubbed {\em parentality} and {\em saturation}, and we prove that the latter is implied by the former. Parentality means that any pair of non-empty finite sets of games is admissible as options, and saturation means that, given any game, the first player can be favored in a disjunctive sum. Game comparison is at the core of combinatorial game theory, and for example efficiency of potential reduction theorems rely on a local comparison. We distinguish between three levels of game comparison; superordinate (global), basic (semi-constructive) and subordinate (local) comparison. In proofs, a sometimes tedious challenge faces a researcher in CGT: in order to disprove an inequality, an explicit distinguishing game might be required. Here, we explain how this job becomes obsolete whenever a universe is absolute. Namely, it suffices to see if a pair of games satisfies a certain Proviso together with a Maintenance of an inequality.

研究の動機と目的

• 正常プレー、ミゼールプレー、スコアプレーの標準的組合せゲーム理論（CGT）の規約を、単一の理論的枠組みで統一すること。
• CGTにおける根本的な課題、すなわちゲームの不等式を証明する際、しばしば明示的な区別ゲームの構成を要することを解決すること。
• ゲーム比較が局所的かつ構成的になる条件を確立し、証明技法を簡略化すること。
• このような簡略化が成立するゲーム宇宙の特徴を特定し、親性と飽和の構造的性質を同定すること。
• 一般化されたゲーム設定における還元定理、標準形、平均値定理に関する今後の研究の基盤を提供すること。

提案手法

• ゲーム宇宙を、標準的演算について閉じた集合として定義し、ゲームを再帰的に $ G = \{G^\mathcal{L} \mid G^\mathcal{R}\} $ として表現する。
• 『親性』を導入する——任意の非空有限ゲーム集合が左・右の選択肢として機能可能である性質であり、広範なゲーム生成を保証する。
• 『飽和』を、任意のゲーム $ G $ に対して、第一プレイヤーが直和において有利になることを形式化する性質として定義する。これはスコアプレーでは随伴（adjoints）を、古典的プレーでは共役（conjugates）を用いて表現する。
• 親性から飽和が導かれることが証明され、構造的条件の階層が確立される。
• 『条件（proviso）』と『不等式の維持』の概念を用いて、グローバルなゲーム比較を局所的・再帰的基準に置き換える。
• 古典的プレーとスコアプレーの両設定にこの枠組みを適用し、絶対的宇宙においてはすべての規約が同一の論理的構造に従うことを示す。

実験結果

リサーチクエスチョン

• RQ1 ゲーム比較問題 $ G \succcurlyeq H $ が、どのような条件下で局所的・構成的基準に簡略化されるか？
• RQ2 単一の理論的枠組みが、組合せゲーム理論における正常プレー、ミゼールプレー、スコアプレーの規約を統一できるか？
• RQ3 ゲーム宇宙のどのような構造的性質が、明示的な区別ゲームを必要とせずにゲーム比較が決定可能になることを保証するか？
• RQ4 絶対的宇宙におけるゲームに標準形が存在するか？ そして、これは正常プレーにおける既存の概念とどのように関係するか？
• RQ5 平均値定理は、スコアプレーにおける『スコア』と『手数』を統合的に扱う枠組みに一般化可能か？

主な発見

• 絶対的宇宙においては、ゲーム比較が条件の確認と不等式の維持に簡略化され、明示的な区別ゲームは不要になる。
• 親性は飽和を含意するため、両者は独立ではない。親性は絶対性の基礎的条件である。
• スコアプレーにおける随伴構成により、$ G + G^\circ $ がミゼールプレーにおいてP-ポジションであることが保証され、これは正常プレーにおける共役に基づく飽和を一般化する。
• 任意のスコア宇宙内のゲーム $ G $ と任意の実数 $ x $ に対して、$ o(G + H) = x $ を満たすゲーム $ H $ が存在する。これは結果の飽和を示す。
• この枠組みにより、古典的プレーとスコアプレーの両設定を統一する再帰的解法が可能となり、還元定理や標準形への応用が可能になる。
• 理論はループ（循環）ゲームへ一般化可能であるが、これは今後の研究の未解決な方向性のまま残っている。