این معما از آیفون جوانتر است. اندیشهای که با آن بازی میکند، اینکه دو نشانه میتوانند همهچیز را حمل کنند، به شرط آنکه بهخوبی مقیدشان کنید، سه قرن قدمت دارد، و هنوز درون دستگاهی که این متن را روی آن میخوانید کار میکند.
به انگلیسی نوشته و ویرایش شده است. این نسخهٔ فارسی با ترجمهٔ ماشینی تهیه شده است؛ هر جا دقت اهمیت دارد، متن اصلی انگلیسی معتبر است. خواندن متن اصلی به انگلیسی ←
Binairo معمایی جوان است. آن را دو بلژیکی، پیتر دِ اسخپر و فرانک کوسمان، در 2009 ساختند، تقریباً در همان لحظهای که آدولفو زانلاتیِ ایتالیایی بازیای تقریباً یکسان ابداع کرد و آن را Tohu wa Vohu نامید. 1 پیدا بود که زمانِ این اندیشه فرا رسیده بود: یک شبکه، دو نماد، و مجموعهای کوچک از قواعد توازن و مجاورت. این اندیشه بهطور مستقل و همزمان در دو کشور پدید آمد.
نتیجه معمایی است که به گروه کوچکی از نامها پاسخ میدهد. بسته به روزنامه یا اپلیکیشنی که در آن با آن روبهرو میشوید، همین بازی Takuzu، Binero، Binoxxo، Tic-Tac-Logic، Binary Puzzles یا Sudoku Binary، و نامهای دیگر خوانده میشود؛ «Binairo» و «Takuzu» در اتحادیهٔ اروپا علامت تجاری ثبتشدهاند. 1 زیر هر نامی، قواعد همانهایی هستند که این موتور اعمال میکند: خطوط متوازن، هیچ رشتهٔ سهتایی پیاپی، و هیچ دو خط یکسان. 2
نیای واقعی این معما خودِ دستگاه اعداد دودویی است. در 1703، گوتفرید ویلهلم لایبنیتس Explication de l'Arithmétique Binaire («شرح حساب دودویی، که تنها از نویسههای 1 و 0 استفاده میکند») را نوشت و این مفهوم را صورتبندی کرد که هر کمیتی، و سرانجام هر پیامی، را میتوان تنها با دو نشانه نوشت. 3 شیفتگی لایبنیتس به این موضوع چنان بود که بیش از صد دستنوشته دربارهٔ آن پر کرد که بیشترشان هرگز منتشر نشدند. 3
سه قرن بعد، آن الفبای دونمادی بستر همهٔ چیزهای دیجیتال است، و یک شبکهٔ Binairo رخنمونی کوچک از آن است که با دست حلشدنی است. هر خانه به معنای واقعی کلمه یک بیت است؛ یک تختهٔ کامل 10×10 الگویی صدبیتی است که اتفاقاً قیدهایی بسیار خاص را برمیآورد. این بازی، بیسروصدا، معمایی است دربارهٔ حسابِ دو نماد، همان حسابی که لایبنیتس شرح داد.
به یک تختهٔ حلشدهٔ Binairo نگاه کنید؛ همچون پراکندهای از نویز به چشم میآید. اما به هیچ روی چنین نیست. دو تا از قواعدش، یعنی متوازن نگاه داشتن هر خط، و هرگز نگذاشتن که نمادی سه بار پشت سر هم بیاید، دقیقاً همان ویژگیهایی هستند که مردم بهاشتباه گمان میکنند تصادفیبودنِ راستین باید داشته باشد. وقتی از بیشتر ما خواسته شود دنبالهای ساختگی از پرتاب سکه بسازیم، بهطور غریزی شیر و خط را در هر پارهٔ کوتاه نزدیک به برابر نگاه میداریم و از رشتههای پیاپی دوری میکنیم، چون یک رشتهٔ پیاپی «غیرتصادفی» به نظر میرسد. 4
اما سکههای واقعی چنین رفتار نمیکنند. تصادفیبودنِ راستین همواره رشتههای پیاپی و ناترازیهای موضعی پدید میآورد؛ این باور که تصادف باید خودش را اصلاح کند، همان «مغالطهٔ قمارباز» است که بهخوبی مستند شده، و ریشه در عادت ما دارد که انتظار داریم نمونههای کوتاه بازتاب میانگین درازمدت باشند. 4 Binairo آن شهود نادرست را برمیگیرد و آن را قانون میکند. تختههایش به هیچ روی تصادفی نیستند؛ آنها تقلیدی با دقت مهندسیشده از بینظمیای هستند که در خیال داریم، مرتبتر از آنچه بخت هرگز باشد.
شبکهٔ Binairo بینظمیای است با کتابچهٔ قواعد: همان تصادفیبودنِ مرتب، بیرشتهٔ پیاپی و کاملاً متوازنی که شهود انسان میخواهد، و بختِ واقعی هرگز به دست نمیدهد.
این همان پیچشی است که حلقه را میبندد. آن دو قیدِ «تصادفیبودن ساختگی» صرفاً یک غرابت شناختی نیستند؛ مهندسان آگاهانه آنها را، به دلایل فیزیکی جدی، بر جریانهای واقعی بیتها تحمیل میکنند. وقتی داده از طریق سیم فرستاده یا روی دیسک نوشته میشود، رشتهای طولانی از بیتهای یکسان خطرناک است: گیرنده ممکن است ردِ ساعت را گم کند، و ولتاژ میانگین سیگنال ممکن است جابهجا شود. از این رو کدهای انتقال طوری ساخته میشوند که دقیقاً همان چیزی را ممنوع کنند که Binairo ممنوع میکند.
نمونهٔ کلاسیک، کدگذاری 8b/10b است که آل ویدمر و پیتر فراناشک در IBM در 1983 شرح دادند و در رابطهایی چون Gigabit Ethernet، USB 3.0 و نسلهای نخستین PCI Express به کار رفته است. این کدگذاری تضمین میکند که «بیش از پنج یک یا صفر پشت سر هم وجود ندارد»، یعنی محدودیتی بر طول رشته، و از راه شمارشی جاری به نام ناهمسانی (disparity)، شمار یکها و صفرها را تقریباً برابر نگاه میدارد، بهطوری که «تفاوت میان شمار یکها و صفرها در رشتهای دستکم 20 بیتی بیش از دو نیست.» 5 یک محدودیت طول رشته و یک قاعدهٔ توازن: دو قیدی که مهندس بر جریان بیتیِ سالم میگذارد، در جوهر، همان دو قیدی هستند که تختهٔ Binairo بر ردیفها و ستونهایش میگذارد.
پس این معمای منطقیِ فروتن بر سر چهارراهی شگفتانگیز ایستاده است. الفبایش از آنِ لایبنیتس است، بافتش همان شبهتصادفیبودنِ مرتبی است که ذهن ما آرزویش را دارد، و قواعدش همانهایی هستند که دادهٔ واقعی را هنگام شتاب از میان فیبر و حافظهٔ فلش خوانا نگاه میدارند. وقتی یک شبکهٔ Binairo را پر میکنید، هر خط را متوازن میکنید و هر سومیِ پیاپی را رد میکنید، در مقیاسی کوچک همان کاری را انجام میدهید که یک تراشهٔ کدگذاری خط تا صدها میلیون بار در ثانیه انجام میدهد: شکل دادن بیتهای خام به جریانی متوازن، بیرشتهٔ پیاپی و بیابهام. 2
شاید همین دلیلِ بیصدای رضایتبخش بودن این معما باشد. یک تختهٔ کامل فقط درست نیست؛ خوشساخت است، به همان شیوهای که یک سیگنال پاکیزه خوشساخت است. دو نماد، چند قید، دقیقاً یک پاسخ: کهنترین اندیشهٔ علم رایانه، تبدیلشده به چیزی که میتوانید با دست، سرِ یک فنجان قهوه، حلش کنید.