简体中文

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 代表相反状态。
在第1宫中,4 只可能出现在 R1C3 或 R3C2,其中必有一个成立。这两个候选属于同一染色分量,分别标为圆形 A 和方形 B;A 与 B 代表相反状态。

● 1A: R1C3=4

■ 1B: R3C2=4

步骤 2 · 沿强链交替染色

继续寻找相连的 4 强链。在同一染色分量内,每条强链都连接圆形 A 和方形 B 这两种相反状态。

继续寻找相连的 4 强链。在同一染色分量内,每条强链都连接圆形 A 和方形 B 这两种相反状态。
继续寻找相连的 4 强链。在同一染色分量内,每条强链都连接圆形 A 和方形 B 这两种相反状态。

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

步骤 3 · 完成染色网络

这 4 个候选组成一个连通网络。每条实线都是 4 的强链。

这 4 个候选组成一个连通网络。每条实线都是 4 的强链。
这 4 个候选组成一个连通网络。每条实线都是 4 的强链。

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

步骤 4 · 理解两种状态

要么全部 A 成立、全部 B 不成立;要么全部 B 成立、全部 A 不成立。我们不需要预先判断哪一种成立。

要么全部 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。无论哪种状态成立,其中一个候选都会排除目标。
R8C5=4 看见 A 状态的 R3C5=4,也看见 B 状态的 R8C3=4。无论哪种状态成立,其中一个候选都会排除目标。

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

步骤 6 · 删除被夹击的候选

每个目标都同时看见两种可能状态,所以删除 R8C5=4。

每个目标都同时看见两种可能状态,所以删除 R8C5=4。
每个目标都同时看见两种可能状态,所以删除 R8C5=4。

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

可以得出什么

每个目标都同时看见两种可能状态,所以删除 R8C5=4。

简单染色 · 双色夹击时排除同时看见 A、B 的目标;同色冲突时排除冲突状态的所有候选。
简单染色 · 双色夹击时排除同时看见 A、B 的目标;同色冲突时排除冲突状态的所有候选。

分步讲解 · 同色冲突

本例从已保存的中途盘面开始,候选数包含此前逻辑排除的结果,并非刚刚自动生成的笔记。

蓝色:推理依据。绿色:结论。划线数字:排除的候选数。R1C1 表示第1行第1列。

步骤 1 · 找到第一条强链

在第1行中,1 只可能出现在 R1C3 或 R1C4,其中必有一个成立。这两个候选属于同一染色分量,分别标为圆形 A 和方形 B;A 与 B 代表相反状态。

在第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 这两种相反状态。
继续寻找相连的 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 候选状态相反。
这 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 状态不可能成立。
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。
这个冲突否定的是整个 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。
删除已经判定不成立的 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 的目标;同色冲突时排除冲突状态的所有候选。
简单染色 · 双色夹击时排除同时看见 A、B 的目标;同色冲突时排除冲突状态的所有候选。

专项练习

本课程改编自 Platon Sudoku App 的教学内容。你可以在这里读完完整实例,再到应用中继续学习和练习。

在 Google Play 查看