空当接龙求解器：每个牌局都有解吗？
空当接龙是人们说几乎每局都能赢的纸牌接龙，因为 52 张牌全部正面朝上。“几乎”才是有意思的词。本页报告我们自己的求解器在 12,000 个编号牌局上的发现，明确说明它没有证明什么，并解释游戏中的求解器工具如何使用同一个引擎。
我们的求解器发现了什么
我们让求解器跑了 12,000 个编号的空当接龙牌局。它为其中 11,304 个找到了完整的获胜路线，占 94.2%，每条路线都逐步重放，确认能赢。
| 测试的牌局 | 证明可获胜 | 比例 |
|---|---|---|
| 12,000 | 11,304 | 94.2% |
另外的 5.8% 呢？
对于其余 696 个牌局，求解器没有找到获胜路线。这和证明它们无法获胜不是一回事：在预算内停止的搜索，无法区分没有解的牌局和解很难找的牌局。所以我们不声称 5.8% 的空当接龙牌局不可能获胜，只是说这是我们无法证明的比例。Solitaire Play 从不发这些牌局；每个新牌局和每日挑战都来自已证明的集合。
为什么空当接龙这么容易赢
一切都可见，所以整个游戏是规划，而不是运气。你有八列、四个空闲单元格和四个基础牌堆，排列正确的一串牌可以一起搬运：最长一串是（空闲单元格数 + 1）× 2 的空列数次方。一个空列远比一个空闲单元格有价值，这就是攻略指南让你有意清空一列的原因。
更多技巧见空当接龙攻略指南。
游戏中的求解器工具
在空当接龙游戏中打开菜单并选择求解器，可以询问当前局面是否仍可获胜、观看一条获胜路线的演示，或者回到仍可获胜的局面。借助演示完成的牌局不会计入你的战绩。和牌局库的数字一样，答案来自有上限的搜索，所以它说可以时是一个证明，而它放弃时并不是判决。
常见问题解答
每个空当接龙牌局都有解吗？
不保证。在我们对 12,000 个牌局的运行中，求解器证明 94.2% 可获胜；对另外 5.8% 没有找到获胜路线，这并不证明它们无法获胜。Solitaire Play 只从已证明的集合中发牌。
求解器测试了多少个空当接龙牌局？
12,000 个编号牌局，其中 11,304 个被证明可获胜并重放过。
我玩的时候可以使用求解器吗？
可以。菜单里的求解器可以告诉你当前局面是否仍可获胜、展示一条获胜路线，或者带你回到仍有获胜路线的局面。演示完成的胜局不会计入你的战绩。
为什么求解器有时不给出答案？
它在上限之内搜索。在上限内没能完成的牌局会被报告为未证明，而不是不可能。