Câu đố này còn trẻ hơn cả iPhone. Ý tưởng mà nó khai thác, rằng hai dấu hiệu có thể mang theo mọi thứ nếu bạn ràng buộc chúng thật khéo, thì đã có từ ba thế kỷ trước, và vẫn đang chạy bên trong chiếc máy mà bạn đang dùng để đọc bài này.
Đượ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 →
Binairo là một câu đố trẻ. Nó được tạo ra bởi hai người Bỉ Peter De Schepper và Frank Coussement vào năm 2009, gần như cùng lúc với việc người Ý Adolfo Zanellati nghĩ ra một trò chơi gần như giống hệt mà ông gọi là Tohu wa Vohu. 1 Rõ ràng ý tưởng này đã chín muồi: một lưới ô, hai ký hiệu và một bộ nhỏ các quy tắc về cân bằng và liền kề. Nó xuất hiện độc lập ở hai quốc gia cùng một lúc.
Hệ quả là một câu đố đáp lại cả một đám đông nhỏ các tên gọi. Tùy vào tờ báo hay ứng dụng nơi bạn gặp nó, cùng một trò chơi được gọi là Takuzu, Binero, Binoxxo, Tic-Tac-Logic, Binary Puzzles hay Sudoku Binary, cùng nhiều tên khác; “Binairo” và “Takuzu” là nhãn hiệu đã đăng ký tại Liên minh châu Âu. 1 Dưới mọi cái tên, luật chơi đều là những luật mà engine này áp dụng: các hàng cân bằng, không có chuỗi ba ký hiệu giống nhau liên tiếp, và không có hai hàng nào giống nhau. 2
Tổ tiên thực sự của câu đố này chính là hệ nhị phân. Năm 1703, Gottfried Wilhelm Leibniz viết Explication de l'Arithmétique Binaire, “Giải thích về số học nhị phân, vốn chỉ dùng các ký tự 1 và 0”, hệ thống hóa quan niệm rằng mọi đại lượng, và rốt cuộc là mọi thông điệp, đều có thể được viết chỉ bằng hai dấu hiệu. 3 Leibniz say mê đến mức viết đầy hơn một trăm bản thảo về chủ đề này, phần lớn chưa bao giờ được công bố. 3
Ba thế kỷ sau, bảng chữ cái hai ký hiệu ấy là nền tảng của mọi thứ kỹ thuật số, và một lưới Binairo là một mỏm nhỏ, có thể giải bằng tay, nhô ra từ nền tảng đó. Mỗi ô đúng nghĩa đen là một bit; một bảng 10×10 đã hoàn thành là một mẫu một trăm bit tình cờ thỏa mãn một số ràng buộc rất đặc thù. Trò chơi này, một cách lặng lẽ, là một câu đố về số học của hai ký hiệu, chính thứ số học mà Leibniz đã trình bày.
Hãy nhìn một bảng Binairo đã giải và nó trông như một mớ nhiễu rời rạc. Nó hoàn toàn không phải thế. Hai trong số các quy tắc của nó, giữ mỗi hàng cân bằng và không bao giờ để một ký hiệu xuất hiện ba lần liên tiếp, chính xác là những tính chất mà người ta lầm tưởng sự ngẫu nhiên thực sự phải có. Khi được yêu cầu bịa ra một chuỗi tung đồng xu, phần lớn chúng ta theo bản năng giữ số mặt ngửa và mặt sấp gần bằng nhau trong mọi đoạn ngắn và né tránh các chuỗi liên tiếp, vì một chuỗi liên tiếp có cảm giác “không ngẫu nhiên”. 4
Nhưng đồng xu thật không hành xử như vậy. Sự ngẫu nhiên thực sự luôn tạo ra các chuỗi liên tiếp và những mất cân bằng cục bộ; niềm tin rằng nó phải tự điều chỉnh chính là ngụy biện con bạc đã được ghi nhận rõ, bắt nguồn từ thói quen kỳ vọng các mẫu ngắn phản ánh giá trị trung bình dài hạn. 4 Binairo lấy trực giác sai lầm đó và biến nó thành luật. Các bảng của nó hoàn toàn không ngẫu nhiên, chúng là một sự bắt chước được thiết kế cẩn thận của thứ hỗn loạn mà ta tưởng tượng, gọn gàng hơn mức mà sự tình cờ có thể tạo ra.
Một lưới Binairo là sự hỗn loạn có sách luật, thứ ngẫu nhiên gọn gàng, không có chuỗi liên tiếp, cân bằng hoàn hảo mà trực giác con người mong muốn, và là thứ mà sự tình cờ thực sự không bao giờ mang lại.
Đây là khúc ngoặt khép lại vòng tròn. Hai ràng buộc “ngẫu nhiên giả tạo” ấy không chỉ là một đặc điểm kỳ quặc của nhận thức: các kỹ sư cố ý áp đặt chúng lên những dòng bit thật, vì những lý do vật lý nghiêm ngặt. Khi dữ liệu được truyền qua dây dẫn hoặc ghi lên đĩa, một chuỗi dài các bit giống nhau là nguy hiểm: bộ thu có thể mất đồng bộ xung nhịp, và điện áp trung bình của tín hiệu có thể bị trôi. Vì vậy, các mã truyền dẫn được xây dựng để cấm đúng những gì Binairo cấm.
Ví dụ kinh điển là mã hóa 8b/10b, được Al Widmer và Peter Franaszek tại IBM mô tả vào năm 1983 và được dùng trong các giao tiếp như Gigabit Ethernet, USB 3.0 và các thế hệ đầu của PCI Express. Nó bảo đảm rằng “không có quá năm số một hoặc năm số không liên tiếp”, một giới hạn độ dài chuỗi, và, thông qua một phép đếm lũy tiến gọi là độ chênh (disparity), giữ cho số lượng số một và số không gần bằng nhau, sao cho “hiệu giữa số lượng số một và số không trong một chuỗi dài ít nhất 20 bit không vượt quá hai.” 5 Một giới hạn độ dài chuỗi và một quy tắc cân bằng: hai ràng buộc mà kỹ sư đặt lên một dòng bit lành mạnh, về tinh thần, chính là hai ràng buộc mà một bảng Binairo đặt lên các hàng và cột của nó.
Vậy là câu đố logic khiêm tốn này nằm ở một ngã tư bất ngờ. Bảng chữ cái của nó là của Leibniz, kết cấu của nó là thứ giả ngẫu nhiên gọn gàng mà tâm trí ta khao khát, và luật chơi của nó chính là những luật giữ cho dữ liệu thật dễ đọc khi nó lao qua cáp quang và bộ nhớ flash. Khi bạn điền một lưới Binairo, cân bằng từng hàng, từ chối mọi ký hiệu thứ ba liên tiếp, bạn đang, ở quy mô thu nhỏ, làm công việc mà một con chip mã hóa đường truyền làm tới hàng trăm triệu lần mỗi giây: định hình các bit thô thành một dòng cân bằng, không có chuỗi liên tiếp và không mơ hồ. 2
Đó có thể là lý do thầm lặng khiến câu đố này mang lại sự thỏa mãn. Một bảng đã hoàn thành không chỉ đúng; nó còn chuẩn chỉnh theo cách một tín hiệu sạch là chuẩn chỉnh. Hai ký hiệu, vài ràng buộc, đúng một đáp án, ý tưởng lâu đời nhất của ngành điện toán, được biến thành thứ bạn có thể giải bằng tay bên một tách cà phê.