Das Eindeutigkeits-Argument
Guide4 / 4Warum „dieses Rätsel hat eine Lösung“ selbst eine Löse-Waffe ist.
Jedes saubere Sudoku hat genau eine Lösung: Verlage garantieren es, und unser Generator verifiziert es per erschöpfender Suche. Eindeutigkeits-Techniken drehen diese Garantie um: Jede Kandidaten-Anordnung, die zwei Lösungen erlauben würde, muss falsch sein.
Das tödliche Muster
Stell dir vier Zellen auf den Ecken eines Rechtecks vor, in genau zwei Boxen, jede mit denselben zwei Kandidaten {a,b}. Würde das je der Endzustand, könnte das gelöste Gitter a und b rund um das Rechteck tauschen und bliebe vollkommen gültig: zwei Lösungen aus einem Rätsel.
Die Zwei-Boxen-Bedingung ist wesentlich: Über vier Boxen verteilt bräche der Tausch die Box-Regeln, und kein Paradox entsteht. In zwei Boxen ist der Tausch für jede beteiligte Zeile, Spalte und Box unsichtbar, genau das macht das Muster tödlich.
Von der Drohung zur Technik
Da das Rätsel eindeutig ist, kann sich das tödliche Muster nie vollenden. Was auch immer es vollenden würde, ist deshalb unmöglich, und dieser eine Satz gebiert eine ganze Technik-Familie: Die fünf Unique-Rectangle-Typen verweigern die letzte freie Ecke, nutzen geteilte Zusatzkandidaten aus oder sperren eine Paar-Ziffer aufs Dach; BUG+1 wendet dieselbe Idee auf das ganze Brett auf einmal an.
Beim ersten Kontakt sind das seltsame Techniken: Sie argumentieren nie darüber, welche Ziffern irgendwo hinkönnen, sondern nur darüber, was das Rätsel als Ganzes sein darf. Die Streichungen sind genauso bindend.
Ist das überhaupt fair?
Puristen merken an, dass Eindeutigkeits-Techniken voraussetzen, dass der Rätselmacher seine Arbeit getan hat: auf einem kaputten Rätsel mit zwei Lösungen könnte eine Unique-Rectangle-Deduktion eine Ziffer „streichen“, die eine der Lösungen tatsächlich braucht. Das stimmt und ist in der Praxis irrelevant: Jedes Rätsel auf dieser Seite wird mit maschinell verifizierter eindeutiger Lösung generiert, die Annahme ist also ein Fakt.
Wer sich lieber nicht darauf verlässt: Jedes Kampagnen-Rätsel bleibt auch ohne lösbar: Eindeutigkeits-Techniken sind Abkürzungen, keine Rettungsleinen. Lerne sie in den Lektionen zu Unique Rectangle und BUG+1 und genieße eine der elegantesten Ideen des Sudoku.