Eine Alternierende Inferenzkette, kurz AIC (Alternating Inference Chain), ist eine Folge von Schlussfolgerungen zwischen Sudoku-Kandidaten, in der sich Strong Links und Weak Links abwechseln.
AICs verallgemeinern einen großen Teil der fortgeschrittenen Kettenlogik im Sudoku.
Anders als bei:
- einer X-Chain, die auf eine Ziffer beschränkt bleibt;
- oder einer XY-Chain, die durch Bivalue-Zellen verläuft;
kann eine AIC zwischen verschiedenen Ziffern, Zellen und Einheiten wechseln, solange jeder Übergang die erforderliche logische Implikation erfüllt.
Die zentrale Lesart lautet:
Wenn dieser Kandidat falsch ist, muss der nächste wahr sein; wenn dieser Kandidat wahr ist, muss der folgende falsch sein; fahre fort, bis die Endpunkte etwas Nützliches beweisen.
AICs sind kein Raten. Sie sind kompakte Beweise, die ausschließlich aus Kandidatenbeziehungen aufgebaut werden, die bereits im Raster vorhanden sind.
Voraussetzungen: Strong und Weak Links
AICs sind nur zuverlässig, wenn Strong und Weak Links präzise verstanden werden.
Strong Link
Für zwei Kandidaten A und B:
A falsch → B wahrEin typisches Beispiel ist ein konjugiertes Paar: Eine Ziffer besitzt in einer Einheit genau zwei mögliche Positionen.
Ist eine davon falsch, muss die andere wahr sein.
Weak Link
Für zwei Kandidaten A und B:
A wahr → B falschKandidaten sind schwach verknüpft, wenn sie nicht gleichzeitig wahr sein können.
Beispiele:
- dieselbe Ziffer in zwei Zellen, die sich sehen;
- zwei verschiedene Kandidaten innerhalb derselben Zelle.
Eine subtile, aber wichtige Regel
Ein Strong Link kann auch in der schwachen Richtung verwendet werden. Wenn A und B nicht gleichzeitig wahr sein können, gilt weiterhin: A wahr → B falsch.
Ein bloßer Weak Link darf dagegen nicht zu einem Strong Link aufgewertet werden.
Diese Asymmetrie ist beim Aufbau von Ketten grundlegend.
Warum die Links alternieren müssen
Nehmen wir an, wir starten mit der Aussage, dass Kandidat A falsch ist.
Ein Strong Link erlaubt:
A falsch → B wahrAus B wahr folgt über einen Weak Link:
B wahr → C falschAus C falsch folgt über den nächsten Strong Link:
C falsch → D wahrDer logische Rhythmus lautet also:
falsch → wahr → falsch → wahr → ...Genau das ist die alternierende Inferenz einer AIC.
Wenn zwei aufeinanderfolgende Schritte den erforderlichen Wahrheitswechsel nicht tragen, ist die Kette ungültig – unabhängig davon, wie überzeugend ihre Geometrie aussieht.
AIC-Notation
Viele Sudoku-Solver schreiben:
=für einen Strong Link;-für einen Weak Link.
Eine schematische Kette kann so aussehen:
A = B - C = D - E = FLies sie von links nach rechts als Implikationspfad.
Die Zeichen sind keine Dekoration.
Jedes Symbol muss einer realen Kandidatenbeziehung in einer Zelle oder Einheit entsprechen.
Was macht eine AIC nützlich?
Eine Kette ist erst dann nützlich, wenn ihre Endpunkte etwas außerhalb der Kette beweisen oder ein Widerspruch eine Schlussfolgerung erzwingt.
Zwei Endpunktmuster sind besonders wichtig.
Endpunkte mit derselben Ziffer
Beginnt und endet eine AIC mit Strong Links auf derselben Ziffer, muss mindestens einer der beiden Endpunkte wahr sein.
Daher kann jeder externe Kandidat dieser Ziffer eliminiert werden, der beide Endpunkte sieht.
Das ist die klassische AIC-Endpunkteliminierung.
Endpunkte mit verschiedenen Ziffern in Zellen, die sich sehen
Verwenden die beiden Endpunkte verschiedene Ziffern und sehen sich die Endpunktzellen, kann die Kette Kreuzeliminierungen beweisen:
- die Startziffer kann nicht in der Endzelle stehen;
- die Endziffer kann nicht in der Startzelle stehen.
Die genaue Endpunktregel muss aus der Kette abgeleitet werden und darf nicht aus optischer Symmetrie geraten werden.
AIC Typ 1
Eine verbreitete Taxonomie nennt eine Kette mit derselben Ziffer an beiden Enden eine AIC Typ 1.
Die Kette beweist:
Mindestens einer der beiden Endpunkte enthält Ziffer X.
Jeder andere X-Kandidat, der beide Endpunkte sieht, ist deshalb falsch.
Das ähnelt der Endpunktregel einer X-Chain, doch das Innere einer AIC darf die Ziffer wechseln und wesentlich mehr Link-Typen verwenden.
AIC Typ 1 Schritt für Schritt
AIC Typ 2
Eine AIC Typ 2 beginnt und endet mit Strong Links auf verschiedenen Ziffern in Endpunktzellen, die sich sehen.
Die Kette beweist zwei mögliche Kreuzeliminierungen.
Angenommen, die Endpunkte sind:
- Kandidat X in Zelle A;
- Kandidat Y in Zelle B;
- und A sieht B.
Dann kann die Kette zeigen:
- Y kann nicht in A stehen;
- X kann nicht in B stehen.
Der Grund ist, dass jede Endpunktmöglichkeit genau den gegenüberliegenden Zustand erzwingt, der den kollidierenden Kandidaten ausschließt.
AIC Typ 2 Schritt für Schritt
AICs und Nice Loops
Der Begriff Nice Loop ist älter als oder überschneidet sich mit der modernen AIC-Sprache vieler Solver.
Die zugrunde liegende Inferenzlogik ist eng verwandt.
Eine praktische Unterscheidung ist:
- AIC: betont eine offene Kette und den Beweis ihrer Endpunkte;
- Nice Loop: betont eine Kette, die zu sich selbst zurückkehrt, und die Folgerung aus diesem Abschluss.
Programme und Communities klassifizieren Grenzfälle teilweise unterschiedlich.
Für die logische Korrektheit ist nicht das Etikett entscheidend.
Entscheidend ist:
Bleibt jeder Strong-/Weak-Übergang gültig, und folgt die Endpunkt- oder Loop-Schlussfolgerung tatsächlich daraus?
Diskontinuierliche Nice Loops
Ein Loop kann zu seinem Startkandidaten zurückkehren und dabei einen Widerspruch erzeugen.
Zum Beispiel kann er effektiv beweisen:
wenn A wahr → ... → A falschDann muss A falsch sein.
Oder:
wenn A falsch → ... → A wahrDann muss A wahr sein.
Das ist ein diskontinuierlicher Loop, weil der Abschluss genau den Widerspruch erzeugt, der die Schlussfolgerung liefert.
Das Ergebnis kann sein:
- eine Kandidateneliminierung;
- oder eine erzwungene Eintragung.
Kontinuierliche AIC / Nice Loops
Ein Loop ist kontinuierlich, wenn sein Abschluss den normalen Fortpflanzungsregeln folgt, statt einen Start-/End-Widerspruch zu erzeugen.
Solche Loops können stark sein, weil schwache Beziehungen entlang des gesamten Zyklus effektiv gebunden werden.
Dadurch lassen sich beispielsweise eliminieren:
- zusätzliche Vorkommen einer Ziffer aus einer Einheit, die durch einen Weak Link repräsentiert wird;
- zusätzliche Kandidaten aus einer Zelle, deren zwei Kandidaten im Loop schwach verknüpft sind.
Kontinuierliche Loops sind konzeptionell schwieriger als gewöhnliche Endpunkt-AICs. Lerne deshalb zuerst offene Ketten.
Kannibalistische AICs
Manchmal eliminiert eine AIC einen Kandidaten, der selbst innerhalb der Kette vorkommt.
Das wirkt zunächst widersprüchlich.
Ist es aber nicht.
Eine Kette ist ein Beweis und keine Menge von Kandidaten, die gleichzeitig wahr sein müssen.
Wenn die Endpunktlogik beweist, dass ein interner Kandidat falsch ist, darf er eliminiert werden, obwohl er beim Formulieren der Inferenz verwendet wurde.
Solche Ketten werden häufig kannibalistische AICs genannt.
AIC vs X-Chain
Eine X-Chain:
- verwendet durchgehend nur eine Kandidatenziffer;
- alterniert für diese Ziffer Strong und Weak Links;
- eliminiert die Ziffer typischerweise aus Zellen, die beide starken Endpunkte sehen.
Eine AIC:
- kann zwischen Kandidatenziffern wechseln;
- kann sowohl Zell- als auch Einheitenlinks verwenden;
- unterstützt eine größere Bandbreite an Endpunktfolgerungen.
Eine X-Chain lässt sich deshalb am besten als spezialisierter Ein-Ziffer-Fall der größeren Familie alternierender Inferenzen verstehen.
AIC vs XY-Chain
Eine XY-Chain verläuft durch eine Folge von Bivalue-Zellen.
Innerhalb jeder Bivalue-Zelle liefern die beiden Kandidaten die interne Entweder-oder-Beziehung; zwischen Zellen entstehen die externen Links durch passende Kandidaten.
Eine AIC ist allgemeiner.
Nicht jede beteiligte Zelle muss bivalue sein. Die Kette kann über konjugierte Paare, Zelllinks und andere gültige Kandidatenstrukturen wechseln.
Wenn XY-Chains bereits sicher sitzen, sind AICs der natürliche nächste Schritt: Die Notation wird allgemeiner, während die Denkweise über Implikationen dieselbe bleibt.
AIC vs Simple Coloring
Simple Coloring verfolgt normalerweise eine Ziffer durch ein verbundenes Netz konjugierter Paare und weist zwei Polaritäten zu.
Eine AIC:
- darf mehrere Ziffern verwenden;
- benötigt kein vollständiges Zwei-Farben-Netz;
- folgt einem einzelnen expliziten Inferenzpfad.
Coloring ist häufig leichter zu visualisieren.
AICs sind flexibler.
Was ist eine Grouped AIC?
Bei einer Grouped AIC darf ein Knoten der Kette eine Gruppe von Kandidaten statt eines einzelnen Kandidaten repräsentieren.
So können zum Beispiel mehrere X-Kandidaten innerhalb einer Block-/Zeilen-Schnittmenge gemeinsam eine Seite eines Strong Links bilden.
Die Logik bleibt alternierende Inferenz, doch die Knoten werden abstrakter.
Grouped AIC erhält eine eigene Guide, weil Notation und Mustererkennung deutlich komplexer werden.
Diese Seite legt zuerst die nicht gruppierte Grundlage fest.
Wie findet man AICs, ohne zufällige Ketten zu verfolgen?
Jede mögliche Kandidatenbeziehung blind zu verfolgen, ist ineffizient.
Arbeite zielgerichtet.
1. Dichte Link-Strukturen finden
Suche nach:
- konjugierten Paaren;
- Bivalue-Zellen;
- Ziffern mit wenigen verbleibenden Positionen;
- Schnittpunkten, an denen starke Beziehungen ineinandergreifen.
2. Mit einem plausiblen Endpunkt beginnen
Gute Endpunkte besitzen oft ein gemeinsames mögliches Ziel oder eine nützliche Wechselwirkung mit einem Kandidaten in einer nahen Zelle.
3. Bewusst alternieren
Frage bei jedem Schritt:
- Welchen Wahrheitszustand kenne ich gerade?
- Brauche ich als Nächstes eine starke oder schwache Inferenz?
- Unterstützt die konkrete Kandidatenbeziehung diesen Schritt wirklich?
4. Stoppen, wenn die Endpunkte etwas beweisen
Eine lange Kette ohne Eliminierung ist nicht nützlich.
Verlängere sie nicht nur deshalb, weil noch mehr Links existieren.
5. Den kürzesten klaren Beweis bevorzugen
Dieselbe Eliminierung kann mehrere Beschreibungen haben:
- X-Chain;
- XY-Chain;
- Empty Rectangle;
- Turbot Fish;
- AIC.
Nutze die kürzeste Darstellung, die logisch vollständig bleibt.
Häufige AIC-Fehler
Fehler 1: Symbole alternieren, aber nicht die Inferenz
= - = - zu schreiben macht noch keine gültige Kette.
Jeder Link muss den erforderlichen Wahrheitswechsel tragen.
Fehler 2: Einen Weak Link als Strong Link behandeln
Aus A wahr → B falsch folgt nicht automatisch A falsch → B wahr.
Nur ein echter Strong Link erlaubt diese Richtung.
Fehler 3: Annehmen, dass alle Kettenkandidaten gleichzeitig wahr sind
Eine AIC beschreibt bedingte Schlussfolgerungen und keine gemeinsame Kandidatenbelegung.
Fehler 4: Aus einer Zelle eliminieren, die nur einen Endpunkt sieht
Bei einer Typ-1-Endpunkteliminierung mit derselben Ziffer muss das Ziel beide Endpunkte sehen.
Ein Endpunkt reicht nicht.
Fehler 5: Unnötig lange Ketten bauen
Lange Ketten sind schwerer zu prüfen und leichter falsch zu lesen.
Wenn ein kürzeres benanntes Muster dasselbe beweist, verwende dieses.
Fehler 6: Widerspruchsbeweis mit Raten verwechseln
Eine AIC wählt keinen beliebigen Zweig und hofft auf Erfolg.
Jede Inferenz ist durch vorhandene Strong-/Weak-Beziehungen erzwungen, und die Schlussfolgerung wird für alle relevanten Endpunktmöglichkeiten bewiesen.
Wann sollte man AICs lernen?
AICs ergeben am meisten Sinn, wenn du bereits sicher bist mit:
- Kandidaten;
- Strong und Weak Links;
- X-Chains;
- XY-Chains;
- Simple Coloring oder vergleichbarer Link-Netzwerklogik.
Sind diese Konzepte noch unsicher, kann die AIC-Notation komplizierter wirken als die eigentliche Logik.
FAQ
Wofür steht AIC im Sudoku?
AIC steht für Alternating Inference Chain. In der Kette wechseln sich starke und schwache Kandidatenbeziehungen ab, um Wahr/Falsch-Implikationen weiterzugeben.
Ist eine AIC dasselbe wie ein Nice Loop?
Die Inferenzrahmen sind eng verwandt, und die Terminologie variiert zwischen Solvern. AIC-Sprache betont häufig offene Ketten und Endpunkte, während Nice Loops geschlossene Schleifen und ihre Fortpflanzungsregeln betonen.
Muss eine AIC mehrere Ziffern verwenden?
Nein. Auch eine Ein-Ziffer-Kette kann in AIC-Sprache beschrieben werden, obwohl ein spezialisierter Name wie X-Chain meist klarer ist.
Ist eine XY-Chain eine AIC?
Konzeptionell passt eine XY-Chain in den größeren Rahmen alternierender Inferenzen. Sie besitzt jedoch eine spezifischere Struktur aus Bivalue-Zellen, weshalb der Spezialname bei der Mustererkennung hilfreich bleibt.
Sind AICs Versuch und Irrtum?
Nein. Eine AIC ist ein deduktiver Implikationsbeweis. Jeder Übergang ist durch einen vorhandenen Strong oder Weak Link gerechtfertigt, und die Endpunktfolgerung ergibt sich logisch.
Was sollte ich nach AIC lernen?
Die natürlichen Erweiterungen sind Grouped AICs, ALS-basierte Ketten, kontinuierliche Loops und komplexere Forcing-Strukturen.
Was als Nächstes lernen?
Wenn gewöhnliche AICs sicher sitzen, ist gruppierte Inferenz der nächste große Schritt: Mehrere Kandidaten dürfen gemeinsam als ein Knoten auftreten. Damit öffnen sich Grouped AIC, ALS-Chains und viele Expertentechniken.