BUG Typ 2
Diese Deduktion setzt voraus, dass das Puzzle genau eine Lösung hat und dass alle früheren Kandidaten-Entfernungen korrekt waren. BUG Type 2 verwendet zwei oder mehr Ausnahmezellen, die dieselbe Wächterziffer tragen. Nach hypothetischer Entfernung aller Wächtervorkommen muss der vollständige verbleibende Zustand die BUG-Zählungen erfüllen.
Was ist BUG Typ 2?
Die Anzahl der Ausnahmezellen ist durch die Logik nicht auf zwei festgelegt. Verifizieren Sie, dass alle anderen ungelösten Zellen zweiwertig sind und dass die hypothetische Entfernung der geteilten Wächterziffer die erforderliche zweimal-pro-Einheit-BUG-Vorkommensstruktur hinterlässt.
Type 2 hat zwei oder mehr Ausnahmezellen, die dieselbe Wächterziffer tragen. Die hypothetische Entfernung aller Wächtervorkommen muss die verifizierte BUG-Struktur wiederherstellen. Mindestens eine Ausnahmezelle verwendet daher den Wächter, sodass die Ziffer aus einem Ziel entfernt werden kann, das jedes Vorkommen in den Ausnahmezellen sieht.
Beispiel mit Erklärung
Ein Walkthrough eines BUG Typ 2: zwei oder mehr Ausnahmezellen teilen eine Wächterziffer, die aus einem Kandidaten entfernt wird, der sie alle sieht.
Schritt 1
Gehe davon aus, dass dieses Rätsel genau eine Lösung hat und seine aktuellen Kandidaten korrekte Schlussfolgerungen widerspiegeln. Betrachte diese ungelösten Zellen.
Schritt 2
Die Zellen E7 und H7 enthalten denselben zusätzlichen BUG-Kandidaten 2, im Gitter markiert. Das Entfernen von 2 aus allen würde die tödliche BUG-Struktur hinterlassen.
Schritt 3
Angenommen, die BUG-Kandidaten 2 würden aus E7 und H7 entfernt, wie im Gitter markiert. Dann wäre jede ungelöste Zelle zweiwertig, und jeder verbleibende Kandidat käme in jeder Reihe, Spalte und jedem Block, in dem er erscheint, genau zweimal vor. Das ist die BUG-Struktur, die durch die gesetzte Eindeutigkeitsannahme ausgeschlossen ist.
Schritt 4
Daher muss mindestens eine von E7 und H7 2 enthalten. Jede andere Zelle, die all diese BUG-Zellen sieht, kann nicht ebenfalls 2 enthalten, also können die markierten Vorkommen entfernt werden.
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 spielen Sie Sudoku online, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man es erkennt
Finden Sie alle Ausnahmezellen, die eine vorgeschlagene Wächterziffer tragen, und verifizieren Sie den gesamten Kandidatenzustand nach ihrer hypothetischen Entfernung. Ein Ziel für diese Ziffer ist nur gültig, wenn es jedes Vorkommen in den Ausnahmezellen sieht, das den Wächter liefern könnte.
Die Logik
Würde keine Ausnahmezelle die Wächterziffer verwenden, bliebe der ausgeschlossene BUG-Zustand. Unter der Einmalige-Lösung-Annahme muss mindestens eine Ausnahmezelle sie verwenden. Ein Ziel, das jedes mögliche Wächtervorkommen sieht, kann dieselbe Ziffer nicht verwenden und kann entfernt werden.