[論文レビュー] Playing Games with Algorithms: Algorithmic Combinatorial Game Theory

Erik D. Demaine, Robert A. Hearn|arXiv (Cornell University)|Jun 11, 2001

Artificial Intelligence in Games被引用数 59

ひとこと要約

本稿は、組合せゲーム理論と制約論理を用いたアルゴリズム的組合せゲーム理論の包括的サーベイを提供しており、2人用完全情報ゲームおよび1人用パズルの計算複雑性を分析している。本稿では、Rush Hour や Othello、Lemmings といった多くの古典的ゲームやパズルが PSPACE-完全または NP-完全であることが示され、一方で、特定の制約下では Reflexion のように多項式時間で解けるものも存在する。これにより、ゲームの複雑性を分類する基盤的フレームワークを提供している。

ABSTRACT

Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview of the area to encourage further research. In particular, we begin with general background in Combinatorial Game Theory, which analyzes ideal play in perfect-information games, and Constraint Logic, which provides a framework for showing hardness. Then we survey results about the complexity of determining ideal play in these games, and the related problems of solving puzzles, in terms of both polynomial-time algorithms and computational intractability results. Our review of background and survey of algorithmic results are by no means complete, but should serve as a useful primer.

研究の動機と目的

• アルゴリズム的組合せゲーム理論の現状をサーベイし、主要な未解決問題を特定すること。
• 2人用完全情報ゲームおよび1人用パズルの計算複雑性を分析すること。
• 組合せゲーム理論と制約論理を用いた統一的フレームワークを提供し、ゲームにおける tractability と intractability を理解すること。
• Domineering や Connect Four、Dots and Boxes などのゲームにおける未解決問題を強調すること。
• 既知の難解性結果をリストアップし、複雑性分類におけるギャップを特定することで、今後の研究を促進すること。

提案手法

• ゲームの状態を左と右の手の移動を持つ根付き木としてモデル化することで、組合せゲーム理論を用いてゲーム値と結果を分析する。
• 既知の難解問題をゲーム配置に還元することで、制約論理をフレームワークとして用い、難解性の証明を行う。
• プレイルールに基づいてゲームを分類：通常プレイ対ミスリールプレイ、非協力的対部分的、ループあり対ループなし。
• 光の球やミラー配置ゲームなどのパズルを、経路走破メカニズムを持つ制約充足問題としてモデル化して分析する。
• 既知の NP-および PSPACE-完全問題（例：3-SAT、量化ブール論理式）からの還元を用いて、パズル変種の難解性を証明する。
• コンウェイのゲーム・オブ・ライフのようなセルオートマトンを検討し、人口死滅問題やパターン拡張問題が undecidable または PSPACE-完全であることを示す。

実験結果

リサーチクエスチョン

• RQ1 チェックマーカー、ゴーや Othello のような組合せゲームにおいて、最適手の決定の計算複雑性は何か？
• RQ2 見た目には複雑に見えるが、多項式時間で解けるパズルのクラスは存在するか？
• RQ3 1方向ミラー、移動可能ブロック、トリガー正方形といった異なるゲームルールは、パズル解決の複雑性にどのように影響するか？
• RQ4 コンウェイのゲーム・オブ・ライフにおいて、与えられた配置がガーデン・オブ・エデンであるか、またはスタティックライフに拡張可能かどうかを決定する問題の複雑性は何か？
• RQ5 Domineering や Connect Four、中国チェッカーのようないくつかの有名ゲームは、アルゴリズム的複雑性において未分類のままであるか？

主な発見

• Rush Hour や マインスイーパー といった多くの古典的パズルやゲームは、PSPACE-完全または NP-完全であることが示され、高い計算的困難性を示している。
• Lemmings パズルは、1体のレミングスのみを想定しても、多項式時間制限がある限り NP-完全である。これは現実のゲームプレイと整合的である。
• 基本ルール下では Reflexion は SL-完全（多項式時間で解ける）であるが、ミラーの反転が事前移動フェーズに制限されると NP-完全になる。
• 無限平面におけるライフの配置が最終的に死滅するかどうかを決定する問題は undecidable であり、多項式的に有界な領域に制限すると PSPACE-完全である。
• コンウェイのゲーム・オブ・ライフにチューリングマシンが存在することは、ガーデン・オブ・エイデン検出などの特定のライフ配置問題が undecidable であることを裏付ける。
• Domineering、Connect Four、Dots and Boxes のような多数の主要ゲームは、正確な複雑性が未分類のままであり、アルゴリズムゲーム理論における未解決問題を示している。