[论文解读] Computer analysis of Sprouts with nimbers

Julien Lemoine, Simon Viennot|arXiv (Cornell University)|Aug 13, 2010

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

一句话总结

本文通过尼姆数（nimbers）与策略性剪枝技术，对组合游戏斯普劳茨（Sprouts）进行了计算机辅助分析，实现了对最多32个点的游戏结果的计算，显著扩展了先前的研究成果。作者确认了所有计算值的斯普劳茨猜想，并通过最小化数据库为最多11个点的游戏提供了可人工验证的证明，表明先手玩家获胜当且仅当 p ≡ 3, 4 或 5 mod 6。

ABSTRACT

Sprouts is a two-player topological game, invented in 1967 in the University of Cambridge by John Conway and Michael Paterson. The game starts with p spots, and ends in at most 3p-1 moves. The first player who cannot play loses. The complexity of the p-spot game is very high, so that the best hand-checked proof only shows who the winner is for the 7-spot game, and the best previous computer analysis reached p=11. We have written a computer program, using mainly two new ideas. The nimber (also known as Sprague-Grundy number) allows us to compute separately independent subgames; and when the exploration of a part of the game tree seems to be too difficult, we can manually force the program to search elsewhere. Thanks to these improvements, we reached up to p=32. The outcome of the 33-spot game is still unknown, but the biggest computed value is the 47-spot game ! All the computed values support the Sprouts conjecture: the first player has a winning strategy if and only if p is 3, 4 or 5 modulo 6. We have also used a check algorithm to reduce the number of positions needed to prove which player is the winner. It is now possible to hand-check all the games until p=11 in a reasonable amount of time.

研究动机与目标

• 通过利用先进的算法技术，克服在小规模 p 以外的斯普劳茨游戏计算不可行性。
• 将可计算的斯普劳茨游戏上限扩展至超过此前的 p = 11 的限制。
• 通过一种最小化数据库的校验算法验证结果，实现可人工验证的证明。
• 研究尼姆数值中的模式，并以高度置信度检验斯普劳茨猜想。
• 提供开源工具与数据库，以确保可重现性并支持未来研究。

提出的方法

• 采用斯普拉格-格朗迪（Sprague-Grundy）（尼姆数）概念，通过独立处理子游戏来计算游戏结果。
• 使用基于字符串的数据结构表示斯普劳茨游戏状态，实现高效的程序化操作与游戏树遍历。
• 实施一种混合搜索策略，结合深度优先探索与人工干预，在子游戏复杂度过高时重新引导计算。
• 应用校验算法以最小化存储的游戏状态数量，生成紧凑且可人工验证的数据库以供验证。
• 将受 PN 搜索启发的最佳优先探索作为未来方向，以超越当前基于深度优先的启发式方法提升效率。
• 通过校验算法减小数据库规模，从而释放分布式计算的潜力。

实验结果

研究问题

• RQ1 斯普劳茨猜想——即先手玩家获胜当且仅当 p ≡ 3, 4 或 5 mod 6——是否可计算地确认至 p = 32？
• RQ2 在当前算法增强下，斯普劳茨游戏结果可可靠计算的最大点数是多少？
• RQ3 通过将人工引导的搜索策略整合到自动化计算中，是否可使游戏树探索更高效？
• RQ4 在保持正确性并支持人工验证的前提下，游戏数据库的大小可被最小化到何种程度？
• RQ5 尼姆数值中是否存在支持或反驳斯普劳茨猜想扩展的结构性模式？

主要发现

• 作者计算了从1到32个点的所有斯普劳茨游戏结果，其中47个点的游戏也进行了部分分析。
• 所有计算结果均支持斯普劳茨猜想：先手玩家获胜当且仅当 p ≡ 3, 4 或 5 mod 6。
• 对于所有 p ≤ 32，当 p ≡ 0, 1 或 2 mod 6 时，起始位置的尼姆数为0；当 p ≡ 3, 4 或 5 mod 6 时，尼姆数为1。
• 存储的游戏对数量并未随 p 严格增加，表明存在模6的重复结构性模式，尤其在 p = 15, 21, 27 时表现明显，这些情况因罕见的必败子游戏而计算困难。
• 校验算法成功减小了数据库规模，使人工验证9个点游戏的66个必败状态和258个必胜状态仅耗时数小时。
• 程序及所有生成的数据库均以GNU许可证公开，便于可重现性与未来研究。