[論文レビュー] The angel wins

Péter Gács|arXiv (Cornell University)|Jun 19, 2007

Artificial Intelligence in Games参考文献 1被引用数 7

ひとこと要約

この論文は、天使の能力Jが十分に大きい場合、無限大の2次元チェス盤上で天使が悪魔に勝つことができることを証明している。階層的戦略を用いることで、彼女は常に安全な経路を保証する。主な結果は、悪魔が天使を永遠に閉じ込めることはできず、組合せゲーム理論における30年間の予想が解けたことである。

ABSTRACT

The angel-devil game is played on an infinite two-dimensional ``chessboard''. The squares of the board are all white at the beginning. The players called angel and devil take turns in their steps. When it is the devil's turn, he can turn a square black. The angel always stays on a white square, and when it is her turn she can fly at a distance of at most J steps (each of which can be horizontal, vertical or diagonal) to a new white square. Here J is a constant. The devil wins if the angel does not find any more white squares to land on. The result of the paper is that if J is sufficiently large then the angel has a strategy such that the devil will never capture her. This deceptively easy-sounding result has been a conjecture, surprisingly, for about thirty years. Several other independent solutions have appeared simultaneously, some of them prove that J=2 is sufficient (see the Wikipedia on the angel problem). Still, it is hoped that the hierarchical solution presented here may prove useful for some generalizations.

研究の動機と目的

• 長年の未解決問題であった天使問題を解き、組合せゲーム理論における30年間の予想を解決すること。
• 天使の移動能力Jが十分に大きい場合、無限大2次元盤上で悪魔に捕らえられることなく、永遠に生き残れることを示すこと。
• 悪魔の動きにかかわらず、天使の生存を保証する、画期的な階層的戦略を開発すること。
• 十分に大きなJに対して、天使の勝利戦略を構成的証明すること。

提案手法

• 天使は能力Jが与えられ、彼女の手番に水平、垂直、または斜め方向に最大Jステップ移動でき、白いマスに移動する。
• 悪魔は彼女の手番に、任意の白いマスを黒く変え、天使を孤立させることを目的とする。
• 天使はボードを領域に分割する階層的戦略を採用し、スケールが増加するレベルを経て安全に進行することを保証する。
• 戦略により、各レベルで悪魔がアクセスを完全に遮断する前に、天使は常に新しい領域に到達できることが保証される。
• 証明は、安全な経路を再帰的に構築することに依存し、天使が脱出が不可能な領域に入ることはないことを保証する。
• この方法により、Jが十分に大きい場合、悪魔の任意の手番の後でも、天使はJステップ以内に白いマスを常に見つけられることを示している。

実験結果

リサーチクエスチョン

• RQ1 天使の移動能力Jが十分に大きい場合、無限大2次元盤上で悪魔による捕らえを永遠に避けられるか？
• RQ2 ゲーム盤の構造的性質と移動ルールが、天使が勝利戦略を維持できるようにする要因は何か？
• RQ3 悪魔の遮断手にかかわらず、天使の生存を保証する階層的戦略は存在するか？
• RQ4 天使が勝利を保証できる最小のJの値は何か？ また、その戦略は他の設定に一般化可能か？

主な発見

• 天使の能力Jが十分に大きい場合、彼女は安全な着地マスが尽きることなく、常に勝利戦略を保てる。
• Jが十分に大きい限り、悪魔ですら天使を永遠に閉じ込めることはできない。
• 本論文で提示された階層的戦略は、天使が無限大のボード上で常に移動可能であることを保証する構成的メソッドを提供する。
• この結果により、Jが十分に大きい条件下で天使が勝つという長年の予想が裏付けられた。
• 他の解決策ではJ=2で十分であることが示されているが、本論文の階層的アプローチは、一般化に役立つ可能性のあるフレームワークを提供する。
• 証明により、悪魔の遮断シーケンスに依存しない、無限大の安全な経路の存在が確立された。