AIC (Alternierende Inferenzketten): Sudoku-Technik erklärt

Siehe die Technik in der Praxis

Gehe die Beispiele Schritt für Schritt durch. Jeder Schritt erklärt, was du auf dem Brett siehst und warum die Schlussfolgerung hält.

Beispiel:

Wir beginnen in Zeile 3, Spalte 8 mit der Ziffer 3.
Eine starke Verbindung führt weiter zu Zeile 3, Spalte 8. Wenn 3 im vorherigen Feld nicht wahr ist, muss 9 hier wahr sein.
Eine schwache Verbindung führt weiter zu Zeile 3, Spalte 9. Wenn 9 im vorherigen Feld wahr ist, kann 9 hier nicht wahr sein.
Eine starke Verbindung führt weiter zu Zeile 3, Spalte 9. Wenn 9 im vorherigen Feld nicht wahr ist, muss 3 hier wahr sein.
Die Kette wechselt von Ende zu Ende zwischen starken und schwachen Verbindungen, daher muss mindestens einer von Zeile 3, Spalte 8 und Zeile 3, Spalte 9 die Ziffer 3 enthalten. Wir streichen es aus den Notizen in Zeile 3, Spalte 2, Zeile 3, Spalte 5 und Zeile 3, Spalte 6.

Wir beginnen in Zeile 1, Spalte 6 mit der Ziffer 4.
Eine starke Verbindung führt weiter zu Zeile 1, Spalte 9. Wenn 4 im vorherigen Feld nicht wahr ist, muss 4 hier wahr sein.
Eine schwache Verbindung führt weiter zu Zeile 2, Spalte 9. Wenn 4 im vorherigen Feld wahr ist, kann 4 hier nicht wahr sein.
Eine starke Verbindung führt weiter zu Zeile 2, Spalte 6. Wenn 4 im vorherigen Feld nicht wahr ist, muss 4 hier wahr sein.
Die Kette wechselt von Ende zu Ende zwischen starken und schwachen Verbindungen, daher muss mindestens einer von Zeile 1, Spalte 6 und Zeile 2, Spalte 6 die Ziffer 4 enthalten. Wir streichen es aus den Notizen in Zeile 5, Spalte 6.

Wir beginnen in Zeile 1, Spalte 7 mit der Ziffer 9.
Eine starke Verbindung führt weiter zu Zeile 7, Spalte 7. Wenn 9 im vorherigen Feld nicht wahr ist, muss 9 hier wahr sein.
Eine schwache Verbindung führt weiter zu Zeile 7, Spalte 9. Wenn 9 im vorherigen Feld wahr ist, kann 9 hier nicht wahr sein.
Eine starke Verbindung führt weiter zu Zeile 1, Spalte 9. Wenn 9 im vorherigen Feld nicht wahr ist, muss 9 hier wahr sein.
Die Kette wechselt von Ende zu Ende zwischen starken und schwachen Verbindungen, daher muss mindestens einer von Zeile 1, Spalte 7 und Zeile 1, Spalte 9 die Ziffer 9 enthalten. Wir streichen es aus den Notizen in Zeile 1, Spalte 2 und Zeile 1, Spalte 3.

Wir beginnen in Zeile 2, Spalte 2 mit der Ziffer 5.
Eine starke Verbindung führt weiter zu Zeile 2, Spalte 3. Wenn 5 im vorherigen Feld nicht wahr ist, muss 5 hier wahr sein.
Eine schwache Verbindung führt weiter zu Zeile 2, Spalte 7. Wenn 5 im vorherigen Feld wahr ist, kann 5 hier nicht wahr sein.
Eine starke Verbindung führt weiter zu Zeile 9, Spalte 7. Wenn 5 im vorherigen Feld nicht wahr ist, muss 5 hier wahr sein.
Die Kette wechselt von Ende zu Ende zwischen starken und schwachen Verbindungen, daher muss mindestens einer von Zeile 2, Spalte 2 und Zeile 9, Spalte 7 die Ziffer 5 enthalten. Wir streichen es aus den Notizen in Zeile 2, Spalte 7.

Wir beginnen in Zeile 1, Spalte 8 mit der Ziffer 1.
Eine starke Verbindung führt weiter zu Zeile 1, Spalte 4. Wenn 1 im vorherigen Feld nicht wahr ist, muss 1 hier wahr sein.
Eine schwache Verbindung führt weiter zu Zeile 2, Spalte 5. Wenn 1 im vorherigen Feld wahr ist, kann 1 hier nicht wahr sein.
Eine starke Verbindung führt weiter zu Zeile 6, Spalte 5. Wenn 1 im vorherigen Feld nicht wahr ist, muss 1 hier wahr sein.
Die Kette wechselt von Ende zu Ende zwischen starken und schwachen Verbindungen, daher muss mindestens einer von Zeile 1, Spalte 8 und Zeile 6, Spalte 5 die Ziffer 1 enthalten. Wir streichen es aus den Notizen in Zeile 6, Spalte 8.

AIC steht für Alternating Inference Chains (alternierende Inferenzketten), also Ketten, die zwischen starken und schwachen Verknüpfungen wechseln. Bei einer starken Verknüpfung muss mindestens einer von zwei Kandidaten richtig sein, etwa bei den einzigen beiden Positionen einer Zahl in einer Einheit oder den beiden Kandidaten eines Feldes mit genau zwei Kandidaten. Bei einer schwachen Verknüpfung kann höchstens einer richtig sein, beispielsweise bei zwei gleichen Kandidaten in derselben Einheit.

Wenn die Kette durchgehend zwischen stark, schwach, stark, schwach wechselt, verhalten sich die Enden wie ein normales starkes Paar: Mindestens einer von ihnen muss richtig sein. Wenn die Kette mit der gleichen Ziffer startet und endet, kann die Ziffer aus allen Feldern gestrichen werden, die beide Enden sehen. AIC ist das allgemeine Rahmenwerk hinter vielen benannten Techniken, und sowohl Färben als auch XY-Wing können als kurze AIC-Ketten geschrieben werden.

Finde eine starke Verbindung für eine Ziffer und lass das eine Ende der Ausgangspunkt der Kette sein.
Baue weiter, indem du wechselst: Nach einer starken Verbindung folgt eine schwache, und nach einer schwachen muss eine neue starke kommen.
Fahre fort, bis du einen Kandidaten mit der gleichen Ziffer wie der Start erreichst, mit starker Verbindung an beiden Enden.
Streiche die Ziffer aus allen Feldern, die beide Kettenenden sehen.

Zwei schwache Verbindungen hintereinander verwenden. Dann bricht die Logik zusammen, und die Schlussfolgerung am Ende der Kette ist wertlos.
Denken, dass die Enden Wahrheit sind. Die Kette beweist nur, dass mindestens einer der Enden richtig ist, nicht welcher von ihnen.
Eine starke Verbindung als unidirektional behandeln. Eine starke Verbindung kann immer als schwach verwendet werden, aber eine schwache kann nie als stark verwendet werden.

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.

Probiere die Technik im Sudoku-Löser aus

AIC (Alternierende Inferenzketten)

Siehe die Technik in der Praxis

So erkennst du das Muster

Vorgehensweise Schritt für Schritt

Häufige Fehler

Wann brauchst du die Technik?

Verwandte Techniken