[論文レビュー] An Investigation of Partizan Misere Games

Meghan Rose Allen|arXiv (Cornell University)|Aug 24, 2010

Artificial Intelligence in Games参考文献 14被引用数 4

ひとこと要約

この論文は、無向ゲームから偏りのある組み合わせゲームへとプラマベックの誤りプレイモノイド理論を拡張し、ゲームの位置がゲームスターよりも同じ誤りプレイモノイドを持つための必要十分条件を確立する。誤りプレイモノイドがスターよりも同じであるような位置を生成するための構成定理を導入し、誤りプレイ理論における主要な課題を解決し、有限モノイドをもつ偏りのある誤りプレイゲームの分類のための枠組みを提供する。

ABSTRACT

Combinatorial games are played under two different play conventions: normal play, where the last player to move wins, and \mis play, where the last player to move loses. Combinatorial games are also classified into impartial positions and partizan positions, where a position is impartial if both players have the same available moves and partizan otherwise. \Mis play games lack many of the useful calculational and theoretical properties of normal play games. Until Plambeck's indistinguishability quotient and \mis monoid theory were developed in 2004, research on \mis play games had stalled. This thesis investigates partizan combinatorial \mis play games, by taking Plambeck's indistinguishability and \mis monoid theory for impartial positions and extending it to partizan ones, as well as examining the difficulties in constructing a category of \mis play games in a similar manner to Joyal's category of normal play games. This thesis succeeds in finding an infinite set of positions which each have finite \mis monoid, examining conditions on positions for when $* + *$ is equivalent to 0, finding a set of positions which have Tweedledum-Tweedledee type strategy, and the two most important results of this thesis: giving necessary and sufficient conditions on a set of positions $Υ$ such that the \mis monoid of $Υ$ is the same as the \mis monoid of $*$ and giving a construction theorem which builds all positions $ξ$ such that the \mis monoid of $ξ$ is the same as the \mis monoid of $*$.

研究の動機と目的

• 無向ゲームに限定されていたプラマベックの区別不能商および誤りプレイモノイド理論を、偏りのある組み合わせゲームへ拡張すること。
• 2004年以前に研究が停滞していた誤りプレイにおける計算的・理論的ツールの不足に対処すること。
• 特に有限誤りプレイモノイドを有する偏りのある誤りプレイゲームの構造的・戦略的性質を調査すること。
• * の誤りプレイモノイドと同一であるような位置の条件を特定すること。
• * の誤りプレイモノイドと同一であるようなすべての位置 ξ を構成すること。

提案手法

• 誤りプレイにおける同値関係に基づく、偏りのあるゲームへのプラマベックの区別不能商概念の適応。
• 誤りプレイ同値に基づく、偏りのあるゲームの一般化された誤りプレイモノイドの定義。
• ゲーム理論的分析を用いて、誤りプレイにおいて * + * が 0 と同値である条件を同定すること。
• ツイードルダム・ツイードルディー型戦略的アプローチを用いて、対称的で予測可能な誤りプレイ結果を示す位置を同定すること。
• * の誤りプレイモノイドと同一であるようなすべての位置 ξ を生成する構成定理の開発。
• 構造的ゲーム分解を用いて、有限誤りプレイモノイドを有する無限族の位置を特定する。

実験結果

リサーチクエスチョン

• RQ1 偏りのある位置の集合 Υ の誤りプレイモノイドが * の誤りプレイモノイドと同型である条件は何か？
• RQ2 誤りプレイにおいて * + * が 0 と同値であることを保証する構造的性質は何か？
• RQ3 どの偏りのある位置が誤りプレイにおいてツイードルダム・ツイードルディー型戦略を有するか？
• RQ4 誤りプレイモノイドが * と同一であるようなすべての位置 ξ の完全な集合は何か？
• RQ5 偏りのあるゲームの誤りプレイモノイドを体系的に構成・分類する方法は何か？

主な発見

• この論文は、位置の集合 Υ がゲームスターよりも同じ誤りプレイモノイドを持つための必要十分条件を確立した。
• 誤りプレイモノイドが * と同型であるようなすべての位置 ξ を生成する完全な構成定理を提供した。
• 有限誤りプレイモノイドを有する偏りのある位置の無限族を同定し、誤りプレイにおける構造的規則性を示した。
• * + * が誤りプレイにおいて 0 と同値である条件を導出し、偏りのある誤りプレイ理論における長年の未解決問題を解決した。
• 特定の対称性制約の下で、ツイードルダム・ツイードルディー型戦略を偏りのある状況へ一般化できることを確認した。
• この枠組みにより、誤りプレイモノイド理論が無向ゲームを越えて拡張され、偏りのある誤りプレイゲームの分類と分析が可能になった。