Platon Sudoku · 數獨學習
X-Chain · 分步講解
同一數字的真實強鏈與弱鏈交替,保證至少一個端點成立。 從同時看見兩端的格子排除該數字。
本課程改編自 Platon Sudoku App 的教學內容。你可以在這裡讀完完整實例,再到應用程式中繼續學習和練習。
在 Google Play 查看 ↗辨認模式
同一數字的真實強鏈與弱鏈交替,保證至少一個端點成立。
如何尋找
從該數字的強鏈開始,逐段核對強弱關係,並尋找同時看見兩端的目標。
可以得出甚麼
從同時看見兩端的格子排除該數字。
別看錯了
強鏈要求所在區域恰好兩個候選;弱鏈只說明兩端不能同時成立。
分步講解 · 短鏈
本例從已儲存的中途盤面開始,候選數包含先前邏輯排除的結果,並非剛剛自動產生的筆記。
藍色:推理依據。綠色:結論。劃線數字:排除的候選數。R1C1 表示第1列第1欄。
步驟 1 · 觀察位置
以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。
以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。步驟 2 · 推理過程
分支 1:假設 R5C8=2 不成立。
分支 1:假設 R5C8=2 不成立。步驟 3 · 推理過程
R5C8=2 不成立。這兩端合起來包含第 5 行中的全部剩餘選項,因此 R5C4=2 被迫成立。
R5C8=2 不成立。這兩端合起來包含第 5 行中的全部剩餘選項,因此 R5C4=2 被迫成立。步驟 4 · 推理過程
R5C4=2 已經成立,排除 R2C4=2。
R5C4=2 已經成立,排除 R2C4=2。步驟 5 · 推理過程
R2C4=2 不成立。這兩端合起來包含第 2 宮中的全部剩餘選項,因此 R1C5=2 被迫成立。
R2C4=2 不成立。這兩端合起來包含第 2 宮中的全部剩餘選項,因此 R1C5=2 被迫成立。步驟 6 · 推理過程
R1C5=2 已經成立,排除 R1C9=2。
R1C5=2 已經成立,排除 R1C9=2。步驟 7 · 推理過程
R1C9=2 不成立,所以第 9 列只剩 R8C9=2。所有目標都能看見 R8C9=2,因此划掉 R7C8=2, R8C8=2。
R1C9=2 不成立,所以第 9 列只剩 R8C9=2。所有目標都能看見 R8C9=2,因此划掉 R7C8=2, R8C8=2。步驟 8 · 撤回上一種矩形填法
撤回這個假設和由它產生的結果。恢復原候選快照,再檢查下一種可能。
撤回這個假設和由它產生的結果。恢復原候選快照,再檢查下一種可能。步驟 9 · 推理過程
選定 R5C8=2。所有目標都能看見它,因此直接划掉 R7C8=2, R8C8=2。
選定 R5C8=2。所有目標都能看見它,因此直接划掉 R7C8=2, R8C8=2。步驟 10 · 結論
兩個端點情況窮盡全部可能,並且都會划掉 R7C8=2, R8C8=2。撤回臨時狀態後,可以刪除這些候選。
兩個端點情況窮盡全部可能,並且都會划掉 R7C8=2, R8C8=2。撤回臨時狀態後,可以刪除這些候選。可以得出甚麼
兩個端點情況窮盡全部可能,並且都會划掉 R7C8=2, R8C8=2。撤回臨時狀態後,可以刪除這些候選。
X-Chain · 從同時看見兩端的格子排除該數字。分步講解 · 中鏈
本例從已儲存的中途盤面開始,候選數包含先前邏輯排除的結果,並非剛剛自動產生的筆記。
藍色:推理依據。綠色:結論。劃線數字:排除的候選數。R1C1 表示第1列第1欄。
步驟 1 · 觀察位置
以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。
以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。步驟 2 · 推理過程
分支 1:假設 R1C3=7 不成立。
分支 1:假設 R1C3=7 不成立。步驟 3 · 推理過程
R1C3=7 不成立。這兩端合起來包含第 1 行中的全部剩餘選項,因此 R1C7=7 被迫成立。
R1C3=7 不成立。這兩端合起來包含第 1 行中的全部剩餘選項,因此 R1C7=7 被迫成立。步驟 4 · 推理過程
R1C7=7 已經成立,排除 R8C7=7。
R1C7=7 已經成立,排除 R8C7=7。步驟 5 · 推理過程
R8C7=7 不成立。這兩端合起來包含第 8 行中的全部剩餘選項,因此 R8C8=7 被迫成立。
R8C7=7 不成立。這兩端合起來包含第 8 行中的全部剩餘選項,因此 R8C8=7 被迫成立。步驟 6 · 推理過程
R8C8=7 已經成立,排除 R5C8=7。
R8C8=7 已經成立,排除 R5C8=7。步驟 7 · 推理過程
R5C8=7 不成立。這兩端合起來包含第 6 宮中的全部剩餘選項,因此 R4C9=7 被迫成立。
R5C8=7 不成立。這兩端合起來包含第 6 宮中的全部剩餘選項,因此 R4C9=7 被迫成立。步驟 8 · 推理過程
R4C9=7 已經成立,排除 R4C5=7。
R4C9=7 已經成立,排除 R4C5=7。步驟 9 · 推理過程
R4C5=7 不成立,所以第 5 列只剩 R2C5=7。所有目標都能看見 R2C5=7,因此划掉 R2C3=7。
R4C5=7 不成立,所以第 5 列只剩 R2C5=7。所有目標都能看見 R2C5=7,因此划掉 R2C3=7。步驟 10 · 撤回上一種矩形填法
撤回這個假設和由它產生的結果。恢復原候選快照,再檢查下一種可能。
撤回這個假設和由它產生的結果。恢復原候選快照,再檢查下一種可能。步驟 11 · 推理過程
選定 R1C3=7。所有目標都能看見它,因此直接划掉 R2C3=7。
選定 R1C3=7。所有目標都能看見它,因此直接划掉 R2C3=7。步驟 12 · 結論
兩個端點情況窮盡全部可能,並且都會划掉 R2C3=7。撤回臨時狀態後,可以刪除這些候選。
兩個端點情況窮盡全部可能,並且都會划掉 R2C3=7。撤回臨時狀態後,可以刪除這些候選。可以得出甚麼
兩個端點情況窮盡全部可能,並且都會划掉 R2C3=7。撤回臨時狀態後,可以刪除這些候選。
X-Chain · 從同時看見兩端的格子排除該數字。分步講解 · 長鏈
本例從已儲存的中途盤面開始,候選數包含先前邏輯排除的結果,並非剛剛自動產生的筆記。
藍色:推理依據。綠色:結論。劃線數字:排除的候選數。R1C1 表示第1列第1欄。
步驟 1 · 觀察位置
以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。
以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。步驟 2 · 推理過程
分支 1:假設 R1C5=9 不成立。
分支 1:假設 R1C5=9 不成立。步驟 3 · 推理過程
R1C5=9 不成立。這兩端合起來包含第 1 行中的全部剩餘選項,因此 R1C3=9 被迫成立。
R1C5=9 不成立。這兩端合起來包含第 1 行中的全部剩餘選項,因此 R1C3=9 被迫成立。步驟 4 · 推理過程
R1C3=9 已經成立,排除 R3C1=9。
R1C3=9 已經成立,排除 R3C1=9。步驟 5 · 推理過程
R3C1=9 不成立。這兩端合起來包含第 1 列中的全部剩餘選項,因此 R5C1=9 被迫成立。
R3C1=9 不成立。這兩端合起來包含第 1 列中的全部剩餘選項,因此 R5C1=9 被迫成立。步驟 6 · 推理過程
R5C1=9 已經成立,排除 R6C3=9。
R5C1=9 已經成立,排除 R6C3=9。步驟 7 · 推理過程
R6C3=9 不成立。這兩端合起來包含第 6 行中的全部剩餘選項,因此 R6C7=9 被迫成立。
R6C3=9 不成立。這兩端合起來包含第 6 行中的全部剩餘選項,因此 R6C7=9 被迫成立。步驟 8 · 推理過程
R6C7=9 已經成立,排除 R5C8=9。
R6C7=9 已經成立,排除 R5C8=9。步驟 9 · 推理過程
R5C8=9 不成立。這兩端合起來包含第 8 列中的全部剩餘選項,因此 R9C8=9 被迫成立。
R5C8=9 不成立。這兩端合起來包含第 8 列中的全部剩餘選項,因此 R9C8=9 被迫成立。步驟 10 · 推理過程
R9C8=9 已經成立,排除 R9C2=9。
R9C8=9 已經成立,排除 R9C2=9。步驟 11 · 推理過程
R9C2=9 不成立,所以第 2 列只剩 R8C2=9。所有目標都能看見 R8C2=9,因此划掉 R8C5=9。
R9C2=9 不成立,所以第 2 列只剩 R8C2=9。所有目標都能看見 R8C2=9,因此划掉 R8C5=9。步驟 12 · 撤回上一種矩形填法
撤回這個假設和由它產生的結果。恢復原候選快照,再檢查下一種可能。
撤回這個假設和由它產生的結果。恢復原候選快照,再檢查下一種可能。步驟 13 · 推理過程
選定 R1C5=9。所有目標都能看見它,因此直接划掉 R8C5=9。
選定 R1C5=9。所有目標都能看見它,因此直接划掉 R8C5=9。步驟 14 · 結論
兩個端點情況窮盡全部可能,並且都會划掉 R8C5=9。撤回臨時狀態後,可以刪除這些候選。
兩個端點情況窮盡全部可能,並且都會划掉 R8C5=9。撤回臨時狀態後,可以刪除這些候選。可以得出甚麼
兩個端點情況窮盡全部可能,並且都會划掉 R8C5=9。撤回臨時狀態後,可以刪除這些候選。
X-Chain · 從同時看見兩端的格子排除該數字。