איך לפתור סודוקו בלי ניחוש

ניחוש מרגיש פרודוקטיבי כי הוא שם מספר על הלוח, אבל הוא מחליף חידה אחת בשני ענפים לא ודאיים. אפשר לגשת לסודוקו תקין כאל שרשרת היסקים ניתנים לאימות: כל הצבה או הסרת מועמד נובעת משורה, מטור, מריבוע או מתבנית מוכרת. פתרון בלי ניחוש אינו אומר שכל מהלך מובן מאליו. הוא אומר שאתם מפרידים אפשרויות מהתחייבויות, שומרים מועמדים מדויקים, ומשנים טכניקה כשהסריקה הנוכחית מפסיקה לייצר מידע.

מה נחשב לניחוש?

ניחוש פירושו להתחייב לספרה בלי הוכחה לוגית, לעיתים עם תוכנית לבטל אם תופיע סתירה. הערות מועמדים אינן ניחושים: הן רושמות כל ערך שעדיין מותר לפי אילוצים ידועים. גם השמטות מתקדמות אינן ניחושים כשהתבנית תקפה. למשל, X-Wing אולי לא אומר לאן ספרה הולכת, אבל הוא מוכיח לאן היא אינה יכולה ללכת. המבחן המעשי פשוט: לפני שינוי הלוח, האם אתם יכולים לנסח כלל שנשאר נכון בכל השלמה אפשרית?

זרימת עבודה חוזרת בלי ניחוש

1. סרקו להצבות ישירות. התחילו ביחידים חשופים ומוסתרים בשורות, בטורים ובריבועים עמוסים. בדקו שוב את היחידות שכל הצבה חדשה נוגעת בהן.
2. בנו רשימות מועמדים כנות. כשהסריקה הישירה נעצרת, רשמו את הספרות שכל שלושת האילוצים מתירים. הסירו הערות מיושנות מיד אחרי כל הצבה.
3. חפשו בסדר טכניקות קבוע. נסו זוגות, מועמדים נעולים, שלישיות ותבניות דג רק אחרי שנגמרו היסקים קלים יותר. סדר יציב מונע ציד אקראי של כל הלוח.
4. דרשו הוכחה מילולית. ציינו מקור ותוצאה: «5 נעול לשורה 2 בתוך הריבוע הזה, ולכן 5 אינו יכול להופיע במקום אחר בשורה 2.» אם המשפט מעורפל, אל תמחקו את המועמד.
5. אפסו את המבט כשנתקעים. אמתו הערות, החליפו את ספרת המועמד או את היחידה שאתם סורקים, וחזרו ליחידים. אל תהפכו תסכול להצבה לא נתמכת.

דוגמה פתורה: החלפת ניחוש דו־כיווני בלוגיקה

נניח ש־r6c4 מכיל מועמדים {3,8}. בחירת 3 תהיה ניחוש כי שני הערכים עדיין מצייתים לכללי השורה, הטור והריבוע המיידיים. במקום להסתעף, בדקו היכן 3 ו־8 מופיעים ביחידות הקשורות וחפשו תבנית שמסירה מועמד אחד.

1. אל תציבו אף מועמד. השאירו {3,8} כהערה. היעדר כפילות מיידית אינו הוכחה שענף אחד נכון; סתירות עשויות להופיע אחרי מהלכים רבים.
2. בדקו את מיקומי הריבוע. אם כל 3 בריבוע יושב בשורה 6, הריבוע מצביע לשורה 6. הסירו 3 מתאי שורה 6 אחרים מחוץ לריבוע בעזרת מועמדים נעולים.
3. הפיצו את ההשמטה. נניח ש־r6c9 משתנה מ־{3,5} ל־{5}. הציבו 5, ואז עדכנו את שורה 6, טור 9 והריבוע. הספרה החדשה עשויה להסיר 8 מעמית של r6c4.
4. חזרו רק כשמדובר במוצדק. אם לוגיקה מאוחרת מסירה 8 מ־r6c4, הציבו 3 ורשמו את הסיבה. אותו ערך סופי הוא כעת מסקנה ולא ענף שבמקרה בדקתם ראשון.

הרגלים שמסווים ניחוש

רשימת תרגול בלי ניחוש

• לפני כל הצבה, ציינו אם זה יחיד חשוף, יחיד מוסתר או תוצאה של השמטה ספציפית.
• השתמשו בהערות לאפשרויות לא פתורות ושמרו ספרות גדולות לערכים שהוכחו בלוגיקה.
• כשנתקעים שתי דקות, בדקו שורה אחת, טור אחד וריבוע אחד במקום לבדוק מועמד.
• אחרי ביטול, מצאו את הצעד הלא נתמך המדויק ושחזרו את לוגיקת המועמדים במקום לנסות את הענף האחר.

התרופה לניחוש אינה זהירות יתר סביב תא אחד; היא תהליך טוב יותר לכל הלוח. השתמשו בסריקה קבועה, תחזקו מועמדים, דרשו סיבה, ואפסו נקודת מבט כשההתקדמות נעצרת. התחילו בחידות קלאסי בינוני או קשה שבהן הטכניקות הנדרשות גלויות מספיק לתרגול ומגוונות מספיק כדי שלולאת האל־ניחוש תהיה משמעותית.

שאלות נפוצות על פתרון בלי ניחוש