چطور سودوکو را بدون حدس حل کنید

حدس ثمربخش به نظر می‌رسد چون رقمی روی صفحه می‌گذارد، اما یک معما را با دو شاخهٔ نامطمئن عوض می‌کند. سودوکوی درست را می‌توان زنجیرهٔ استنباط قابل‌بررسی دید: هر گذاشتن یا برداشتن نامزد از ردیف، ستون، خانه یا الگوی شناخته می‌آید. حل بدون حدس یعنی هر حرکت بدیهی است نه. یعنی شما امکان را از تعهد جدا می‌کنید، رقم نامزد را دقیق نگه می‌دارید، و وقتی اسکن جاری اطلاعات نساخت تکنیک عوض می‌کنید.

چه چیزی حدس شمرده می‌شود؟

حدس یعنی تعهد به رقم بدون اثبات منطقی، اغلب با نقشهٔ بازگرداندن اگر تناقض آمد. یادداشت رقم نامزد حدس نیست: هر مقداری را که محدودیت دانسته‌شده هنوز اجازه می‌دهد ثبت می‌کند. حذف پیشرفته هم وقتی الگو معتبر است حدس نیست. مثلاً X-Wing ممکن است نگوید رقم کجا می‌رود، اما ثابت می‌کند کجا نمی‌تواند برود. آزمون عملی ساده است: پیش از عوض کردن صفحه، می‌توانید قاعده‌ای بگویید که در هر تکمیل ممکن درست بماند؟

جریان کار تکرارپذیر بدون حدس

1. گذاشتن مستقیم را اسکن کنید. با تکین آشکار و تکین پنهان در ردیف، ستون و خانهٔ شلوغ شروع کنید. واحدهایی را که هر گذاشتن تازه لمس کرده دوباره ببینید.
2. فهرست نامزد صادق بسازید. وقتی اسکن مستقیم گیر کرد، رقم‌هایی را که هر سه محدودیت اجازه می‌دهند یادداشت کنید. بلافاصله پس از هر گذاشتن یادداشت کهنه را بردارید.
3. با ترتیب تکنیک ثابت بجویید. جفت، نامزدهای قفل‌شده، سه‌تایی و الگوهای ماهی را فقط پس از اتمام استنباط آسان بیازمایید. ترتیب پایدار شما را از شکار تصادفی کل صفحه بازمی‌دارد.
4. اثبات شفاهی بخواهید. مبدأ و پیامد را بگویید: «۵ در این خانه به ردیف ۲ قفل شده، پس ۵ جای دیگر ردیف ۲ نمی‌آید.» اگر جمله مبهم است نامزد را پاک نکنید.
5. وقتی گیر کردید زاویه را بازنشانی کنید. یادداشت را بررسی کنید، رقم نامزد یا واحد اسکن را عوض کنید، و به تکین برگردید. سرخوردگی را به گذاشتن بی‌مدرک بدل نکنید.

مثال حل‌شده: جایگزینی حدس دوشاخه با منطق

فرض کنید r6c4 نامزد {3,8} دارد. انتخاب ۳ حدس است چون هر دو مقدار هنوز از قوانین فوری ردیف، ستون و خانه پیروی می‌کنند. به‌جای شاخه زدن، ببینید ۳ و ۸ کجا در واحدهای مرتبط می‌آیند و الگویی بجویید که یک نامزد را بردارد.

1. هیچ‌کدام از نامزدها را نگذارید. {3,8} را یادداشت نگه دارید. نبود تکرار فوری اثبات درست بودن یک شاخه نیست؛ تناقض ممکن است چند حرکت بعد ظاهر شود.
2. جای خانه را ببینید. اگر همهٔ ۳های خانه در ردیف ۶ باشند، خانه به ردیف ۶ اشاره می‌کند. با نامزدهای قفل‌شده ۳ را از خانه‌های دیگر ردیف ۶ بیرون خانه بردارید.
3. حذف را پخش کنید. فرض کنید r6c9 از {3,5} به {5} برسد. ۵ را بگذارید، سپس ردیف ۶، ستون ۹ و خانه‌اش را به‌روز کنید. آن رقم تازه ممکن است ۸ را از همتای r6c4 بردارد.
4. فقط وقتی مستند شد برگردید. اگر منطق بعدی ۸ را از r6c4 برداشت، ۳ را بگذارید و دلیل را ثبت کنید. همان مقدار نهایی اکنون نتیجه است، نه شاخه‌ای که اتفاقاً اول آزمودید.

عادت‌هایی که حدس را می‌پوشانند

چک‌لیست تمرین بدون حدس

• پیش از هر گذاشتن بگویید تکین آشکار است، تکین پنهان، یا پیامد یک حذف مشخص.
• یادداشت را برای امکان حل‌نشده به کار ببرید و رقم بزرگ را برای مقداری نگه دارید که منطق ثابت کرده.
• وقتی دو دقیقه گیر کردید، یک ردیف، یک ستون و یک خانه را حسابرسی کنید، نه این‌که نامزدی را بیازمایید.
• پس از Undo دقیقاً گام بی‌مدرک را بیابید و منطق نامزد را بازسازی کنید، نه این‌که شاخهٔ دیگر را امتحان کنید.

علاج حدس احتیاط بیشتر دور یک خانه نیست؛ فرایند بهتر برای کل صفحه است. اسکن ثابت به کار ببرید، نامزد نگه دارید، دلیل بخواهید، و وقتی پیشرفت ایستاد زاویه را بازنشانی کنید. با کلاسیک متوسط یا سخت شروع کنید، جایی که تکنیک لازم آن‌قدر دیدنی است که تمرین شود و آن‌قدر متنوع که حلقهٔ بدون حدس معنا داشته باشد.

پرسش‌های حل بدون حدس