Eindeutige Schleife Typ 1
Diese Deduktion setzt voraus, dass das Puzzle genau eine Lösung hat und dass alle früheren Kandidaten-Entfernungen korrekt waren. Ein Type-1-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. Eine Rettungszelle trägt Extra-Kandidaten; sie muss einen davon nehmen, sodass die zwei Basis-Ziffern aus dieser Zelle entfernt werden.
Was ist Eindeutige Schleife Typ 1?
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 1 wendet dann seine zusätzliche Rettungsbedingung an; ein beliebiger gerader Zyklus reicht nicht.
In Typ 1 ist jede Loop-Zelle außer einer bivalue auf den Basis-Ziffern; die verbleibende Rettungszelle hält zusätzlich Extra-Kandidaten. Weil mindestens ein Rettungskandidat wahr sein muss, kann diese Zelle keine der Basis-Ziffern halten.
Beispiel mit Erklärung
Ein Walkthrough einer Einzigartigen Schleife Typ 1: jede Schleifenzelle außer einer ist zweiwertig auf den Basisziffern, und die einzelne Rettungszelle verliert beide Basisziffern.
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 D4, G4, G6, F6, F9, D9 bilden ein potenziell tödliches Unique Schleife auf 4 und 5. Wäre jede dieser Zellen auf 4 und 5 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.
Schritt 3
Die einzig mögliche Art, diese beiden Konfigurationen zu vermeiden, ist, wenn die Zelle D9 nicht die Werte 4 und 5 enthält.
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 es erkennt
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. Alle Loop-Zellen außer einer sind bivalue auf den Basis-Ziffern; die Rettungszelle hat auch Extra-Kandidaten. Bestätigen Sie, dass der Tausch jede berührte Einheit erhalten würde, bevor Sie die zwei Basis-Ziffern aus dieser Rettungszelle entfernen.
Die Logik
Würde die Rettungszelle eine Basis-Ziffer verwenden, würde die vollständige Basis-Ziffern-Anordnung den verbotenen Tausch erlauben. Unter der Einmalige-Lösung-Annahme muss sie einen Extra-Kandidaten verwenden, sodass die zwei Basis-Kandidaten aus dieser Zelle entfernt werden können.