Lời giải duy nhất

Các gợi ý của một nonogram mô tả một bức tranh, nhưng không phải mọi bộ gợi ý đều mô tả đúng một bức tranh. “Lời giải duy nhất” nghĩa là có chính xác một cách lấp đầy lưới sao cho mọi gợi ý hàng và cột được thỏa mãn cùng lúc — không hơn, không kém. Đó là tính chất mà một câu đố đúng đắn phải có.

Khi điều đó đúng, giải là suy diễn thuần túy: ở mỗi bước có một ô mà trạng thái của nó bị ép buộc, và theo những ô bị ép buộc đó dẫn đến đáp án duy nhất.

Câu đố nhỏ nhất phá vỡ quy tắc là một lưới 2×2 trong đó mỗi hàng và mỗi cột có gợi ý 1. Nó được thỏa mãn bởi hai bức tranh hoàn toàn khác nhau — hai đường chéo bên dưới. Cả hai đều là đáp án hoàn toàn hợp lệ cho cùng những gợi ý, nên không có cách nào biết cái nào “đúng”.

Đó là một câu đố mơ hồ, và nó không công bằng: một người giải theo logic hoàn hảo có thể đi tới bức tranh nào cũng được. Một câu đố như thế không thể giải mà không đoán — đó chính là lý do những câu đố có hơn một lời giải không nên được đăng.

Tính duy nhất và việc không đoán là hai mặt của cùng một đồng xu. Nếu một câu đố có một lời giải và bạn đến một điểm mà bạn phải đoán, điều đó nghĩa là tồn tại một suy diễn bạn chưa nhận ra — chứ không phải câu đố bị kẹt. Ô bị ép buộc luôn ở đâu đó trên bảng. Vậy nên khi bạn thấy bị cám dỗ muốn đoán ở một câu đố được làm tốt, nước đi hữu ích là tiếp tục tìm dòng có thể giải mà không cần đánh cược.

Chúng tôi không tin vào tính duy nhất một cách mù quáng. Trước khi một câu đố được đăng, một bộ giải chạy qua nó và xác nhận có đúng một lời giải — bất cứ thứ gì có không lời giải (gợi ý mâu thuẫn) hay hơn một (mơ hồ) đều bị loại ngay. Đó là cánh cổng quan trọng nhất trong cách chúng tôi xây dựng câu đố, được mô tả chi tiết hơn ở trang “cách chúng tôi tạo nonogram”. Kết luận cho bạn: trên trang này, nếu bạn thấy như thể cần đoán, thì không phải vậy — đáp án luôn có thể đạt tới bằng logic.