为什么数独只有一个解
一道良构数独恰好只有一个可纯靠逻辑得到的解 — 这一保证让猜测变得多余。
一道良构数独的决定性性质是唯一性：恰好只有一种填满网格的方式能满足所有规则。这不是锦上添花 — 它正是使谜题可靠逻辑求解的根本，因为每一步的正确走法都是被迫的，而非被选择的。
有两个或更多解的网格不是真正的数独；无解的也不是。可靠的谜题在发布前都会经过解题器，确认存在唯一且逻辑可达的答案。
唯一性为何重要
如果一道谜题有两个解，那么某一刻你将面临一个真正的抉择，却没有任何逻辑理由偏向某一分支 — 你只能猜。唯一性保证消除了这一点：每当你卡住时，下一步推理就在那里，只是你还没找到而已。
唯一性如何被强制保证
生成器先填入数字，再逐个移除提示，每次移除后都检查网格是否仍恰好只有一个解。一旦移除某个提示会允许出现第二个解，该提示就被保留。因此已发布的谜题大体上是极小的，并且可证明是唯一的。
- 两个解 ⇒ 一次被迫的猜测 ⇒ 不是有效数独。
- 生成器在发布前会验证只有一个解。
- 某些高级技巧（唯一矩形、BUG）直接利用这一保证。
常见问题
- 数独能有不止一个解吗？
- 良构的数独不能。若一个网格有多种补全方式，它就不是有效数独，因为解它会需要一次任意的猜测。已发布的谜题都经过验证，确保唯一。
- 我在数独中需要猜测吗？
- 不需要。由于解是唯一的，每一步都由逻辑所迫。如果你有冲动去猜，那说明有一步推理你还没发现。
相关阅读
延伸阅读
在线练习
在带提示、笔记和四种难度的免费谜题上加以实践。
玩数独