Eindeutige Rechtecke

Die Eindeutigkeitsannahme in Sudoku

Ein korrekt erstelltes Sudoku-Rätsel hat genau eine Lösung. Wenn Sie eine Kandidatenkonfiguration identifizieren können, die mehrere Lösungen erzeugen würde, ist diese Konfiguration unmöglich. Mindestens ein Kandidat muss falsch sein, und Sie können ihn ausschließen. Die Familie des eindeutigen Rechtecks wendet dies auf vier Zellen an, die ein Rechteck bilden, das zwei Zeilen, zwei Spalten und genau zwei Blöcke umfasst.

Was ist ein tödlicher Muster in Sudoku?

Ein tödliches Muster ist eine Konfiguration, die den Austausch von Ziffern zuließe, um eine zweite gültige Lösung zu erzeugen. Vier Zellen, die ein Rechteck über genau zwei Blöcke bilden und alle nur {X, Y} enthalten, würden eine solche Mehrdeutigkeit verursachen. Beide Anordnungen erfüllen alle Einschränkungen. Dies ist in einem gültigen Rätsel verboten. Die Anforderung an zwei Blöcke stellt sicher, dass der Austausch für alle Hausarten unsichtbar bleibt.

Die eindeutige Rechteck-Einrichtung: Boden und Dach

Bodenzellen enthalten genau {X, Y}. Dachzellen enthalten {X, Y} zusätzlich zu Extras. Die Extras sind Fluchtrouten, die das tödliche Muster verhindern. Ziel: Beweisen, dass die Dachzellen nicht beide auf genau {X, Y} enden können. Da das tödliche Muster verboten ist, muss mindestens eine Dach-Zelle auf etwas anderes als X oder Y auflösen.

Eindeutiges Rechteck Typ 1: Eine zusätzliche Ecke

Drei Ecken haben zwei Werte {X, Y}. Die vierte hat {X, Y} plus zusätzliche Werte. Wenn die vierte Ecke X oder Y wäre, würde sich das tödliche Muster vollständig bilden. Eliminiere sowohl X als auch Y aus der vierten Ecke. Stufe 6 (schwer).

Eindeutiges Rechteck Typ 2: Geteilter zusätzlicher Kandidat

Zwei Bodenzellen {X, Y}. Zwei Dachzellen {X, Y, Z}. Mindestens eine Dachzelle muss Z sein. Entferne Z aus den Zellen, die beide Dachzellen sehen. Stufe 6 (Schwer).

Eindeutiges Rechteck Typ 3: Pseud-Entblößte Teilmenge

Zwei Dachzellen haben zusätzliche Werte, die außerhalb von {X, Y} liegen. Die Zusatzwerte bilden mit anderen Zellen im gemeinsamen Haus eine Pseudonacktschubgruppe. Stufe 7 (Sehr schwer).

Eindeutiges Rechteck Typ 4: Konjugiertes Paar

Eine Paar-Ziffer bildet ein konjugiertes Paar zwischen den beiden Dachzellen. Dies bricht die tödliche Anordnung. Eliminiere die andere Paar-Ziffer aus beiden Dachzellen. Stufe 7 (Sehr schwer).

Eindeutiges Rechteck Typ 5: Diagonale Zusatz

Ein zusätzlicher Kandidat Z erscheint in den diagonalen Ecken oder in drei von vier Ecken. Mindestens eine Z-Ecke muss Z sein. Eliminiere Z aus den Zellen, die alle Z-Ecken sehen. Stufe 8 (Experte).

Vermeidbarer Rechteck

Gilt für Rechtecke, bei denen alle Ecken Nicht-Vorgabezellen sind (einige bereits gelöst). Der Austauschargument gilt weiterhin, da keine festgelegt wurden. Typen 1-4 spiegeln die Standard-UR-Typen wider. Stufe 6 (schwer).

Verstecktes eindeutiges Rechteck

In den Dachzellen des gemeinsamen Hauses erscheint eine Paarzahl nur in diesen beiden Zellen als Kandidat ("versteckt"). Diese Zahl muss in eine Dach-Zelle gehen, wodurch das tödliche Muster gebrochen wird. Eliminieren Sie die andere Paarzahl aus beiden Dachzellen. Stufe 8 (Experte).

Praktische Tipps zum Finden von eindeutigen Rechtecken

Beginnen Sie mit den Bivalue-Zellen. Wenn Sie zwei oder mehr mit demselben Paar sehen, überprüfen Sie die Bildung eines Rechtecks. Stellen Sie die Zwei-Block-Beschränkung sicher. Überprüfen Sie alle Orientierungen. Kombinieren Sie mit anderen Techniken, nachdem Sie UR-Entfernungen angewendet haben.

Zusammenfassung

Die Unique-Rectangle-Familie bietet sieben Techniken, die die Eindeutigkeitsannahme ausnutzen. Sie reichen von Typ 1 (Beseitigung der Paarziffern aus der zusätzlichen Ecke) bis hin zu verstecktem UR (Finden einer Verstecktes Paar Ziffer, um die andere zu beseitigen). Die Beherrschung dieser Techniken erweitert die Lösungsfähigkeiten erheblich für schwierige bis Expert-Puzzles.