[论文解读] The shortest game of Chinese Checkers and related problems

George I. Bell|ArXiv.org|Mar 8, 2008

Digital Image Processing Techniques参考文献 2被引用 3

一句话总结

本文证明了两人中国跳棋游戏的最短可能时长为30回合（每方15回合），确认了大卫·法比安1979年提出的解法为最优解。通过使用A*搜索与双向搜索算法，作者还证明了中国跳棋中最小规模的单人军队转移需要27回合，与奥克塔夫·莱文斯piel 1971年的解法一致，并通过计算验证在六步规则下该解法为最优。

ABSTRACT

In 1979, David Fabian found a complete game of two-person Chinese Checkers in 30 moves (15 by each player) [Martin Gardner, Penrose Tiles to Trapdoor Ciphers, MAA, 1997]. This solution requires that the two players cooperate to generate a win as quickly as possible for one of them. We show, using computational search techniques, that no shorter game is possible. We also consider a solitaire version of Chinese Checkers where one player attempts to move her pieces across the board in as few moves as possible. In 1971, Octave Levenspiel found a solution in 27 moves [Ibid.]; we demonstrate that no shorter solution exists. To show optimality, we employ a variant of A* search, as well as bidirectional search.

研究动机与目标

• 确定在合作玩法下，完成两人中国跳棋游戏所需的最少回合数。
• 验证奥克塔夫·莱文斯piel 1971年提出的27回合单人解法在将军队横跨中国跳棋棋盘移动时的最优性。
• 应用计算搜索技术，解决不同移动规则（4步、6步、8步）下的军队转移问题。
• 通过算法搜索与对称性论证，建立下界并证明已知解法的最小性。

提出的方法

• 采用A*搜索算法，基于质心与目标距离的启发函数，引导搜索朝向最优解。
• 应用双向搜索，通过同时从初始状态与目标状态扩展，减少搜索空间。
• 使用回文式解法策略，即通过镜像与反转解法序列，确保解法的完整性和对称性。
• 明确定义移动规则：6步规则（中国跳棋）、8步规则（国际跳棋变体）与4步规则（类似中国跳棋）在9×9棋盘上的应用。
• 在9×9棋盘上实现计算搜索，配置10人军队，以验证最小回合数。
• 使用基于质心的下界估计理论最小值，实际解法与之完全匹配。

实验结果

研究问题

• RQ1 大卫·法比安的30回合解法是否为中国跳棋两人游戏的最短可能解？
• RQ2 中国跳棋单人军队转移是否可能少于27回合完成？
• RQ3 在6步规则下，9×9棋盘上将10人军队转移所需的最少回合数是多少？
• RQ4 不同移动规则（4步、6步、8步）如何影响军队转移问题的最短解长度？
• RQ5 A*与双向搜索等计算搜索技术能否有效用于证明组合博弈谜题的最优性？

主要发现

• 两人中国跳棋游戏的最短可能时长为30回合，且不存在更短的解法，确认了法比安1979年解法的最优性。
• 在6步规则下，将10人军队横跨棋盘的单人转移最短为27回合，且不存在更短解法，证明了莱文斯piel 1971年解法的最优性。
• 在8步规则下，9×9棋盘上的军队转移最短需20回合，且该解法为最优。
• 在4步规则下，军队转移最短需30回合，且该解法为最优，文中提供了具体移动序列。
• 19人的国际跳棋军队可在16×16棋盘上于47回合内完成转移，尽管这可能并非最短可能解。
• 本文引入了“平衡军队”的概念，并观察到最快解法通常具有平衡性，为未来研究提供了方向。