[論文レビュー] Computer analysis of Sprouts with nimbers

Julien Lemoine, Simon Viennot|arXiv (Cornell University)|Aug 13, 2010

Artificial Intelligence in Games参考文献 2被引用数 6

ひとこと要約

本稿では、ニンバーや戦略的 pruning を用いたコンピュータ支援分析により、スプロウズという組み合わせゲームの解析を実施し、32スロットまでゲームの結果を計算可能にした。著者らは、計算されたすべての値についてスプロウズ予想を確認し、11スロットまでのゲームについて、最小化されたデータベースを用いて手作業で検証可能な証明を提供した。その結果、先手が勝つのは p ≡ 3, 4, または 5 (mod 6) の場合に限ることを示した。

ABSTRACT

Sprouts is a two-player topological game, invented in 1967 in the University of Cambridge by John Conway and Michael Paterson. The game starts with p spots, and ends in at most 3p-1 moves. The first player who cannot play loses. The complexity of the p-spot game is very high, so that the best hand-checked proof only shows who the winner is for the 7-spot game, and the best previous computer analysis reached p=11. We have written a computer program, using mainly two new ideas. The nimber (also known as Sprague-Grundy number) allows us to compute separately independent subgames; and when the exploration of a part of the game tree seems to be too difficult, we can manually force the program to search elsewhere. Thanks to these improvements, we reached up to p=32. The outcome of the 33-spot game is still unknown, but the biggest computed value is the 47-spot game ! All the computed values support the Sprouts conjecture: the first player has a winning strategy if and only if p is 3, 4 or 5 modulo 6. We have also used a check algorithm to reduce the number of positions needed to prove which player is the winner. It is now possible to hand-check all the games until p=11 in a reasonable amount of time.

研究の動機と目的

• 小規模な p に対しては計算的に扱いにくいスプロウズの問題を、高度なアルゴリズム的手法を活用して克服すること。
• 従来の p = 11 の上限を超えて、計算可能なスプロウズゲームの上限を拡大すること。
• 手作業で検証可能な証明を可能にするために、データベースを最小化する検証アルゴリズムを用いて結果を検証すること。
• ニンバー値のパターンを調査し、スプロウズ予想を高い信頼性で検証すること。
• 再現可能性と今後の研究を促進するために、オープンソースのツールとデータベースを提供すること。

提案手法

• 独立した部分ゲームを別々に処理することで、スプロウズのゲーム結果を計算する際に、スプラグ＝グリーンジー（ニンバー）の概念を用いる。
• スプロウズの局面を文字列ベースのデータ構造で表現することで、プログラム的処理とゲームツリー走査を効率的に行えるようにする。
• 部分ゲームの複雑さが著しく増加する場合に、計算を再配分できるように、深さ優先探索と手動介入を組み合わせたハイブリッド探索戦略を実装する。
• 検証アルゴリズムを適用して、格納するゲーム局面の数を最小化し、手作業で検証可能なコンパクトなデータベースを生成する。
• 今後の方向性として、PNサーチに類似したベストファースト探索を統合し、現在の深さ優先ヒューリスティクスを超える効率性を向上させること。
• 検証アルゴリズムによるデータベースサイズの縮小を活用し、分散計算の可能性を高めること。

実験結果

リサーチクエスチョン

• RQ1 スプロウズ予想（先手が勝つのは p ≡ 3, 4, または 5 (mod 6) の場合に限る）が、p = 32 まで計算的に確認できるか。
• RQ2 現在のアルゴリズム的強化を用いて、信頼性を持って計算可能なスプロウズゲームの最大スロット数は何か。
• RQ3 人間がガイドする探索戦略を自動計算に統合することで、ゲームツリー探索の効率を向上させられるか。
• RQ4 正しさを保ちつつ、手作業による検証を可能にするために、ゲームデータベースのサイズをどの程度まで縮小できるか。
• RQ5 ニンバー値に構造的なパターンが存在するか。そのパターンはスプロウズ予想の拡張を支持するか、反証するか。

主な発見

• 著者らは、1 から 32 までのすべての p について、p スロットのスプロウズゲームの結果を計算した。47スロットのゲームについても一部解析を行った。
• 計算されたすべての結果がスプロウズ予想を支持している：先手が勝つのは p ≡ 3, 4, または 5 (mod 6) の場合に限る。
• すべての p ≤ 32 について、p ≡ 0, 1, または 2 (mod 6) の場合、初期局面のニンバーは 0 であり、p ≡ 3, 4, または 5 (mod 6) の場合、ニンバーは 1 である。
• 格納されたゲームペアの数は p に比例して厳密に増加するわけではない。これは、特に p = 15, 21, 27 において、6 を法とするモジュロ構造的パターンが顕在しており、これらの値はまれな負けの子孫を持つため計算が困難であることを示唆している。
• 検証アルゴリズムにより、データベースサイズが著しく縮小され、9スロットゲームの66の負け局面と258の勝ち局面について、数時間で手作業で検証可能となった。
• プログラムとすべての生成されたデータベースは GNU ライセンスの下で公開されており、再現性と今後の研究を促進している。