Câu đố Sudoku tốt có đúng một lời giải. Hình chữ nhật duy nhất tận dụng lời hứa đó.
Bốn ô trên hai hàng, hai cột và đúng hai khối có thể tạo thành một mẫu hình chết người: nếu chúng chỉ chứa cùng hai chữ số, bạn có thể hoán đổi hai chữ số đó và có lời giải hợp lệ thứ hai.
Vì sao nó hiệu quả
Một câu đố chuẩn không cho phép phép hoán đổi chết người đó. Vì vậy hình chữ nhật không được phép “thuần” trên hai chữ số.
Nếu ba góc đã là ô hai giá trị XY và góc thứ tư có ứng viên thừa (Loại 1), các ứng viên có thể hoàn tất mẫu hình chết người phải sai. Các loại khác buộc các ứng viên bị khóa hoặc các nhóm phải *tránh* mẫu hình chết người.
Bạn không đoán. Bạn đang nói: “Nếu ứng viên này đúng, câu đố sẽ có hai lời giải — nhưng ta biết nó chỉ có một.”
Cách nhận ra
Bốn ô phải nằm trong đúng hai khối và thẳng hàng theo hàng và cột. Nếu một chữ số cho sẵn cố định thứ tự, nó không còn là mẫu hình chết người.
Minh họa
Một câu đố có lời giải duy nhất không thể chứa mẫu hình chết người: bốn ô thẳng hàng trong hai khối có thể hoán đổi hai chữ số để tạo lời giải thứ hai.
Tìm bốn ô sẽ tạo thành hình chữ nhật chết người trên hai chữ số nếu bỏ qua ứng viên thừa. Các ô xanh lá gần như đã như vậy.
Nếu một số ứng viên còn lại, bạn có thể hoán đổi hai chữ số và tạo ra lời giải thứ hai — điều không được phép với câu đố có lời giải duy nhất. Việc tránh mẫu hình chết người đó liên quan đến 4 và 7.
Lập luận về tính duy nhất đó là Hình chữ nhật duy nhất. (Chỉ dùng cho câu đố cổ điển có lời giải duy nhất.)
Thực hiện các loại trừ dựa trên tính duy nhất (màu đỏ) (ở đây là 4 và 7). Những ghi chú đó sẽ hoàn tất một mẫu hình chết người.
Ví dụ 1
Tìm một mẫu hình chết người UR tiềm năng với ứng viên thừa (hai khối, thẳng hàng).
Hình chữ nhật duy nhất này liên quan đến 2 và 3.
Áp dụng các loại trừ dựa trên tính duy nhất (màu đỏ) (ở đây là 2 và 3). Chúng bảo vệ lời giải duy nhất — mẫu hình chết người là không được phép.
Ví dụ 2
Tìm một mẫu hình chết người UR tiềm năng với ứng viên thừa (hai khối, thẳng hàng).
Hình chữ nhật duy nhất này liên quan đến 1 và 4.
Áp dụng các loại trừ dựa trên tính duy nhất (màu đỏ) (ở đây là 1 và 4). Chúng bảo vệ lời giải duy nhất — mẫu hình chết người là không được phép.