[论文解读] Diagonal Peg Solitaire

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

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

一句话总结

本文研究了在对称的方形和菱形棋盘上进行的八步跳跳棋（允许水平、垂直和对角线跳跃）的对角线跳棋。研究证明，所有研究过的棋盘上，单个空位至单个棋子（SVSS）问题，包括中央游戏，均可解。通过使用A*和双向搜索启发式算法，作者找到了最少步数的解法，其中在Diamond(5)棋盘上，中央游戏的最短解法仅需11步——表明与传统的四步跳棋相比，对角线移动可显著缩短解法长度。

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.

研究动机与目标

• 确定在各种对称棋盘上，八步对角线跳棋中单个空位至单个棋子（SVSS）问题的可解性。
• 找出在这些棋盘上，中央游戏及其他SVSS问题的最短解法（以步数计）。
• 评估A*和双向搜索等启发式搜索算法在最小化对角线跳棋解法长度方面的有效性。
• 通过分析或计算证明所找到的解法是最优或近似最优的。
• 探索在对角线移动规则下，能导致更短解法的棋盘结构和对称性特征。

提出的方法

• 论文使用坐标系对方形和菱形棋盘上的孔位进行标记（例如d4、c3），以实现精确的走法表示。
• 定义‘一步’为同一枚棋子连续进行的一次或多次跳跃，解法长度以‘步’为单位，而非跳跃次数。
• 作者应用A*和双向搜索启发式算法，高效探索状态空间并找到最少步数的解法。
• 利用可逆性：任何补集问题的解均可反转，得到另一个有效解。
• 使用位置类别和棋子分类（0–3）分析可解性，并通过追踪哪些棋子可跳入中心来引导搜索。
• 通过穷举搜索和计算工具验证解法，代码使用C++编写，运行在普通硬件上。

实验结果

研究问题

• RQ1 在33孔、37孔及菱形棋盘上，中央游戏是否可在八步对角线跳棋中求解？
• RQ2 在这些棋盘上，求解中央游戏所需的最少步数是多少？
• RQ3 与传统的四步跳棋相比，对角线移动如何影响可解性和解法长度？
• RQ4 A*或双向搜索等启发式搜索方法是否能高效地在该扩展的游戏空间中找到最短解法？
• RQ5 所找到解法的最优性是否有分析性证明，还是仅基于计算验证？

主要发现

• 在所有五个研究的棋盘上，包括33孔、37孔以及Diamond(3)至Diamond(5)棋盘，中央游戏在八步对角线跳棋中均可解。
• 在Diamond(5)棋盘上，中央游戏的最短解法仅需11步，其中一种解法以18次跳跃的终局移动完成。
• 在33孔棋盘上，中央游戏的最短解法为15步，c3补集问题的解法为13步。
• 在37孔棋盘上，中央游戏的解法为13步，c3补集问题的解法为12步。
• 在Diamond(6)棋盘上，g6补集问题的解法为15步，尽管目前尚未证明其为最短。
• 启发式搜索（A*和双向搜索）优于暴力搜索方法，即使在更大的状态空间中，也能更快发现最短解法。