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)。那個試填的情況是非法的。