Điều gì khiến một nonogram dễ hay khó
“Độ khó” của một nonogram không chỉ nằm ở việc lưới lớn đến đâu. Một lưới 20×20 có thể tự giải gần như một mình, trong khi một lưới 10×10 có thể bắt bạn vật lộn với từng ô. Điều thực sự quyết định độ khó là bạn phải suy luận sâu đến mức nào để tìm ra nước đi bắt buộc tiếp theo. Hướng dẫn này phân tích điều thực sự chi phối nó — và chia sẻ một phát hiện đáng ngạc nhiên từ nghiên cứu về việc một câu đố công bằng hiếm khi cần đến điều gì khôn khéo đến thế nào.
Kích thước chỉ là một phần
Một lưới lớn hơn quả thực có nghĩa là nhiều dòng phải theo dõi hơn và nhiều lần đối chiếu chéo hơn, nên các câu đố lớn tốn nhiều thời gian hơn. Nhưng riêng độ dài không làm một dòng trở nên khó — một hàng rộng 20 với một dải lớn duy nhất là chuyện vặt, trong khi một hàng ngắn chật kín những dải nhỏ và khe hẹp có thể đòi hỏi suy nghĩ thật sự. Kích thước ảnh hưởng đến việc một câu đố tốn bao lâu nhiều hơn hẳn so với việc mỗi bước khó đến đâu.
Thực ra vấn đề là các suy luận đi sâu đến đâu
Thước đo trung thực nhất của độ khó là câu đố đòi hỏi loại suy luận nào. Những câu đố dễ nhất là loại “giải được theo dòng”: bạn có thể hoàn thành chúng bằng cách nhìn từng hàng hoặc từng cột một, điền vào bất cứ gì mà dòng đơn lẻ đó ép buộc, và không bao giờ phải giữ hai dòng trong đầu cùng lúc. Hầu hết các câu đố nhẹ nhàng đúng là như vậy.
Những câu đố khó hơn đòi hỏi bạn kết hợp thông tin — nhận ra rằng trạng thái của một ô chỉ trở nên bắt buộc khi bạn xét một hàng và một cột cùng nhau, hoặc một cụm nhỏ các dòng cùng một lúc. Sự kết hợp đó càng phải đi sâu trước khi ô tiếp theo bị ép buộc, thì câu đố càng cảm thấy khó, bất kể kích thước của nó.
Nghiên cứu nói gì về việc đoán mò
Đây là phần đáng yên tâm. Công trình học thuật về giải nonogram (Batenburg and Kosters, 2012) đã đo lượng suy luận mà những câu đố có nghiệm duy nhất thực sự đòi hỏi. Vượt ra ngoài cách giải từng dòng đơn giản, bước tiếp theo là một kỹ thuật được định nghĩa rõ ràng và vẫn có tính tất định — kết hợp các cặp dòng — và việc liệt kê vét cạn của họ phát hiện rằng 93.8–95.5% các câu đố không đơn giản có thể giải được đúng bằng cách đó, hoàn toàn không cần đoán.
Còn nổi bật hơn nữa: chỉ khoảng 0.06–0.14% trong tất cả các câu đố có nghiệm duy nhất cần đến điều gì vượt ra ngoài lối suy luận cặp dòng đó. Nói cách khác, đại đa số các nonogram được dựng tốt — bao gồm mọi câu đố khó bạn sẽ gặp trong lối chơi bình thường — có thể giải bằng logic thuần túy, có giới hạn. Thử-và-sai thực sự hiếm đến mức gần như không tồn tại trong một câu đố công bằng, đó là lý do vì sao “đừng bao giờ đoán” là lời khuyên đáng tin cậy đến vậy.
“Khó” ở đây cũng có một ý nghĩa hình thức
Bên dưới tất cả những điều này là một kết quả lý thuyết. Việc quyết định liệu một tập gợi ý hàng và cột tùy ý có bất kỳ nghiệm nào hay không đã được chứng minh là NP-đầy đủ (Ueda and Nagao, 1996) — cùng lớp độ phức tạp với những bài toán cứng đầu khét tiếng như bài toán người bán hàng rong. Nói nôm na: không ai biết một phương pháp giải nhanh mọi nonogram có thể tưởng tượng được, và trong trường hợp xấu nhất, khối lượng công việc cần thiết bùng nổ khi lưới lớn dần.
Điều đó nghe đáng báo động cho đến khi bạn nhận ra sự khác biệt giữa “mọi nonogram có thể tưởng tượng được” và “những nonogram mà người ta thực sự xuất bản”. Kết quả NP-đầy đủ nói về những tập gợi ý tùy ý, mang tính đối kháng — nhiều trong số đó không có nghiệm, hoặc có nhiều nghiệm. Một câu đố thật được dựng theo chiều ngược lại: nó bắt đầu từ một bức tranh, và chỉ được xuất bản nếu có đúng một nghiệm mà logic thực sự có thể đạt tới. Đó là lý do các con số ở phần trước đúng trong thực tế — và là lý do câu đố trước mặt bạn gần như chắc chắn là công bằng, ngay cả khi nó cảm thấy tàn khốc.
Mật độ và hình dạng cũng quan trọng
Ngoài độ sâu suy luận, vài đặc điểm bề mặt cũng đẩy độ khó. Những bức tranh rất thưa (phần lớn trống) và rất dày (phần lớn được tô) thường dễ hơn, vì các thái cực cho nhiều ô bắt buộc ngay từ sớm. Những câu đố hóc búa nhất thường nằm ở giữa, với sự pha trộn cân bằng giữa tô và trống cùng vô số dải ngắn, đứt đoạn kháng lại những nước mở đầu nhanh chóng. Một chủ thể sạch sẽ, dễ nhận ra cũng giúp người giải giữ được phương hướng, dù nó không thay đổi logic nền tảng.
Cách chúng tôi gắn nhãn dễ, trung bình và khó
Trên trang này, xếp hạng của một câu đố đến từ việc suy luận để giải nó đi sâu đến đâu, kết hợp với các thống kê hình dạng như lưới được tô kín đến mức nào. Các câu đố giải được theo dòng rơi vào dễ; những câu đòi hỏi sự kết hợp liên dòng thực sự dịch về phía khó; bất cứ gì đòi hỏi đoán mò đều bị từ chối thẳng thay vì được xuất bản. Toàn bộ quy trình được mô tả trên trang “cách chúng tôi tạo ra các nonogram của mình” — nhưng phiên bản ngắn gọn là ở đây độ khó được đo lường, chứ không phải đoán.