唯余数
唯余数解决单元格的「恰好一个」条件。其行、列、宫和先前推理已排除八个数字,所以一个候选数为真。解出该候选数也会将其从所有20个同行单元格中排除。将其写为大的已解数字是这些排除的紧凑记录。
数至一个
完整的候选数状态必须保留先前正确推理所做的每一个排除。当八个数字在一个单元格中为假时,第九个是唯余数。铅笔标记使该状态可见;当所有八个排除直接来自该单元格行、列和宫中已放置的数字时,同样的幸存者可以完全不用笔记找到 — 该扫描就是基础中的最后可能数字。否则,先前的消除必须保留在候选数状态中。
分步示例
请看下面的示例——一个候选笔记已缩减为单个候选数的格子。
第 1 步
B4 只剩下一个候选数。
第 2 步
其余八个数字已从 B4 中排除,因此 8 在那里成立。解决它还会从全部 20 个关联单元格中排除 8;红色的 8 笔记显示当前可见的排除。
第 3 步
将 8 作为已解数字写入 B4;这会记录并应用上一步的排除。
在这个示例中,八个数字已从该格中排除,因此8在该格为真。确定该数会同时从全部20个同侪格中排除8;这些同侪格中任何可见的候选8都可以移除。填入的大号数字8记录了这一完整的排除集合。您可以免费在线玩数独,在当前候选状态可见的情况下进行练习。
应用同行单元格排除
解出幸存候选数使同一数字在该单元格的所有20个同行单元格中为假。从共享的行、列和宫中移除该数字的每个可见铅笔标记。将幸存者写为大的已解数字是有用的记账;其逻辑效果是它所代表的同行单元格排除集。
唯余数与隐藏单一数
两种单一数都使用「恰好一个」条件,但其前提指向相反方向。唯余数从一个单元格内的八个数字排除开始,然后将幸存者从其20个同行单元格中排除。隐藏单一数从区域内一个数字的八个位置排除开始,然后排除幸存单元格的所有其他数字,并将已解数字从源区域外的12个同行单元格中排除。