繁體中文

Platon Sudoku · 數獨學習

唯一解前提 · 核心概念

唯一性推理假定一道有效題目只有一個完整解;這必須是題目或產品明確保證的前提。

本課程改編自 Platon Sudoku App 的教學內容。你可以在這裡讀完完整實例,再到應用程式中繼續學習和練習。

在 Google Play 查看

定義

唯一性推理假定一道有效題目只有一個完整解;這必須是題目或產品明確保證的前提。

如何尋找

使用唯一性技巧前先確認題目來源保證唯一解,再核對局部結構。

容易誤判

局部候選圖本身無法證明整題唯一解,不能把希望只有一解當作邏輯前提。

分步例題

教學棋盤 · 局部候選示意

觀察候選

唯一性推理假定一道有效題目只有一個完整解;這必須是題目或產品明確保證的前提。

四個標出格展示局部候選關係;整題只有一個解的保證須來自題目來源,這張圖不能證明它。
四個標出格展示局部候選關係;整題只有一個解的保證須來自題目來源,這張圖不能證明它。
核對條件

使用唯一性技巧前先確認題目來源保證唯一解,再核對局部結構。

四個標出格展示局部候選關係;整題只有一個解的保證須來自題目來源,這張圖不能證明它。
四個標出格展示局部候選關係;整題只有一個解的保證須來自題目來源,這張圖不能證明它。
得出結論

局部棋盤不能證明唯一解;只有題目來源保證唯一解時,才能使用唯一性推理。

四個標出格展示局部候選關係;整題只有一個解的保證須來自題目來源,這張圖不能證明它。
四個標出格展示局部候選關係;整題只有一個解的保證須來自題目來源,這張圖不能證明它。

識別練習

教學棋盤 · 局部候選示意

識別練習 1

題目已保證唯一解;這裡能把唯一解當作已知前提嗎?

教學棋盤 · 局部候選示意
教學棋盤 · 局部候選示意
得出結論

成立

識別練習 2

題目沒有保證唯一解;僅憑局部圖能把唯一解當作前提嗎?

教學棋盤 · 局部候選示意
教學棋盤 · 局部候選示意
得出結論

不成立

識別練習 3

題目已保證唯一解;這裡能把唯一解當作已知前提嗎?

教學棋盤 · 局部候選示意
教學棋盤 · 局部候選示意
得出結論

成立

識別練習 4

題目沒有保證唯一解;僅憑局部圖能把唯一解當作前提嗎?

教學棋盤 · 局部候選示意
教學棋盤 · 局部候選示意
得出結論

不成立

識別練習 5

題目已保證唯一解;這裡能把唯一解當作已知前提嗎?

教學棋盤 · 局部候選示意
教學棋盤 · 局部候選示意
得出結論

成立

識別練習 6

題目沒有保證唯一解;僅憑局部圖能把唯一解當作前提嗎?

教學棋盤 · 局部候選示意
教學棋盤 · 局部候選示意
得出結論

不成立

識別練習 7

題目已保證唯一解;這裡能把唯一解當作已知前提嗎?

教學棋盤 · 局部候選示意
教學棋盤 · 局部候選示意
得出結論

成立

識別練習 8

題目沒有保證唯一解;僅憑局部圖能把唯一解當作前提嗎?

教學棋盤 · 局部候選示意
教學棋盤 · 局部候選示意
得出結論

不成立

識別練習 9

題目已保證唯一解;這裡能把唯一解當作已知前提嗎?

教學棋盤 · 局部候選示意
教學棋盤 · 局部候選示意
得出結論

成立

識別練習 10

題目沒有保證唯一解;僅憑局部圖能把唯一解當作前提嗎?

教學棋盤 · 局部候選示意
教學棋盤 · 局部候選示意
得出結論

不成立

識別練習 11

題目已保證唯一解;這裡能把唯一解當作已知前提嗎?

教學棋盤 · 局部候選示意
教學棋盤 · 局部候選示意
得出結論

成立

識別練習 12

題目沒有保證唯一解;僅憑局部圖能把唯一解當作前提嗎?

教學棋盤 · 局部候選示意
教學棋盤 · 局部候選示意
得出結論

不成立

練習

本課程改編自 Platon Sudoku App 的教學內容。你可以在這裡讀完完整實例,再到應用程式中繼續學習和練習。

在 Google Play 查看