数独候选消除:实用初学者指南

候选人淘汰是“我理解规则”和“我可以解决困难的网格”之间的桥梁。 候选项只是在检查其行、列和 3×3 框后仍适合空单元格的数字。 好的求解并不意味着到处写下每个数字。 这意味着保留一组准确的可能性,仅在规则证明不可能时才删除数字,并注意这些删除何时创建单个或可重用的模式。
每一个有用的注释都回答了一个问题:哪些数字在该单元格中仍然合法可用?
什么是候选人淘汰?
候选消除是从未解决的单元格中删除不可能的数字的过程。 第一个消除直接来自放置的数字:如果第 5 行已经包含 7,则第 5 行中的其他单元格不能保留候选值 7。相同的检查适用于列和框。 后来的淘汰来自裸对、隐藏对、锁定候选者和 X 翼等模式。 这些模式不会猜测最终值;而是会猜测最终值。 他们证明一名或多名候选人不能参与任何有效的完成。 当一个单元格只剩下一个候选者时,它就成为裸单。 当一个数字在房屋中只剩下一个单元格时,它就成为隐藏单数。
可靠的候选人工作流程
- 在添加注释之前填写直接单曲。 首先扫描拥挤的方框、行和列。 每个确认的数字都会减少以后所需的候选人工作量。
- 检查所有三个约束。 对于每个空单元格,删除其行、列和 3×3 框中已存在的数字。 仅当一个数字通过了所有三项检查后,它才仍然是候选数字。
- 立即更新同行。 放置一个数字后,在寻找新模式之前,从同一行、同一列和同一框中的每个未解决的对等点中删除该候选数字。
- 搜索受限组。 比较一所房子内的候选人名单。 相同的两位数单元格、限制为两个位置的数字或框线对齐支持进一步消除。
- 每次改变后返回单打。 一小部分删除可能会使单元格或数字仅保留一个位置。 在升级到更复杂的技术之前收集简单的结果。
工作示例:将 r5c6 减少为一个候选者
假设第 5 行中缺失的数字是 {2,4,7}。 单元格 r5c6 共享已包含 2 的列,并且其 3×3 框已包含 7。这两个约束删除了 2 和 7,只留下 4。
- 从行开始。 仅列出第 5 行中缺少的数字:2、4 和 7。该行中已存在的数字永远不会属于初始候选集中。
- 应用列约束。 第 6 列已经放置了 2,因此从 r5c6 中删除 2。 该单元格现在包含候选项 {4,7}。
- 应用框约束。 右中框已经包含 7,因此 r5c6 不可能是 7。候选值 4 是唯一剩余的合法值。
- 放置并传播。 在 r5c6 中写入 4,从其对等体中删除候选者 4,并重新扫描第 5 行、第 6 列以及新创建的单个框。
常见的候选人错误
添加而不是消除
不要将 1-9 复制到每个单元格中并希望出现模式。 从缺失的数字开始,并删除三个限制所禁止的内容。
留下陈旧的笔记
应该被删除的候选者可以创建一个假对或隐藏一个真正的单个。 候选人维护是每个安置的一部分。
删除而不命名规则
一个感觉不太可能的候选人仍然是可能的。 在删除它之前,确定已放置的对等体或证明消除的模式。
候选人淘汰清单
- 对于一个空单元格,说出缺失的行数字,然后消除其列和框中的冲突。
- 每次放置后,请先清扫受影响的行、列和框,然后再移至其他位置。
- 圈出有两个候选者的单元格和只有两个位置的数字,但在声明模式之前验证整个房子。
- 对可能性使用注释模式,仅对逻辑上强制的值使用大数字。
候选消除并不是一个单独的高级技巧。 它是几乎所有技术之下的簿记层。 练习中等经典谜题:只写诚实的可能性,更新所有同行,并解释每次删除。 一旦这些音符可以被信任,配对、锁和鱼的图案就会变得可见而不是神秘。 如果推导失败,则恢复已删除的候选项并审核应该支持它的确切行、列或框。
候选人淘汰常见问题解答
每个空单元格都应该有候选笔记吗?
不是每个谜题都有。 在“简单”和“中等”网格上,选择性注释通常就足够了,而完整的注释有助于验证“困难”、“专家”和“大师”网格上的高级模式。
我可以因为某个候选人陷入困境而将其删除吗?
不,困难并不矛盾。 仅当数独约束或有效逻辑模式证明不可能时才删除候选者。
候选和猜测有什么区别?
候选人记录了仍然可能的值。 在没有证据的情况下,猜测就表明了一种可能性。 准确的注释有助于保持这种区别的明显性。
为什么我更新笔记后一对就消失了?
它可能是由一个过时的候选者构建的,或者更新可能解决了一个成员的问题。 重新检查当前列表而不是保留旧模式。
消除后我应该扫描什么?
从受影响的牢房和房屋开始:在搜索更广泛的面板之前,先寻找裸体单身人士、隐藏单身人士和短期候选群体。


