Eindeutigkeit

Bedingte Eliminierungen mit explizit genannter Einmalige-Lösung-Prämisse: Unique Rectangles, Unique Loops und das Bi-value Universal Grave (BUG).

Four Sudoku cells forming a deadly Unique Rectangle Type 1 construction

Eindeutiges Rechteck Typ 1

Eine Rettungszelle enthält zusätzliche Kandidaten; das tödliche Paar wird daraus entfernt.

A Unique Rectangle Type 2 with two extra candidates sharing a house

Eindeutiges Rechteck Typ 2

Die Rettungszellen des Rechtecks teilen sich einen zusätzlichen Kandidaten, der aus ihren gemeinsamen Peers entfernt werden kann.

A Unique Rectangle Type 3 with extra candidates acting as a locked subset

Eindeutiges Rechteck Typ 3

Die zusätzlichen Kandidaten bilden mit anderen Zellen eine nackte Menge in einem gemeinsamen Haus.

A Unique Rectangle Type 4 where a conjugate restriction blocks the swap

Eindeutiges Rechteck Typ 4

Eine Rechteck-Ziffer ist auf zwei Rettungszellen beschränkt, sodass die andere Rechteck-Ziffer entfernt werden kann.

A Unique Loop Type 1 closed deadly construction in a Sudoku grid

Eindeutige Schleife Typ 1

Ein längerer Unique Loop hat eine Rettungszelle, aus der das tödliche Paar entfernt werden kann.

A Unique Loop Type 2 with extra candidates sharing a house

Eindeutige Schleife Typ 2

Rettungszellen in einem längeren Loop teilen sich einen zusätzlichen Kandidaten, der aus gemeinsamen Peers eliminiert.

A Unique Loop Type 3 whose extras act as a locked set

Eindeutige Schleife Typ 3

Zusätzliche Loop-Kandidaten bilden eine nackte Menge mit anderen Zellen in einem gemeinsamen Haus.

A Unique Loop Type 4 with a conjugate pair inside the loop

Eindeutige Schleife Typ 4

Eine Loop-Ziffer ist auf die Rettungszellen beschränkt, sodass die andere Loop-Ziffer dort entfernt werden kann.

A BUG Type 1 grid with one poly-valued cell and all others bivalue

BUG Typ 1

Ein Wächterkandidat verhindert den verifizierten BUG-Zustand und muss behalten werden.

A BUG Type 2 where exception cells in one house share a guardian digit

BUG Typ 2

Mehrere BUG-Ausnahmezellen teilen eine Wächterziffer, die aus ihren gemeinsamen Peers eliminieren kann.

A BUG Type 3 where guardian alternatives act as a virtual slot

BUG Typ 3

BUG-Werte bilden mit benachbarten Zellen eine nackte Menge in einem gemeinsamen Haus.

A BUG Type 4 with a locked digit inside the exception cells

BUG Typ 4

Zwei BUG-Zellen sperren einen zusätzlichen Kandidaten in ihrem gemeinsamen Haus ein.

So funktioniert die auf Eindeutigkeit beruhende Sudoku-Logik

Eindeutigkeitstechniken gelten für korrekt konstruierte Sudokus, die garantiert genau eine Lösung besitzen. Ein tödliches Muster ist eine ungelöste Anordnung, in der zwei Ziffern vertauscht werden könnten und dadurch zwei gültige Lösungen entstünden. Ein Unique Rectangle verwendet vier Zellen in zwei Zeilen, zwei Spalten und zwei Blöcken; ein Unique Loop führt dasselbe Prinzip über eine längere gerade Schleife fort. Da die tödliche Form in einem eindeutigen Rätsel nicht bestehen bleiben kann, muss mindestens eine Zelle sie unterbrechen.

Die vier Typen beschreiben verschiedene Arten, wie diese zusätzlichen Kandidaten eine Rettung liefern. Typ 1 entfernt das tödliche Paar aus einer einzigen Rettungszelle. Typen 2 und 4 nutzen einen geteilten Extra-Kandidaten oder eine konjugierte Beziehung, während Typ 3 die Extras mit einer Teilmenge in einer gemeinsamen Einheit kombiniert. BUG wendet dieselbe Prämisse auf den All-Bivalue-Endspielzustand an: Die Zellen oder Kandidaten, die einen tödlichen balancierten Zustand hinterlassen würden, werden identifiziert und aufgelöst. Dies sind bedingte Deduktionen: Sie sollten nur verwendet werden, wenn die Einzigkeit des Puzzles bekannt ist, nicht als allgemeiner Ersatz für Widerspruchstests auf einem beliebigen Gitter.

← Zurück zu Sudoku-Techniken