Nishio एक सावधान “क्या होगा अगर?” है। आप किसी कैंडिडेट को सही मानकर आज़माते हैं और मजबूरी वाले नतीजों पर चलते हैं (बेतहाशा अंदाज़े नहीं)। अगर वह दुनिया नियम तोड़ दे, तो आज़माया गया कैंडिडेट गलत था।
यह विरोधाभास से सबूत है — अब भी तर्क, कोई अंधा अंदाज़ा नहीं।
यह क्यों काम करता है
सुडोकू कभी विरोधाभास की इजाज़त नहीं देता। अगर किसी सेल में अंक D मानने से किसी इकाई में एक ही अंक दो बार आ जाए, या कोई सेल सारे कैंडिडेट खो दे, तो D वहाँ नहीं हो सकता।
आज़माइश में आप सिर्फ़ मजबूरी वाली चालें मानते हैं। कोच फ़ोर्सिंग-चेन से जाँच (किसी पैटर्न को साबित करना) को बेतहाशा अंदाज़े से अलग रखता है — Nishio सावधान वाला रूप है।
इसे कैसे पहचानें
आज़माइश वाली दुनिया में सिर्फ़ मजबूरी वाली चालों पर चलें — कभी बेतहाशा अंदाज़े नहीं। अगर दुनिया टूट जाए, तो आज़माया गया कैंडिडेट गलत है।
डेमो
जब आसान पैटर्न काम न करें, तो एक उम्मीद वाला कैंडिडेट चुनें और पूछें: अगर यह सही होता तो?
सिर्फ़ मजबूरी वाले अंक रखने और एलिमिनेशन पर चलें। यहाँ 1 पर पैटर्न आज़माने से विरोधाभास होता है — Nishio।
एक मान्य सुडोकू उस टूटी हुई दुनिया तक नहीं पहुँच सकता। इसलिए आज़माया गया कैंडिडेट सही नहीं हो सकता।
असंभव कैंडिडेट हटाएँ (लाल) (यहाँ 1)।
उदाहरण 1
एक कैंडिडेट आज़माएँ और फ़ोर्सिंग चेन पर चलें (सिर्फ़ मजबूरी वाली चालें)।
Nishio दिखाता है कि यहाँ 6 सही नहीं हो सकता — यह विरोधाभास में फट जाता है।
विरोधाभास वाले कैंडिडेट हटाएँ (लाल) (यहाँ 6)। आज़माइश वाली वह दुनिया नियम के खिलाफ़ थी।
उदाहरण 2
एक कैंडिडेट आज़माएँ और फ़ोर्सिंग चेन पर चलें (सिर्फ़ मजबूरी वाली चालें)।
Nishio दिखाता है कि यहाँ 7 सही नहीं हो सकता — यह विरोधाभास में फट जाता है।
विरोधाभास वाले कैंडिडेट हटाएँ (लाल) (यहाँ 7)। आज़माइश वाली वह दुनिया नियम के खिलाफ़ थी।