Nishio هو «ماذا لو؟» متأنٍّ. تجرّب مرشّحًا على أنه صحيح وتتبع النتائج المفروضة (لا التخمينات العشوائية). فإذا كسر ذلك العالم القواعد، فالمرشّح المجرَّب كان خاطئًا.
هذا إثبات بالتناقض — ما زال منطقًا، لا تخمينًا عشوائيًا.
لماذا تنجح
السودوكو لا تسمح أبدًا بالتناقض. فإذا أدى افتراض الرقم D في خانة إلى ظهور الرقم نفسه مرتين في وحدة، أو إلى إفراغ خانة من كل مرشّحاتها، فلا يمكن أن يكون D هناك.
أنت تقبل في التجربة الحركات المفروضة فقط. المدرّب يفصل بين التحقق بسلاسل الإجبار (إثبات نمط) والتخمين العشوائي — وNishio هي النسخة المتأنية.
كيف تكتشفها
اتبع الحركات المفروضة فقط في العالم التجريبي — لا تخمينات عشوائية أبدًا. إذا انكسر العالم، فالمرشّح المجرَّب خاطئ.
عرض توضيحي
عندما تتوقف الأنماط الأبسط، اختر مرشّحًا واعدًا واسأل: ماذا لو كان هذا صحيحًا؟
اتبع فقط عمليات الوضع والاستبعاد المفروضة. هنا تؤدي تجربة النمط على 1 إلى تناقض — Nishio.
السودوكو الصالحة لا يمكن أن تصل إلى ذلك العالم المكسور. لذا لا يمكن أن يكون المرشّح المجرَّب صحيحًا.
استبعد المرشّح (أو المرشّحين) المستحيل (بالأحمر) (هنا 1).
المثال 1
جرّب مرشّحًا واتبع سلسلة الإجبار (الحركات المفروضة فقط).
يبيّن Nishio أن 6 لا يمكن أن يكون صحيحًا هنا — فهو ينفجر إلى تناقض.
أزل المرشّح (أو المرشّحين) المتناقض (بالأحمر) (هنا 6). ذلك العالم التجريبي كان غير صالح.
المثال 2
جرّب مرشّحًا واتبع سلسلة الإجبار (الحركات المفروضة فقط).
يبيّن Nishio أن 7 لا يمكن أن يكون صحيحًا هنا — فهو ينفجر إلى تناقض.
أزل المرشّح (أو المرشّحين) المتناقض (بالأحمر) (هنا 7). ذلك العالم التجريبي كان غير صالح.