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