Teka-teki ini lebih muda daripada iPhone. Gagasan yang dimainkannya, bahwa dua tanda dapat memuat segalanya jika Anda membatasinya dengan baik, sudah berusia tiga abad, dan masih berjalan di dalam mesin yang sedang Anda pakai untuk membaca tulisan ini.
Ditulis dan disunting dalam bahasa Inggris. Versi bahasa Indonesia ini dihasilkan oleh terjemahan mesin; jika ketepatan menjadi penting, naskah asli berbahasa Inggris adalah yang berlaku. Baca naskah asli dalam bahasa Inggris →
Binairo adalah teka-teki yang masih muda. Teka-teki ini diciptakan oleh dua orang Belgia, Peter De Schepper dan Frank Coussement, pada 2009, hampir bersamaan dengan saat orang Italia Adolfo Zanellati merancang permainan yang nyaris identik yang ia namai Tohu wa Vohu. 1 Gagasan itu rupanya sudah matang: sebuah grid, dua simbol, dan seperangkat kecil aturan keseimbangan dan ketetanggaan. Gagasan itu muncul secara terpisah di dua negara sekaligus.
Akibatnya, teka-teki ini dikenal dengan sederet nama. Bergantung pada surat kabar atau aplikasi tempat Anda menjumpainya, permainan yang sama disebut Takuzu, Binero, Binoxxo, Tic-Tac-Logic, Binary Puzzles, atau Sudoku Binary, di antara nama-nama lain; "Binairo" dan "Takuzu" adalah merek dagang terdaftar di Uni Eropa. 1 Dengan nama apa pun, aturannya sama dengan yang diterapkan mesin ini: baris dan kolom yang seimbang, tidak ada deret tiga yang sama, dan tidak ada dua baris atau kolom yang identik. 2
Leluhur sejati teka-teki ini adalah sistem bilangan biner itu sendiri. Pada 1703, Gottfried Wilhelm Leibniz menulis Explication de l'Arithmétique Binaire, "Penjelasan tentang Aritmetika Biner, yang hanya menggunakan karakter 1 dan 0", yang merumuskan gagasan bahwa kuantitas apa pun, dan pada akhirnya pesan apa pun, dapat dituliskan hanya dengan dua tanda. 3 Leibniz begitu terpikat hingga mengisi lebih dari seratus naskah tentang topik ini, yang sebagian besar tidak pernah diterbitkan. 3
Tiga abad kemudian, alfabet dua simbol itu menjadi landasan segala hal yang digital, dan grid Binairo adalah singkapan kecilnya yang dapat dipecahkan dengan tangan. Setiap sel secara harfiah adalah satu bit; papan 10×10 yang selesai adalah pola seratus bit yang kebetulan memenuhi beberapa batasan yang sangat khusus. Diam-diam, permainan ini adalah teka-teki tentang aritmetika dua simbol, aritmetika yang sama yang dijabarkan Leibniz.
Lihatlah papan Binairo yang sudah terpecahkan, dan papan itu terbaca seperti taburan derau. Padahal sama sekali tidak. Dua di antara aturannya, jaga agar setiap baris dan kolom seimbang, dan jangan pernah biarkan satu simbol muncul tiga kali berturut-turut, persis merupakan sifat-sifat yang keliru diyakini orang wajib dimiliki keacakan sejati. Ketika diminta memalsukan deret lemparan koin, kebanyakan dari kita secara naluriah menjaga jumlah gambar dan angka hampir sama di setiap potongan pendek dan menghindari deret beruntun, karena deret beruntun terasa "tidak acak." 4
Namun koin sungguhan tidak berperilaku seperti itu. Keacakan sejati terus-menerus menghasilkan deret beruntun dan ketidakseimbangan setempat; keyakinan bahwa keacakan harus mengoreksi dirinya sendiri adalah kekeliruan penjudi (gambler's fallacy) yang terdokumentasi dengan baik, yang berakar pada kebiasaan kita mengharapkan sampel pendek mencerminkan rata-rata jangka panjang. 4 Binairo mengambil intuisi yang keliru itu dan menjadikannya hukum. Papan-papannya sama sekali tidak acak; papan-papan itu adalah tiruan yang direkayasa dengan cermat dari kekacauan yang kita bayangkan, lebih rapi daripada yang pernah dihasilkan kebetulan.
Grid Binairo adalah kekacauan yang punya buku aturan: keacakan yang rapi, bebas deret beruntun, dan seimbang sempurna yang diinginkan intuisi manusia, dan yang tidak pernah diberikan oleh kebetulan sungguhan.
Inilah kejutan yang menutup lingkarannya. Dua batasan "keacakan palsu" itu bukan sekadar keanehan kognitif; para insinyur sengaja menerapkannya pada aliran bit sungguhan, karena alasan fisik yang nyata. Ketika data dikirim melalui kabel atau ditulis ke disk, deret panjang bit yang identik berbahaya: penerima bisa kehilangan jejak detak jam (clock), dan tegangan rata-rata sinyal bisa bergeser. Karena itu, kode transmisi dirancang untuk melarang persis apa yang dilarang Binairo.
Contoh klasiknya adalah pengodean 8b/10b, yang dijabarkan pada 1983 oleh Al Widmer dan Peter Franaszek di IBM dan digunakan pada antarmuka seperti Gigabit Ethernet, USB 3.0, dan generasi awal PCI Express. Pengodean ini menjamin bahwa "tidak ada lebih dari lima angka satu atau nol berturut-turut", sebuah batas panjang deret, dan, melalui penghitungan berjalan yang disebut disparitas, menjaga jumlah angka satu dan nol hampir sama, sehingga "selisih antara jumlah angka satu dan nol dalam untaian sedikitnya 20 bit tidak lebih dari dua." 5 Batas panjang deret dan aturan keseimbangan: dua batasan yang diterapkan seorang insinyur pada aliran bit yang sehat, secara esensial, adalah dua batasan yang diterapkan papan Binairo pada baris dan kolomnya.
Jadi, teka-teki logika yang sederhana ini berada di persimpangan yang mengejutkan. Alfabetnya milik Leibniz, teksturnya adalah keacakan semu yang rapi yang didambakan pikiran kita, dan aturannya adalah aturan yang sama yang menjaga data sungguhan tetap terbaca saat melaju melalui serat optik dan memori flash. Ketika Anda mengisi grid Binairo, menyeimbangkan setiap baris dan kolom, menolak setiap simbol ketiga yang berturut-turut, Anda sebenarnya, dalam skala kecil, melakukan pekerjaan yang dilakukan cip pengodean jalur hingga ratusan juta kali per detik: membentuk bit mentah menjadi aliran yang seimbang, bebas deret beruntun, dan tidak ambigu. 2
Mungkin itulah alasan diam-diam mengapa teka-teki ini memuaskan. Papan yang selesai bukan sekadar benar; papan itu tersusun dengan baik, sebagaimana sinyal yang bersih tersusun dengan baik. Dua simbol, beberapa batasan, tepat satu jawaban: gagasan tertua dalam komputasi, diubah menjadi sesuatu yang bisa Anda pecahkan dengan tangan sambil menikmati secangkir kopi.