Eindeutiges Rechteck Typ 3
Diese Deduktion setzt voraus, dass das Puzzle genau eine Lösung hat und dass alle früheren Kandidaten-Entfernungen korrekt waren. Ein Type-3-Unique-Rectangle startet von einem Kandidatenzustand, in dem das Vertauschen zweier Ziffern über die Konstruktion jede berührte Reihe, Spalte und jeden Block erhalten würde. Die Rettungs-Alternativen wirken als ein virtueller Slot, der eine Teilmengen-Beschränkung in einer geteilten Einheit vervollständigt.
Was ist Eindeutiges Rechteck Typ 3?
Diese Deduktion setzt voraus, dass das Puzzle genau eine Lösung hat und dass alle früheren Kandidaten-Entfernungen korrekt waren. Verifizieren Sie zuerst die vollständige Zwei-Werte-Struktur: vier ungelöste Zellen an den Ecken zweier Reihen und zweier Spalten über genau zwei Blöcke, jede mit denselben zwei Basis-Ziffern unter ihren Kandidaten. Das Austauschen dieser Ziffern zwischen den Ecken darf keine Vorgabe verschieben und muss jede betroffene Einheit mit einem Vorkommen jeder Basis-Ziffer belassen. Typ 3 wendet dann seine zusätzliche Rettungsbedingung an; ein beliebiges Rechteck reicht nicht.
In Typ 3 wirken die Rettungs-Alternativen als ein virtueller Slot. Kombiniert mit Begleitzellen in einer geteilten Einheit vervollständigen sie eine Teilmengen-Beschränkung auf eine gezählte Ziffern-Vereinigung, die aus den anderen berechtigten Zellen entfernt wird.
Beispiel mit Erklärung
Ein Walkthrough eines Einzigartigen Rechtecks Typ 3: die Rettungsalternativen wirken als virtueller Platz, der eine Teilmengen-Einschränkung in einer gemeinsamen Einheit vervollständigt.
Schritt 1
Betrachte diese 4 Zellen.
Schritt 2
Gehe davon aus, dass dieses Rätsel genau eine Lösung hat und seine aktuellen Kandidaten korrekte Schlussfolgerungen widerspiegeln. Die Zellen B2, G2, B3, G3 bilden ein potenziell tödliches Unique Rechteck auf 6 und 7. Wäre jede dieser Zellen auf 6 und 7 beschränkt, würden die beiden alternierenden Belegungen jede berührte Reihe, Spalte und jeden Block erhalten, während die Vorgaben fixiert blieben. Das Vertauschen einer Belegung gegen die andere würde daher eine eindeutige Vervollständigung verhindern. Die gesetzte Eindeutigkeitsannahme erfordert die angezeigten zusätzlichen Kandidaten oder eine zusätzliche Einschränkung, um diesen tödlichen Zustand zu brechen. Entweder B2 oder B3 muss einen der Escape-Werte 1, 3 und 5 liefern. Diese garantierte Wahl wirkt wie ein virtueller Slot für 1, 3, 5 und 4. Zusammen mit den echten Begleitzellen B5, B7, B8 sperrt der virtuelle Slot diese Werte in Spalte; keine der Rettungszellen wird doppelt gezählt.
Schritt 3
Die markierten Kandidaten für 1, 3, 5 und 4 können daher aus Spalte entfernt werden. Sie liegen außerhalb des virtuellen Escape-Slots, seiner echten Begleitzellen und der alternativen Rettungszelle.
Dieser Walkthrough zeigt ein gültiges Beispiel der definierten Konstruktion. Prüfen Sie die vollständige tödliche Struktur, jede berührte Einheit und die Rettungs- oder Wächterbedingung für jedes Ziel, bevor Sie dieselbe Deduktion auf ein anderes Gitter anwenden. Sie können starten Sie ein kostenloses Sudoku-Spiel, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man es erkennt
Verifizieren Sie vier ungelöste Ecken in zwei Reihen, zwei Spalten und genau zwei Blöcken. Die Rettungs-Alternativen in den Rettungszellen bilden einen virtuellen Slot. Kombinieren Sie diesen Slot mit N−1 echten Begleitzellen in einer geteilten Einheit, deren Kandidaten-Vereinigung N Ziffern enthält. Zählen Sie jede Zelle einmal und entfernen Sie die Vereinigung nur aus anderen berechtigten Zellen.
Die Logik
Eindeutigkeit garantiert, dass mindestens eine Rettungszelle eine Extra-Ziffer verwendet, sodass die Rettungsgruppe einen virtuellen Slot besetzt. Zusammen mit den verifizierten Begleitzellen reserviert sie die genannte Ziffern-Vereinigung; nur Kandidaten außerhalb dieser kombinierten Menge sind Eliminierungsziele.