Το Nishio είναι ένα προσεκτικό «τι θα γινόταν αν;». Δοκιμάζεις έναν υποψήφιο ως αληθή και ακολουθείς τις αναγκαστικές συνέπειες (όχι τυχαίες μαντεψιές). Αν αυτός ο κόσμος παραβιάζει τους κανόνες, ο υποψήφιος της δοκιμής ήταν ψευδής.
Αυτό είναι εις άτοπον απαγωγή — εξακολουθεί να είναι λογική, όχι τυχαία μαντεψιά.
Γιατί λειτουργεί
Το Sudoku δεν επιτρέπει ποτέ αντίφαση. Αν η υπόθεση του ψηφίου D σε ένα κελί αναγκάζει δύο ίδια ψηφία σε μια περιοχή ή αδειάζει ένα κελί από όλους τους υποψηφίους, τότε το D δεν μπορεί να είναι εκεί.
Στη δοκιμή δέχεσαι μόνο αναγκαστικές κινήσεις. Ο προπονητής ξεχωρίζει την επαλήθευση με αλυσίδα εξαναγκασμού (απόδειξη ενός μοτίβου) από την τυχαία μαντεψιά — το Nishio είναι η προσεκτική εκδοχή.
Πώς να το εντοπίσεις
Στον κόσμο της δοκιμής ακολούθησε μόνο αναγκαστικές κινήσεις — ποτέ τυχαίες μαντεψιές. Αν ο κόσμος χαλάσει, ο υποψήφιος της δοκιμής είναι ψευδής.
Επίδειξη
Όταν τα πιο απλά μοτίβα κολλάνε, διάλεξε έναν πολλά υποσχόμενο υποψήφιο και ρώτα: τι θα γινόταν αν ήταν αληθής;
Ακολούθησε μόνο αναγκαστικές τοποθετήσεις και εξαλείψεις. Εδώ η δοκιμή του μοτίβου στα 1 οδηγεί σε αντίφαση — Nishio.
Ένα έγκυρο Sudoku δεν μπορεί να φτάσει σε αυτόν τον χαλασμένο κόσμο. Άρα ο υποψήφιος της δοκιμής δεν μπορεί να είναι αληθής.
Εξάλειψε τον αδύνατο υποψήφιο ή τους αδύνατους υποψηφίους (κόκκινο) (εδώ 1).
Παράδειγμα 1
Δοκίμασε έναν υποψήφιο και ακολούθησε την αλυσίδα εξαναγκασμού (μόνο αναγκαστικές κινήσεις).
Το Nishio δείχνει ότι τα 6 δεν μπορούν να είναι αληθή εδώ — καταλήγουν σε αντίφαση.
Αφαίρεσε τον υποψήφιο ή τους υποψηφίους που οδήγησαν σε αντίφαση (κόκκινο) (εδώ 6). Αυτός ο κόσμος της δοκιμής ήταν μη έγκυρος.
Παράδειγμα 2
Δοκίμασε έναν υποψήφιο και ακολούθησε την αλυσίδα εξαναγκασμού (μόνο αναγκαστικές κινήσεις).
Το Nishio δείχνει ότι τα 7 δεν μπορούν να είναι αληθή εδώ — καταλήγουν σε αντίφαση.
Αφαίρεσε τον υποψήφιο ή τους υποψηφίους που οδήγησαν σε αντίφαση (κόκκινο) (εδώ 7). Αυτός ο κόσμος της δοκιμής ήταν μη έγκυρος.