State Stacker · Thức ăn cho tư duy

Biên giới và sự vững chãi

Mỗi khối nằm trên phần móng đều phải tựa lên một bang láng giềng về địa lý, biến một trò xếp khối đơn giản thành bài kiểm tra cấu trúc kề nhau của tấm bản đồ.

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

Thiết kế cốt lõi của cỗ máy

Cỗ máy trò chơi hợp nhất hai lĩnh vực khác biệt: kiến thức đố vui và tính kề nhau về địa lý. Người chơi giành được một bang làm khối bằng cách trả lời một câu hỏi về bang đó, rồi đặt khối ấy lên đỉnh một tòa tháp đang cao dần. Điểm xoay chuyển nằm ở luật vững chãi: một khối vừa đặt chỉ vững nếu bang nằm ngay bên dưới nó, tức đỉnh tháp hiện thời, có chung biên giới trên bộ với nó. Chỉ khối đầu tiên, phần móng, được miễn; nó luôn đứng vững vàng. Yêu cầu kề nhau này biến tòa tháp thành hiện thân vật chất của tính liên thông trên bản đồ, nơi mỗi lần đặt khối phải tôn trọng quan hệ láng giềng có thật ngoài đời được mã hóa trong bộ dữ liệu. ²

Nền tảng của thiết kế này là bộ dữ liệu các bang của chính trò chơi, chứa đủ năm mươi mục từ tập hợp các bang của Hoa Kỳ. Mỗi mục gồm tên, mã bưu chính hai chữ cái, thành phố thủ phủ, vùng thống kê (Census region), danh sách láng giềng và một mẩu thông tin ngắn. Danh sách láng giềng đặc biệt quan trọng: nó chỉ chứa những bang giáp nhau trên bộ, ghi bằng mã bưu chính. Vì thế những bang nhìn nhau qua một trong các hồ Lớn, như Michigan và Illinois, không phải là láng giềng, còn Alaska và Hawaii thì không có láng giềng trên bộ nào cả. Định nghĩa chính xác này về tính kề nhau trở thành thước đo cho mọi lần đặt khối. ²

Khi người chơi đặt một khối, cỗ máy đối chiếu nó với khối đang ở đỉnh tháp. Hai bang chỉ được tính là kề nhau khi mỗi bang đều liệt kê bang kia là láng giềng trên bộ. Vì phép kiểm tra đòi hỏi cả hai danh sách, quan hệ này đối xứng ngay từ trong cấu tạo: bang A đỡ được bang B đúng khi bang B cũng đỡ được bang A. Tính đối xứng ấy bảo đảm sự nhất quán trên toàn tháp, nơi mọi mối nối vững vàng đều phải thỏa mãn cùng một điều kiện hai chiều, bất kể trong hai bang thì bang nào đến trước. ²

Tòa tháp trở thành một đường đi vật chất xuyên qua đồ thị kề nhau của bốn mươi tám bang liền kề nhau.

Bốn loại câu hỏi

Trước khi giành được một khối, người chơi phải trả lời một câu hỏi trắc nghiệm về một bang, chọn trong bốn đáp án. Cỗ máy sinh ra bốn loại câu hỏi khác nhau, mỗi loại khai thác một phần khác nhau trong hồ sơ của bang. Loại thủ phủ hỏi thành phố thủ phủ của bang. Loại vùng hỏi bang thuộc về vùng nào trong bốn vùng thống kê: “Northeast” (Đông Bắc), “Midwest” (Trung Tây), “South” (miền Nam) hay “West” (miền Tây). Loại thông tin hỏi trong bốn mẩu thông tin ngắn thì mẩu nào đúng với bang đó, ba mẩu còn lại mượn từ các bang khác. Loại láng giềng hỏi trong bốn bang thì bang nào giáp với nó: một láng giềng thật và ba bang không giáp. Cùng nhau, bốn loại này khai thác bốn trong sáu trường dữ liệu của mỗi mục, tức thủ phủ, vùng, thông tin và láng giềng, còn tên và mã viết tắt thì dùng để gọi tên câu hỏi và khối. ²

Mỗi loại câu hỏi phục vụ một mục đích khác nhau trong vòng lặp trò chơi. Câu hỏi thủ phủ và câu hỏi vùng kiểm tra kiến thức về các thuộc tính cố định. Thủ phủ của một bang là một thành phố duy nhất, còn vùng thống kê của nó là một trong bốn khả năng, nên mọi câu hỏi về vùng đều có cùng bốn lựa chọn. Câu hỏi thông tin kiểm tra khả năng nhớ một câu mô tả ngắn. Câu hỏi láng giềng kiểm tra hiểu biết về chính danh sách kề nhau, vốn là cấu trúc sẽ quyết định sự vững chãi về sau. Mỗi bang chỉ được hỏi một lần trong một ván, và các loại câu hỏi xoay vòng theo thứ tự cố định, tức thủ phủ, vùng, thông tin, láng giềng, rồi lại thủ phủ, nên một ván hai mươi tư câu hỏi pha trộn đều cả bốn loại. ²

Trả lời đúng thì giành được bang đó làm khối; trả lời sai thì không được gì, và ván chơi đi tiếp sang câu hỏi kế. Khi đã cầm một khối trong tay, người chơi chỉ có đúng một quyết định: xếp nó lên hay bỏ nó đi. Không có chuyện chọn vị trí, vì khối nào cũng lên đỉnh, nhưng trò chơi báo trước khối ấy có đứng vững hay không, nêu rõ bang đang ở đỉnh và bang vừa giành được có giáp nó hay không. Việc tách riêng khâu giành khối và khâu đặt khối tạo ra một tầng chiến thuật: một khối sẽ lung lay thì có thể vứt đi thay vì xếp lên, và nên vứt đi, bởi xếp nó lên sẽ làm sập cả tòa tháp. ²

Luật vững chãi như một phép kiểm tra kề nhau

Luật vững chãi là chi tiết thiết kế phân biệt trò xếp khối này với những trò khác. Trong một trò xếp khối thông thường, sự vững chãi là chuyện vật lý: liệu mặt đáy của khối có tựa an toàn lên khối bên dưới hay không. Trò chơi này hoàn toàn không có vật lý. Sự vững chãi do địa lý quyết định trọn vẹn: một khối chỉ đứng vững nếu, theo bộ dữ liệu của trò chơi, nó là láng giềng thật sự của khối bên dưới. Điều đó biến tòa tháp từ một kết cấu vật lý thành một kết cấu tôpô, nơi các mối nối biểu thị quan hệ kề nhau ngoài đời thực. ²

Phép kiểm tra kề nhau hiện thực hóa ràng buộc ấy. Nó nhận hai bang và xét xem mỗi bang có liệt kê bang kia trong danh sách láng giềng của mình hay không. Đây là điều kiện chặt hơn việc chỉ đơn thuần chung một đường biên theo nghĩa trừu tượng nào đó: quan hệ ấy phải được ghi nhận rành mạch trong bộ dữ liệu. Chẳng hạn, hai bang nhìn nhau qua các hồ Lớn không được coi là kề nhau, bởi bộ dữ liệu chỉ ghi biên giới trên bộ. Alaska và Hawaii, vốn không có láng giềng trên bộ nào, sẽ không bao giờ tạo được một mối nối vững, nên trò chơi không bao giờ hỏi về chúng; tên và mẩu thông tin của chúng thì vẫn có thể xuất hiện trong số các đáp án sai. Những lựa chọn thiết kế ấy phản ánh một quyết định có chủ ý: đặt tính kề nhau trên một định nghĩa cụ thể thay vì chỉ dựa vào trực giác địa lý. ²

Tính đối xứng của quan hệ này là điều thiết yếu cho sự nhất quán. Nếu bang A có thể đỡ bang B thì bang B cũng đỡ được bang A y như vậy. Một mối nối hoặc hợp lệ hoặc không, dựa trên các danh sách láng giềng cố định, bất kể bang nào tình cờ đến trước. Tính chất này đơn giản hóa suy nghĩ của người chơi: bất kể bang nào đang ở đỉnh, mọi láng giềng của nó đều có thể tựa lên nó, và câu hỏi duy nhất là khối vừa giành được có nằm trong số đó hay không. ²

Một khối xếp lên bang không phải láng giềng sẽ làm đổ tháp và kết thúc ván chơi ngay tại chỗ.

Chiều cao mục tiêu và chiều cao chắc chắn

Điều kiện thắng được xác định bởi hai con số có liên hệ với nhau: chiều cao mục tiêu và chiều cao chắc chắn. Cỗ máy nhận chiều cao mục tiêu như một tham số, còn trò chơi thì luôn truyền vào giá trị mặc định của nó là tám; đó là số khối vững mà tòa tháp phải giữ được, tính cả phần móng, nên tám nghĩa là phần móng cộng bảy khối đặt lên các bang láng giềng. Chiều cao chắc chắn đếm các khối vững tính từ móng lên, và vì chỉ một lần đặt khối không vững là ván chơi kết thúc ngay tại chỗ, mọi khối trong một tòa tháp còn đứng đều là khối vững: chiều cao chắc chắn đơn giản là chiều cao của tòa tháp. Mỗi lần đặt khối vững nâng nó lên thêm một. Khi một lần đặt khối không vững, khối lung lay và tòa tháp đổ. ²

Sự phân biệt giữa khối chắc chắn và khối không chắc chắn tạo ra rủi ro thật sự. Vì không gì xếp bên trên một khối lung lay có thể được tính vào chiều cao chắc chắn, trò chơi không bắt người chơi chơi tiếp: chỉ một lần đặt khối không vững là ván chơi kết thúc ngay lập tức với phần thua, dưới dòng chữ “Tower Toppled!” (Tháp đổ rồi!), nêu tên bang đã không giáp với khối bên dưới. Số điểm đã ghi được vẫn được giữ. Vì thế trò chơi mới có nút bỏ khối và cảnh báo trước mỗi lần đặt rằng khối ấy có lung lay hay không; lời cảnh báo nói thẳng rằng một khối lung lay sẽ làm đổ tháp và kết thúc ván chơi. Căng thẳng đến từ chỗ giành được một khối không bảo đảm có tiến triển: chỉ những lần đặt vững trên một tòa tháp liền mạch mới đưa người chơi tiến gần mục tiêu. ²

Một ván có hai mươi tư câu hỏi, nên đạt mục tiêu tám khối nghĩa là phải biến đúng một phần ba số câu ấy thành khối vững. Trả lời sai không làm hỏng tháp, nhưng nó tiêu mất một cơ hội, và vì các câu hỏi được nối từ láng giềng này sang láng giềng khác, một bang bị bỏ lỡ có thể khiến bang kế tiếp không còn biên giới chung với bang đang ở đỉnh. Mỗi câu trả lời đúng đáng 10 điểm, mỗi lần đặt khối vững thêm 15 điểm, và đạt mục tiêu thì cộng thêm 100 điểm thưởng và kết thúc ván ngay. Nếu hết câu hỏi trước, tòa tháp đã “topped out” (xây hết mức có thể) mà chưa chạm vạch; nếu một khối lung lay bị xếp lên trước đó, tháp đã đổ. ²

Sinh câu hỏi từ hạt giống

Mọi bộ câu hỏi đều được sinh ra từ một bộ sinh số ngẫu nhiên có gieo hạt giống. Với cùng một hạt giống, cỗ máy tạo ra đúng chuỗi câu hỏi ấy, theo cùng thứ tự, với cùng các lựa chọn đáp án ở cùng vị trí. Tính tất định này phục vụ nhiều mục đích. Nó cho phép chia sẻ trải nghiệm: chế độ Hàng ngày lấy hạt giống từ ngày tháng, nên mọi người chơi trong ngày hôm đó đều gặp cùng những câu hỏi và có thể so sánh kết quả, trong khi chế độ Luyện tập rút một hạt giống ngẫu nhiên mới cho mỗi ván. Nó cũng khiến trò chơi kiểm thử được, vì bất kỳ ván nào cũng tái lập chính xác từ hạt giống của nó. Cuối cùng, nó khiến hành vi của trò chơi có thể dự đoán được khi phân tích, vì toàn bộ chuỗi câu hỏi là một hàm của hạt giống. ²

Hạt giống quyết định những bang nào xuất hiện và theo thứ tự nào, nhưng thứ tự ấy không tùy tiện. Cỗ máy dựng nó thành một chuỗi mắt xích: nó bắt đầu từ một bang ngẫu nhiên, và mỗi đối tượng kế tiếp, khi có thể, là một láng giềng chưa dùng của bang trước đó; chỉ khi đi vào ngõ cụt nó mới nhảy sang một bang chưa dùng nào khác. Chính cách nối chuỗi ấy cho người chơi cơ hội công bằng để dựng một tòa tháp liền mạch: trả lời đúng một loạt câu hỏi thì những bang giành được thường giáp nhau. Người chơi không thể điều khiển bang nào đến tiếp theo, nên chiến lược nằm ở chỗ trả lời cho tốt và quyết định, từng khối một, nên xếp lên hay bỏ đi. Hạt giống quyết định nhịp điệu của ván chơi, còn người chơi quyết định mình theo nhịp điệu ấy tốt đến đâu. ²

Bộ sinh số ngẫu nhiên có gieo hạt giống bảo đảm rằng cùng một hạt giống luôn tạo ra cùng một ván chơi.

Tính kề nhau như một khái niệm của lý thuyết đồ thị

Luật vững chãi bắt rễ trong lý thuyết đồ thị, ngành nghiên cứu đồ thị như những cấu trúc toán học dùng để mô hình hóa quan hệ từng cặp giữa các đối tượng. ¹ Trong khuôn khổ đó, các bang là đỉnh, còn biên giới chung trên bộ là cạnh. Hai bang kề nhau khi và chỉ khi chúng được nối bởi một cạnh. Danh sách láng giềng của mỗi bang chính là tập các đỉnh kề với nó, và phép kiểm tra kề nhau hỏi xem giữa hai đỉnh cho trước có tồn tại một cạnh hay không. Tòa tháp, khi vững hoàn toàn, biểu diễn một đường đi trong đồ thị này: một dãy cạnh nối một dãy đỉnh đôi một khác nhau, khác nhau ở đây vì không bang nào bị hỏi hai lần trong một ván. ³

Cách diễn giải theo lý thuyết đồ thị này làm rõ vì sao có những bang khó xây lên hơn những bang khác. Alaska và Hawaii hoàn toàn không có cạnh nào trong đồ thị, và đó là lý do trò chơi không bao giờ hỏi về chúng. Trong bốn mươi tám bang liền kề nhau, số cạnh chênh lệch rất lớn: Maine chỉ giáp New Hampshire, trong khi Missouri và Tennessee mỗi bang giáp tới tám bang. Một bang nhiều kết nối nằm ở đỉnh tháp cho nhiều bang giành được có chỗ đáp xuống; một bang ít kết nối, như Maine, thì gần như chẳng chừa chỗ nào. Tính liên thông của đồ thị định hình độ khó của nhiệm vụ xếp khối. ²

Một đường đi trong đồ thị là một dãy cạnh nối một dãy đỉnh. ³ Tòa tháp, khi được dựng vững, là hiện thân vật chất của một đường đi như thế. Mỗi khối vững kéo dài đường đi thêm một đỉnh, nối với đỉnh trước bằng một cạnh. Chiều cao mục tiêu bằng tám nghĩa là người chơi phải tìm ra một đường đi qua tám đỉnh, dài bảy cạnh. Cái khó là đường đi ấy phải được dựng dần từng bước, mỗi đỉnh mới phải giành được qua câu hỏi đố kiến thức trước khi có thể thêm vào tháp. ²

Sự tổng hợp trong thiết kế

Thiết kế của cỗ máy tổng hợp đố kiến thức, tính kề nhau và xếp khối thành một vòng lặp mạch lạc duy nhất. Các câu hỏi đố rút từ bộ dữ liệu các bang của trò chơi, kiểm tra hiểu biết về thủ phủ, vùng, thông tin và láng giềng. Phép kiểm tra kề nhau phản chiếu lý thuyết đồ thị, coi các bang là đỉnh và biên giới trên bộ là cạnh. Cơ chế xếp khối mang lại một ẩn dụ vật chất cho việc dựng một đường đi xuyên đồ thị. Mỗi yếu tố củng cố những yếu tố còn lại: đố kiến thức giành khối, tính kề nhau quyết định sự vững chãi, còn xếp khối thì xây dần tới mục tiêu. ²

Sự tổng hợp ấy tạo ra một trải nghiệm chơi độc đáo. Người chơi phải nghĩ đồng thời về kiến thức và về địa lý. Một câu trả lời đúng giành được một khối, nhưng khối đó còn tệ hơn vô dụng nếu nó không giáp bang đang ở đỉnh tháp: xếp nó lên là kết thúc ván chơi. Đỉnh tháp có thể là một bang nhiều kết nối, vậy mà người chơi lại chưa giành được láng giềng nào của nó. Sự giằng co giữa những ràng buộc này tạo nên chiều sâu chiến lược, khi người chơi phải cân nhắc từng khối giành được với bang đang ở đỉnh. ²

Kết quả là một trò chơi vừa đơn giản vừa phức tạp. Luật thì dễ nói: trả lời câu đố, giành khối, xếp lên láng giềng, chạm mục tiêu. Nhưng thực hiện thì đòi hỏi liên tục đánh giá bang đang ở đỉnh, các láng giềng của nó, và khối vừa giành được. Ràng buộc kề nhau biến một nhiệm vụ xếp khối lẽ ra tầm thường thành bài kiểm tra cấu trúc của tấm bản đồ, nơi mỗi lần đặt khối đều phải tôn trọng địa lý có thật mà bộ dữ liệu mã hóa. ²

Notes

"Graph theory," Wikipedia: the study of graphs, which are mathematical structures used to model pairwise relations between objects. A graph is made up of vertices (also called nodes or points) which are connected by edges (also called arcs, links, or lines). The article's account of the four color problem treats a map the same way, asking about regions that have a common border. en.wikipedia.org/wiki/Graph_theory.
State Stacker game engine and interface: a pure, deterministic trivia-and-stacking game over the 50 US states. Its dataset gives each state a name, a two-letter postal abbreviation, a capital, a Census region (Northeast, Midwest, South, or West), a list of the states it shares a land border with (land borders only; Alaska and Hawaii have none), and a short fact. A round has 24 four-choice questions, one per state, rotating through capital, region, fact, and neighbour kinds; Alaska and Hawaii are never question subjects, though their names and facts can appear among the wrong choices, and the subject order is chained so that each state borders the previous one where possible. A correct answer earns that state as a block (10 points), which the player stacks on top of the tower or discards. A block is stable if the tower is empty or if it and the block directly beneath it each list the other as a land neighbour (a symmetric relation); a stable placement scores 15. The secure height counts stable blocks from the bottom up to the first unstable one, and stacking an unstable block topples the tower, ending the round at once as a loss with the points scored so far kept; reaching the goal height (8 by default) wins and adds 100 points. Questions come from a seeded random number generator, seeded from the date in Daily mode and at random in Practice mode. Read from the game's own source.
"Path (graph theory)," Wikipedia: a path in a graph is a finite or infinite sequence of edges which joins a sequence of vertices which, by most definitions, are all distinct. en.wikipedia.org/wiki/Path_(graph_theory).
Further reading on Graph theory, Relativistic quantum fields : Bjorken, James D : Free Download, Borrow, and Streaming : Internet Archive. archive.org.
Further reading on Graph theory, [cond-mat/0602129] Introduction to graphs. arxiv.org.
Further reading on Graph theory, “Small World” architecture in brain connectivity and hippocampal volume in Alzheimer’s disease: a study via graph theory. doi.org.