[论文解读] Triangular Peg Solitaire Unlimited

George I. Bell|ArXiv.org|Nov 5, 2007

Surgical Sutures and Adhesives参考文献 2被引用 5

一句话总结

本文研究三角形跳棋，重点探讨在大型三角形棋盘上实现最大扫荡——即一枚棋子在一次移动中吃掉所有其他棋子——的可能性。研究证明，对于边长为6和8的棋盘，此类最终扫荡在几何上是可行的；对于更大的棋盘，本文构建了以任意长扫荡结束的解法。主要贡献在于表明，渐近意义上，解法的平均捕获数接近每步4次，逼近理论极限。

ABSTRACT

Triangular peg solitaire is a well-known one-person game or puzzle. When one peg captures many pegs consecutively, this is called a sweep. We investigate whether the game can end in a dramatic fashion, with one peg sweeping all remaining pegs off the board. For triangular boards of side 6 and 8 (with 21 and 36 holes, respectively) the geometrically longest sweep can occur as the final move in a game. On larger triangular boards, we demonstrate how to construct solutions that finish with arbitrarily long sweeps. We also consider the problem of finding solutions that minimize the total number of moves (where a move is one or more consecutive jumps by the same peg).

研究动机与目标

• 确定三角形跳棋是否能以一枚棋子扫荡所有剩余棋子作为结束。
• 在大型三角形棋盘上构建实现任意长扫荡的解法。
• 最小化解决三角形棋盘跳棋问题所需的步数。
• 利用梅尔森区域（Merson Regions）建立最短解长度的理论下界。
• 分析最优解中移动的平均效率，特别是每步捕获的棋子数量。

提出的方法

• 本文使用正向/反向定理，通过检查正向与反向可解性，判断某一棋盘位置是否可能出现在解中。
• 应用梅尔森区域的概念——互不相交的棋盘区域，每个区域必须至少贡献一次移动——以推导解长度的下界。
• 对于大型棋盘，方法包括在内部用7个孔的六边形区域进行铺砌，以估算最小步数。
• 作者通过构造遍历奇数大小棋盘所有孔位的几何扫荡模式，构建显式解法，并利用图论（欧拉路径）证明其可行性。
• 对较小棋盘（如Triangle(8)）进行穷举式计算机搜索，以验证最小步数及解的唯一性。
• 通过在Size Triangle(12i)的棋盘上构建长扫荡解法，推导出理论上的上界，表明渐近平均捕获率趋近每步4次。

实验结果

研究问题

• RQ1 三角形跳棋游戏是否能以一枚棋子扫荡所有剩余棋子作为结束？
• RQ2 在大小为n的三角形棋盘上，几何上可实现的最长扫荡长度是多少？
• RQ3 解决三角形棋盘跳棋问题所需的最少步数是多少？
• RQ4 每步捕获的棋子平均数量如何随棋盘大小变化？
• RQ5 能否在大型三角形棋盘上构建实现任意长最终扫荡的解法？

主要发现

• 在Triangle(6)和Triangle(8)上，可以实现以最大扫荡结束，即一枚棋子吃掉所有剩余棋子。
• 对于更大的三角形棋盘，本文构建了以任意长扫荡结束的解法，证明此类配置是可实现的。
• Triangle(8)上a7-补全问题的最小解长度为13步，且该解在跳跃序列上是唯一的。
• 基于梅尔森区域推导出的理论下界表明，Triangle(8)上不存在少于12步的解，尽管实际并无此类解存在。
• 在非常大的三角形棋盘上，最短解的平均捕获数必须介于每步4至7枚棋子之间，而本文构造的解法趋近于每步4次捕获。
• 对Triangle(8)的穷举搜索显示，超过一半的可解问题可在9步内解决，表明其效率高于较小棋盘。