Platon Sudoku · 數獨學習
簡單染色 (Simple Coloring) · 分步講解
同一數字的一組連通強鏈分為互相對立的 A、B 兩種狀態;必有一種狀態為真。 雙色夾擊時排除同時看見 A、B 的目標;同色衝突時排除衝突狀態的所有候選。
本課程改編自 Platon Sudoku App 的教學內容。你可以在這裡讀完完整實例,再到應用程式中繼續學習和練習。
在 Google Play 查看 ↗辨認模式
同一數字的一組連通強鏈分為互相對立的 A、B 兩種狀態;必有一種狀態為真。
如何尋找
從某行、列或宮中恰好兩個該數字候選開始,沿每條已確認的強鏈交替標記 A 和 B。
可以得出甚麼
雙色夾擊時排除同時看見 A、B 的目標;同色衝突時排除衝突狀態的所有候選。
別看錯了
只能沿真實強鏈染色;同色只是推理假設,不能當作已經填入的數字。
分步講解 · 雙色夾擊
本例從已儲存的中途盤面開始,候選數包含先前邏輯排除的結果,並非剛剛自動產生的筆記。
藍色:推理依據。綠色:結論。劃線數字:排除的候選數。R1C1 表示第1列第1欄。
步驟 1 · 找到第一條強鏈
在第 1 宮中,4 只可能出現在 R1C3 或 R3C2,其中必有一個成立。這兩個候選屬於同一染色分量,分別標為圓形 A 和方形 B;A 與 B 代表相反狀態。
在第 1 宮中,4 只可能出現在 R1C3 或 R3C2,其中必有一個成立。這兩個候選屬於同一染色分量,分別標為圓形 A 和方形 B;A 與 B 代表相反狀態。● 1A: R1C3=4
■ 1B: R3C2=4
步驟 2 · 沿強鏈交替染色
繼續尋找相連的 4 強鏈。在同一染色分量內,每條強鏈都連接圓形 A 和方形 B 這兩種相反狀態。
繼續尋找相連的 4 強鏈。在同一染色分量內,每條強鏈都連接圓形 A 和方形 B 這兩種相反狀態。● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
步驟 3 · 完成染色網路
這 4 個候選組成一個連通網路。每條實線都是 4 的強鏈。
這 4 個候選組成一個連通網路。每條實線都是 4 的強鏈。● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
步驟 4 · 理解兩種狀態
要麼全部 A 成立、全部 B 不成立,要麼全部 B 成立、全部 A 不成立。不需要預先判定哪個狀態成立。
要麼全部 A 成立、全部 B 不成立,要麼全部 B 成立、全部 A 不成立。不需要預先判定哪個狀態成立。● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
步驟 5 · 找到同時看見 A 和 B 的目標
R8C5=4 看見 A 狀態的 R3C5=4,也看見 B 狀態的 R8C3=4。無論哪種狀態成立,其中一個候選都會排除目標。
R8C5=4 看見 A 狀態的 R3C5=4,也看見 B 狀態的 R8C3=4。無論哪種狀態成立,其中一個候選都會排除目標。● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
步驟 6 · 刪除被夾擊的候選
每個目標都同時看見兩種可能狀態,所以刪除 R8C5=4。
每個目標都同時看見兩種可能狀態,所以刪除 R8C5=4。● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
可以得出甚麼
每個目標都同時看見兩種可能狀態,所以刪除 R8C5=4。
簡單染色 (Simple Coloring) · 雙色夾擊時排除同時看見 A、B 的目標;同色衝突時排除衝突狀態的所有候選。分步講解 · 同色衝突
本例從已儲存的中途盤面開始,候選數包含先前邏輯排除的結果,並非剛剛自動產生的筆記。
藍色:推理依據。綠色:結論。劃線數字:排除的候選數。R1C1 表示第1列第1欄。
步驟 1 · 找到第一條強鏈
在第 1 行中,1 只可能出現在 R1C3 或 R1C4,其中必有一個成立。這兩個候選屬於同一染色分量,分別標為圓形 A 和方形 B;A 與 B 代表相反狀態。
在第 1 行中,1 只可能出現在 R1C3 或 R1C4,其中必有一個成立。這兩個候選屬於同一染色分量,分別標為圓形 A 和方形 B;A 與 B 代表相反狀態。● 1A: R1C3=1
■ 1B: R1C4=1
步驟 2 · 沿強鏈交替染色
繼續尋找相連的 1 強鏈。在同一染色分量內,每條強鏈都連接圓形 A 和方形 B 這兩種相反狀態。
繼續尋找相連的 1 強鏈。在同一染色分量內,每條強鏈都連接圓形 A 和方形 B 這兩種相反狀態。● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
步驟 3 · 完成染色網路
這 5 個候選組成一個連通網路。每條強鏈連接 A 與 B,因此所有 A 候選狀態相同,所有 B 候選狀態相反。
這 5 個候選組成一個連通網路。每條強鏈連接 A 與 B,因此所有 A 候選狀態相同,所有 B 候選狀態相反。● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
步驟 4 · 找到同狀態衝突
R1C4=1 和 R4C4=1 都屬於 B 狀態且互相可見,不可能同時為 1,所以 B 狀態不可能成立。
R1C4=1 和 R4C4=1 都屬於 B 狀態且互相可見,不可能同時為 1,所以 B 狀態不可能成立。● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
步驟 5 · B 狀態整體不成立
這個衝突否定的是整個 B 狀態。同步划掉全部 B 狀態候選:R1C4=1, R4C4=1, R6C3=1。
這個衝突否定的是整個 B 狀態。同步划掉全部 B 狀態候選:R1C4=1, R4C4=1, R6C3=1。● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
步驟 6 · 刪除衝突狀態
刪除已經判定不成立的 B 狀態候選:R1C4=1, R4C4=1, R6C3=1。
刪除已經判定不成立的 B 狀態候選:R1C4=1, R4C4=1, R6C3=1。● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
可以得出甚麼
刪除已經判定不成立的 B 狀態候選:R1C4=1, R4C4=1, R6C3=1。
簡單染色 (Simple Coloring) · 雙色夾擊時排除同時看見 A、B 的目標;同色衝突時排除衝突狀態的所有候選。