简体中文

Platon Sudoku · 数独研习室

唯一解前提 · 核心概念

唯一性推理假定一道有效题目只有一个完整解;这必须是题目或产品明确保证的前提。

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

在 Google Play 查看

概念

唯一性推理假定一道有效题目只有一个完整解;这必须是题目或产品明确保证的前提。

如何寻找

使用唯一性技巧前先确认题目来源保证唯一解,再核对局部结构。

容易误判

局部候选图本身无法证明整题唯一解,不能把希望只有一解当作逻辑前提。

分步例题

教学棋盘 · 局部候选示意

观察候选

唯一性推理假定一道有效题目只有一个完整解;这必须是题目或产品明确保证的前提。

四个标出格展示局部候选关系;整题只有一个解的保证须来自题目来源,这张图不能证明它。
四个标出格展示局部候选关系;整题只有一个解的保证须来自题目来源,这张图不能证明它。
核对条件

使用唯一性技巧前先确认题目来源保证唯一解,再核对局部结构。

四个标出格展示局部候选关系;整题只有一个解的保证须来自题目来源,这张图不能证明它。
四个标出格展示局部候选关系;整题只有一个解的保证须来自题目来源,这张图不能证明它。
得出结论

局部棋盘不能证明唯一解;只有题目来源保证唯一解时,才能使用唯一性推理。

四个标出格展示局部候选关系;整题只有一个解的保证须来自题目来源,这张图不能证明它。
四个标出格展示局部候选关系;整题只有一个解的保证须来自题目来源,这张图不能证明它。

识别练习

教学棋盘 · 局部候选示意

识别练习 1

题目已保证唯一解;这里能把唯一解当作已知前提吗?

教学棋盘 · 局部候选示意
教学棋盘 · 局部候选示意
得出结论

成立

识别练习 2

题目没有保证唯一解;仅凭局部图能把唯一解当作前提吗?

教学棋盘 · 局部候选示意
教学棋盘 · 局部候选示意
得出结论

不成立

识别练习 3

题目已保证唯一解;这里能把唯一解当作已知前提吗?

教学棋盘 · 局部候选示意
教学棋盘 · 局部候选示意
得出结论

成立

识别练习 4

题目没有保证唯一解;仅凭局部图能把唯一解当作前提吗?

教学棋盘 · 局部候选示意
教学棋盘 · 局部候选示意
得出结论

不成立

识别练习 5

题目已保证唯一解;这里能把唯一解当作已知前提吗?

教学棋盘 · 局部候选示意
教学棋盘 · 局部候选示意
得出结论

成立

识别练习 6

题目没有保证唯一解;仅凭局部图能把唯一解当作前提吗?

教学棋盘 · 局部候选示意
教学棋盘 · 局部候选示意
得出结论

不成立

识别练习 7

题目已保证唯一解;这里能把唯一解当作已知前提吗?

教学棋盘 · 局部候选示意
教学棋盘 · 局部候选示意
得出结论

成立

识别练习 8

题目没有保证唯一解;仅凭局部图能把唯一解当作前提吗?

教学棋盘 · 局部候选示意
教学棋盘 · 局部候选示意
得出结论

不成立

识别练习 9

题目已保证唯一解;这里能把唯一解当作已知前提吗?

教学棋盘 · 局部候选示意
教学棋盘 · 局部候选示意
得出结论

成立

识别练习 10

题目没有保证唯一解;仅凭局部图能把唯一解当作前提吗?

教学棋盘 · 局部候选示意
教学棋盘 · 局部候选示意
得出结论

不成立

识别练习 11

题目已保证唯一解;这里能把唯一解当作已知前提吗?

教学棋盘 · 局部候选示意
教学棋盘 · 局部候选示意
得出结论

成立

识别练习 12

题目没有保证唯一解;仅凭局部图能把唯一解当作前提吗?

教学棋盘 · 局部候选示意
教学棋盘 · 局部候选示意
得出结论

不成立

专项练习

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

在 Google Play 查看