数独候选数:怎样记有用的笔记
候选数是尚未被排除的可填数字。记录笔记时,从 1–9 中去掉该空格所在行、列和 3×3 宫已出现的数字。候选只代表可能性,不保证填入后整题仍然有解。
推理实例
从左上角读取坐标:r 代表行,c 代表列。小数字表示候选数,描边标出图注讨论的格子。
在求解器中打开本例查看完整的 81 格输入
每行从左到右,逐行从上到下读取。0 表示空格。
003056789056789123789023456234567891567891234891234567345678912678912345902345678逐个约束分析 r1c1
坐标从左上角开始:r1c1 表示第 1 行第 1 列。宫是由粗线围出的九个区域之一。本例第 1 行有三个空格,不要仅因该行缺某个数字就随意填入。
| 约束 | 已出现的数字 | r1c1 仍可能填入的数字 |
|---|---|---|
| 起点 | 尚未考虑 | 1, 2, 3, 4, 5, 6, 7, 8, 9 |
| 第 1 行 | 3, 5, 6, 7, 8, 9 | 1, 2, 4 |
| 第 1 列 | 7, 2, 5, 8, 3, 6, 9 | 1, 4 |
| 左上宫 | 3, 5, 6, 7, 8, 9 | 1, 4 |
小数字使用固定位置
候选数按小九宫格排列:上排 1–3、中排 4–6、下排 7–9。r1c1 中的 1 放左上、4 放左中。保持统一布局更容易发现重复的候选组合。
学习时写全基础候选数。只有系统排除了其他数字,单个候选笔记才可靠。若采用简写,如只记一个宫里两个可能位置,没写笔记的格子不代表没有合法候选。
为什么 4 局部合法却仍然错误
最初在 r1c1 填 4 不会立即造成重复,这也正是基础候选计算能确定的全部信息。下一行的 r2c1 是该行唯一空格,必须填 4;这会排除 r1c1 的 4,只剩 1。
使用检查器时要区分:“无冲突”只代表可见数字在区域内没有重复,不代表每个输入都属于某个完整答案。求解器检查全局,候选笔记提供局部起点。
步骤 1. 落子前,确认支撑推理的数字来自题目给定条件或已经证明的结论。
步骤 2. 第 2 行已有其余全部数字,因此 r2c1 = 4。
步骤 3. 删除所有同在第 2 行、第 1 列或左上宫空格笔记中的 4。
步骤 4. 复查 r1c1,只剩候选数 1,因此现在可以确定填 1。
避免错误推理的两个习惯
确定数字与笔记应明显区分:大号 4 表示答案,小号 4 只是可能性。撤销落子后,要恢复因此删除的候选笔记,否则旧的排除记录可能制造虚假的唯一数。
高级技巧可排除通过基础行列宫检查的候选数,请记录推理理由。仅重算基础候选时会把这些数字加回来;这不推翻推理,但会丢掉已证明的排除结果。
检验理解
落子前,r1c2 能填 1 吗?这是否意味着答案就是 1?
查看推理
基础候选数是 1、2,因此 1 在局部合法。但第 2 列只缺 1、2,而第 9 行强制 r9c2 = 1,故 r1c2 最终必须填 2。候选表是推理的起点,不是终点。
关于本例
本例从完整棋盘构造而来,为便于检查特定推理保留了较多已知数。诊断示例在明确说明时故意设置冲突或多解;它们是教学盘面,不是已评级的游戏题目。
规则与术语
- Nikoli:数独规则
示例使用的标准行、列及 3×3 宫规则。 本页的棋盘与推理说明为另行制作。
- Andrew Stuart:显性候选数
唯一候选数法的通用术语,以及它与隐性唯一数法的关系。 本页的棋盘与推理说明为另行制作。