[論文レビュー] Nearly Optimal Minimax Tree Search?

Arie de Bruin, Wim Pijls+2 more|arXiv (Cornell University)|Jan 1, 1994

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

ひとこと要約

この論文は、ゲームプレイAIにおける最小探索グラフの従来の理解に挑戦し、標準的な左端最小グラフ定義が最適化の潜在能力を低估していることを示している。著者らは、交換性の最大化と部分木サイズを考慮したカットオフを含むように最小グラフを再定義することで、強化されたアルファベータ探索が従来の予想よりもはるかに小さな木を達成できることを実証した。これにより、現在のプログラムは想定よりも非効率であることが明らかになった。

ABSTRACT

Knuth and Moore presented a theoretical lower bound on the number of leaves that any fixed-depth minimax tree-search algorithm traversing a uniform tree must explore, the so-called minimal tree. Since real-life minimax trees are not uniform, the exact size of this tree is not known for most applications. Further, most games have transpositions, implying that there exists a minimal graph which is smaller than the minimal tree. For three games (chess, Othello and checkers) we compute the size of the minimal tree and the minimal graph. Empirical evidence shows that in all three games, enhanced Alpha-Beta search is capable of building a tree that is close in size to that of the minimal graph. Hence, it appears game-playing programs build nearly optimal search trees. However, the conventional definition of the minimal graph is wrong. There are ways in which the size of the minimal graph can be reduced: by maximizing the number of transpositions in the search, and generating cutoffs using branches that lead to smaller search trees. The conventional definition of the minimal graph is just a left-most approximation. Calculating the size of the real minimal graph is too computationally intensive. However, upper bound approximations show it to be significantly smaller than the left-most minimal graph. Hence, it appears that game-playing programs are not searching as efficiently as is widely believed. Understanding the left-most and real minimal search graphs leads to some new ideas for enhancing Alpha-Beta search. One of them, enhanced transposition cutoffs, is shown to significantly reduce search tree size.

研究の動機と目的

• 非一様なゲームツリーにおけるミニマックス探索木サイズの理論的下界を再評価すること。
• 左端構造を仮定し、交換性や部分木サイズを無視する従来の最小グラフ定義に内在する欠陥を特定すること。
• 実際のゲームプレイプログラムにおける探索木サイズと真の最小グラフサイズとの差を定量化すること。
• 特に交換性を高めるカットオフを含む新しい技術を提案し、現在の手法を上回る探索木サイズの縮小を実現すること。
• 現在のゲームプレイプログラムが交換性やカットオフ戦略の最適でない使用により、広く信じられているよりも非効率であることを示すこと。

提案手法

• チェス、オセロ、チェッカーの3つの実際のゲームについて、最小木と最小グラフのサイズを計算すること。
• 強化されたアルファベータ探索の実証的分析を用いて、実際の木サイズと理論的最小境界を比較すること。
• 左端近似を超えて、交換性の最大化と部分木サイズに基づくカットオフを含むように最小グラフを再定義すること。
• 真の最小グラフサイズの上界近似を導出し、理論的改善の潜在可能性を推定すること。
• 部分木が小さい方向を優先するような、強化された交換性カットオフを導入・評価すること。
• これらの新しいカットオフ戦略が、実際の探索木サイズに与える影響を分析すること。

実験結果

リサーチクエスチョン

• RQ1 チェス、オセロ、チェッカーのような実際のゲームにおいて、最小木のサイズは最小グラフのサイズと比べてどの程度か？
• RQ2 なぜ従来の左端最小グラフ定義では、探索作業の真の下界を捉えるのに不十分なのか？
• RQ3 交換性の再利用と部分木サイズに配慮したカットオフは、最小グラフのサイズをどの程度まで縮小できるのか？
• RQ4 実際の強化されたアルファベータ探索のパフォーマンスは、理論的最小グラフサイズと比べてどの程度か？
• RQ5 例えば強化された交換性カットオフのような新しいカットオフ戦略は、現在の手法を上回る規模で探索木サイズを著しく縮小できるか？

主な発見

• 左端構造として定義される従来の最小グラフは真の最小グラフではなく、最適化の潜在能力を低估している。
• 交換性のより良い活用と部分木サイズに配慮したカットオフのおかげで、真の最小グラフは左端最小グラフよりも著しく小さくなる可能性がある。
• 実証的結果から、強化されたアルファベータ探索は最小グラフに近いサイズの木を構築していることが示され、これは近似的最適性を示唆しているが、これは誤った従来の定義に基づくものである。
• 上界近似から、真の最小グラフは左端バージョンよりも著しく小さく、現在のプログラムが想定よりも非効率である可能性があることが示唆された。
• 部分木が小さい方向を優先する強化された交換性カットオフは、探索木サイズを著しく縮小することが実証された。
• 本研究により、ゲームプレイプログラムが交換性やカットオフ順序の最適でない活用により、一般的に信じられているよりも非効率に探索していることが明らかになった。