Sudoku-Eindeutigkeitstechniken verwenden eine Prämisse über das gesamte Rätsel:
Das Rätsel ist so konstruiert, dass es genau eine Lösung besitzt.
Sie suchen Kandidatenstrukturen, die zwei austauschbare vollständige Lösungen zulassen würden, wenn ein bestimmter Zustand entstünde. Da ein korrekt veröffentlichtes Sudoku genau eine Lösung haben soll, muss dieser „tödliche“ Zustand verhindert werden.
Zu dieser Familie gehören Unique Rectangles, Hidden/Avoidable Rectangles, BUG+1 und verwandte Muster.
Sie sind leistungsfähig – und konzeptionell anders als gewöhnliche lokale Regeln.
Eindeutigkeit ist keine vierte Sudoku-Regel
Die klassischen Sudoku-Regeln beschränken Zeilen, Spalten und Blöcke.
Sie sagen nicht von selbst, dass ein teilweise ausgefülltes Rätsel nur eine einzige mögliche Komplettierung besitzt.
Eindeutigkeit ist eine Eigenschaft eines korrekt konstruierten Rätsels. Deshalb ist eine Eindeutigkeitsdeduktion nur dann gültig, wenn man diese Eigenschaft voraussetzen darf.
Kann das Rätsel mehrere Lösungen besitzen, könnte eine Uniqueness-Technik einen Kandidaten entfernen, der zu einer gültigen Alternativlösung gehört.
Was ist ein Deadly Pattern?
Ein Deadly Pattern ist eine Kandidatenkonfiguration, die zwei oder mehr Lösungen zulassen würde, ohne Zeilen-, Spalten- oder Blockregeln zu verletzen.
Das klassische Beispiel ist ein Vier-Zellen-Rechteck mit zwei Ziffern in austauschbarer Anordnung. Bleiben beide Zuordnungen möglich, können die Ziffern ihre Plätze tauschen und zwei Lösungen erzeugen.
Eindeutigkeitstechniken lösen das Deadly Pattern nicht erst, wenn es vollständig entstanden ist. Sie argumentieren, dass ein gültiges eindeutiges Rätsel etwas enthalten muss, das diesen Zustand verhindert.
Unique Rectangles
Ein Unique Rectangle verwendet vier Zellen in:
- genau zwei Zeilen;
- genau zwei Spalten;
- genau zwei Blöcken.
Zwei Ziffern bilden darin das gefährliche austauschbare Muster.
Type 1
Eine Ecke besitzt zusätzliche Kandidaten. Mindestens einer dieser Zusatzkandidaten muss erhalten bleiben, damit kein tödliches Zwei-Ziffern-Rechteck entsteht.
Daher können die beiden UR-Ziffern aus dieser Ecke eliminiert werden.
Types 2–6
Weitere UR-Typen verwenden zusätzliche Kandidaten, Strong Links, Subsets oder andere Eckanordnungen, um Eliminierungen zu beweisen und gleichzeitig den Deadly State zu verhindern.
VeyraPlay fasst diese Typen für diesen Freeze innerhalb der Unique-Rectangle-Guide zusammen, statt fünf fast identische URLs anzulegen. Zeigt spätere Suchdaten klar getrennte Nachfrage, können daraus eigene Seiten entstehen, ohne die Familienarchitektur zu ändern.
Hidden Rectangle
Ein Hidden Rectangle ist ein Eindeutigkeitsmuster, bei dem zusätzliche Kandidaten das Zwei-Ziffern-Rechteck stärker verdecken. Strong-Link-Beschränkungen der UR-Ziffern zeigen, welche Eckkandidaten nicht bestehen können.
Die Grundidee bleibt dieselbe: einen austauschbaren Zwei-Lösungs-Zustand verhindern.
Avoidable Rectangle
Avoidable Rectangles verwenden bereits gelöste Zellen als Teil des Rechtecks.
Entscheidend ist, ob diese gelösten Zellen Vorgaben sind. Eine feste Vorgabe kann nicht „getauscht“ werden und kann damit genau die Mehrdeutigkeit zerstören, auf der die Technik beruht.
Darum hängt Avoidable Rectangle ungewöhnlich stark von der Unterscheidung zwischen ursprünglichen Vorgaben und späteren Platzierungen ab.
BUG und BUG+1
Ein Bivalue Universal Grave (BUG) ist ein größerer Deadly State:
- jede ungelöste Zelle ist bivalue;
- jeder Kandidat erscheint genau zweimal in jeder Zeile, Spalte und jedem Block, in dem er vorkommt.
Diese Struktur besitzt zwei Komplettierungen.
Bei BUG+1 enthält eine Zelle einen zusätzlichen Kandidaten über das reine BUG-Muster hinaus. Dieser Zusatzkandidat muss wahr sein, damit das Rätsel nicht in den Zwei-Lösungs-BUG-Zustand kollabiert.
Die BUG-Bedingungen müssen vollständig geprüft werden. „Alle Zellen sind bivalue außer einer trivalue Zelle“ reicht nicht.
Warum manche Solver Eindeutigkeitstechniken vermeiden
Eindeutigkeitstechniken unterscheiden sich philosophisch von normaler Kandidatenlogik.
Ein Naked Single ist wahr, weil lokale Zeilen-/Spalten-/Blockbedingungen nur einen legalen Wert übrig lassen.
Eine UR-Eliminierung kann dagegen wahr sein, weil sonst das gesamte Rätsel mehrere Lösungen hätte.
Einige Solver bevorzugen ein Technikset, das alles ausschließlich aus lokalen Constraints ableitet und die Konstruktionsgarantie der Eindeutigkeit nicht voraussetzt.
Beide Stile sind legitim. VeyraPlay benennt die Prämisse ausdrücklich, damit der Solver bewusst entscheiden kann.
Wann ist die Eindeutigkeitsprämisse sicher?
Sinnvolle Fälle sind:
- ein veröffentlichtes Rätsel aus einer Quelle, die Eindeutigkeit garantiert;
- ein VeyraPlay-Rätsel, dessen Lösungsanzahl geprüft wurde;
- ein generiertes Rätsel, das ein vollständiger Solver validiert hat.
Vermeide Eindeutigkeitstechniken, wenn:
- die Quelle unbekannt ist;
- du eine unfertige Konstruktion testest;
- das Rätsel absichtlich mehrere Lösungen zulassen kann;
- eine Variante ein anderes Lösungsmodell besitzt, das du nicht verifiziert hast.
Eindeutigkeitstechniken vs. Widerspruch
Beides kann Kandidaten verwerfen, doch die Art des Widerspruchs ist verschieden.
Normaler Widerspruch:
Dieser Kandidat erzeugt eine Zelle oder ein House, das Sudoku-Constraints verletzt.
Eindeutigkeitswiderspruch:
Dieser Kandidat lässt zwei gültige Komplettierungen übrig und widerspricht damit der Ein-Lösungs-Prämisse.
Diese Unterscheidung sollte in Erklärungen sichtbar bleiben.
Häufige Fehler bei Eindeutigkeitstechniken
Eindeutigkeit wie eine Grundregel behandeln
Sie ist eine Annahme über das gesamte Rätsel.
Die Geometrie ignorieren
UR-Zellen müssen die erforderliche Zwei-Zeilen-/Zwei-Spalten-/Zwei-Blöcke-Struktur erfüllen.
UR in einem ungeprüften Rätsel verwenden
Der Beweis hängt von der Eindeutigkeit ab.
BUG+1 nur aus Zellanzahlen ableiten
Auch die Kandidatenvorkommen in allen Houses müssen geprüft werden.
Jedes Rechteck für ein Unique Rectangle halten
Das relevante Kandidatenpaar und die echte Austauschbarkeit müssen vorhanden sein.
FAQ
Sind Eindeutigkeitstechniken logisch gültig?
Ja, wenn bekannt ist, dass das Rätsel genau eine Lösung hat und die Bedingungen des jeweiligen Musters erfüllt sind.
Brauche ich Eindeutigkeitstechniken zum Sudoku-Lösen?
Nein. Viele Rätsel lassen sich ohne sie lösen, und manche Solver-Stile vermeiden die Eindeutigkeitsprämisse absichtlich.
Wie viele Unique-Rectangle-Typen gibt es?
Verbreitete Taxonomien beschreiben Types 1–6 sowie Hidden und Avoidable Rectangles; Expertenliteratur enthält weitere Varianten.
Ist BUG+1 ein Unique Rectangle?
Nein. BUG+1 ist ein umfassenderes Eindeutigkeitsmuster, verwendet aber dieselbe Ein-Lösungs-Prämisse.
Warum erstellt VeyraPlay noch keine Seite für jeden UR-Typ?
Die Familie wird hier und in der Haupt-Guide zu Unique Rectangle abgedeckt. Einzelne Type-Seiten können später entstehen, wenn reale Such- oder Produktdaten eine eigene Suchintention rechtfertigen.
Was du als Nächstes lernen solltest
Nutze die Unique-Rectangle-Guide für Type-1-Geometrie, BUG+1 für die globale Bivalue-Struktur und die Guide zu eindeutigen Lösungen für die zugrunde liegende Rätseltheorie.