本站求解实验：九十六局与四千九百条种子数据

二〇二六年十月二十五日，我们对九十六个牌局运行本站离线求解器，并把每条返回的解通过规则引擎重放，检查最终确实获胜。这个实验测量有限搜索的成功情况，不是玩家完成率，也不是所有随机牌局的无偏可解比例。

完整机器数据包含每个种子、结果、解的步数、耗时、软件版本，以及源码和种子文件的校验值。英文完整说明描述同一个实验。这些是本站测量，不同于胜率指南介绍的外部文献数据。

实验方法与结果

克朗代克翻一张、翻三张和单花色蜘蛛，各使用整数种子零至三十一。每局给求解器二百五十毫秒，按顺序逐次运行。每种三十二局是易于复现的便利样本，不是随机统计抽样。

重放获胜表示每步合法，而且终态满足胜利条件。超时表示没有在预算内结束，搜索耗尽也只是该实现的搜索没有返回解，不构成一般性的无解证明。尤其不能把蜘蛛的零次完成解释为零局可解：三十二次全都耗尽了这个很短的时限。

九个二进制文件共四千九百条记录，每个种子以八字节小端无符号整数保存，单个文件内部没有重复整数。这是对存储值的直接清点，不是重新求解所有库牌局。

库中筛选过的种子与本次九十六局样本不同。原始生成尝试次数未保留，所以不能凭库大小推算原始筛选成功率。文件存的是种子，不是永久归档的走法序列。

运行 mix run --no-start scripts/solver_audit.exs 会写出公开数据，但不修改种子库。每条找到的解都会先重放。机器性能和负载会影响耗时，进而改变部分超时结果；记录的软件版本有助于比较。

源码和文件校验值标识实际输入。如果规则或洗牌实现改变，种子的意义也可能改变。洗牌验证器只能核对起始牌面是否可复现，不能证明选择无偏，也不会解决你当前的残局。

不是。实验没有收集玩家成绩。十五局和十一局克朗代克完成，仅属于这次有时限的程序搜索。

让其他人能检查样本、时限和输入。未来实验应公布各自方法与数据，不能把这一小批便利样本悄悄扩展成普遍结论。