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