Platon Sudoku · 数独研习室
简单染色 · 分步讲解
同一数字的一组连通强链分为互相对立的 A、B 两种状态;必有一种状态为真。 双色夹击时排除同时看见 A、B 的目标;同色冲突时排除冲突状态的所有候选。
本课程改编自 Platon Sudoku App 的教学内容。你可以在这里读完完整实例,再到应用中继续学习和练习。
在 Google Play 查看 ↗辨认模式
同一数字的一组连通强链分为互相对立的 A、B 两种状态;必有一种状态为真。
如何寻找
从某行、列或宫中恰好两个该数字候选开始,沿每条已确认的强链交替标记 A 和 B。
可以得出什么
双色夹击时排除同时看见 A、B 的目标;同色冲突时排除冲突状态的所有候选。
别看错了
只能沿真实强链染色;同色只是推理假设,不能当作已经填入的数字。
分步讲解 · 双色夹击
本例从已保存的中途盘面开始,候选数包含此前逻辑排除的结果,并非刚刚自动生成的笔记。
蓝色:推理依据。绿色:结论。划线数字:排除的候选数。R1C1 表示第1行第1列。
步骤 1 · 找到第一条强链
在第1宫中,4 只可能出现在 R1C3 或 R3C2,其中必有一个成立。这两个候选属于同一染色分量,分别标为圆形 A 和方形 B;A 与 B 代表相反状态。
在第1宫中,4 只可能出现在 R1C3 或 R3C2,其中必有一个成立。这两个候选属于同一染色分量,分别标为圆形 A 和方形 B;A 与 B 代表相反状态。● 1A: R1C3=4
■ 1B: R3C2=4
步骤 2 · 沿强链交替染色
继续寻找相连的 4 强链。在同一染色分量内,每条强链都连接圆形 A 和方形 B 这两种相反状态。
继续寻找相连的 4 强链。在同一染色分量内,每条强链都连接圆形 A 和方形 B 这两种相反状态。● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
步骤 3 · 完成染色网络
这 4 个候选组成一个连通网络。每条实线都是 4 的强链。
这 4 个候选组成一个连通网络。每条实线都是 4 的强链。● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
步骤 4 · 理解两种状态
要么全部 A 成立、全部 B 不成立;要么全部 B 成立、全部 A 不成立。我们不需要预先判断哪一种成立。
要么全部 A 成立、全部 B 不成立;要么全部 B 成立、全部 A 不成立。我们不需要预先判断哪一种成立。● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
步骤 5 · 找到同时看见 A 和 B 的目标
R8C5=4 看见 A 状态的 R3C5=4,也看见 B 状态的 R8C3=4。无论哪种状态成立,其中一个候选都会排除目标。
R8C5=4 看见 A 状态的 R3C5=4,也看见 B 状态的 R8C3=4。无论哪种状态成立,其中一个候选都会排除目标。● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
步骤 6 · 删除被夹击的候选
每个目标都同时看见两种可能状态,所以删除 R8C5=4。
每个目标都同时看见两种可能状态,所以删除 R8C5=4。● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
可以得出什么
每个目标都同时看见两种可能状态,所以删除 R8C5=4。
简单染色 · 双色夹击时排除同时看见 A、B 的目标;同色冲突时排除冲突状态的所有候选。分步讲解 · 同色冲突
本例从已保存的中途盘面开始,候选数包含此前逻辑排除的结果,并非刚刚自动生成的笔记。
蓝色:推理依据。绿色:结论。划线数字:排除的候选数。R1C1 表示第1行第1列。
步骤 1 · 找到第一条强链
在第1行中,1 只可能出现在 R1C3 或 R1C4,其中必有一个成立。这两个候选属于同一染色分量,分别标为圆形 A 和方形 B;A 与 B 代表相反状态。
在第1行中,1 只可能出现在 R1C3 或 R1C4,其中必有一个成立。这两个候选属于同一染色分量,分别标为圆形 A 和方形 B;A 与 B 代表相反状态。● 1A: R1C3=1
■ 1B: R1C4=1
步骤 2 · 沿强链交替染色
继续寻找相连的 1 强链。在同一染色分量内,每条强链都连接圆形 A 和方形 B 这两种相反状态。
继续寻找相连的 1 强链。在同一染色分量内,每条强链都连接圆形 A 和方形 B 这两种相反状态。● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
步骤 3 · 完成染色网络
这 5 个候选组成一个连通网络。每条强链连接 A 与 B,因此所有 A 候选状态相同,所有 B 候选状态相反。
这 5 个候选组成一个连通网络。每条强链连接 A 与 B,因此所有 A 候选状态相同,所有 B 候选状态相反。● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
步骤 4 · 找到同状态冲突
R1C4=1 和 R4C4=1 都属于 B 状态且互相可见,不可能同时为 1,所以 B 状态不可能成立。
R1C4=1 和 R4C4=1 都属于 B 状态且互相可见,不可能同时为 1,所以 B 状态不可能成立。● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
步骤 5 · B 状态整体不成立
这个冲突否定的是整个 B 状态。同步划掉全部 B 状态候选:R1C4=1, R4C4=1, R6C3=1。
这个冲突否定的是整个 B 状态。同步划掉全部 B 状态候选:R1C4=1, R4C4=1, R6C3=1。● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
步骤 6 · 删除冲突状态
删除已经判定不成立的 B 状态候选:R1C4=1, R4C4=1, R6C3=1。
删除已经判定不成立的 B 状态候选:R1C4=1, R4C4=1, R6C3=1。● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
可以得出什么
删除已经判定不成立的 B 状态候选:R1C4=1, R4C4=1, R6C3=1。
简单染色 · 双色夹击时排除同时看见 A、B 的目标;同色冲突时排除冲突状态的所有候选。