BUG Typ 3
Diese Deduktion setzt voraus, dass das Puzzle genau eine Lösung hat und dass alle früheren Kandidaten-Entfernungen korrekt waren. BUG Type 3 beginnt mit einer verifizierten BUG-Kandidatenstruktur und kombiniert ihre Wächter-Alternativen mit anderen Zellen in einer geteilten Einheit zu einer Teilmengen-artigen Beschränkung. Die Wächter-Alternativen wirken als ein virtueller Slot; sie sind keine gewöhnlichen unabhängigen Teilmengenzellen.
Was ist BUG Typ 3?
Identifizieren Sie zuerst die Wächterkandidaten-Gruppe, deren vollständige Entfernung den BUG-Zustand erzeugen würde. Kombinieren Sie in einer geteilten Einheit diese garantierte Gruppe mit N−1 echten Zellen, sodass die relevante Kandidaten-Vereinigung N Ziffern hat. Zählen Sie jede tatsächliche Zelle einmal und halten Sie die Wächterzellen von gewöhnlichen Teilmengenmitgliedern getrennt.
Type 3 kombiniert die garantierten Wächter-Alternativen mit einer Teilmengen-Beschränkung in einer geteilten Einheit. Die Alternativen besetzen zusammen einen virtuellen Slot; sie sind keine gewöhnlichen unabhängigen Teilmengenzellen. Fügen Sie die erforderliche Anzahl separater Begleitzellen hinzu, zählen Sie die Kandidaten-Vereinigung exakt und eliminieren Sie nur aus anderen berechtigten Zellen in dieser Einheit.
Beispiel mit Erklärung
Ein Walkthrough eines BUG Typ 3: Wächteralternativen wirken als virtueller Platz, der eine Teilmengen-Einschränkung in einer gemeinsamen Einheit vervollständigt.
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 F7 und H7 enthalten die zusätzlichen BUG-Kandidaten 4 und 7, im Gitter markiert. Das Entfernen all dieser markierten Kandidaten würde die tödliche BUG-Struktur hinterlassen.
Schritt 3
Angenommen, die BUG-Kandidaten 4 und 7 würden aus F7 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
Um den BUG zu vermeiden, muss mindestens eine von F7 und H7 einen von 4 und 7 enthalten. Diese garantierte Entweichmöglichkeit wirkt wie ein virtueller Slot für die Werte 4 und 7. Zusammen mit den echten Begleitzellen E7 sperrt sie diese Werte in Reihe 7. Die markierten Vorkommen außerhalb dieser zulässigen Positionen können daher 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
Verifizieren Sie die zugrunde liegenden BUG-Zählungen, identifizieren Sie die Wächter-Alternativen und zählen Sie dann die Begleitzellen und die Ziffern-Vereinigung in ihrer geteilten Einheit. Nennen Sie drei gewöhnliche Zellen nicht ein Nacktes Paar und eliminieren Sie nicht aus einer Wächterzelle mit der gewöhnlichen Außerhalb-der-Teilmenge-Regel.
Die Logik
Eindeutigkeit garantiert, dass mindestens eine Wächter-Alternative wahr ist, sodass die Gruppe einen virtuellen Slot in der kombinierten Beschränkung besetzt. Die Begleitzellen besetzen die verbleibenden Slots. Kandidaten in der resultierenden Ziffern-Vereinigung können nur aus anderen berechtigten Zellen in der geteilten Einheit entfernt werden.