AIC (Wechselnde Ketten)
AIC steht für Alternating Inference Chains und sind Ketten, die zwischen starken und schwachen Verbindungen über das Brett wechseln.
Lerne die TechnikErzwingende Ketten testen beide Kandidaten in einem Feld und folgen den Konsequenzen von jedem von ihnen.
Gehe die Beispiele Schritt für Schritt durch. Jeder Schritt erklärt, was du auf dem Brett siehst und warum die Schlussfolgerung hält.
Erzwingende Ketten nehmen ein Feld mit genau zwei Kandidaten als Ausgangspunkt und testen beide. Du folgst den Konsequenzen jedes Kandidaten über das Brett, Platzierung für Platzierung, und siehst, wo die beiden Hypothesen enden. Die Technik ist Brute Force in ein System gebracht, und sie wird gerne verwendet, wenn alle Musterbrechertechniken stoppten.
Zwei Ergebnisse ergeben eine gültige Schlussfolgerung. Führen beide Hypothesen zur gleichen Schlussfolgerung, zum Beispiel dass das gleiche Feld die gleiche Ziffer erhält, ist die Schlussfolgerung wahr, egal wie. Und führt eine der Hypothesen zu einem Widerspruch, zum Beispiel ein Feld ohne Kandidaten, muss das Feld den anderen Kandidaten haben.
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