River Reckoning · Thức ăn cho tư duy

Chở hàng qua sông

Mỗi chuyến qua sông là một quyết định, và mỗi quyết định là một thế cân bằng giữa việc tiến về phía trước và sự an toàn của những gì bạn bỏ lại phía sau.

Đượ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 →

Con sông như một bàn chơi

Con sông trong River Reckoning không chỉ là một phông nền nên thơ; nó là ràng buộc nền tảng định hình mọi nước đi khả dĩ. Trên một bờ là hàng hóa của bạn, mỗi món một khác, mỗi món mang những quan hệ được mã hóa thành các cặp cấm vốn vạch ra ranh giới của câu đố. Con thuyền là phương tiện qua sông duy nhất của bạn, và sức chở của nó không cố định mà thay đổi theo thủy triều. Cách bày đặt đơn giản ấy tạo ra một không gian phong phú những điều khả dĩ và bất khả, nơi thử thách không nằm ở tốc độ mà ở việc tìm ra trình tự các chuyến qua sông thỏa mãn mọi ràng buộc cùng một lúc. Con sông ngăn cách hai trạng thái, cấu hình ban đầu và trạng thái đích nơi mọi món hàng đều đã sang bờ, và nhiệm vụ của bạn là đi qua khoảng giữa hai trạng thái ấy mà không vi phạm bất kỳ luật nào. ³

Điều khiến câu đố cụ thể này trở nên hấp dẫn là cách các ràng buộc tương tác với nhau. Các cặp cấm tạo ra một mạng lưới phụ thuộc: chuyển một món có thể tạm thời đặt một món khác vào vòng nguy hiểm, buộc bạn phải chở một thứ quay lại trước khi có thể đi tiếp. Sức chở do thủy triều chi phối khiến thứ tự các chuyến qua sông trở nên quan trọng theo cách mà những câu đố có sức chở cố định không có. Một trình tự chạy được ở chuyến thứ ba có thể là bất khả ở chuyến thứ tư, hoặc ngược lại. Chiều thời gian ấy thêm một lớp hoạch định vượt ra ngoài các câu đố kinh điển, nơi sức chở của thuyền không đổi suốt ván. ³

Ràng buộc cặp cấm

Cơ chế cốt lõi mang lại cá tính cho River Reckoning là hệ thống cặp cấm. Một số cặp món hàng không thể bị bỏ lại một mình với nhau trên một bờ, chúng vốn đã không tương thích, dù sự không tương thích ấy được chủ đề của trò chơi ngụ ý hay chỉ đơn giản là một luật chơi thuần cơ học. Khi con thuyền rời một bờ, để bờ đó không có ai trông, bờ ấy không được chứa cặp cấm nào. Đó là phép thử an toàn đang vận hành, bảo đảm rằng những gì bạn để lại phía sau vẫn ổn định và vẫn còn nguyên ở đó khi bạn quay về. Chỉ bờ không người trông mới bị xem xét, bởi người lái đò được tính là người giám hộ cho bờ mà ông đang đứng: một cặp cấm có thể ngồi cạnh nhau rất yên ả dưới mắt ông, và chỉ thành vấn đề vào khoảnh khắc ông đẩy thuyền rời bến. Vậy nên câu hỏi trước mỗi chuyến qua sông không phải là liệu cả hai bờ có an toàn hay không, mà là liệu cái bờ bạn sắp bỏ lại có thể để mặc một mình được hay không. ³

Ràng buộc này tạo ra căng thẳng nền tảng của trò chơi. Bạn muốn đưa các món hàng tiến về phía đích, nhưng mỗi nước đi lại có nguy cơ tạo ra một trạng thái không an toàn trên cái bờ bạn đang rời. Lời giải thường đòi phải chở một món sang bờ xa rồi lại chở nó quay về, hoặc đưa các món qua lại theo một thứ tự cụ thể giữ cho các cặp cấm tách rời nhau. Trong truyền thống câu đố qua sông kinh điển, đây chính là ràng buộc khiến bài toán sói, dê và bắp cải chỉ giải được bằng một trình tự cẩn thận gồm bảy chuyến, bốn chuyến đi và ba chuyến về ². Câu đố này đã cổ: lần xuất hiện sớm nhất được biết đến của nó là trong Propositiones ad Acuendos Juvenes (Những mệnh đề để mài sắc trí óc người trẻ), một tuyển tập theo truyền thống được gán cho Alcuin xứ York mà các bản chép còn lại có niên đại từ thế kỷ thứ chín, và tất cả có ba bài toán qua sông ¹. River Reckoning khái quát hóa ý tưởng ấy chứ không kể lại nó: bốn đến sáu món hàng rút từ một kho theo chủ đề, và hai đến bốn cặp cấm giữa chúng do hạt giống chọn chứ không do câu chuyện chọn, nên các mối nguy không nhất thiết phải có ý nghĩa gì về mặt tự sự. Một trong những cặp ấy còn bị giấu đi. Dòng luật chơi cho bạn thấy tất cả trừ một cặp, và cặp cuối cùng chỉ lộ ra khi lần đầu bạn để nó mắc kẹt, với cái giá là một chuyến vẫn bị tính vào tổng của bạn.

Thủy triều chẳng bận tâm đến kế hoạch của bạn.

Thủy triều và sức chở thay đổi

Khác với các câu đố kinh điển nơi con thuyền chở một số món cố định, River Reckoning đưa vào một cơ chế thủy triều làm thay đổi sức chở của thuyền theo từng chuyến. Tải trọng của thuyền được đọc ra từ một mẫu sức chở ngắn lặp đi lặp lại, đánh chỉ số theo số chuyến bạn đã đi. Những câu đố dễ nhất chạy theo mẫu một, hai; những câu khó nhất chạy hai, một, hai, một; cả hai đều chỉ đơn thuần là luân phiên. Độ khó trung bình chạy một, hai, một, nên chu kỳ của nó khép lại bằng hai chuyến chở một món liền kề nhau. Bạn bắt đầu ở pha nào của mẫu ấy thì tùy vào hạt giống, nên một chuyến có thể chở được một cặp qua sông trong khi ngay chuyến kế tiếp chỉ cho phép một hành khách duy nhất. Thứ tự các chuyến qua sông trở nên then chốt, một lời giải chạy được với chuỗi sức chở này có thể là bất khả với một chuỗi khác. Bạn không thể đơn giản quyết định chở thêm một món chỉ vì bạn muốn; bạn phải xoay xở trong phạm vi những gì thủy triều cho phép vào lúc đó. ³

Cơ chế này biến câu đố từ một bài toán thỏa mãn ràng buộc tĩnh thành một thử thách hoạch định động. Bạn phải nghĩ không chỉ về việc chở món nào mà còn về việc chở nó khi nào. Một trình tự lẽ ra hợp lệ với sức chở cố định có thể thất bại vì ở một số thứ tự chuyến nhất định, thủy triều đã hạ sức chở xuống dưới mức bạn cần. Ngược lại, một trình tự trông có vẻ kém hiệu quả lại có thể là trình tự duy nhất chạy được với chu kỳ sức chở đã cho. Thủy triều đưa vào câu đố một nhịp điệu theo thời gian khiến mỗi câu đố là độc nhất, ngay cả khi các cặp cấm và cấu hình ban đầu giống hệt nhau. ³

Chuyến đò rỗng

Không phải chuyến nào cũng cần có hàng. Người lái đò có thể chèo về một mình, chẳng chở gì cả, đó là chuyến đò rỗng. Cơ chế này thiết yếu với không gian lời giải của câu đố vì nó cho phép bạn quay lại bờ xuất phát mà không phá hỏng công sức trước đó. Trong nhiều câu đố, cách duy nhất để hóa giải xung đột cặp cấm là chở ngược lại một món bạn đã đưa đi. Chuyến đò rỗng mang lại sự linh hoạt: đôi khi bạn cần quay về tay không để đón những món khác, đôi khi bạn cần quay về cùng một món để tách một cặp cấm ở bờ bên kia. Cỗ máy xử lý cả hai trường hợp như nhau: một chuyến qua sông chở bất cứ thứ gì đang ở trên thuyền, kể cả không gì cả, rồi lật con thuyền sang phía bên kia. Trò chơi có vạch một lằn ranh ở đây. Chèo một con thuyền rỗng rời khỏi bờ xuất phát thì bị từ chối, vì việc đó không bao giờ có ích; chuyến rỗng là đường về nhà, không phải đường tiến lên. ³

Chuyến đò rỗng cũng là thứ khiến các chuyến quay về trở nên rẻ. Nếu không có nó, mọi hành trình về nhà đều phải chở ngược một thứ gì đó, phá đi một phần công việc bạn vừa làm, và câu đố sẽ sụp xuống thành một bài toán vận chuyển một chiều nhọc nhằn. Nhưng với khả năng chèo về một mình, bạn tạo ra cả một vòng khả năng, nơi các món hàng có thể được đưa tới, đưa lui, rồi lại đưa tới theo những trình tự phức tạp. Đây cũng chính là cái nhìn thấu suốt giải được bài toán sói/dê/bắp cải kinh điển: người nông dân có thể chở đồ quay lại, và chính khả năng đảo ngược ấy là thứ khiến lời giải bảy chuyến trở nên khả dĩ ². Trong River Reckoning, chuyến đò rỗng chỉ là một lựa chọn giữa nhiều lựa chọn, nhưng nó vẫn là một công cụ nền tảng trong hộp đồ nghề của người lái đò.

Mỗi trạng thái là một quyết định đã thành hình.

Không gian trạng thái và đích đến

Mỗi cấu hình của ván chơi được mô tả trọn vẹn bằng bốn thứ: những món nào ở bờ trái, những món nào ở bờ phải, con thuyền đang ở phía nào, và đã đi được bao nhiêu chuyến. Một chuyến qua sông biến một cấu hình như thế thành một cấu hình khác bằng cách chở các món đã chất lên sang bờ xa và lật con thuyền. Điều kiện thắng là phần đơn giản nhất của cả hệ thống: mọi món hàng ở bờ phải, với con thuyền cũng ở bờ phải. Giữa cách sắp đặt ban đầu và cấu hình ấy là cả một không gian những vị trí trung gian, mà rất nhiều trong số đó bị các cặp cấm loại trừ. Nhiệm vụ của bạn là tìm một lối đi xuyên qua không gian này sao cho tôn trọng mọi ràng buộc và tới được đích. ³

Phép tìm kiếm theo chiều rộng có chặn của cỗ máy khảo sát không gian trạng thái này một cách hệ thống, tìm ra số chuyến qua sông tối thiểu cần để giải câu đố, tức mức “par” (chuẩn). Cũng chính phép tìm kiếm ấy thẩm định một câu đố trước khi bạn kịp nhìn thấy nó: bộ sinh lấy mẫu một tập các cặp cấm, giải kết quả thu được, và chỉ giữ lại nếu nó giải được và cần ít nhất ba chuyến, để không hạt giống nào đưa cho bạn một câu đố bất khả hay xong ngay trong một chuyến. Hệ thống là tất định, nên một hạt giống và một độ khó cho trước luôn tạo ra cùng một câu đố, và câu đố ấy luôn có cùng một mức par. Điều này khiến River Reckoning là một câu đố logic thuần túy theo nghĩa nó có một lời giải tối ưu khách quan, ngay cả khi việc khám phá ra lời giải ấy đòi hỏi hoạch định và trực giác đáng kể. ³

Nghệ thuật hoạch định

Giải một câu đố River Reckoning đòi hỏi một lối nghĩ đặc thù, cân bằng giữa nước đi trước mắt và hệ quả lâu dài. Bạn phải cân nhắc không chỉ việc một nước đi có hợp lệ hay không mà còn việc nó có để bạn ở một thế mà lời giải vẫn còn khả dĩ hay không. Đôi khi nước đi tốt nhất không phải là nước đưa được nhiều món nhất mà là nước tạo ra nhiều linh hoạt nhất cho những nước sau. Các cặp cấm tạo ra những phụ thuộc có thể ép bạn vào những trình tự cụ thể, còn thủy triều tạo ra một cấu trúc thời gian có thể khiến những trình tự vốn hợp lệ trở nên bất khả nếu thực hiện sai thứ tự. ³

Thử thách đủ dễ tiếp cận để ai cũng có thể thử một câu đố, nhưng cũng đủ sâu để việc tìm ra lời giải tối ưu thường đòi hỏi trực giác thật sự. Bạn có thể thấy mình đang lần ngược từ đích, cân nhắc xem những trạng thái nào có thể dẫn tới thành công, hoặc bạn có thể cố nhận diện những món hàng then chốt phải được chở vào những thời điểm cụ thể vì các quan hệ cấm của chúng. Thiết kế của trò chơi, với những cặp cấm tùy ý và sức chở do thủy triều chi phối, có nghĩa là không có hai câu đố nào giống hệt nhau, và mỗi câu đố đòi một cách tiếp cận mới. Đó chính là tinh túy của truyền thống câu đố qua sông: một khung sườn đơn giản có thể sinh ra vô tận biến hóa ¹.

Sources & notes

"River crossing puzzle," Wikipedia, a logic puzzle whose object is to carry items from one river bank to the other, usually in the fewest trips; the difficulty comes from restrictions on which or how many items can be transported at once, or which or how many may be safely left together (in the classic variant a goat and vegetables cannot be left alone together); well-known versions include the wolf/goat/cabbage problem, the missionaries and cannibals puzzle (also called the jealous husbands problem), and the bridge and torch problem; and the earliest known river-crossing problems appear in the "Propositiones ad Acuendos Juvenes" attributed to Alcuin, with copies dating from the 9th century. en.wikipedia.org/wiki/River_crossing_puzzle.
"Wolf, goat and cabbage problem," Wikipedia, a farmer with a wolf, a goat, and a cabbage must cross a river in a boat that can carry only the farmer and a single item; the wolf cannot be left unattended with the goat, nor the goat with the cabbage, or one will eat the other; the puzzle dates back to at least the 9th century AD from a manuscript by Alcuin of York and has entered the folklore of several cultures; and the key insight is that the farmer can bring things back, giving a solution of seven crossings. en.wikipedia.org/wiki/Wolf,_goat_and_cabbage_problem.
River Reckoning game engine: a generalized river-crossing puzzle in which you ferry four to six cargo items across a river, with two to four forbidden pairs that may never be left alone together on a bank; because the ferryman attends only the boat's side, the safety test is applied to the boat-free bank alone; the boat's capacity changes each crossing with the tide, cycling through a short repeating pattern of one- and two-item loads, so ordering matters, and the ferryman may row back alone (the empty crossing), though an empty trip away from the starting bank is refused; a position is the item set on each bank plus the boat side and the crossing count, a crossing carries the loaded items and flips the boat, and the goal is every item on the right with the boat on the right; one forbidden pair is hidden from the rules line until the player first strands it. The engine runs a bounded breadth-first search to find the minimal number of crossings (the par), to validate solvability, and to generate solvable seeded puzzles, all pure and deterministic. Read from the game's own source.