Nishio là một phép “nếu như?” cẩn thận. Bạn thử coi một ứng viên là đúng và đi theo các hệ quả bắt buộc (không phải đoán mò). Nếu thế giới đó phá vỡ quy tắc, ứng viên thử là sai.
Đây là chứng minh bằng phản chứng — vẫn là logic, không phải đoán ngẫu nhiên.
Vì sao nó hiệu quả
Sudoku không bao giờ cho phép mâu thuẫn. Nếu giả sử chữ số D ở một ô buộc hai chữ số giống nhau trong một vùng, hoặc làm một ô mất hết ứng viên, thì D không thể ở đó.
Bạn chỉ chấp nhận các nước đi bắt buộc trong phép thử. Cần phân biệt việc kiểm chứng chuỗi ép buộc (chứng minh một mẫu hình) với đoán mò — Nishio là phiên bản cẩn thận.
Cách nhận ra
Chỉ đi theo các nước đi bắt buộc trong thế giới thử — không bao giờ đoán mò. Nếu thế giới đổ vỡ, ứng viên thử là sai.
Minh họa
Khi các mẫu hình đơn giản hơn bế tắc, hãy chọn một ứng viên triển vọng và hỏi: nếu nó đúng thì sao?
Chỉ đi theo các nước đặt số và loại trừ bắt buộc. Ở đây thử mẫu hình trên 1 dẫn đến mâu thuẫn — Nishio.
Một Sudoku hợp lệ không thể đi đến thế giới đổ vỡ đó. Vậy ứng viên thử không thể đúng.
Loại (các) ứng viên không thể (màu đỏ) (ở đây là 1).
Ví dụ 1
Thử một ứng viên và đi theo chuỗi ép buộc (chỉ các nước đi bắt buộc).
Nishio cho thấy 6 không thể đúng ở đây — nó dẫn thẳng đến mâu thuẫn.
Xóa (các) ứng viên bị mâu thuẫn (màu đỏ) (ở đây là 6). Thế giới thử đó là không hợp lệ.
Ví dụ 2
Thử một ứng viên và đi theo chuỗi ép buộc (chỉ các nước đi bắt buộc).
Nishio cho thấy 7 không thể đúng ở đây — nó dẫn thẳng đến mâu thuẫn.
Xóa (các) ứng viên bị mâu thuẫn (màu đỏ) (ở đây là 7). Thế giới thử đó là không hợp lệ.