Eindeutige Schleife 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-Loop 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 eine Eindeutige Schleife 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: eine gerade Schleife ungelöster Zellen, die dieselben zwei Basis-Ziffern teilen, mit genau zwei Loop-Zellen in jeder Einheit, die sie berührt. Das Austauschen dieser Ziffern um die Schleife 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 beliebiger gerader Zyklus 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 einer Einzigartigen Schleife Typ 3: die Rettungsalternativen wirken als virtueller Platz, der eine Teilmengen-Einschränkung in einer gemeinsamen Einheit vervollständigt.
Schritt 1
Betrachte diese 6 Zellen.
Schritt 2
Gehe davon aus, dass dieses Rätsel genau eine Lösung hat und seine aktuellen Kandidaten korrekte Schlussfolgerungen widerspiegeln. Die Zellen C4, C6, H6, H1, I1, I4 bilden ein potenziell tödliches Unique Schleife auf 2 und 7. Wäre jede dieser Zellen auf 2 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 H1 oder I1 muss einen der Escape-Werte 5 und 1 liefern. Diese garantierte Wahl wirkt wie ein virtueller Slot für 5 und 1. Zusammen mit den echten Begleitzellen G3 sperrt der virtuelle Slot diese Werte in Block; keine der Rettungszellen wird doppelt gezählt.
Schritt 3
Die markierten Kandidaten für 5 und 1 können daher aus Block 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 probieren Sie unsere kostenlosen Sudoku-Rätsel, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man sie findet
Verifizieren Sie eine gerade Schleife, in der jede betroffene Einheit genau zwei Loop-Zellen enthält und die zwei Basis-Ziffern um die Schleife ausgetauscht werden können. 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.