متعدد حل والا سڈوکو
سڈوکو کے متعدد حل ہوتے ہیں جب کم از کم دو مختلف مکمل گرڈ تمام ابتدائی اعداد برقرار رکھتے ہوئے قطار، کالم اور باکس کے اصول پورے کریں۔ ایک درست حل ملنا حل ہونے کا ثبوت ہے، واحد ہونے کا نہیں۔ واحد حل کی جانچ میں دوسرا حل تلاش کرنا جاری رکھنا ضروری ہے۔
حل شدہ مثال
نقاط اوپر بائیں سے شروع ہوتے ہیں: r = قطار، c = کالم۔ چھوٹے اعداد امیدوار ہیں؛ نمایاں سیلوں کی وضاحت نیچے ہے۔
یہ مثال جانچیںپہیلی کا متن دیکھیں
ہر قطار بائیں سے دائیں، پھر اوپر سے نیچے پڑھیں۔ 0 خالی ہے۔
003456789456789003789003456034567890567890034890034567345678900678900345900345678دیے اعداد رکھیں، صرف خالی خانے بدلیں
نیچے مکمل گرڈ کو A مان کر تمام 1 اور 2 ہٹائیں۔ نو نو ہیں، اس لیے 18 خالی اور 63 دیے اعداد بچتے ہیں۔
A میں ہر 1 کو 2 اور 2 کو 1 کریں تو B بنتا ہے۔ 3–9 نہیں بدلتے، لہٰذا دونوں حل تمام دیے اعداد رکھتے ہیں۔
دوسرا حل درست کیوں
حل A کے ہر علاقے میں ایک 1 اور ایک 2 ہے۔ پورے گرڈ میں انہیں بدلنے سے بھی ایک ایک رہتا ہے؛ دوسرے سات اعداد نہیں بدلتے۔ لہٰذا B مکمل درست حل ہے، صرف بے ٹکراؤ جزوی گرڈ نہیں۔
جواب r1c1 پر مختلف ہیں۔ دو درست جواب ثابت کرتے ہیں کہ پہیلی کے متعدد حل ہیں؛ مزید بھی ہو سکتے ہیں۔
63 دیے ہوئے اعداد بھی واحد حل کی ضمانت نہیں
اس مثال میں عام اخباری پہیلی سے زیادہ اعداد ہیں مگر پھر بھی کئی حل ہیں۔ تعداد صرف مقرر خانے بتاتی ہے، تمام درست حلوں میں فرق کرنے کی صلاحیت نہیں۔
دونوں صورتوں کو الگ مشکل درجہ دینا مسئلہ حل نہیں کرتا۔ مشکل مقرر طریقے کی محنت ہے؛ یکتائی درست حلوں کی تعداد ہے۔ درجہ دینے سے پہلے واحد حل ثابت کریں۔
واحد حل کی جانچ سمجھیں
ایک مکمل گرڈ صرف حل کی موجودگی ثابت کرتا ہے۔ واحد حل کہنے کے لیے تمام متبادل خارج کرنا ضروری ہے۔ Sudoku Slate امکانات ختم ہونے یا دوسرا حل ملنے تک تلاش کرتا ہے۔
کئی حل ہوں تو پہلے کو مطلوب جواب نہ سمجھیں۔ اصل واحد ہونا چاہیے تو چھوٹے اعداد دیکھیں؛ اپنی بنائی ہو تو شرط بدل کر دوبارہ یکتائی جانچیں۔
درست حل سے ایک عدد شامل کرنے پر غیر موافق حل خارج ہوتے ہیں، مگر کئی دوسرے بچ سکتے ہیں۔ واحد حل کی دوبارہ جانچ کریں؛ صرف دیکھے گئے دو نمونے ختم ہونا کافی نہیں۔
اپنی سمجھ جانچیں
کیا r1c1 = 1 سے B نکلے گا؟ کیا صرف یہی واحد حل ثابت کرتا ہے؟
استدلال دکھائیں
اس سے r1c1 = 2 والا B خارج ہوگا۔ مگر ایک معلوم متبادل نکالنا باقی متبادل نہ ہونے کا ثبوت نہیں۔ بدلی پہیلی کی مکمل واحد حل جانچ درکار ہے۔
اس مثال کے بارے میں
اس تعلیمی گرڈ میں دلیل واضح کرنے کے لیے کئی ابتدائی اعداد رکھے گئے ہیں اور مشکل کا درجہ مقرر نہیں۔ تشخیصی مثالوں میں بیان کردہ ٹکراؤ یا ابہام جان بوجھ کر شامل ہیں۔
قواعد اور اصطلاحات
- Nikoli: سڈوکو کے قواعد
مثالوں کے معیاری قطار، کالم اور 3 × 3 قواعد۔ اس صفحے کا گرڈ اور وضاحت الگ تیار کیے گئے ہیں۔