BUG Typ 4
Diese Deduktion setzt voraus, dass das Puzzle genau eine Lösung hat und dass alle früheren Kandidaten-Entfernungen korrekt waren. BUG Type 4 kombiniert eine verifizierte BUG-Wächtergruppe mit einer zweiten Ziffer, die in einer geteilten Einheit auf dieselben Ausnahmezellen beschränkt ist. Die Schlussfolgerung ist eine Kandidaten-Beschränkung, es sei denn, der angezeigte Zustand beweist separat individuelle Platzierungen.
Was ist BUG Typ 4?
Verifizieren Sie den vollständigen BUG-Zustand, der durch hypothetische Entfernung der Wächterziffer erzeugt wird. Verifizieren Sie dann, dass eine andere Ziffer in der geteilten Einheit der Ausnahmezellen bilokal ist. Diese zwei Mindestens-eine-Bedingungen beschränken, was die Zellen enthalten können; die Anzahl der Ausnahmezellen ist eine Beispielbedingung, keine Abkürzung für den Beweis.
Type 4 kombiniert die garantierten BUG-Wächter-Alternativen mit einer anderen Ziffer, die in einer geteilten Einheit in die relevanten Ausnahmezellen gesperrt ist. Diese zwei Beschränkungen können andere Kandidaten entfernen, bestimmen aber nicht allein, welche Ausnahmezelle welche der zwei Ziffern erhält.
Beispiel mit Erklärung
Ein Walkthrough eines BUG Typ 4: eine Wächtergruppe plus eine zweite in denselben Ausnahmezellen gesperrte Ziffer schränkt ein, was diese Zellen enthalten können.
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 die zusätzlichen BUG-Kandidaten 2. Sie sind zugleich die einzigen zwei Positionen für 4 in Reihe 7. Diese wichtigen Kandidaten sind im Gitter markiert.
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
Um den BUG zu vermeiden, muss eine von E7 und H7 einen der Escape-Werte 2 liefern. Der Wert 4 muss ebenfalls eine dieser zwei Zellen belegen, da er in Reihe 7 keine andere Position hat. Welche Zelle welche Rolle spielt, ist nicht bestimmt, aber so oder so kann keine der Zellen die markierten Kandidaten enthalten, daher können sie 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
Identifizieren Sie jedes Wächtervorkommen und prüfen Sie die hypothetischen BUG-Zählungen. Finden Sie in einer von den relevanten Ausnahmezellen geteilten Einheit eine andere Ziffer ohne Positionen außerhalb von ihnen. Wenden Sie nur Eliminierungen an, die von beiden Beschränkungen getragen werden.
Die Logik
Mindestens eine Ausnahmezelle muss die Wächterziffer verwenden, um den BUG zu vermeiden, und mindestens eine muss die gesperrte Ziffer verwenden, weil diese Ziffer keine andere Position in der Einheit hat. Dies kann andere Kandidaten ausschließen, soweit es die genauen Zellmengen erlauben, bestimmt aber nicht automatisch, welche Zelle welche Ziffer erhält.