Erzwingende Ketten
Erzwingende Ketten testen beide Kandidaten in einem Feld und folgen den Konsequenzen von jedem von ihnen.
Lerne die TechnikBUG+1 nutzt die Tatsache aus, dass ein gültiges Sudoku-Brett nicht in einem Zustand enden kann, in dem alle leeren Felder genau zwei Kandidaten haben. Dieser Zustand wird eine Bivalue Universal Grave genannt.
Gehe die Beispiele Schritt für Schritt durch. Jeder Schritt erklärt, was du auf dem Brett siehst und warum die Schlussfolgerung hält.
BUG steht für Bivalue Universal Grave, einen Zustand, bei dem absolut alle leeren Felder genau zwei Kandidaten haben. Ein solches Brett kann keine eindeutige Lösung haben, daher kann ein gültiges Sudoku nie dort enden. BUG+1 tritt auf, wenn das Brett einen Schritt davor ist: Alle leeren Felder haben zwei Kandidaten, außer einem Feld, das drei hat.
Das eine Feld muss dann das Grab verhindern. Unter den drei Kandidaten gibt es eine Ziffer, die sich in der Anzahl der Vorkommen in der Zeile, Spalte und dem Block des Feldes unterscheidet, und genau diese Ziffer muss platziert werden, damit das Brett nicht in einen Zustand mit mehreren Lösungen kollabiert. Das Muster taucht gerne am Ende von schwierigen Brettern auf.
Die schwierigsten Bretter erfordern Techniken, die lange logische Ketten über das ganze Brett folgen. Sie sind im Grunde Beweisführung: Nimm etwas an, folge den Konsequenzen, und sehe, was nicht stimmen kann. Arbeite dich durch die Beispiele unten durch, Schritt für Schritt, mit den gleichen Werkzeugen, die der Löser auf dein eigenes Brett anwendet.
Gib dein Brett im Sudoku-Löser ein, dann findet er den nächsten Schritt und erklärt die Technik dahinter.
Öffne den Sudoku-Löser