[論文レビュー] Solving Triangular Peg Solitaire

George I. Bell|arXiv (Cornell University)|Mar 29, 2007

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

ひとこと要約

この論文は、三角形のヒューマン・ソリティア $T_n$ における完全な数学的分析を提供し、パリティに基づく不変量を用いて、解法可能性の必要十分条件を確立している。解法可能性は、始点の穴の位置が 3 で割った余りとボードサイズ $n$ に依存しており、$T_{10}$（55 ホール）までのボードについて明示的な解法アルゴリズムと最小手数解を提示している。$T_8$ における補完問題の最短解は 13 手で、これが見つかった。

ABSTRACT

We consider the one-person game of peg solitaire on a triangular board of arbitrary size. The basic game begins from a full board with one peg missing and finishes with one peg at a specified board location. We develop necessary and sufficient conditions for this game to be solvable. For all solvable problems, we give an explicit solution algorithm. On the 15-hole board, we compare three simple solution strategies. We then consider the problem of finding solutions that minimize the number of moves (where a move is one or more consecutive jumps by the same peg), and find the shortest solution to the basic game on all triangular boards with up to 55 holes (10 holes on a side).

研究の動機と目的

• 三角形のヒューマン・ソリティアが $T_n$ で単一のペグに解けるための必要十分条件を特定すること。
• 解法可能な場合に解を構築する明示的なアルゴリズムを開発すること。
• $T_{10}$ までの三角形ボードにおける基本ゲームの最短解（手数の観点から）を特定・計算すること。
• $T_5$ ボード（15 ホール）における異なる解法戦略の効率を分析・比較すること。
• ねじれ座標変換を用いて回転・反転により等価な解を生成する体系的な方法を提供すること。

提案手法

• $T_n$ の穴に $(x + y) \mod 3$ を基にしたラベル付けシステムを用い、ジャンプの全過程で不変のパリティ不変量を確立した。
• この不変量は、$\mod 2$ の下で二進 3 ベクトル $(c_1 + c_2, c_0 + c_2, c_0 + c_1)$ として符号化され、4 つの位置クラスを定義する。単一ペグで終了可能なのはそのうちの 3 つに限られる。
• 論文は、$n \equiv 1 \pmod{3}$ かつ $x_s + y_s \equiv 0 \pmod{3}$ の場合、ゲームは解けないことを証明している。これは、ボードが EMPTY 位置クラスに属するためである。
• 解法は、三角形のクラスターをジャンプのシーケンスにより体系的に除去する「トラペゾイド・プローブ」技術を用いて構築された。
• 最小手数解のため、$n = 4$ から $10$ までの $T_n$ について計算的探索を用い最適解を同定した。結果は検証され、著者のウェブサイトに掲載された。
• ねじれ座標変換（回転・反転）を用いて、1 つの基本解から等価な解を生成し、対称性に基づく解の再利用を可能にした。

実験結果

リサーチクエスチョン

• RQ1 どの始点の穴から始めるかによって、三角形ボード $T_n$ で単一ペグに解けるか？
• RQ2 $T_n$ における基本ヒューマン・ソリティアの最短手数は、$n \leq 10$ の範囲でどのくらいか？
• RQ3 $T_5$ ボードにおける異なる解法戦略（例：トラペゾイド・プローブ）の効率は、どのように比較できるか？
• RQ4 すべての解法可能な三角形ヒューマン・ソリティアのインスタンスを解く一般アルゴリズムを構築できるか？
• RQ5 回転・反転などの対称操作は、解の同値性と構築にどのように影響するか？

主な発見

• ゲームが $T_n$ で単一ペグに解けるのは、$n \equiv 1 \pmod{3}$ かつ $x_s + y_s \equiv 0 \pmod{3}$ でない場合に限る。
• 補完問題（開始と終了が同じ穴）は、$T_8$ で正確に 13 手で解ける。これは、$T_4$ から $T_{10}$ までの補完問題の中で唯一、この最小手数に達している。
• $T_5$ の基本ゲームの最短解は 9 手で、c5 の穴から始める場合に達成される。
• $T_6$ では、開始穴の位置によって最短解が 9 から 10 手の範囲に変動し、c5 および b6 の穴から始める場合に 9 手の解が得られる。
• $T_8$ の補完解は、$T_4$ から $T_{10}$ の範囲で唯一、補完問題の理論的下限である 13 手に達している。
• 論文は、$n \leq 10$ のすべての $T_n$ に対して明示的かつ手数最小の解を提供しており、手数は $T_4$ で 5 手から $T_{10}$ で 18 手まで変動する。