[论文解读] Solving Triangular Peg Solitaire

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

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

一句话总结

本文对三角形棋盘 $T_n$ 上的三角形跳棋游戏进行了完整的数学分析，利用基于奇偶性的不变量，确立了可解性的必要与充分条件。研究证明，可解性取决于起始空位的位置模 3 以及棋盘大小 $n$，并为最多包含 55 个孔的棋盘 $T_{10}$ 提供了显式解法算法与最小步数解。在 $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 个孔）上的不同解法策略，即经典的 Cracker Barrel 拼图。
• 提供一种系统化方法，通过斜坐标变换生成等价解，实现旋转与反射下的解法复用。

提出的方法

• 基于 $(x + y) \mod 3$ 的标记系统，为孔位分配三种标签，建立在所有跳跃中保持不变的奇偶性不变量。
• 该不变量编码为模 2 的二进制三元组 $(c_1 + c_2, c_0 + c_2, c_0 + c_1)$，定义了四个位置类；仅其中三个类允许以单枚棋子结束游戏。
• 本文证明，当 $n \equiv 1 \pmod{3}$ 且起始空位满足 $x_s + y_s \equiv 0 \pmod{3}$ 时，游戏不可解，因为此时棋盘处于 EMPTY 位置类。
• 通过梯形清除技术构造解法，即系统性地通过跳跃序列移除棋子簇。
• 对于最小步数解，本文使用计算搜索方法，在 $n$ 从 4 到 10 的 $T_n$ 棋盘上寻找最优解，结果已验证并发布于作者个人网站。
• 利用斜坐标变换（旋转与反射）从单一基础解生成等价解，实现基于对称性的解法复用。

实验结果

研究问题

• RQ1 在三角形棋盘 $T_n$ 上，哪些起始空位可实现单枚棋子结束？
• RQ2 对于 $n \leq 10$ 的三角形棋盘，基本跳棋游戏的最短解需要多少步？
• RQ3 在 $T_5$ 棋盘上，不同解法策略（如梯形清除）的效率如何比较？
• RQ4 能否构建一个通用算法，用于求解所有可解的三角形跳棋实例？
• RQ5 对称操作（旋转与反射）如何影响解的等价性与构造？

主要发现

• 当且仅当 $n \equiv 1 \pmod{3}$ 且起始空位满足 $x_s + y_s \equiv 0 \pmod{3}$ 时，$T_n$ 上的游戏不可解；否则可解至单枚棋子。
• 在 $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 步不等。