Nishio adalah “bagaimana jika?” yang cermat. Kamu mencoba sebuah kandidat sebagai benar dan mengikuti konsekuensi yang terpaksa (bukan tebakan liar). Kalau dunia itu melanggar aturan, kandidat yang dicoba itu salah.
Ini adalah pembuktian dengan kontradiksi — tetap logika, bukan tebakan acak.
Mengapa ini berhasil
Sudoku tidak pernah membolehkan kontradiksi. Kalau menganggap digit D di sebuah sel memaksa dua digit yang sama di satu unit, atau mengosongkan semua kandidat sebuah sel, maka D tidak bisa berada di sana.
Kamu hanya menerima langkah terpaksa dalam percobaan itu. Validasi rantai paksa (membuktikan sebuah pola) berbeda dengan tebakan liar — Nishio adalah versi yang cermat.
Cara menemukannya
Hanya ikuti langkah terpaksa di dunia percobaan — jangan pernah tebakan liar. Kalau dunianya rusak, kandidat yang dicoba itu salah.
Demonstrasi
Ketika pola yang lebih sederhana macet, pilih kandidat yang menjanjikan dan tanyakan: bagaimana jika ini benar?
Ikuti hanya penempatan dan eliminasi yang terpaksa. Di sini mencoba pola pada 1 mengarah ke kontradiksi — Nishio.
Sudoku yang sah tidak bisa mencapai dunia yang rusak itu. Jadi kandidat yang dicoba tidak mungkin benar.
Eliminasi kandidat yang mustahil (merah) (di sini 1).
Contoh 1
Coba sebuah kandidat dan ikuti rantai paksanya (hanya langkah terpaksa).
Nishio menunjukkan 6 tidak mungkin benar di sini — hasilnya meledak menjadi kontradiksi.
Hapus kandidat yang bertentangan (merah) (di sini 6). Dunia percobaan itu tidak sah.
Contoh 2
Coba sebuah kandidat dan ikuti rantai paksanya (hanya langkah terpaksa).
Nishio menunjukkan 7 tidak mungkin benar di sini — hasilnya meledak menjadi kontradiksi.
Hapus kandidat yang bertentangan (merah) (di sini 7). Dunia percobaan itu tidak sah.