繁體中文

Platon Sudoku · 數獨學習

X-Chain · 分步講解

同一數字的真實強鏈與弱鏈交替,保證至少一個端點成立。 從同時看見兩端的格子排除該數字。

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

在 Google Play 查看

辨認模式

同一數字的真實強鏈與弱鏈交替,保證至少一個端點成立。

如何尋找

從該數字的強鏈開始,逐段核對強弱關係,並尋找同時看見兩端的目標。

可以得出甚麼

從同時看見兩端的格子排除該數字。

別看錯了

強鏈要求所在區域恰好兩個候選;弱鏈只說明兩端不能同時成立。

分步講解 · 短鏈

本例從已儲存的中途盤面開始,候選數包含先前邏輯排除的結果,並非剛剛自動產生的筆記。

藍色:推理依據。綠色:結論。劃線數字:排除的候選數。R1C1 表示第1列第1欄。

步驟 1 · 觀察位置

以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。

以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。
以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。
步驟 2 · 推理過程

分支 1:假設 R5C8=2 不成立。

分支 1:假設 R5C8=2 不成立。
分支 1:假設 R5C8=2 不成立。
步驟 3 · 推理過程

R5C8=2 不成立。這兩端合起來包含第 5 行中的全部剩餘選項,因此 R5C4=2 被迫成立。

R5C8=2 不成立。這兩端合起來包含第 5 行中的全部剩餘選項,因此 R5C4=2 被迫成立。
R5C8=2 不成立。這兩端合起來包含第 5 行中的全部剩餘選項,因此 R5C4=2 被迫成立。
步驟 4 · 推理過程

R5C4=2 已經成立,排除 R2C4=2。

R5C4=2 已經成立,排除 R2C4=2。
R5C4=2 已經成立,排除 R2C4=2。
步驟 5 · 推理過程

R2C4=2 不成立。這兩端合起來包含第 2 宮中的全部剩餘選項,因此 R1C5=2 被迫成立。

R2C4=2 不成立。這兩端合起來包含第 2 宮中的全部剩餘選項,因此 R1C5=2 被迫成立。
R2C4=2 不成立。這兩端合起來包含第 2 宮中的全部剩餘選項,因此 R1C5=2 被迫成立。
步驟 6 · 推理過程

R1C5=2 已經成立,排除 R1C9=2。

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。
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。
選定 R5C8=2。所有目標都能看見它,因此直接划掉 R7C8=2, R8C8=2。
步驟 10 · 結論

兩個端點情況窮盡全部可能,並且都會划掉 R7C8=2, R8C8=2。撤回臨時狀態後,可以刪除這些候選。

兩個端點情況窮盡全部可能,並且都會划掉 R7C8=2, R8C8=2。撤回臨時狀態後,可以刪除這些候選。
兩個端點情況窮盡全部可能,並且都會划掉 R7C8=2, R8C8=2。撤回臨時狀態後,可以刪除這些候選。

可以得出甚麼

兩個端點情況窮盡全部可能,並且都會划掉 R7C8=2, R8C8=2。撤回臨時狀態後,可以刪除這些候選。

X-Chain · 從同時看見兩端的格子排除該數字。
X-Chain · 從同時看見兩端的格子排除該數字。

分步講解 · 中鏈

本例從已儲存的中途盤面開始,候選數包含先前邏輯排除的結果,並非剛剛自動產生的筆記。

藍色:推理依據。綠色:結論。劃線數字:排除的候選數。R1C1 表示第1列第1欄。

步驟 1 · 觀察位置

以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。

以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。
以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。
步驟 2 · 推理過程

分支 1:假設 R1C3=7 不成立。

分支 1:假設 R1C3=7 不成立。
分支 1:假設 R1C3=7 不成立。
步驟 3 · 推理過程

R1C3=7 不成立。這兩端合起來包含第 1 行中的全部剩餘選項,因此 R1C7=7 被迫成立。

R1C3=7 不成立。這兩端合起來包含第 1 行中的全部剩餘選項,因此 R1C7=7 被迫成立。
R1C3=7 不成立。這兩端合起來包含第 1 行中的全部剩餘選項,因此 R1C7=7 被迫成立。
步驟 4 · 推理過程

R1C7=7 已經成立,排除 R8C7=7。

R1C7=7 已經成立,排除 R8C7=7。
R1C7=7 已經成立,排除 R8C7=7。
步驟 5 · 推理過程

R8C7=7 不成立。這兩端合起來包含第 8 行中的全部剩餘選項,因此 R8C8=7 被迫成立。

R8C7=7 不成立。這兩端合起來包含第 8 行中的全部剩餘選項,因此 R8C8=7 被迫成立。
R8C7=7 不成立。這兩端合起來包含第 8 行中的全部剩餘選項,因此 R8C8=7 被迫成立。
步驟 6 · 推理過程

R8C8=7 已經成立,排除 R5C8=7。

R8C8=7 已經成立,排除 R5C8=7。
R8C8=7 已經成立,排除 R5C8=7。
步驟 7 · 推理過程

R5C8=7 不成立。這兩端合起來包含第 6 宮中的全部剩餘選項,因此 R4C9=7 被迫成立。

R5C8=7 不成立。這兩端合起來包含第 6 宮中的全部剩餘選項,因此 R4C9=7 被迫成立。
R5C8=7 不成立。這兩端合起來包含第 6 宮中的全部剩餘選項,因此 R4C9=7 被迫成立。
步驟 8 · 推理過程

R4C9=7 已經成立,排除 R4C5=7。

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。
R4C5=7 不成立,所以第 5 列只剩 R2C5=7。所有目標都能看見 R2C5=7,因此划掉 R2C3=7。
步驟 10 · 撤回上一種矩形填法

撤回這個假設和由它產生的結果。恢復原候選快照,再檢查下一種可能。

撤回這個假設和由它產生的結果。恢復原候選快照,再檢查下一種可能。
撤回這個假設和由它產生的結果。恢復原候選快照,再檢查下一種可能。
步驟 11 · 推理過程

選定 R1C3=7。所有目標都能看見它,因此直接划掉 R2C3=7。

選定 R1C3=7。所有目標都能看見它,因此直接划掉 R2C3=7。
選定 R1C3=7。所有目標都能看見它,因此直接划掉 R2C3=7。
步驟 12 · 結論

兩個端點情況窮盡全部可能,並且都會划掉 R2C3=7。撤回臨時狀態後,可以刪除這些候選。

兩個端點情況窮盡全部可能,並且都會划掉 R2C3=7。撤回臨時狀態後,可以刪除這些候選。
兩個端點情況窮盡全部可能,並且都會划掉 R2C3=7。撤回臨時狀態後,可以刪除這些候選。

可以得出甚麼

兩個端點情況窮盡全部可能,並且都會划掉 R2C3=7。撤回臨時狀態後,可以刪除這些候選。

X-Chain · 從同時看見兩端的格子排除該數字。
X-Chain · 從同時看見兩端的格子排除該數字。

分步講解 · 長鏈

本例從已儲存的中途盤面開始,候選數包含先前邏輯排除的結果,並非剛剛自動產生的筆記。

藍色:推理依據。綠色:結論。劃線數字:排除的候選數。R1C1 表示第1列第1欄。

步驟 1 · 觀察位置

以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。

以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。
以下推理基於當前盤面顯示的候選;此前已刪除的候選保持不變。
步驟 2 · 推理過程

分支 1:假設 R1C5=9 不成立。

分支 1:假設 R1C5=9 不成立。
分支 1:假設 R1C5=9 不成立。
步驟 3 · 推理過程

R1C5=9 不成立。這兩端合起來包含第 1 行中的全部剩餘選項,因此 R1C3=9 被迫成立。

R1C5=9 不成立。這兩端合起來包含第 1 行中的全部剩餘選項,因此 R1C3=9 被迫成立。
R1C5=9 不成立。這兩端合起來包含第 1 行中的全部剩餘選項,因此 R1C3=9 被迫成立。
步驟 4 · 推理過程

R1C3=9 已經成立,排除 R3C1=9。

R1C3=9 已經成立,排除 R3C1=9。
R1C3=9 已經成立,排除 R3C1=9。
步驟 5 · 推理過程

R3C1=9 不成立。這兩端合起來包含第 1 列中的全部剩餘選項,因此 R5C1=9 被迫成立。

R3C1=9 不成立。這兩端合起來包含第 1 列中的全部剩餘選項,因此 R5C1=9 被迫成立。
R3C1=9 不成立。這兩端合起來包含第 1 列中的全部剩餘選項,因此 R5C1=9 被迫成立。
步驟 6 · 推理過程

R5C1=9 已經成立,排除 R6C3=9。

R5C1=9 已經成立,排除 R6C3=9。
R5C1=9 已經成立,排除 R6C3=9。
步驟 7 · 推理過程

R6C3=9 不成立。這兩端合起來包含第 6 行中的全部剩餘選項,因此 R6C7=9 被迫成立。

R6C3=9 不成立。這兩端合起來包含第 6 行中的全部剩餘選項,因此 R6C7=9 被迫成立。
R6C3=9 不成立。這兩端合起來包含第 6 行中的全部剩餘選項,因此 R6C7=9 被迫成立。
步驟 8 · 推理過程

R6C7=9 已經成立,排除 R5C8=9。

R6C7=9 已經成立,排除 R5C8=9。
R6C7=9 已經成立,排除 R5C8=9。
步驟 9 · 推理過程

R5C8=9 不成立。這兩端合起來包含第 8 列中的全部剩餘選項,因此 R9C8=9 被迫成立。

R5C8=9 不成立。這兩端合起來包含第 8 列中的全部剩餘選項,因此 R9C8=9 被迫成立。
R5C8=9 不成立。這兩端合起來包含第 8 列中的全部剩餘選項,因此 R9C8=9 被迫成立。
步驟 10 · 推理過程

R9C8=9 已經成立,排除 R9C2=9。

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。
R9C2=9 不成立,所以第 2 列只剩 R8C2=9。所有目標都能看見 R8C2=9,因此划掉 R8C5=9。
步驟 12 · 撤回上一種矩形填法

撤回這個假設和由它產生的結果。恢復原候選快照,再檢查下一種可能。

撤回這個假設和由它產生的結果。恢復原候選快照,再檢查下一種可能。
撤回這個假設和由它產生的結果。恢復原候選快照,再檢查下一種可能。
步驟 13 · 推理過程

選定 R1C5=9。所有目標都能看見它,因此直接划掉 R8C5=9。

選定 R1C5=9。所有目標都能看見它,因此直接划掉 R8C5=9。
選定 R1C5=9。所有目標都能看見它,因此直接划掉 R8C5=9。
步驟 14 · 結論

兩個端點情況窮盡全部可能,並且都會划掉 R8C5=9。撤回臨時狀態後,可以刪除這些候選。

兩個端點情況窮盡全部可能,並且都會划掉 R8C5=9。撤回臨時狀態後,可以刪除這些候選。
兩個端點情況窮盡全部可能,並且都會划掉 R8C5=9。撤回臨時狀態後,可以刪除這些候選。

可以得出甚麼

兩個端點情況窮盡全部可能,並且都會划掉 R8C5=9。撤回臨時狀態後,可以刪除這些候選。

X-Chain · 從同時看見兩端的格子排除該數字。
X-Chain · 從同時看見兩端的格子排除該數字。

練習

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

在 Google Play 查看