Kakuro · Thức ăn cho tư duy

Ô chữ của những phép cộng

Kakuro là một câu đố logic thường được gọi là bản chuyển tự toán học của trò ô chữ, trong đó các chữ số từ 1–9 phải cộng lại đúng bằng gợi ý ở các dãy ngang và dọc, mà không bao giờ lặp lại một chữ số trong cùng một hàng.

Được viết và biên tập bằng tiếng Anh. Bản tiếng Việt này được tạo ra bằng dịch máy; ở những chỗ cần độ chính xác, bản gốc tiếng Anh là bản có thẩm quyền. Đọc bản gốc bằng tiếng Anh →

Một lưới đen và trắng

Khi mở một câu đố Kakuro mới, bạn đứng trước một lưới trông đơn giản đến mức đánh lừa: một bàn cờ gồm các ô đen và ô trắng. Các ô đen là bộ khung của câu đố, mỗi ô có thể mang một hoặc hai gợi ý bằng số. Gợi ý ở góc trên bên phải của một ô đen cho bạn biết tổng của hàng ngang bắt đầu ngay bên phải ô đó. Gợi ý ở góc dưới bên trái của một ô đen cho bạn biết tổng của hàng dọc bắt đầu ngay bên dưới ô đó. Các ô trắng là nơi công việc diễn ra: bạn phải đặt vào mỗi ô một chữ số duy nhất từ 1 đến 9 sao cho mọi hàng ngang và mọi hàng dọc đều thỏa mãn gợi ý của nó. Vẻ đẹp của câu đố nằm ở ràng buộc kép này: mỗi ô trắng nằm tại giao điểm của đúng một hàng ngang và một hàng dọc, nên chữ số bạn đặt ở đó phải thỏa mãn cả hai gợi ý cùng một lúc. ¹

Các ô đen không chỉ là vách ngăn; chúng là nguồn của toàn bộ thông tin. Mỗi ô đen chứa một gợi ý ngang và/hoặc một gợi ý dọc, với giá trị 0 biểu thị rằng không có gợi ý theo hướng đó. ³ Một ô đen có thể chỉ có gợi ý ngang, chỉ có gợi ý dọc, có cả hai, hoặc không có gợi ý nào. Hình học của câu đố quyết định những ô trắng nào tạo thành một hàng liên tục ở bên phải một ô đen và những ô nào tạo thành một hàng liên tục ở bên dưới nó. Những hàng này chính là các ràng buộc thực sự của câu đố. Bộ máy trò chơi lưu trữ tường minh tất cả các hàng, và với mỗi ô trắng nó theo dõi xem ô đó thuộc về hàng ngang nào và hàng dọc nào. Mỗi ô trắng thuộc về đúng một hàng ngang và đúng một hàng dọc, tạo nên một mạng lưới các ràng buộc giao nhau mà người giải phải tìm đường đi qua.

Quy tắc định nghĩa tất cả

Quy tắc của Kakuro đơn giản một cách đẹp đẽ nhưng lại mạnh mẽ đến bất ngờ. Bạn phải điền vào mỗi ô trắng một chữ số từ 1 đến 9 sao cho tổng các số trong mỗi dãy khớp với gợi ý gắn với nó, và sao cho không chữ số nào bị lặp lại trong bất kỳ dãy nào. Điều kiện thứ hai, yêu cầu về tính khác biệt, chính là thứ tách Kakuro khỏi một bài tập số học đơn thuần. Nếu bạn chỉ cần cộng lại bằng gợi ý, một hàng có thể có rất nhiều lời giải. Nhưng ràng buộc khác biệt có nghĩa là một hàng dài ba ô với gợi ý 6 chỉ có thể được điền bằng các chữ số 1, 2 và 3 theo một thứ tự nào đó. Một hàng dài tám ô với gợi ý 36 phải dùng mọi chữ số trừ 9, vì chín chữ số cộng lại bằng 45. Sự tương tác giữa tổng và độ dài của một hàng lập tức thu hẹp các khả năng, thường xuống còn một tập chữ số duy nhất, và đôi khi xuống còn một cách sắp xếp duy nhất khi bạn xét đến các hàng cắt ngang qua. ¹

Hãy xét một ô trắng tại giao điểm của một hàng ngang và một hàng dọc. Hàng ngang đã thu hẹp các chữ số có thể đặt vào ô đó xuống một tập con nào đó. Hàng dọc đã thu hẹp các khả năng một cách độc lập xuống một tập con khác. Giao của hai tập con này chính là những gì bạn có thể đặt vào ô. Đây là cơ chế cốt lõi của việc giải Kakuro: đọc gợi ý, xác định những tập chữ số nào là khả dĩ cho mỗi hàng, rồi để các giao điểm tiết lộ chữ số nào phải đi vào đâu. Một hàng có vẻ mơ hồ khi đứng riêng lẻ thường trở nên rõ như ban ngày khi bạn xét đến các hàng lân cận. Câu đố tưởng thưởng cho sự kiên nhẫn và việc theo dõi cẩn thận, vì một chữ số đặt vào một ô có thể lan tỏa qua toàn bộ hàng ngang và hàng dọc của nó, loại bỏ các khả năng ở nơi khác và thường buộc phải có những vị trí đặt mới. ¹

Một bản chuyển tự toán học

Kakuro thường được mô tả là bản chuyển tự toán học của trò ô chữ. Cách mô tả này nắm bắt được điều gì đó cốt yếu về cấu trúc của câu đố. Trong ô chữ bằng chữ cái, bạn điền các chữ cái vào ô trắng sao cho mỗi mục ngang và mục dọc tạo thành một từ hợp lệ theo gợi ý. Trong Kakuro, bạn điền các chữ số vào ô trắng sao cho mỗi dãy ngang và dãy dọc tạo thành một tổng hợp lệ theo gợi ý. Các ô đen trong Kakuro đóng vai trò giống hệt các ô đen trong ô chữ bằng chữ cái: chúng đánh dấu ranh giới giữa các mục và mang gợi ý. Điểm khác biệt là thay vì từ vựng và chính tả, Kakuro dựa vào số học và ràng buộc khác biệt. Câu đố đòi hỏi cùng một kiểu tư duy linh hoạt, cùng một kiểu nhận dạng mẫu, và cùng một kiểu thỏa mãn khi một khu vực khó nhằn cuối cùng cũng vào đúng chỗ. ¹

Bản thân cái tên Kakuro là tiếng Nhật. ¹ Đó là cách viết tắt của cụm từ tiếng Nhật kasan kurosu, nghĩa là "phép cộng chéo". Đây là mô tả trực tiếp về bản chất của câu đố: một lưới kiểu ô chữ trong đó các mục là những phép cộng. Câu đố lần đầu xuất hiện tại Hoa Kỳ dưới cái tên "Cross Sums", một cái tên do Jacob E. Funk của Dell Magazines đặt ra năm 1966. Cái tên trước đó này có lẽ còn giàu tính mô tả hơn cả tên tiếng Nhật, vì nó cho bạn biết ngay phải làm gì: tìm các tổng theo hàng ngang và hàng dọc. Thế nhưng Kakuro đã trở thành cái tên phổ biến hơn trên trường quốc tế, có lẽ vì nó ngắn hơn và dễ nhớ hơn. Bản sắc của câu đố bắt rễ vững chắc trong khái niệm phép cộng chéo này, và mọi câu đố Kakuro được thiết kế tốt đều xứng với mô tả đó.

Ràng buộc khác biệt chính là điều tách Kakuro khỏi một bài tập số học đơn thuần.

Câu đố được xây dựng như thế nào

Tạo ra một câu đố Kakuro vừa giải được vừa thú vị đòi hỏi việc xây dựng cẩn thận. Một câu đố hay phải có lời giải duy nhất và có thể đạt tới chỉ bằng suy luận logic, không cần bất kỳ sự phỏng đoán nào. Đây là lúc bộ giải quay lui phát huy tác dụng. Trò chơi dùng một thuật toán quay lui không chỉ điền một lời giải hợp lệ mà còn đếm xem có bao nhiêu lời giải tồn tại, cho tới một ngưỡng nhất định. Nếu bộ giải tìm thấy nhiều hơn một lời giải, câu đố bị loại và một câu đố mới được sinh ra. Bộ giải cắt tỉa không gian tìm kiếm bằng cách kiểm tra tính khác biệt trong từng hàng và tính khả thi của tổng từng phần ở mỗi bước, và nó duyệt các ô theo nhóm hàng, với các hàng ngắn nhất được xử lý trước. Thứ tự này quan trọng vì các hàng ngắn hơn có ít tập chữ số khả dĩ hơn, do đó cung cấp nhiều ràng buộc hơn ở giai đoạn sớm của quá trình tìm kiếm. ³

Bộ sinh câu đố cũng loại bỏ những bố cục suy biến có thể khiến câu đố không thể giải hoặc quá tầm thường. Chẳng hạn, một ô trắng chỉ thuộc về một hàng duy nhất, sao cho hướng còn lại của nó là một hàng dài một ô, là suy biến: chỉ với một tổng duy nhất ràng buộc nó, ô đó gần như được tự do nhận nhiều chữ số khác nhau, và điều này phá hỏng tính duy nhất của lời giải. Bộ sinh thử lại cho đến khi tạo ra được một bố cục có lời giải duy nhất. Quy trình này bảo đảm rằng mọi câu đố bạn chơi đều đã được xác minh là có đúng một lời giải. Tính tất định của bộ sinh có nghĩa là cùng một hạt giống (seed) sẽ luôn tạo ra cùng một câu đố, nhờ đó các câu đố có thể kiểm thử và tái tạo được. Điều này quan trọng với định dạng câu đố hằng ngày, nơi bạn muốn mọi người cùng giải đúng một câu đố như nhau. ³

Đọc gợi ý

Kỹ năng chơi Kakuro nằm ở việc đọc đúng các gợi ý và hiểu chúng nói gì với bạn về các tập chữ số khả dĩ. Gợi ý 3 cho một hàng dài 2 ô chỉ có thể được điền bằng 1 và 2. Gợi ý 17 cho một hàng dài 2 ô chỉ có thể được điền bằng 8 và 9. Đây là những trường hợp cực đoan, nơi gợi ý và độ dài kết hợp lại để cho bạn một tập chữ số khả dĩ duy nhất. Khi rời xa các trường hợp cực đoan này, số tập chữ số khả dĩ tăng lên. Gợi ý 10 cho một hàng dài 3 ô có thể là 1-2-7, 1-3-6, 1-4-5, 2-3-5, và không còn gì khác. Nghệ thuật của Kakuro là nhận ra khi nào một hàng đã được thu hẹp xuống một tập chữ số duy nhất, rồi dùng thông tin đó để giải các hàng cắt ngang qua nó. ¹

Một kỹ thuật hữu ích khác là nhìn vào tổng của tất cả các chữ số có thể có. Các chữ số từ 1 đến 9 cộng lại bằng 45. Vì vậy một hàng dài 9 ô phải dùng cả chín chữ số và có tổng bằng 45. Một hàng dài 8 ô phải bỏ ra đúng một chữ số, và gợi ý sẽ cho bạn biết đó là chữ số nào. Một hàng dài 7 ô phải bỏ ra hai chữ số, và tổng của hai chữ số bị bỏ đó sẽ bằng 45 trừ đi gợi ý. Những mối quan hệ toán học này có thể giúp bạn nhanh chóng loại bỏ các tập chữ số bất khả và tập trung vào những tập đáng quan tâm. Càng luyện tập nhiều, những mẫu này càng trở thành bản năng thứ hai, và bạn giải câu đố càng nhanh. ¹

Mỗi ô trắng nằm ở giao điểm của đúng một hàng ngang và một hàng dọc.

Sự thỏa mãn của logic

Điều khiến Kakuro chơi thỏa mãn đến vậy là mọi nước đi đều có thể được biện minh bằng logic. Không có phỏng đoán, không có thử-và-sai, không có kiểu "có lẽ chữ số này đi vào đây". Nếu một câu đố được thiết kế tốt, mọi chữ số bạn đặt xuống đều bị buộc phải như vậy bởi các gợi ý và những ràng buộc bạn đã suy ra. Đây là dấu ấn của truyền thống Nikoli, nhà xuất bản Nhật Bản đã phổ biến Kakuro cùng nhiều câu đố logic khác. Nikoli nổi tiếng với những câu đố làm bằng tay, do độc giả gửi đến, có một lời giải duy nhất và suy luận được bằng logic. Một câu đố đòi hỏi phải đoán thì không được coi là một câu đố Nikoli đúng nghĩa. Cam kết với sự thuần khiết logic này chính là thứ đem lại cho Kakuro sức hấp dẫn trí tuệ của nó. ²

Sự thỏa mãn khi giải một câu đố Kakuro đến từ việc nhìn lưới dần được lấp đầy khi bạn áp dụng các suy luận logic. Một chữ số đặt vào một ô loại bỏ các khả năng trong toàn bộ hàng ngang và hàng dọc của nó. Những loại bỏ đó có thể buộc các ô khác phải nhận những chữ số cụ thể, rồi đến lượt chúng lại loại bỏ thêm các khả năng khác, và cứ thế tiếp diễn. Hiệu ứng dây chuyền này là điều khiến Kakuro có cảm giác như một câu đố thay vì chỉ là một chuỗi bài toán số học. Câu đố cũng tự kiểm tra: nếu có lúc bạn thấy mình không còn chữ số hợp lệ nào cho một ô, bạn biết mình đã mắc lỗi ở đâu đó. Vòng phản hồi tức thời này giữ cho bạn luôn nhập cuộc và có động lực đi tìm lời giải. ¹

Một câu đố dành cho tất cả mọi người

Một trong những thế mạnh lớn của Kakuro là tính dễ tiếp cận. Bạn không cần biết bất kỳ từ vựng đặc biệt hay tham chiếu văn hóa nào để chơi. Bạn chỉ cần biết cộng các số có một chữ số và hiểu khái niệm khác biệt. Điều này khiến Kakuro trở thành một câu đố mà mọi người ở mọi lứa tuổi và xuất thân đều có thể thưởng thức. Đồng thời, câu đố có chiều sâu đủ để giữ chân những người chơi giàu kinh nghiệm. Càng chơi nhiều, bạn càng nhận ra nhiều mẫu hơn, đọc gợi ý càng nhanh hơn, và chiến lược của bạn càng tinh vi hơn. Câu đố có thể đơn giản hay phức tạp tùy theo ý bạn muốn. ³

Tại Nhật Bản, trong nhiều năm nó là câu đố logic phổ biến nhất trên ấn phẩm in, giữ vị trí đó cho đến năm 1992, khi Sudoku vượt qua nó; trong số các sản phẩm của Nikoli, kể từ đó nó luôn chỉ đứng sau Sudoku. Sự phổ biến này nói lên sức hấp dẫn của câu đố. Nó thách thức nhưng công bằng, phức tạp nhưng dễ hiểu, và thỏa mãn khi giải xong. Việc nó vẫn được ưa chuộng suốt hàng chục năm là minh chứng cho chất lượng thiết kế và sự thỏa mãn mà nó đem lại cho người chơi. ¹

Kakuro tưởng thưởng cho sự kiên nhẫn và việc theo dõi cẩn thận, bởi một chữ số duy nhất có thể lan truyền qua các hàng của nó.

Thử thách hằng ngày

Điều khiến bản triển khai Kakuro này đặc biệt là tính tất định của nó. Câu đố được sinh ra bằng một bộ sinh số ngẫu nhiên có hạt giống, nghĩa là cùng một hạt giống sẽ luôn tạo ra cùng một câu đố. Điều này cho phép có định dạng câu đố hằng ngày, nơi mọi người cùng chơi đúng một câu đố như nhau trong cùng một ngày. Nó cũng có nghĩa là các câu đố hoàn toàn có thể kiểm thử, vì bạn có thể tái tạo bất kỳ câu đố nào bằng hạt giống của nó. Tính tất định là một đặc điểm then chốt trong thiết kế của trò chơi, vì nó bảo đảm sự nhất quán và công bằng cho mọi người chơi. ³

Định dạng hằng ngày cũng thêm vào câu đố một yếu tố cộng đồng. Mọi người cùng giải một câu đố, nghĩa là bạn có thể bàn luận về chiến lược và lời giải với những người chơi khác mà không làm lộ đáp án. Bạn có thể nói về "cái gợi ý hóc búa ở góc dưới bên phải ấy" và ai cũng biết chính xác bạn đang nhắc đến cái gì. Trải nghiệm chung này là một phần của điều khiến Kakuro thú vị đến vậy, vì bạn là một phần của cộng đồng rộng lớn hơn gồm những người giải đố. ¹

Sources & notes

"Kakuro," Wikipedia, a logic puzzle often called a mathematical transliteration of the crossword ("cross sums"); fill each white cell with a digit 1–9 so that each horizontal or vertical entry sums to its clue and no digit is duplicated within an entry; the name abbreviates the Japanese "kasan kurosu" ("addition cross"); earlier called "Cross Sums," coined in 1966 by Jacob E. Funk of Dell Magazines; popularised by Nikoli, second only to Sudoku, and Japan's most popular logic puzzle in print until 1992. en.wikipedia.org/wiki/Kakuro.
"Nikoli," Wikipedia, a Japanese publisher specialising in logic puzzles, founded in 1980, known for hand-made reader-submitted puzzles and for giving Sudoku its name and popularising it, and for publishing other grid logic puzzles such as Slitherlink and Hashiwokakero; a hallmark is a single logically-deducible solution. en.wikipedia.org/wiki/Nikoli.
This game's engine: the black/white cells, the across/down clues held on black cells, the across/down runs as the constraints with per-cell acrossRunOf/downRunOf, the distinct-digits-1–9-summing-to-the-clue rule, the backtracking solver that fills and verifies uniqueness by pruning on per-run distinctness and partial-sum feasibility (shortest runs first), the generate retry loop that guarantees a unique solution and rejects degenerate layouts, the seeded daily puzzle, and full determinism.
Further reading on Kakuro, [1304.1628] Pattern-Based Constraint Satisfaction and Logic Puzzles. arxiv.org.