बाध्य निष्कर्ष शृंखला (Forcing Chain) · चरण-दर-चरण उदाहरण
अलग-अलग रैखिक निहितार्थ श्रृंखलाओं के माध्यम से संभावित अंक विकल्पों के एक विस्तृत सेट का पालन किया जाता है। प्रत्येक व्यवहार्य शाखा द्वारा साझा किया गया केवल एक प्लेसमेंट या निष्कासन रखें।
यह पाठ Platon Sudoku ऐप की शिक्षण सामग्री पर आधारित है। पूरा उदाहरण यहाँ पढ़ें, फिर ऐप में सीखना और अभ्यास जारी रखें।
अलग-अलग रैखिक निहितार्थ श्रृंखलाओं के माध्यम से संभावित अंक विकल्पों के एक विस्तृत सेट का पालन किया जाता है।
इसे कैसे खोजें
एक क्षेत्र में किसी अंक का सही/गलत विभाजन या सभी स्थितियाँ चुनें; प्रत्येक शाखा का उसके सत्यापित परिणाम तक अनुसरण करें।
यह क्या अनुमति देता है
प्रत्येक व्यवहार्य शाखा द्वारा साझा किया गया केवल एक प्लेसमेंट या निष्कासन रखें।
मिलावट से बचें
किसी परिणाम तक पहुँचने वाली एक शाखा अपर्याप्त है; शुरुआती विकल्पों में सभी संभावनाएं शामिल होनी चाहिए।
चरण-दर-चरण उदाहरण · दो शाखाएँ
यह उदाहरण सहेजी गई मध्यवर्ती स्थिति से शुरू होता है। उम्मीदवारों में पहले किए गए तार्किक निष्कासन शामिल हैं; ये अभी बने स्वचालित नोट्स नहीं हैं।
नीला: आधार। हरा: निष्कर्ष। कटे अंक: हटाए गए उम्मीदवार। R1C1 का अर्थ पंक्ति 1, स्तंभ 1 है।
कदम 1 · कहाँ देखना है
सिद्ध करने के लिए सामान्य परिणाम R1C2=7 है; शाखा स्विच R1C2=5 है। कोई भी संभावित अंक या तो सही या गलत है, इसलिए ये दो शाखाएं हर संभावना को कवर करती हैं। यदि दोनों एक समान परिणाम पर पहुँचते हैं तो वह परिणाम जबरदस्ती थोपा जाता है।
सिद्ध करने के लिए सामान्य परिणाम R1C2=7 है; शाखा स्विच R1C2=5 है। कोई भी संभावित अंक या तो सही या गलत है, इसलिए ये दो शाखाएं हर संभावना को कवर करती हैं। यदि दोनों एक समान परिणाम पर पहुँचते हैं तो वह परिणाम जबरदस्ती थोपा जाता है।
कदम 2 · तर्क
शाखा 1: मान लीजिए R1C2=5 सत्य है।
शाखा 1: मान लीजिए R1C2=5 सत्य है।
कदम 3 · तर्क
R1C2=5 सत्य है. R1C2=7 निकालें.
R1C2=5 सत्य है. R1C2=7 निकालें.
कदम 4 · पिछली आयत भराई को वापस लें
इस धारणा और इसके परिणामों को वापस लें. अगली संभावना की जांच करने से पहले अपरिवर्तित संभावित अंक स्नैपशॉट पर लौटें।
इस धारणा और इसके परिणामों को वापस लें. अगली संभावना की जांच करने से पहले अपरिवर्तित संभावित अंक स्नैपशॉट पर लौटें।
कदम 5 · तर्क
शाखा 2: मान लीजिए R1C2=5 गलत है।
शाखा 2: मान लीजिए R1C2=5 गलत है।
कदम 6 · तर्क
R1C2=5 ग़लत है. इन दोनों पक्षों में पंक्ति 1 में प्रत्येक शेष विकल्प शामिल है। इसलिए R1C5=5 सत्य होना चाहिए।
R1C2=5 ग़लत है. इन दोनों पक्षों में पंक्ति 1 में प्रत्येक शेष विकल्प शामिल है। इसलिए R1C5=5 सत्य होना चाहिए।
कदम 7 · तर्क
R1C5=5 सत्य है. कॉलम 5 से R2C5=5 हटाएं।
R1C5=5 सत्य है. कॉलम 5 से R2C5=5 हटाएं।
कदम 8 · तर्क
R2C5=5 ग़लत है. इन दोनों पक्षों में पंक्ति 2 में प्रत्येक शेष विकल्प शामिल है। इसलिए R2C8=5 सत्य होना चाहिए।
R2C5=5 ग़लत है. इन दोनों पक्षों में पंक्ति 2 में प्रत्येक शेष विकल्प शामिल है। इसलिए R2C8=5 सत्य होना चाहिए।
कदम 9 · तर्क
R2C8=5 सत्य है. R2C8=9 निकालें.
R2C8=5 सत्य है. R2C8=9 निकालें.
कदम 10 · तर्क
R2C8=9 ग़लत है. इन दोनों पक्षों में पंक्ति 2 में प्रत्येक शेष विकल्प शामिल है। इसलिए R2C4=9 सत्य होना चाहिए।
R2C8=9 ग़लत है. इन दोनों पक्षों में पंक्ति 2 में प्रत्येक शेष विकल्प शामिल है। इसलिए R2C4=9 सत्य होना चाहिए।
कदम 11 · तर्क
R2C4=9 सत्य है. कॉलम 4 से R1C4=9 हटाएं।
R2C4=9 सत्य है. कॉलम 4 से R1C4=9 हटाएं।
कदम 12 · तर्क
R1C4=9 ग़लत है. R1C4 में अब केवल R1C4=7 बचा है, इसलिए यह सच होना चाहिए।
R1C4=9 ग़लत है. R1C4 में अब केवल R1C4=7 बचा है, इसलिए यह सच होना चाहिए।
कदम 13 · तर्क
R1C4=7 सत्य है. पंक्ति 1 से R1C2=7 हटाएं।
R1C4=7 सत्य है. पंक्ति 1 से R1C2=7 हटाएं।
कदम 14 · तर्क
प्रत्येक संभावित शाखा एक ही तथ्य पर पहुँचती है: R1C2=7 ग़लत है। सभी धारणाओं को हटाने के बाद भी यह तथ्य निश्चित है।
प्रत्येक संभावित शाखा एक ही तथ्य पर पहुँचती है: R1C2=7 ग़लत है। सभी धारणाओं को हटाने के बाद भी यह तथ्य निश्चित है।
कदम 15 · निष्कर्ष
सत्यापित परिणाम R1C2=7 ग़लत है है। सभी अस्थायी धारणाएँ वापस ले ली गई हैं।
सत्यापित परिणाम R1C2=7 ग़लत है है। सभी अस्थायी धारणाएँ वापस ले ली गई हैं।
यह क्या अनुमति देता है
सत्यापित परिणाम R1C2=7 ग़लत है है। सभी अस्थायी धारणाएँ वापस ले ली गई हैं।
बाध्य निष्कर्ष शृंखला (Forcing Chain) · प्रत्येक व्यवहार्य शाखा द्वारा साझा किया गया केवल एक प्लेसमेंट या निष्कासन रखें।
चरण-दर-चरण उदाहरण · अनेक शाखाएँ
यह उदाहरण सहेजी गई मध्यवर्ती स्थिति से शुरू होता है। उम्मीदवारों में पहले किए गए तार्किक निष्कासन शामिल हैं; ये अभी बने स्वचालित नोट्स नहीं हैं।
नीला: आधार। हरा: निष्कर्ष। कटे अंक: हटाए गए उम्मीदवार। R1C1 का अर्थ पंक्ति 1, स्तंभ 1 है।
कदम 1 · कहाँ देखना है
मूल R2C4=2, R2C4=3, R2C4=6, R2C4=7, R2C4 में प्रत्येक संभावित संभावित अंक हैं। प्रत्येक को एक अलग रैखिक निहितार्थ श्रृंखला के रूप में अनुसरण करें; यदि प्रत्येक रूट R2C6=3 तक पहुंचता है, तो वह परिणाम मजबूरन होता है। अकेले एकाधिक जड़ें इसे बाध्य निष्कर्ष जाल (Forcing Net) नहीं बनाती हैं।
मूल R2C4=2, R2C4=3, R2C4=6, R2C4=7, R2C4 में प्रत्येक संभावित संभावित अंक हैं। प्रत्येक को एक अलग रैखिक निहितार्थ श्रृंखला के रूप में अनुसरण करें; यदि प्रत्येक रूट R2C6=3 तक पहुंचता है, तो वह परिणाम मजबूरन होता है। अकेले एकाधिक जड़ें इसे बाध्य निष्कर्ष जाल (Forcing Net) नहीं बनाती हैं।
कदम 2 · तर्क
शाखा 1: मान लीजिए R2C4=2 सत्य है।
शाखा 1: मान लीजिए R2C4=2 सत्य है।
कदम 3 · तर्क
R2C4=2 सत्य है. R2C4=3 निकालें.
R2C4=2 सत्य है. R2C4=3 निकालें.
कदम 4 · तर्क
R2C4=3 ग़लत है. इन दोनों पक्षों में पंक्ति 2 में प्रत्येक शेष विकल्प शामिल है। इसलिए R2C6=3 सत्य होना चाहिए।
R2C4=3 ग़लत है. इन दोनों पक्षों में पंक्ति 2 में प्रत्येक शेष विकल्प शामिल है। इसलिए R2C6=3 सत्य होना चाहिए।
कदम 5 · पिछली आयत भराई को वापस लें
इस धारणा और इसके परिणामों को वापस लें. अगली संभावना की जांच करने से पहले अपरिवर्तित संभावित अंक स्नैपशॉट पर लौटें।
इस धारणा और इसके परिणामों को वापस लें. अगली संभावना की जांच करने से पहले अपरिवर्तित संभावित अंक स्नैपशॉट पर लौटें।
कदम 6 · तर्क
शाखा 2: मान लीजिए R2C4=3 सत्य है।
शाखा 2: मान लीजिए R2C4=3 सत्य है।
कदम 7 · तर्क
R2C4=3 सत्य है. R2C4=6 निकालें.
R2C4=3 सत्य है. R2C4=6 निकालें.
कदम 8 · तर्क
R2C4=6 ग़लत है. इन दोनों पक्षों में 3×3 ब्लॉक 2 में प्रत्येक शेष विकल्प शामिल है। इसलिए R1C5=6 सत्य होना चाहिए।
R2C4=6 ग़लत है. इन दोनों पक्षों में 3×3 ब्लॉक 2 में प्रत्येक शेष विकल्प शामिल है। इसलिए R1C5=6 सत्य होना चाहिए।
कदम 9 · तर्क
R1C5=6 सत्य है. कॉलम 5 से R4C5=6 हटाएं।
R1C5=6 सत्य है. कॉलम 5 से R4C5=6 हटाएं।
कदम 10 · तर्क
R4C5=6 ग़लत है. R4C5 में अब केवल R4C5=3 बचा है, इसलिए यह सच होना चाहिए।
R4C5=6 ग़लत है. R4C5 में अब केवल R4C5=3 बचा है, इसलिए यह सच होना चाहिए।
कदम 11 · तर्क
R4C5=3 सत्य है. 3×3 ब्लॉक 5 से R6C6=3 हटाएं।
R4C5=3 सत्य है. 3×3 ब्लॉक 5 से R6C6=3 हटाएं।
कदम 12 · तर्क
R6C6=3 ग़लत है. इन दोनों पक्षों में कॉलम 6 में प्रत्येक शेष विकल्प शामिल है। इसलिए R2C6=3 सत्य होना चाहिए।
R6C6=3 ग़लत है. इन दोनों पक्षों में कॉलम 6 में प्रत्येक शेष विकल्प शामिल है। इसलिए R2C6=3 सत्य होना चाहिए।
कदम 13 · पिछली आयत भराई को वापस लें
इस धारणा और इसके परिणामों को वापस लें. अगली संभावना की जांच करने से पहले अपरिवर्तित संभावित अंक स्नैपशॉट पर लौटें।
इस धारणा और इसके परिणामों को वापस लें. अगली संभावना की जांच करने से पहले अपरिवर्तित संभावित अंक स्नैपशॉट पर लौटें।
कदम 14 · तर्क
शाखा 3: मान लीजिए R2C4=6 सत्य है।
शाखा 3: मान लीजिए R2C4=6 सत्य है।
कदम 15 · तर्क
R2C4=6 सत्य है. R2C4=3 निकालें.
R2C4=6 सत्य है. R2C4=3 निकालें.
कदम 16 · तर्क
R2C4=3 ग़लत है. इन दोनों पक्षों में पंक्ति 2 में प्रत्येक शेष विकल्प शामिल है। इसलिए R2C6=3 सत्य होना चाहिए।
R2C4=3 ग़लत है. इन दोनों पक्षों में पंक्ति 2 में प्रत्येक शेष विकल्प शामिल है। इसलिए R2C6=3 सत्य होना चाहिए।
कदम 17 · पिछली आयत भराई को वापस लें
इस धारणा और इसके परिणामों को वापस लें. अगली संभावना की जांच करने से पहले अपरिवर्तित संभावित अंक स्नैपशॉट पर लौटें।
इस धारणा और इसके परिणामों को वापस लें. अगली संभावना की जांच करने से पहले अपरिवर्तित संभावित अंक स्नैपशॉट पर लौटें।
कदम 18 · तर्क
शाखा 4: मान लीजिए R2C4=7 सत्य है।
शाखा 4: मान लीजिए R2C4=7 सत्य है।
कदम 19 · तर्क
R2C4=7 सत्य है. R2C4=3 निकालें.
R2C4=7 सत्य है. R2C4=3 निकालें.
कदम 20 · तर्क
R2C4=3 ग़लत है. इन दोनों पक्षों में पंक्ति 2 में प्रत्येक शेष विकल्प शामिल है। इसलिए R2C6=3 सत्य होना चाहिए।
R2C4=3 ग़लत है. इन दोनों पक्षों में पंक्ति 2 में प्रत्येक शेष विकल्प शामिल है। इसलिए R2C6=3 सत्य होना चाहिए।
कदम 21 · तर्क
प्रत्येक संभावित शाखा एक ही तथ्य पर पहुँचती है: R2C6=3 सत्य है। सभी धारणाओं को हटाने के बाद भी यह तथ्य निश्चित है।
प्रत्येक संभावित शाखा एक ही तथ्य पर पहुँचती है: R2C6=3 सत्य है। सभी धारणाओं को हटाने के बाद भी यह तथ्य निश्चित है।
कदम 22 · निष्कर्ष
सत्यापित परिणाम R2C6=3 सत्य है है। सभी अस्थायी धारणाएँ वापस ले ली गई हैं।
सत्यापित परिणाम R2C6=3 सत्य है है। सभी अस्थायी धारणाएँ वापस ले ली गई हैं।
यह क्या अनुमति देता है
सत्यापित परिणाम R2C6=3 सत्य है है। सभी अस्थायी धारणाएँ वापस ले ली गई हैं।
बाध्य निष्कर्ष शृंखला (Forcing Chain) · प्रत्येक व्यवहार्य शाखा द्वारा साझा किया गया केवल एक प्लेसमेंट या निष्कासन रखें।