BUG Typ 1
Diese Deduktion setzt voraus, dass das Puzzle genau eine Lösung hat und dass alle früheren Kandidaten-Entfernungen korrekt waren. In BUG Type 1 enthält eine Dreiwert-Zelle einen einzelnen Wächterkandidaten, dessen hypothetische Entfernung die vollständige BUG-Struktur hinterlassen würde. Der Wächter muss wahr sein, sodass die anderen zwei Kandidaten in dieser Zelle entfernt werden können.
Was ist BUG Typ 1?
Die Prämisse ist mehr als „alle Zellen zweiwertig außer einer“. Nach hypothetischer Entfernung des Wächterkandidaten muss jede ungelöste Zelle zweiwertig sein und jede verbleibende Ziffer muss in jeder Reihe, Spalte und jedem Block, wo sie vorkommt, genau zweimal vorkommen. Das ist die durch Eindeutigkeit ausgeschlossene BUG-Struktur.
Eine einzelne Dreiwert-Zelle ist die übliche Type-1-Ausnahme. Einer ihrer drei Kandidaten ist der Wächter: Ihn hypothetisch zu entfernen erzeugt die verifizierte BUG-Struktur. Der Wächter muss bleiben und wird zum Wert der Zelle; die anderen zwei Nicht-Wächter-Kandidaten werden entfernt.
Beispiel mit Erklärung
Ein Walkthrough eines BUG Typ 1: eine einzelne dreiwertige Ausnahmezelle in einem ansonsten rein zweiwertigen Zustand; ihr Wächterkandidat bleibt erhalten und die anderen beiden werden entfernt.
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
Jede hervorgehobene Zelle hat genau zwei Kandidaten, außer I9. Ihr Wächter-Kandidat 7, im Gitter markiert, ist es, der den BUG verhindert.
Schritt 3
Angenommen, 7 würde aus I9 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 I9 seinen Wert vom Wächter-Kandidaten 7 nehmen; sonst bliebe der BUG bestehen. Seine anderen Kandidaten, 5 und 9, können aus I9 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 die einzelne Dreiwert-Zelle, dann testen Sie jeden möglichen Wächter, indem Sie ihn hypothetisch entfernen und die gesamte BUG-Vorkommensstruktur prüfen. Wenn genau eine Entfernung den BUG-Zustand erzeugt, ist dieser entfernte Kandidat der Wächter. Behalten Sie ihn und entfernen Sie die anderen zwei Kandidaten aus der Zelle.
Die Logik
Wäre der Wächter falsch, wäre der verbleibende Kandidatenzustand ein BUG und würde keine eindeutige Vervollständigung zulassen. Unter der genannten Eindeutigkeits-Annahme muss der Wächter daher wahr sein. Die aus der Ausnahmezelle entfernten Kandidaten sind die zwei Nicht-Wächter-Kandidaten, nicht der Wächter selbst.