Nishio হলো একটি সাবধানী “যদি এমন হয়?” আপনি একটি ক্যান্ডিডেটকে সত্য ধরে নিয়ে বাধ্যতামূলক পরিণতিগুলো অনুসরণ করেন (এলোমেলো আন্দাজ নয়)। সেই জগৎ নিয়ম ভাঙলে, পরীক্ষিত ক্যান্ডিডেটটি মিথ্যা ছিল।
এটি বিরোধের মাধ্যমে প্রমাণ — এখনো যুক্তি, এলোমেলো আন্দাজ নয়।
কেন এটি কাজ করে
সুডোকু কখনো বিরোধ অনুমোদন করে না। যদি কোনো ঘরে অঙ্ক D ধরে নিলে একটি এককে একই অঙ্ক দুবার আসতে বাধ্য হয়, বা কোনো ঘরের সব ক্যান্ডিডেট মুছে যায়, তবে D সেখানে থাকতে পারে না।
পরীক্ষায় আপনি শুধু বাধ্যতামূলক চাল মেনে নেন। কোচ ফোর্সিং-চেইন যাচাই (একটি প্যাটার্ন প্রমাণ করা) আর এলোমেলো আন্দাজকে আলাদা রাখেন — Nishio হলো সাবধানী সংস্করণটি।
কীভাবে খুঁজে পাবেন
পরীক্ষার জগতে শুধু বাধ্যতামূলক চাল অনুসরণ করুন — কখনো এলোমেলো আন্দাজ নয়। জগৎটি ভেঙে পড়লে পরীক্ষিত ক্যান্ডিডেটটি মিথ্যা।
প্রদর্শন
সহজ প্যাটার্নগুলো আটকে গেলে একটি সম্ভাবনাময় ক্যান্ডিডেট বেছে নিন এবং জিজ্ঞেস করুন: এটি সত্য হলে কী হতো?
শুধু বাধ্যতামূলক বসানো আর বাদগুলো অনুসরণ করুন। এখানে 1-এর ওপর প্যাটার্নটি পরীক্ষা করলে একটি বিরোধ দেখা দেয় — Nishio।
একটি বৈধ সুডোকু সেই ভাঙা জগতে পৌঁছাতে পারে না। তাই পরীক্ষিত ক্যান্ডিডেটটি সত্য হতে পারে না।
অসম্ভব ক্যান্ডিডেট(গুলো) বাদ দিন (লাল) (এখানে 1)।
উদাহরণ 1
একটি ক্যান্ডিডেট পরীক্ষা করুন এবং ফোর্সিং চেইন অনুসরণ করুন (শুধু বাধ্যতামূলক চাল)।
Nishio দেখায় যে এখানে 6 সত্য হতে পারে না — এটি একটি বিরোধে ভেঙে পড়ে।
বিরোধে পড়া ক্যান্ডিডেট(গুলো) মুছে দিন (লাল) (এখানে 6)। সেই পরীক্ষার জগৎটি অবৈধ ছিল।
উদাহরণ 2
একটি ক্যান্ডিডেট পরীক্ষা করুন এবং ফোর্সিং চেইন অনুসরণ করুন (শুধু বাধ্যতামূলক চাল)।
Nishio দেখায় যে এখানে 7 সত্য হতে পারে না — এটি একটি বিরোধে ভেঙে পড়ে।
বিরোধে পড়া ক্যান্ডিডেট(গুলো) মুছে দিন (লাল) (এখানে 7)। সেই পরীক্ষার জগৎটি অবৈধ ছিল।