[論文レビュー] Diagonal Peg Solitaire

George I. Bell|ArXiv.org|Jun 6, 2006

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

ひとこと要約

この論文は、水平、垂直、および斜めのジャンプを許可する8手の変種である対角線のペグソリティアを、対称的な正方形およびダイヤモンド型のボード上で調査する。単一の穴から単一のソルバーへの問題（SVSS）が、調査されたすべてのボードで解けることを証明している。A*および双方向探索のヒューリスティクスを用いて、最小手数の解が得られ、ダイヤモンド(5)における中央ゲームの最短解はわずか11手で達成されている。これは、従来の4手のソリティアと比較して、対角線の動きが解の長さを著しく短縮することを示している。

ABSTRACT

We study the classical game of peg solitaire when diagonal jumps are allowed. We prove that on many boards, one can begin from a full board with one peg missing, and finish with one peg anywhere on the board. We then consider the problem of finding solutions that minimize the number of moves (where a move is one or more jumps by the same peg), and find the shortest solution to the "central game", which begins and ends at the center. In some cases we can prove analytically that our solutions are the shortest possible, in other cases we apply A* or bidirectional search heuristics.

研究の動機と目的

• さまざまな対称的なボードにおける8手の対角線ペグソリティアにおける単一の穴から単一のソルバーへの問題（SVSS）の可解性を特定すること。
• これらのボードにおける中央ゲームやその他のSVSS問題の、可能な限り短い解（手数の観点から）を特定すること。
• A*や双方向探索のようなヒューリスティック探索アルゴリズムが、対角線ソリティアにおける解の長さを最小化するためにどれほど効果的であるかを評価すること。
• 解析的または計算的に、見つかった解が最適または近似的に最適であることを証明すること。
• 対角線の動きのルール下で、より短い解を可能にするボードの構造的および対称的性質を調査すること。

提案手法

• 論文は、正方形およびダイヤモンド型のボード上の穴を特定するための座標系（例：d4、c3）を用いて、正確な手の記述を行う。
• 「手」とは、同じペグによる1回以上の連続したジャンプを定義し、解の長さはジャンプ数ではなく手数で測定する。
• 著者らは、状態空間を効率的に探索し、最小手数の解を発見するために、A*および双方向探索のヒューリスティクスを適用する。
• 可逆性が活用されている：補数問題の任意の解は逆転させることで、別の有効な解を得られる。
• 位置クラスとペグのカテゴリ（0〜3）が、可解性の分析と探索のガイドとして用いられ、中心へのジャンプが可能なペグを追跡する。
• 解は、網羅的探索と計算ツールを用いて検証され、C++で記述されたコードが、一般的なハードウェア上で実行されている。

実験結果

リサーチクエスチョン

• RQ1 33穴、37穴、およびダイヤモンド型のボードにおける8手の対角線ソリティアで、中央ゲームは解けるか？
• RQ2 これらのボードのそれぞれにおいて、中央ゲームを解くのに必要な最小手数は何か？
• RQ3 対角線の動きは、従来の4手のソリティアと比較して、可解性および解の長さにどのように影響を与えるか？
• RQ4 A*や双方向探索のようなヒューリスティック探索法は、拡張されたゲーム空間において、最小長の解を効率的に発見できるか？
• RQ5 見つかった解の最小性について、解析的証明があるのか、それとも計算による検証に依存しているのか？

主な発見

• 中央ゲームは、調査された5つのボード（33穴、37穴、ダイヤモンド(3)〜ダイヤモンド(5)）すべてで8手の対角線ソリティアで解ける。
• ダイヤモンド(5)における中央ゲームの最短解はわずか11手で達成され、そのうち1つの解では18ジャンプの終局手が含まれる。
• 33穴ボードでは、中央ゲームの最小解は15手であり、c3補数は13手で解ける。
• 37穴ボードでは、中央ゲームは13手で解け、c3補数は12手で解ける。
• ダイヤモンド(6)におけるg6補数は15手で解けたが、それが最小であるとはまだ証明されていない。
• ヒューリスティック探索（A*および双方向探索）は、より大きな状態空間にもかかわらず、ブルートフォース法を上回り、最小手数の解の迅速な発見を可能にした。