查看示例网格

Simple Coloring 沿着一个数字的强链接前进。某区域只有两个位置时,至少一个必须成立。交替分组可以展示这种依赖关系。
两格共享行、列或 3×3 宫,就称为互相看到。排除候选需要说明中的具体位置关系确实成立。
看一个应用中的例子
只观察1。高亮格之间存在只有两个可能位置的连接,每条连接恰有一端成立。
数字 1 的链是 C7–F7–D9–D2。每条连接都对应所在行、宫或列中仅剩的两个位置。A 组是 C7 和 D9,B 组是 F7 和 D2。
沿连接将候选位置交替分为A、B两组,一组成立,另一组不成立。C2的1同时与至少一个A格和一个B格冲突,因此两种情况下都被排除。
因此可以排除这些笔记:C2: 1。
图片展示与这一步相关的候选数。某个笔记没有显示,并不代表它已经被逻辑排除。
在课程中继续练习
同时看到两组的格子不能填该数字。如果同组两个候选冲突,那一组就不成立。颜色是在展示逻辑,不是证明本身。
在应用的对应课程中,可以跟着推理,再独立尝试。面对新题目时,要从那张网格的实际候选数重新判断。
Simple Coloring 常见问题
两种颜色代表什么?
同一数字的一条相连链中,两种相反的可能状态。颜色不代表两个不同数字。
哪些连接可以着色?
这里使用强连接:一个区域中,该数字恰好只有两个可能位置。
为什么看到两种颜色的候选可以排除?
总有一个颜色组成立。若候选与两组中的成员都冲突,那么两种情况都会排除它。
可以在同一次着色中混合数字吗?
这里的解释只追踪一个数字。会切换数字的链属于 AIC 等其他方法。
可以直接合并两条独立的链吗?
不可以。没有已证明的连接时,它们的颜色分配相互独立。同色本身不能证明关系。
在 Unisu 中继续练习
下载 iPhone 或 Android 版 Unisu,解一道数独,或跟着课程练习这项技巧。




