سڈو میں ملٹی ایکسلوشن کو عبور کرنا: پوائنٹنگ پیئر سے ایک ویگ تک

جب آپ سوڈوکو کا پزا حل کرنے کے لیے پہلی بار قلم اٹھاتے ہیں، تو عمل تقریباً جادوی محسوس ہوتا ہے۔ آپ ایک خانے میں کوئی نمبر دیکھتے ہیں، قطار میں آڑی اور کالم میں نیچے غور کرتے ہیں، ناممکن اعداد کو خارج کرتے ہیں، اور اچانک ایک خانہ اپنی پراسرار قدر ظاہر کر دیتا ہے۔ یہ بنیادی اخراج ہے— جسے اکثر "سنگلز" کہا جاتا ہے— اور یہ ہر حل شدہ گرڈ کی بنیاد ہے۔ تاہم، جب آپ آرام دہ کھیل سے مقابلہ کے انداز میں جانے لگتے ہیں، تو آپ جلد ہی دیوار سے ٹکرا جائیں گے۔ آسان امیدوار ختم ہو چکے ہوتے ہیں، لیکن پزا اب بھی سختی سے حل شدہ نہیں ہوتا۔

یہیں ایڈوانسڈ حل کرنے والے مبتدوں سے الگ ہوتے ہیں: وہ واضح طور پر موجود اعداد کی تلاش بند کر دیتے ہیں اور ملٹی ایکزکلوژن (multi-exclusion) کے ذریعے موجود ہونے والے اعداد کا شکار شروع کرتے ہیں۔ ملٹی ایکزکلوژن کوئی واحد تکنیک نہیں بلکہ "لاکڈ کینڈیڈٹس" اور "سسب سیٹ" کے تصورات پر مبنی منطقی استنتاج کا خاندان ہے۔ اس میں متعدد قطاروں، کالموں اور خانوں میں ایک ساتھ امیدواروں کو خارج کرنا شامل ہے جب تک کہ کسی مخصوص علاقے میں صرف ایک ہی امکان باقی نہ رہے۔ اس آرٹیکل میں، ہم پوائنٹنگ پیئرز (Pointing Pairs)، باکس/لائن ریڈکشن، اور نیکنڈ/ہڈن سبس سیٹس جیسی ملٹی ایکزکلوژن تکنیکیوں کو نظام وار طور پر لاگو کرنے کا جائزہ لیں گے۔

بنیاد: سنگل سیل منطق سے آگے بڑھنا

ملٹی ایکزکلوژن کو سمجھنے کے لیے، آپ کو پہلے الگ خانوں کے بجائے گروپس کو دیکھنے کی فناری میں مہارت حاصل کرنی ہوگی۔ مبتدی اکثر پوچھتے ہیں کہ "'5' کہاں جا سکتا ہے؟" اور پوری گرڈ کا اندھا دھند معائنہ کرتے ہیں۔ ایڈوانسڈ حل کرنے والے مخصوص علاقوں پر غور کرتے ہیں اور پوچھتے ہیں: "اس باکس میں، '5' کے لیے کون سے خانے ممکنہ مقامات کی واحد فہرست بناتے ہیں؟"

اگر آپ 3x3 کے باکس کو دیکھیں اور اس بات کا پتہ چلے کہ گرد و نواح کے کالمز میں '7' کی تمام مثالیں ان کالمز میں موجود '7's کی وجہ سے خارج ہو چکی ہیں، تو آپ یہ دریافت کر سکتے ہیں کہ اس باکس میں '7' کے لیے باقی امیدوار ایک ہی افقی بینڈ (horizontal band) میں بانٹے گئے ہیں۔ یہ ملٹی ایکزکلوژن کا پہلا مرحلہ ہے۔ یہ طے کر کے کہ ایک نمبر باکس کے اندر کون سا خانہ ہونا چاہیے، آپ اس قطار یا کالم کے باقی حصے (جو باکس سے باہر ہے) کے بارے میں معلومات حاصل کرتے ہیں۔

سادہ پزیوز پر ان بنیادی اخراجات کی مشق کرنا پیچیدہ گرڈز کے لیے ضروری غریزہ (intuition) کو پروان چڑھاتا ہے۔ اگر آپ کو لگتا ہے کہ آپ کے پیٹرن کو پہچاننے کی صلاحیت زنگ آلود ہو گئی ہے، تو بنیادی سوڈوکو مشقوں کی طرف واپس جانے میں ہمیشہ فائدہ مند رہتا ہے۔ یہ وارم اپز ایڈوانسڈ منطق کے بوجھ کے بغیر بنیادی اسکیننگ کی عادات کو مضبوط بناتے ہیں۔

پوائنٹنگ پیئرز اور ٹرپلز: باکس سے لائن تک ریڈکشن

ملٹی ایکزکلوژن کا سب سے عام روپ وہ ہے جسے ہم "باکس ٹو لائن" ریڈکشن کہتے ہیں۔ یہ تکنیک اس وقت لاگو ہوتی ہے جب 3x3 باکس میں کسی مخصوص نمبر کے امیدوار ایک ہی قطار یا کالم کے ساتھ سیدھے ہوں۔

فرض کریں کہ آپ گرڈ کے مرکزی باکس (Box 5) کو دیکھ رہے ہیں۔ آپ کو ایک '4' رکھنا ہے۔ اس باکس کے خالی خانے جو '4' رکھنے کا امکان رکھتے ہیں، سب ایک ہی افقی بینڈ میں واقع ہیں۔ اہم بات یہ ہے کہ ان دو یا تینوں خانوں کا قطاری انڈیکس (row index) ایک جیسا ہے۔ اب باکس کے باہر دیکھیں۔ چونکہ Box 5 کے لیے '4' ضرور اس خاص افقی حصے میں ہی ہوگا، اس لیے پوری قطار (Box 5 سے باہر) کے کوئی بھی اور خانہ '4' نہیں رکھ سکتا۔ کیوں؟ کیونکہ ہر قطار میں بالکل ایک '4' درکار ہوتا ہے، اور ہم اس قطار کے '4' کی تلاش باکس کے اندر اس کی جگہ بندی کی وجہ سے جزوی طور پر پابند ہے۔

اس سے ایک "پوائنٹنگ پیئر" (اگر دو امیدوار ہوں) یا "پوائنٹنگ ٹرپل" (اگر تین امیدوار ہوں) بنتا ہے۔ منطق بتاتی ہے کہ اگر کسی باکس میں کوئی نمبر ممکنہ ہونے والی تمام جگہیں ایک قطار کے اندر آتی ہیں، تو آپ اس پوری قطار سے اس نمبر کو با اعتمادی کے ساتھ خارج کر سکتے ہیں (جو باکس سے باہر ہو)۔ یہ ملٹی ایکزکلوژن ہے کیونکہ یہ باکس کی پابندی کا استعمال کرتے ہوئے متعدد کالموں سے یکساں طور پر امیدواروں کو خارج کرتا ہے۔

اس کے برعکس، یہ منطق الٹ سمت میں بھی کام کرتی ہے۔ اگر کسی مخصوص قطار میں کسی نمبر کے امیدوار دو مختلف خانوں (مثلاً Row 2 میں ممکنہ '3's صرف Box 1 اور Box 3 میں ہوں) تک محدود ہیں، تو آپ ان خانوں کے باقی حصے سے '3' کو خارج کر سکتے ہیں۔ اسے اکثر "لائن ٹو باکس" ریڈکشن کہا جاتا ہے۔

نیکنڈ سبس سیٹس: پیئرنگ، ٹرپلنگ اور کواڈرپلنگ

جب پوائنٹنگ تکنیکیں ممکنہ مقامات کی جیومیٹری پر انحصار کرتی ہیں، تو نیکنڈ سبس سیٹس امیدواروں کی فہرستوں کے مواد پر انحصار کرتے ہیں۔ ایک "نیکنڈ پیئر" اس وقت پیدا ہوتا ہے جب ایک یونٹ (قطار، کالم، یا باکس) میں دو خانوں میں بالکل ایک ہی دو امیدوار ہوں اور کوئی اور نہ ہو۔

مثال کے طور پر، فرض کریں کہ Cell A2 میں صرف [1, 9] ہے اور Cell E2 میں صرف [1, 9] ہے۔ آپ ابھی تک نہیں جانتے کہ کون سا کون سا ہے۔ تاہم، آپ کو یقین ہے کہ ان میں سے ایک '1' ہے اور دوسرا '9'۔ یہ مؤثر طریقے سے اس کالم کے لیے دونوں نمبروں کا استعمال کر دیتا ہے۔ لہذا، Column 2 کے کسی بھی اور خانے سے اپنی امیدوار فہرستوں میں '1' اور '9' کو با اعتمادی کے ساتھ ہٹا دیا جا سکتا ہے۔ آپ ان نمبروں کو اس وجہ سے خارج کر رہے ہیں نہ کہ کیونکہ وہ کالم میں کہیں اور نظر آتے ہیں، بلکہ کیونکہ وہ اس مخصوص جوڑے میں لاک ہو چکے ہیں۔

یہ منطق ٹرپلز اور کواڈرپلز تک پھیلتی ہے:

• نیکنڈ ٹرپل: ایک یونٹ میں تین خانے تین امیدواروں کے امتزاج رکھتے ہیں (مثلاً [1,2], [2,3], [1,3])۔ یہ تین نمبر ان ہی تین خانوں میں رہیں گے۔ آپ اس یونٹ کے باقی تمام خانوں سے 1، 2، اور 3 کو خارج کر سکتے ہیں۔
• نیکنڈ کواڈ: چار خانے چار مخصوص امیدواروں کو شیئر کرتے ہیں۔ اسی اخراج کی منطق لاگو ہوتی ہے۔

انہیں پہچاننے کی کنجی صرف ایک خانے کو دیکھنے میں نہیں بلکہ مماثل امیدوار گروپس کے لیے پوری قطار یا کالم کا معائنہ کرنے میں ہے۔ اس کے لیے آپ کی گرڈ نوٹیشن کا ڈسیپلینڈ (منضبط) انداز ضروری ہے، تاکہ اخراج کی استنتاجات کرنے سے پہلے ہر ممکنہ امکان کو مد نظر رکھا جا سکے۔

ہڈن سبس سیٹس: بھونڈ میں سوئی تلاش کرنا

نیکنڈ سبس سیٹس کو پہچانا نسبتاً آسان ہے کیونکہ امیدوار فہرستیں ایک جیسی لگتی ہیں۔ ہڈن سبس سیٹس زیادہ مشکل ہیں کیونکہ مقصد نمبر دوسرے خلل انداز (distractors) کے درمیان "چھپے" ہوتے ہیں۔ ایک "ہڈن پیئر" اس وقت موجود ہوتا ہے جب دو امیدوار کسی یونٹ میں صرف دو خانوں میں ظاہر ہوں، لیکن ان دو خانوں میں دیگر نامعتبر امیدوار بھی موجود ہوں۔

فرض کریں کہ Column 5 میں آٹھ خالی خانے ہیں۔ پانچ میں تین امیدوار اور دو خانوں میں چار امیدوار ہیں (زیادہ خلل انداز)۔ تاہم، اگر آپ پورے کالم کا معائنہ کریں اور نمبر '6' اور '8' کی تلاش کریں، تو آپ دیکھ سکتے ہیں کہ '6' صرف Cell B5 اور Cell H5 میں ظاہر ہوتا ہے، اور '8' بھی صرف Cell B5 اور Cell H5 میں ہی موجود ہے۔

اگرچہ Cell B5 کے امیدوار [2, 3, 6, 8] ہو سکتے ہیں اور Cell H5 کے [1, 4, 6, 8] ہوں، لیکن اس بات کی حقیقت کہ '6' اور '8' صرف ان ہی دو خانوں میں چھپے ہیں، یہ ظاہر کرتا ہے کہ وہ ایک ہڈن پیئر بناتے ہیں۔ اب آپ باقی تمام امیدواروں (B5 سے 2, 3 اور H5 سے 1, 4) کو حذف کر سکتے ہیں کیونکہ '6' اور '8' انہیں خالی کریں گے۔

نیکنڈ بمقابلہ ہڈن سبس سیٹس کے لیے کب دیکھنا ہے، یہ حکمت عملی کا معاملہ ہے۔ اگر آپ پھنس گئے ہیں، تو ڈپلیکیٹس (نیکنڈ) کو تلاش کرنا عام طور پر تیز تر ہوتا ہے۔ لیکن اگر گرڈ بالکل کھلا نظر آتا ہے اور کوئی واضح جوڑے نہیں ہیں، تو اپنی توجہ "ہڈن" امیدواروں کی طرف منتقل کر دیں—ایک نمبر منتخب کریں اور دیکھیں کہ وہ کہاں جا سکتا ہے۔

ایڈوانسڈ ملٹی ایکزکلوژن: ایک ونگز اور سرڈ فش

جب آپ سبس سیٹس اور پوائنٹنگ تکنیکوں کے ساتھ محفوظ ہو جائیں، تو ملٹی ایکزکلوژن کا اگلا مرحلہ ایسے پیٹرنز پر مشتمل ہوتا ہے جو متعدد خانوں میں پھیلتے ہیں۔ ان میں سے سب سے مشہور "ایک ونگ" (X-Wing) ہے۔

ایک ایک ونگ تب بنتا ہے جب کوئی مخصوص نمبر دو مختلف قطاروں میں بالکل دو بار ظاہر ہو، اور وہ مظہر ایک ہی دو کالموں میں ہم آہنگ ہوں۔ مثال کے طور پر، اگر نمبر '5' صرف Row 2 میں Columns 4 اور 9 میں جا سکتا ہے، اور یہ بھی Row 7 میں Columns 4 اور 9 میں جا سکتا ہے، تو آپ کے پاس ایک ایک ونگ ہے۔

یہ امکانات کی ایک مستطیل بناتا ہے۔ منطق حکم دیتی ہے کہ اگر '5' R2C4 میں ہے، تو اسے R7C9 میں ہونا چاہیے (اور اس کا الٹ بھی درست ہے)۔ اگر '5' R2C9 میں ہے، تو اسے R7C4 میں ہونا چاہیے۔ کسی بھی صورت میں، کالمز 4 اور 9 '5' کے لیے ان قطاروں سے "منگوا دیے گئے" ہیں۔ لہذا، آپ Columns 4 اور 9 کے تمام دیگر خانوں سے '5' کو خارج کر سکتے ہیں۔

یہ ملٹی ایکزکلوژن کا ایک طاقتور ہتھیار ہے کیونکہ یہ صرف ایک باکس کو متاثر نہیں کرتا بلکہ پوری گرڈ میں کالمز کو متاثر کرتا ہے۔ سرڈ فش (Swordfish) پیٹرن مستطیل منطق کو تین قطاروں اور تین کالموں تک پھیلاتا ہے، اسی استدلالی اصولوں کے تحت۔ جن لوگوں کو ایسے لاجک پیڑلز سے دلچسپی ہے جو محض اخراج کے بجائے کمبی نیٹوریل پابندیوں پر زیادہ انحصار کرتے ہیں، اس طرح کی تکنیکیں کلر سوڈوکو میں استعمال ہونے والی منطق کے متوازی ہیں، جہاں کيج (cage) کے مجموعے مخصوص امتزاجات کو مجبور کرتے ہیں۔

متعلقہ لوجک پیڑلز پر نوٹ

ملٹی ایکزکلوژن اور پیٹرن ریگنی شین کے اصول معیاری سوڈوکو تک محدود نہیں ہیں۔ یہ ایسے بہت سے لاجک پیڑلز کی بنیاد تشکیل دیتے ہیں جو مختلف انداز میں آپ کی استنتاجی عقل کو چیلنج کرتے ہیں۔ مثال کے طور پر، بائنری سوڈوکو (ٹاکوزو) لگاتاری اور توازن کے سخت اصولوں پر انحصار کرتا ہے، جس میں آپ کو اخراج کا استعمال کرنے کی ضرورت ہوتی ہے تاکہ یہ یقینی بنایا جا سکے کہ کوئی بھی دو ہم جنس نمبر پاس پاس نہ ہوں اور ہر قطار میں 0s اور 1s کی تعداد برابر ہو۔

اسی طرح، کالجڈوکو (جسے میتھڈوکو بھی کہا جاتا ہے) حساب کتاب اور منطق کو جوڑتا ہے۔ اگرچہ یہ روایتی باکس اخراج استعمال نہیں کرتا، لیکن اس کے لیے آپ کو ہر کیج کے لیے منفرد حل تلاش کرنے کے ناممکن ریاضیاتی امتزاجات کو خارج کرنا پڑتا ہے۔ سوڈوکو میں امکانات کو کاٹنے (prune) کی سمجھ بوجھ یہاں بہتر کارکردگی کے براہ راست ترجمہ کرتی ہے۔

نتیجہ: موثر اخراج کی فناری

ملٹی ایکزکلوژن کا ایک طریقہ تیار کرنا "خانوں کو دیکھنے" سے بدل کر "پابندیوں کا تجزیہ کرنے" میں ذہنیت کے شفٹ کے بارے میں ہے۔ اس کے لیے آپ کو مسلسل پوچھنا پڑتا ہے:

• کیا میرے امیدوار کسی ایسی ترتیب میں ہیں جو مجھے متقاطع قطار یا کالم سے انہیں خارج کرنے کی اجازت دیتی ہے (پوائنٹنگ)؟
• کیا میرے پاس ایک یونٹ میں مماثل امیدوار سیٹس ہیں (نیکنڈ سبس سیٹس)؟
• کیا کچھ نمبر اضافی امیدواروں کے باوجود مخصوص خانوں تک محدود ہیں (ہڈن سبس سیٹس)؟
• کیا میں ایک مستطیل یا متعدد قطار والے پیٹرن کو دیکھ رہا ہوں جو متعدد لائنز پر پھیلا ہوا ہے (ایک ونگ/سرڈ فش)؟

یہ تکنیکیں اندازے لگانے کے بارے میں نہیں ہیں؛ یہ مجبوریت والے مراحل کے بارے میں ہیں۔ ملٹی ایکزکلوژن کو نظام وار طور پر لاگو کر کے، آپ گرڈ کی پیچیدگی کو ٹکڑے ٹکڑے کر کے کم کرتے ہیں۔ سادہ پوائنٹنگ پیئرز سے آسان پزیوز پر شروع کریں، درمیانے درجے والوں پر نیکنڈ پیئرز تک جائیں، اور اپنی دشواری بڑھنے کے ساتھ ایک ونگز کی تلاش جاری رکھیں۔ مشق کے ساتھ، یہ پیٹرن مجرد تصورات ہونے بند ہو جائیں گے اور فوری بصری اشارے بن جائیں گے، جس سے آپ تیزی اور یقین کے ساتھ پیچیدہ لاجک پیڑلز کو حل کر سکیں گے۔