یہ پہیلی iPhone سے بھی کم عمر ہے۔ جس خیال سے یہ کھیلتی ہے، یعنی یہ کہ دو نشان سب کچھ اٹھا سکتے ہیں اگر آپ ان پر اچھی پابندیاں لگائیں، وہ تین صدیاں پرانا ہے، اور آج بھی اس مشین کے اندر چل رہا ہے جس پر آپ یہ پڑھ رہے ہیں۔
انگریزی میں لکھا اور ترمیم کیا گیا۔ یہ اردو نسخہ مشینی ترجمے سے تیار کیا گیا ہے؛ جہاں درستی اہم ہو، وہاں انگریزی اصل ہی مستند ہے۔ اصل انگریزی متن پڑھیں ←
Binairo ایک نوعمر پہیلی ہے۔ اسے بیلجیم کے پیٹر ڈی شیپر (Peter De Schepper) اور فرینک کوسمان (Frank Coussement) نے 2009 میں بنایا، تقریباً عین اسی وقت جب اطالوی ادولفو زانیلاتی (Adolfo Zanellati) نے تقریباً ویسا ہی ایک کھیل وضع کیا جسے اس نے Tohu wa Vohu کا نام دیا۔ 1 ظاہر ہے یہ خیال پک کر تیار ہو چکا تھا: ایک گرڈ، دو علامتیں، اور توازن اور ہمسائیگی کے چند قاعدے۔ یہ ایک ہی وقت میں دو ملکوں میں ایک دوسرے سے آزادانہ طور پر سامنے آیا۔
نتیجہ ایک ایسی پہیلی ہے جو ناموں کے ایک چھوٹے سے ہجوم سے پکاری جاتی ہے۔ آپ اسے جس اخبار یا ایپ میں دیکھیں، اس کے مطابق یہی کھیل Takuzu، Binero، Binoxxo، Tic-Tac-Logic، Binary Puzzles، یا Sudoku Binary وغیرہ کہلاتا ہے؛ "Binairo" اور "Takuzu" یورپی یونین میں رجسٹرڈ ٹریڈ مارک ہیں۔ 1 ہر نام کے تحت قواعد وہی ہیں جو یہ انجن نافذ کرتا ہے: متوازن لکیریں، لگاتار تین کی کوئی دوڑ نہیں، اور کوئی دو لکیریں ایک جیسی نہیں۔ 2
اس پہیلی کا اصل جدِ امجد خود بائنری عددی نظام ہے۔ 1703 میں گوٹفریڈ ولہیلم لائبنِز (Gottfried Wilhelm Leibniz) نے Explication de l'Arithmétique Binaire لکھی، یعنی "بائنری حساب کی وضاحت، جو صرف 1 اور 0 کے حروف استعمال کرتا ہے"، اور اس تصور کو باقاعدہ شکل دی کہ کوئی بھی مقدار، اور آگے چل کر کوئی بھی پیغام، صرف دو نشانوں سے لکھا جا سکتا ہے۔ 3 لائبنِز اس موضوع پر اتنا فریفتہ تھا کہ اس نے اس پر سو سے زیادہ مسودے لکھ ڈالے، جن میں سے زیادہ تر کبھی شائع نہیں ہوئے۔ 3
تین صدیاں بعد، دو علامتوں والے یہ حروفِ تہجی ہر ڈیجیٹل چیز کی بنیاد ہیں، اور Binairo کا گرڈ اسی کا ایک چھوٹا سا، ہاتھ سے حل ہو سکنے والا ابھار ہے۔ ہر خانہ لفظی معنوں میں ایک بِٹ ہے؛ ایک مکمل 10×10 بساط سو بِٹ کا ایک نمونہ ہے جو اتفاق سے کچھ بہت خاص پابندیوں پر پورا اترتا ہے۔ یہ کھیل خاموشی سے دو علامتوں کے حساب کے بارے میں ایک پہیلی ہے، وہی حساب جو لائبنِز نے پیش کیا تھا۔
کسی حل شدہ Binairo بساط کو دیکھیے تو وہ بکھرا ہوا شور سا لگتی ہے۔ وہ ایسی بالکل نہیں ہے۔ اس کے قواعد میں سے دو، یعنی ہر لکیر متوازن رکھو، اور کسی علامت کو کبھی لگاتار تین بار نہ آنے دو، ٹھیک وہی خصوصیات ہیں جن کے بارے میں لوگ غلطی سے سمجھتے ہیں کہ حقیقی بے ترتیبی میں ہونی چاہییں۔ جب ہم سے سکہ اچھالنے کی ایک نقلی ترتیب گھڑنے کو کہا جائے تو ہم میں سے اکثر بے ساختہ ہر چھوٹے حصے میں چِت اور پَٹ کو تقریباً برابر رکھتے ہیں اور لگاتار ایک جیسے نتیجوں سے کتراتے ہیں، کیونکہ ایسا سلسلہ "غیر بے ترتیب" محسوس ہوتا ہے۔ 4
مگر اصلی سکے ایسا برتاؤ نہیں کرتے۔ حقیقی بے ترتیبی ہر وقت لگاتار سلسلے اور مقامی عدم توازن پیدا کرتی ہے؛ یہ عقیدہ کہ اسے خود اپنی اصلاح کرنی چاہیے، اچھی طرح دستاویزی "جواری کی غلط فہمی" (gambler's fallacy) ہے، جس کی جڑ ہماری اس عادت میں ہے کہ ہم چھوٹے نمونوں سے توقع رکھتے ہیں کہ وہ طویل مدتی اوسط کا عکس ہوں۔ 4 Binairo اسی غلط وجدان کو لے کر قانون بنا دیتا ہے۔ اس کی بساطیں ذرا بھی بے ترتیب نہیں، بلکہ اس بے ترتیبی کی ایک احتیاط سے تیار کی گئی نقل ہیں جس کا ہم تصور کرتے ہیں، اتنی سلیقہ مند جتنا اتفاق کبھی نہیں ہوتا۔
Binairo کا گرڈ قاعدوں کی کتاب والی بے ترتیبی ہے: وہ صاف ستھری، لگاتار سلسلوں سے پاک، مکمل متوازن بے ترتیبی جو انسانی وجدان چاہتا ہے، اور جو حقیقی اتفاق کبھی فراہم نہیں کرتا۔
یہ ہے وہ موڑ جو دائرہ مکمل کرتا ہے۔ "نقلی بے ترتیبی" کی یہ دونوں پابندیاں محض ایک ذہنی عجوبہ نہیں؛ انجینئر ٹھوس طبعی وجوہات کی بنا پر انہیں جان بوجھ کر بِٹس کی حقیقی دھاروں پر عائد کرتے ہیں۔ جب ڈیٹا کسی تار کے ذریعے بھیجا جاتا ہے یا ڈسک پر لکھا جاتا ہے تو ایک جیسے بِٹس کا لمبا سلسلہ خطرناک ہوتا ہے: وصول کنندہ گھڑی (clock) کا سراغ کھو سکتا ہے، اور سگنل کا اوسط وولٹیج سرک سکتا ہے۔ اس لیے ترسیل کے کوڈ اس طرح بنائے جاتے ہیں کہ وہ ٹھیک وہی چیز ممنوع کریں جو Binairo ممنوع کرتا ہے۔
اس کی کلاسیکی مثال 8b/10b انکوڈنگ ہے، جسے 1983 میں IBM میں ال وڈمر (Al Widmer) اور پیٹر فرانازیک (Peter Franaszek) نے بیان کیا، اور جو Gigabit Ethernet، USB 3.0 اور PCI Express کی ابتدائی نسلوں جیسے انٹرفیسز میں استعمال ہوتی ہے۔ یہ ضمانت دیتی ہے کہ "لگاتار پانچ سے زیادہ ایک یا صفر نہیں ہوتے"، یعنی سلسلے کی لمبائی کی ایک حد، اور disparity (عدم مساوات) نامی ایک جاری حساب کے ذریعے ایک اور صفر کی گنتی کو تقریباً برابر رکھتی ہے، یہاں تک کہ "کم از کم 20 بِٹ کی کسی لڑی میں ایک اور صفر کی گنتی کا فرق دو سے زیادہ نہیں ہوتا۔" 5 سلسلے کی لمبائی کی حد اور توازن کا قاعدہ: وہ دو پابندیاں جو ایک انجینئر صحت مند بِٹ اسٹریم پر لگاتا ہے، اپنی روح میں وہی دو پابندیاں ہیں جو Binairo کی بساط اپنی قطاروں اور کالموں پر لگاتی ہے۔
چنانچہ یہ معمولی سی منطقی پہیلی ایک حیران کن چوراہے پر کھڑی ہے۔ اس کے حروفِ تہجی لائبنِز کے ہیں، اس کی بناوٹ وہ صاف ستھری نیم بے ترتیبی (pseudo-randomness) ہے جس کے ہمارے ذہن خواہاں ہیں، اور اس کے قواعد عین وہی ہیں جو حقیقی ڈیٹا کو فائبر اور فلیش میں دوڑتے ہوئے پڑھنے کے قابل رکھتے ہیں۔ جب آپ Binairo کا گرڈ بھرتے ہیں، ہر لکیر کو متوازن کرتے ہوئے، ہر تیسرے لگاتار نشان سے انکار کرتے ہوئے، تو آپ چھوٹے پیمانے پر وہی کام کر رہے ہوتے ہیں جو ایک لائن کوڈنگ چِپ ایک سیکنڈ میں دسیوں کروڑ بار تک کرتی ہے: خام بِٹس کو ایسی دھارا میں ڈھالنا جو متوازن ہو، لگاتار سلسلوں سے پاک ہو، اور غیر مبہم ہو۔ 2
شاید یہی وہ خاموش وجہ ہے کہ یہ پہیلی تسکین دیتی ہے۔ مکمل بساط محض درست نہیں ہوتی؛ وہ اسی طرح خوش ساخت ہوتی ہے جیسے ایک صاف سگنل خوش ساخت ہوتا ہے۔ دو علامتیں، چند پابندیاں، ٹھیک ایک جواب: کمپیوٹنگ کا قدیم ترین خیال، ایک ایسی چیز میں ڈھلا ہوا جسے آپ کافی کے ایک کپ کے ساتھ ہاتھ سے حل کر سکتے ہیں۔