Sudoku.best
儀表板
開始遊戲
最近匯入
每日挑戰學習Beta表現列印App
設定
法律資訊
0
Lv1
所有課程

Nishio

極限排除

Nishio 是一種謹慎的「如果……會怎樣?」。你假設某個候選數為真,並跟隨被迫的結果(而不是胡亂猜測)。如果那個情況違反了規則,那麼試填的候選數就是假的。

這是反證法——仍然是邏輯,而不是隨機猜測。

原理

數獨從不允許矛盾。如果假設某格是數字 D,會迫使某個區域出現兩個相同數字,或讓某個格子失去所有候選數,那麼 D 就不能放在那裡。

在試填過程中只接受被迫的步驟。教練會把強制鏈驗證(證明一個結構)與胡亂猜測區分開——Nishio 是謹慎的那種。

如何發現

在試填情況中只跟隨被迫的步驟——絕不胡亂猜測。如果局面崩潰,試填的候選數就是假的。

示範

452153653471453538926359214557234582

當簡單的結構都用不上時,選一個有希望的候選數並問:如果它為真會怎樣?

452153653471453538926359214557234582

只跟隨被迫的填數和刪除。這裡在 1 上試填會導致矛盾——這就是 Nishio。

452153653471453538926359214557234582

合法的數獨不可能走到那種崩潰的局面。所以試填的候選數不能為真。

452153653471453538926359214557234582

刪除不可能的候選數(紅色)(此處為 1)。

範例 1

7212138749213852852379781892437954596

試填一個候選數,並沿著強制鏈推導(只走被迫的步驟)。

7212138749213852852379781892437954596

Nishio 表明 6 在這裡不能為真——它會引發矛盾。

7212138749213852852379781892437954596

刪除導致矛盾的候選數(紅色)(此處為 6)。那個試填的情況是非法的。

範例 2

36522153584721334549563728745358634357345

試填一個候選數,並沿著強制鏈推導(只走被迫的步驟)。

36522153584721334549563728745358634357345

Nishio 表明 7 在這裡不能為真——它會引發矛盾。

36522153584721334549563728745358634357345

刪除導致矛盾的候選數(紅色)(此處為 7)。那個試填的情況是非法的。

上一課AIC