Platon Sudoku · 數獨學習
Sashimi X-Wing · 分步講解
兩條基礎行或列與兩條覆蓋線形成缺一角的結構;缺角旁另有一個魚鰭候選。 只排除位於覆蓋線且能看見魚鰭的目標候選。
本課程改編自 Platon Sudoku App 的教學內容。你可以在這裡讀完完整實例,再到應用程式中繼續學習和練習。
在 Google Play 查看 ↗辨認模式
兩條基礎行或列與兩條覆蓋線形成缺一角的結構;缺角旁另有一個魚鰭候選。
如何尋找
找三個矩形角,再找缺角所在基礎線上的同宮魚鰭。
可以得出甚麼
只排除位於覆蓋線且能看見魚鰭的目標候選。
別看錯了
三個角本身不足以排除。必須確認魚鰭和目標的同宮關係;缺失的角不能畫成候選。
分步講解 · 行
本例從已儲存的中途盤面開始,候選數包含先前邏輯排除的結果,並非剛剛自動產生的筆記。
藍色:推理依據。綠色:結論。劃線數字:排除的候選數。R1C1 表示第1列第1欄。
步驟 1 · 識別退化的 X-Wing 整體
兩條基線(第 6 行, 第 8 行)和兩條覆蓋線(第 6 列, 第 9 列)標出完整的退化魚形。對候選 2,R8C6=2 與 R8C9=2 是第 8 行強對的兩個端點。在另一條基線第 6 行中,R6C9=2 是保留的魚身角;缺角 R6C6 沒有候選 2。因此魚身是 R6C9=2, R8C6=2, R8C9=2,R6C4=2 是第 5 宮中的鰭。目標 R4C6=2, R5C6=2 位於第 6 列,並且能看見全部鰭。
兩條基線(第 6 行, 第 8 行)和兩條覆蓋線(第 6 列, 第 9 列)標出完整的退化魚形。對候選 2,R8C6=2 與 R8C9=2 是第 8 行強對的兩個端點。在另一條基線第 6 行中,R6C9=2 是保留的魚身角;缺角 R6C6 沒有候選 2。因此魚身是 R6C9=2, R8C6=2, R8C9=2,R6C4=2 是第 5 宮中的鰭。目標 R4C6=2, R5C6=2 位於第 6 列,並且能看見全部鰭。步驟 2 · 情況一:缺角一側的強對端點成立
若強對端點 R8C6=2 成立,另一個端點 R8C9=2 就不成立。R8C6=2 與目標 R4C6=2, R5C6=2 同在第 6 列,所以本情形下所有目標都被排除。
若強對端點 R8C6=2 成立,另一個端點 R8C9=2 就不成立。R8C6=2 與目標 R4C6=2, R5C6=2 同在第 6 列,所以本情形下所有目標都被排除。步驟 3 · 情況二:魚身角一側的強對端點成立
若另一個強對端點 R8C9=2 成立,R8C6=2 不成立,並通過第 9 列排除與它對齊的魚身角 R6C9=2。於是基礎區域第 6 行只能在鰭 R6C4=2 中放置 2;至少一個鰭成立。目標 R4C6=2, R5C6=2 看見所有鰭,所以本情形下也全部被排除。
若另一個強對端點 R8C9=2 成立,R8C6=2 不成立,並通過第 9 列排除與它對齊的魚身角 R6C9=2。於是基礎區域第 6 行只能在鰭 R6C4=2 中放置 2;至少一個鰭成立。目標 R4C6=2, R5C6=2 看見所有鰭,所以本情形下也全部被排除。步驟 4 · 兩種情況覆蓋全部可能
第 8 行中的強對恰好只有 R8C6=2 和 R8C9=2 兩端,所以必有一種情況成立。第一端直接排除 R4C6=2, R5C6=2;第二端迫使至少一個魚鰭為真,同樣排除 R4C6=2, R5C6=2。兩種情況窮盡所有放法,因此刪除目標候選。
第 8 行中的強對恰好只有 R8C6=2 和 R8C9=2 兩端,所以必有一種情況成立。第一端直接排除 R4C6=2, R5C6=2;第二端迫使至少一個魚鰭為真,同樣排除 R4C6=2, R5C6=2。兩種情況窮盡所有放法,因此刪除目標候選。可以得出甚麼
第 8 行中的強對恰好只有 R8C6=2 和 R8C9=2 兩端,所以必有一種情況成立。第一端直接排除 R4C6=2, R5C6=2;第二端迫使至少一個魚鰭為真,同樣排除 R4C6=2, R5C6=2。兩種情況窮盡所有放法,因此刪除目標候選。
Sashimi X-Wing · 只排除位於覆蓋線且能看見魚鰭的目標候選。分步講解 · 列
本例從已儲存的中途盤面開始,候選數包含先前邏輯排除的結果,並非剛剛自動產生的筆記。
藍色:推理依據。綠色:結論。劃線數字:排除的候選數。R1C1 表示第1列第1欄。
步驟 1 · 識別退化的 X-Wing 整體
兩條基線(第 1 列, 第 5 列)和兩條覆蓋線(第 6 行, 第 8 行)標出完整的退化魚形。對候選 8,R8C1=8 與 R6C1=8 是第 1 列強對的兩個端點。在另一條基線第 5 列中,R6C5=8 是保留的魚身角;缺角 R8C5 沒有候選 8。因此魚身是 R6C1=8, R6C5=8, R8C1=8,R7C5=8 是第 8 宮中的鰭。目標 R8C4=8 位於第 8 行,並且能看見全部鰭。
兩條基線(第 1 列, 第 5 列)和兩條覆蓋線(第 6 行, 第 8 行)標出完整的退化魚形。對候選 8,R8C1=8 與 R6C1=8 是第 1 列強對的兩個端點。在另一條基線第 5 列中,R6C5=8 是保留的魚身角;缺角 R8C5 沒有候選 8。因此魚身是 R6C1=8, R6C5=8, R8C1=8,R7C5=8 是第 8 宮中的鰭。目標 R8C4=8 位於第 8 行,並且能看見全部鰭。步驟 2 · 情況一:缺角一側的強對端點成立
若強對端點 R8C1=8 成立,另一個端點 R6C1=8 就不成立。R8C1=8 與目標 R8C4=8 同在第 8 行,所以本情形下所有目標都被排除。
若強對端點 R8C1=8 成立,另一個端點 R6C1=8 就不成立。R8C1=8 與目標 R8C4=8 同在第 8 行,所以本情形下所有目標都被排除。步驟 3 · 情況二:魚身角一側的強對端點成立
若另一個強對端點 R6C1=8 成立,R8C1=8 不成立,並通過第 6 行排除與它對齊的魚身角 R6C5=8。於是基礎區域第 5 列只能在鰭 R7C5=8 中放置 8;至少一個鰭成立。目標 R8C4=8 看見所有鰭,所以本情形下也全部被排除。
若另一個強對端點 R6C1=8 成立,R8C1=8 不成立,並通過第 6 行排除與它對齊的魚身角 R6C5=8。於是基礎區域第 5 列只能在鰭 R7C5=8 中放置 8;至少一個鰭成立。目標 R8C4=8 看見所有鰭,所以本情形下也全部被排除。步驟 4 · 兩種情況覆蓋全部可能
第 1 列中的強對恰好只有 R8C1=8 和 R6C1=8 兩端,所以必有一種情況成立。第一端直接排除 R8C4=8;第二端迫使至少一個魚鰭為真,同樣排除 R8C4=8。兩種情況窮盡所有放法,因此刪除目標候選。
第 1 列中的強對恰好只有 R8C1=8 和 R6C1=8 兩端,所以必有一種情況成立。第一端直接排除 R8C4=8;第二端迫使至少一個魚鰭為真,同樣排除 R8C4=8。兩種情況窮盡所有放法,因此刪除目標候選。可以得出甚麼
第 1 列中的強對恰好只有 R8C1=8 和 R6C1=8 兩端,所以必有一種情況成立。第一端直接排除 R8C4=8;第二端迫使至少一個魚鰭為真,同樣排除 R8C4=8。兩種情況窮盡所有放法,因此刪除目標候選。
Sashimi X-Wing · 只排除位於覆蓋線且能看見魚鰭的目標候選。