Platon Sudoku · 数独研习室
穷尽分支 · 核心概念
起点有几种候选，就要为每一种可能建立一条分支；两、三、四候选格分别需要两、三、四条分支。
本课程改编自 Platon Sudoku App 的教学内容。你可以在这里读完完整实例，再到应用中继续学习和练习。
在 Google Play 查看概念
起点有几种候选，就要为每一种可能建立一条分支；两、三、四候选格分别需要两、三、四条分支。
如何寻找
先数起点全部候选，再为每个可能值建立一条互斥分支。
容易误判
漏掉第三种可能，即使前两条分支都得出同样结果，也还没有完整证明。
2 分支
教学棋盘 · 局部候选示意
观察候选
起点有几种候选，就要为每一种可能建立一条分支；两、三、四候选格分别需要两、三、四条分支。
核对条件
先数起点全部候选，再为每个可能值建立一条互斥分支。
得出结论
起点格的每一种候选都有对应分支；全部检查后才覆盖所有可能。
分支 A: 已检查 · 分支 B: 已检查
3 分支
教学棋盘 · 局部候选示意
观察候选
起点有几种候选，就要为每一种可能建立一条分支；两、三、四候选格分别需要两、三、四条分支。
核对条件
先数起点全部候选，再为每个可能值建立一条互斥分支。
得出结论
起点格的每一种候选都有对应分支；全部检查后才覆盖所有可能。
分支 A: 已检查 · 分支 B: 已检查 · 分支 C: 已检查
4 分支
教学棋盘 · 局部候选示意
观察候选
起点有几种候选，就要为每一种可能建立一条分支；两、三、四候选格分别需要两、三、四条分支。
核对条件
先数起点全部候选，再为每个可能值建立一条互斥分支。
得出结论
起点格的每一种候选都有对应分支；全部检查后才覆盖所有可能。
分支 A: 已检查 · 分支 B: 已检查 · 分支 C: 已检查 · 分支 D: 已检查
识别练习
教学棋盘 · 局部候选示意
识别练习 1
已检查的分支覆盖了起点格的全部候选吗？
分支 A: 已检查 · 分支 B: 已检查
得出结论
成立
识别练习 2
已检查的分支覆盖了起点格的全部候选吗？
分支 A: 已检查 · 分支 B: 未检查
得出结论
不成立
识别练习 3
已检查的分支覆盖了起点格的全部候选吗？
分支 A: 已检查 · 分支 B: 已检查 · 分支 C: 已检查
得出结论
成立
识别练习 4
已检查的分支覆盖了起点格的全部候选吗？
分支 A: 已检查 · 分支 B: 已检查 · 分支 C: 未检查
得出结论
不成立
识别练习 5
已检查的分支覆盖了起点格的全部候选吗？
分支 A: 已检查 · 分支 B: 已检查 · 分支 C: 已检查 · 分支 D: 已检查
得出结论
成立
识别练习 6
已检查的分支覆盖了起点格的全部候选吗？
分支 A: 已检查 · 分支 B: 已检查 · 分支 C: 已检查 · 分支 D: 未检查
得出结论
不成立
识别练习 7
已检查的分支覆盖了起点格的全部候选吗？
分支 A: 已检查 · 分支 B: 已检查
得出结论
成立
识别练习 8
已检查的分支覆盖了起点格的全部候选吗？
分支 A: 已检查 · 分支 B: 未检查
得出结论
不成立
识别练习 9
已检查的分支覆盖了起点格的全部候选吗？
分支 A: 已检查 · 分支 B: 已检查 · 分支 C: 已检查
得出结论
成立
识别练习 10
已检查的分支覆盖了起点格的全部候选吗？
分支 A: 已检查 · 分支 B: 已检查 · 分支 C: 未检查
得出结论
不成立
识别练习 11
已检查的分支覆盖了起点格的全部候选吗？
分支 A: 已检查 · 分支 B: 已检查 · 分支 C: 已检查 · 分支 D: 已检查
得出结论
成立
识别练习 12
已检查的分支覆盖了起点格的全部候选吗？
分支 A: 已检查 · 分支 B: 已检查 · 分支 C: 已检查 · 分支 D: 未检查
得出结论
不成立
专项练习
本课程改编自 Platon Sudoku App 的教学内容。你可以在这里读完完整实例，再到应用中继续学习和练习。
在 Google Play 查看