Nishio הוא “מה אם?” זהיר. מנסים מועמד כאילו הוא נכון ועוקבים אחרי ההשלכות המוכרחות (לא ניחושים פרועים). אם העולם הזה שובר את הכללים, מועמד הניסיון היה שגוי.
זו הוכחה בדרך השלילה — עדיין היגיון, לא ניחוש אקראי.
למה זה עובד
סודוקו אף פעם לא מאפשר סתירה. אם ההנחה שהספרה D נמצאת בתא מכריחה שתי ספרות זהות באותו אזור, או מרוקנת תא מכל המועמדים, אז D לא יכולה להיות שם.
בניסיון מקבלים רק מהלכים מוכרחים. המאמן מבדיל בין אימות בשרשרת כפייה (הוכחת תבנית) לבין ניחוש פרוע — Nishio היא הגרסה הזהירה.
איך לזהות
בעולם הניסיון עוקבים רק אחרי מהלכים מוכרחים — אף פעם לא אחרי ניחושים פרועים. אם העולם נשבר, מועמד הניסיון שגוי.
הדגמה
כשתבניות פשוטות יותר נתקעות, בוחרים מועמד מבטיח ושואלים: מה אם הוא היה נכון?
עוקבים רק אחרי הצבות וסילוקים מוכרחים. כאן ניסיון התבנית על 1 מוביל לסתירה — Nishio.
סודוקו חוקי לא יכול להגיע לעולם השבור הזה. לכן מועמד הניסיון לא יכול להיות נכון.
מסלקים את המועמדים הבלתי אפשריים (באדום) (כאן 1).
דוגמה 1
לנסות מועמד ולעקוב אחרי שרשרת הכפייה (רק מהלכים מוכרחים).
Nishio מראה ש־6 לא יכולה להיות נכונה כאן — היא מתפוצצת לסתירה.
מסירים את המועמדים שהובילו לסתירה (באדום) (כאן 6). עולם הניסיון הזה לא היה חוקי.
דוגמה 2
לנסות מועמד ולעקוב אחרי שרשרת הכפייה (רק מהלכים מוכרחים).
Nishio מראה ש־7 לא יכולה להיות נכונה כאן — היא מתפוצצת לסתירה.
מסירים את המועמדים שהובילו לסתירה (באדום) (כאן 7). עולם הניסיון הזה לא היה חוקי.