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 查看