Nishio

Nishio ist die Probier-und-Widerspruchs-Technik, die an der umstrittenen Kante reiner Deduktion sitzt. Das Verfahren: Wähl einen Kandidaten, nimm an, er sei die Ziffer in dieser Zelle, dann propagier die Folgen für diese Ziffer allein durchs Gitter — platzier sie in Zellen, in denen sie erzwungen ist, eliminier sie aus Zellen, in denen sie nicht stehen kann. Führt die Propagation zu einem Widerspruch (eine Zeile, Spalte oder ein Block, in dem die Ziffer überhaupt keinen Platz mehr hat), war die ursprüngliche Annahme falsch, und der Kandidat kann eliminiert werden.

Warum sie an der Kante der Deduktion sitzt

Die Technik ist nach Tetsuya Nishio benannt, dem japanischen Rätselautor, der sie in den 1990er Jahren formalisierte. Manche Communities lehnen sie aus Prinzip ab: Einen Wert anzunehmen und seinen Folgen zu folgen, fühlt sich näher an Trial-and-Error an als an logischer Deduktion. Andere akzeptieren sie als legitime Einzelziffer-Technik, weil die Propagationsregeln genau dieselben sind wie der Rest der Sudoku-Logik; du läufst sie nur unter einer Hypothese.

Die mittlere Position ist pragmatisch. Nishio ist mathematisch äquivalent zu bestimmten Forcing Chains und zu vielen AIC-Mustern, wenn die AIC auf eine einzelne Ziffer beschränkt ist. Dieselben Eliminierungen, die ein Nishio produziert, lassen sich meist über formale Kettenlogik neu herleiten — aber das von Hand zu tun, dauert oft länger als der direkte Probelauf. Löser, die Geschwindigkeit wollen, akzeptieren Nishio; Löser, die einen sauberen Deduktionspfad wollen, leiten über Ketten neu her.

Wie sie sich von einer vollen Forcing Chain unterscheidet

Eine Forcing Chain untersucht mehrere Ziffern und sucht nach Konvergenz oder Widerspruch übers Rätsel. Ein Nishio ist auf eine Ziffer pro Probelauf beschränkt: Nimm einen Kandidaten der Ziffer d, nimm dort d an, propagier nur die Platzierungen und Eliminierungen von d, ignorier jede andere Ziffer. Passt d irgendwo nicht, eliminier den ursprünglichen Kandidaten.

Die Einzelziffer-Beschränkung ist das, was Nishio ihren Charakter gibt. Sie ist beides — beschränkter (manche Forcing-Chain-Eliminierungen tauchen unter einem Einzelziffer-Probelauf nicht auf) und disziplinierter (der Propagationsgraph bleibt klein genug, um per Auge verifizierbar zu sein).

Eine Verwandte der Eindeutigkeitsargumentation

Nishio teilt ihre unbequeme Aufnahme mit Unique Rectangle und BUG. Alle drei stützen sich auf etwas, das eine Stufe von der Wiederholungsregel entfernt sitzt: Nishio stützt sich auf die Konsistenz des Rätsels unter einer Hypothese, UR und BUG stützen sich auf die Eindeutigkeit des Rätsels. Strenge Löser lehnen alle drei ab; pragmatische Löser akzeptieren alle drei. Die Linie zwischen „echter Deduktion" und „gestütztem Raten" stellt sich als philosophisch heraus, nicht als mathematisch, und vernünftige Löser ziehen sie an unterschiedlichen Stellen.

Für die Rätsel von Sudoku Mountain ist Nishio sicher zu verwenden — jedes veröffentlichte Rätsel ist auf Eindeutigkeit geprüft, und die Probelauf-Propagation scheitert nur an Kandidaten, die wirklich nicht die Antwort sein können. Ob du es eine Technik oder ein elegantes Raten nennst, ist deine Sache.