Auf dieser Seite
Eine Sudoku Chain ist eine Folge von Kandidateninferenzen, in der der Wahrheits- oder Falschheitszustand eines Kandidaten den nächsten Zustand erzwingt.
Die Grundsprache besteht aus zwei Beziehungen:
- Strong Link: falsch → wahr;
- Weak Link: wahr → falsch.
Wenn diese Inferenzrollen abwechseln, kann sich ein logischer Zustand durch das Raster fortpflanzen:
falsch → wahr → falsch → wahr → ...Damit lässt sich unter anderem beweisen:
- ein Kandidat muss wahr sein;
- ein Kandidat muss falsch sein;
- mindestens einer von zwei Endpunkten muss wahr sein;
- eine Annahme führt zu einem Widerspruch;
- mehrere mögliche Startzustände führen zur gleichen Schlussfolgerung.
Chains sind nicht dazu da, möglichst lange Linien durch ein Sudoku zu zeichnen.
Das Ziel ist die kürzeste überprüfbare Folge, die eine nützliche Schlussfolgerung beweist.
Vor Chains: Kandidatenzustände verstehen
Eine Chain verbindet nicht einfach ganze Zellen in einem vagen geometrischen Sinn.
Sie verbindet Kandidatenzustände.
Zum Beispiel:
r4c2=7ist ein einzelner logischer Zustand: „Kandidat 7 in r4c2 ist wahr.“
Ein Link beschreibt, was mit einem anderen Kandidatenzustand passieren muss, wenn dieser erste Zustand wahr oder falsch ist.
Das ist wichtig, weil dieselbe Zelle über unterschiedliche Kandidaten an mehreren Links beteiligt sein kann.
Wenn Chain-Logik unübersichtlich wird, gehe auf die einzelnen Kandidatenzustände zurück und formuliere jede Inferenz ausdrücklich.
Die zwei Inferenzrichtungen
Strong Link
A falsch → B wahrA und B können nicht beide falsch sein.
Weak Link
A wahr → B falschA und B können nicht beide wahr sein.
Die Alternation funktioniert, weil jeder Link genau den Zustand erzeugt, den der nächste Link braucht.
Ein Strong Link nimmt falsch und erzeugt wahr.
Ein Weak Link nimmt wahr und erzeugt falsch.
Danach kann der nächste Strong Link die Folge fortsetzen.
Eine Chain mit vier Knoten
Angenommen:
A = B - C = Dwobei:
=eine Strong-Inferenzrolle darstellt;-eine Weak-Inferenzrolle darstellt.
Beginne mit A falsch.
A falsch
Der Strong Link erzwingt:
B wahr.
B wahr
Der Weak Link erzwingt:
C falsch.
C falsch
Der nächste Strong Link erzwingt:
D wahr.
Damit gilt:
A falsch → D wahr.
Wenn dieselbe alternierende Struktur auch vom anderen Ende gelesen werden kann:
D falsch → A wahr,
können A und D nicht beide falsch sein.
Daher gilt:
Mindestens ein Endpunkt ist wahr.
Jeder Kandidatenzustand, der mit beiden möglichen wahren Endpunkten kollidiert, kann eliminiert werden.
- Starker Link
- Schwacher Link
Warum eine Chain oft in beide Richtungen gelesen werden kann
Gewöhnliche konjugierte Paare und Bivalue-Paare sind sowohl Strong- als auch Weak-Beziehungen.
Dadurch kann eine korrekt zugewiesene alternierende Folge häufig von beiden Endpunkten aus verfolgt werden.
Für eine typische Endpunkt-Eliminierungs-Chain lautet der nützliche Beweis:
Endpunkt A falsch → Endpunkt B wahr
Endpunkt B falsch → Endpunkt A wahrDamit können beide Endpunkte nicht gleichzeitig falsch sein.
Das ist die logische Grundlage der Common-Peer-Eliminierungen in X-Chain und XY-Chain.
Gehe aber nicht davon aus, dass jede beliebige Folge von Kandidatenverbindungen automatisch diese umkehrbare Endpunkt-Eigenschaft besitzt. Link-Typ und Inferenzrichtung müssen an jedem Schritt gültig sein.
Chains sind kein willkürliches Raten
Chain-Beweise beginnen oft mit einer temporären Aussage wie:
Angenommen, Kandidat A ist falsch.
Das kann wie Raten klingen, erfüllt aber eine andere Funktion.
Du übernimmst die Annahme nicht als Lösung.
Stattdessen:
- setzt du einen temporären Zustand;
- folgst ausschließlich erzwungenen Inferenzen;
- erreichst eine Konsequenz;
- prüfst bei Bedarf den gegenüberliegenden Endpunkt oder einen alternativen Zustand;
- behältst nur die Schlussfolgerung, die logisch garantiert ist.
Der Beweis steckt in den erzwungenen Links, nicht in der temporären Ausgangsannahme.
Das ähnelt eher einem mathematischen Fallbeweis oder Widerspruchsbeweis als Trial-and-Error ohne Begründung.
Benannte Sudoku-Techniken sind komprimierte Chains
Viele Muster, die geometrisch leichter zu erkennen sind, können ebenfalls als kurze Chains beschrieben werden.
Skyscraper
Ein kurzer alternierender Ein-Ziffer-Pfad zwischen zwei konjugierten Paarstrukturen.
Two-String Kite
Eine kurze Ein-Ziffer-Chain, deren Weak-Verbindung über einen Block entsteht.
W-Wing
Zwei gleiche Bivalue-Zellen interagieren über einen externen Strong Link.
XY-Wing
Ein Drei-Zellen-Bivalue-Muster, das als kurze XY-Chain dargestellt werden kann.
Wenn die Geometrie offensichtlich ist, ist der benannte Pattern-Name meist die bessere menschliche Beschreibung.
Chain-Sprache wird besonders nützlich, wenn:
- sich das Muster über weitere Zellen erstreckt;
- die Geometrie keinem vertrauten Pattern mehr entspricht;
- du ein gemeinsames logisches Modell für mehrere Techniken brauchst.
Links innerhalb und zwischen Zellen
Chains können durch verschiedene Kandidatenbeziehungen laufen.
Innerhalb einer Bivalue-Zelle
Zelle:
{3,8}Die Kandidaten sind strong verknüpft:
nicht 3 → 8
und:
nicht 8 → 3.
Da die Zelle nur eine Ziffer enthalten kann, sind sie gleichzeitig weak verknüpft.
Zwischen Peer-Zellen
Zwei Kandidaten 8, die sich sehen, sind weak verknüpft:
erste 8 wahr → zweite 8 falsch.
Innerhalb eines konjugierten Paars
Zwei Kandidaten derselben Ziffer, die die einzigen Positionen in einer Einheit sind, sind Strong und Weak zugleich.
Diese drei Ideen reichen aus, um die aktuellen Guides zu X-Chain und XY-Chain zu verstehen.
Chains mit einer Ziffer
Eine X-Chain verfolgt nur eine Kandidatenziffer.
Zum Beispiel kann jeder Knoten Kandidat 7 in einer anderen Zelle darstellen.
Strong Links stammen gewöhnlich aus:
- konjugierten Paaren in Zeilen;
- konjugierten Paaren in Spalten;
- konjugierten Paaren in Blöcken.
Weak Links entstehen zwischen Kandidaten 7, die sich sehen.
Eine typische eliminierende X-Chain beginnt und endet in einer Strong-Rolle. Dadurch ist mindestens einer der Endpunkte die Chain-Ziffer, und diese Ziffer kann aus gemeinsamen Peers der Endpunkte entfernt werden.
Kurze X-Chains überschneiden sich mit benannten Ein-Ziffer-Techniken wie Skyscraper, Two-String Kite, Turbot Fish und Empty Rectangle.
Chains aus Bivalue-Zellen
Eine XY-Chain verwendet in ihrer Standardform ausschließlich Bivalue-Zellen.
Innerhalb jeder Chain-Zelle:
- liefern die zwei Kandidaten den Strong-Schritt.
Zwischen aufeinanderfolgenden Zellen:
- liefert der gemeinsame Kandidat den Weak-Schritt, weil sich die Zellen sehen.
Die Kandidatenziffer ändert sich entlang der Chain.
Die erste und letzte Zelle enthalten denselben Endkandidaten Z. Daraus folgt, dass mindestens einer dieser Endpunkte Z ist. Z kann deshalb aus Zellen eliminiert werden, die beide Endpunkte sehen.
XY-Wing ist die kurze Einführung in genau diese Art der Bivalue-Propagation.
Coloring ist eine andere Art, Chain-Zustände zu verwalten
Simple Coloring verfolgt eine Ziffer durch ein zusammenhängendes Netzwerk konjugierter Paare.
Anstatt nur einen ausgewählten Pfad zu verfolgen, werden zwei alternierende Zustände — oft als Farbe A und Farbe B dargestellt — dem gesamten verbundenen Strong-Link-Netz zugeordnet.
Danach sucht man nach Widersprüchen oder externen Kandidaten, die mit beiden Polaritäten interagieren.
Coloring und Chains sind also keine konkurrierenden Theorien.
Sie sind zwei unterschiedliche menschliche Darstellungen eng verwandter binärer Inferenzlogik.
Was macht eine Chain nützlich?
Eine Chain kann logisch korrekt sein und trotzdem keinen Fortschritt erzeugen.
Das ist wichtig.
Das Sudoku belohnt nicht die Länge der Chain, sondern die Schlussfolgerung.
Typische nützliche Ergebnisse sind:
Endpunkt-Eliminierung
Mindestens einer von zwei Endpunkten ist wahr.
Ein Kandidat, der mit beiden Endpunkten kollidiert, kann nicht wahr sein.
Widerspruch
Eine Annahme erzwingt schließlich einen unmöglichen Zustand und beweist damit die Annahme als falsch.
Erzwungene Platzierung
Ein Zweig oder eine Endpunktannahme erzwingt unter allen Möglichkeiten denselben Kandidaten als wahr.
Konvergenz
Verschiedene mögliche Ausgangszustände führen zur gleichen Schlussfolgerung.
Wenn deine Folge keine garantierte Konsequenz erreicht, kann sie ein gültiger Implikationspfad sein, ist aber noch kein produktiver Sudoku-Zug.
Offene Chains, Loops und der Weg zu AIC
Diese Guides konzentrieren sich zunächst auf offene Chains mit nützlichen Endpunktschlussfolgerungen.
Allgemeinere Chain-Theorie umfasst:
- Alternating Inference Chains (AICs);
- discontinuous loops;
- continuous loops;
- grouped nodes;
- ALS nodes.
Diese Erweiterungen erlauben vielfältigere Endpunktbedingungen und Eliminierungen.
Der zentrale Gedanke bleibt jedoch derselbe:
Gültige Inferenzrollen abwechseln und die erzwungene Logik an jedem Schritt erhalten.
Die spezielleren Erweiterungen werden in ihren eigenen Guides behandelt.
Chain vs. Net
Eine Chain verläuft linear: Jede neue Inferenz folgt aus dem unmittelbar vorherigen Zustand.
Ein Net verzweigt oder benötigt das kombinierte Ergebnis mehrerer früherer Zweige.
Diese Unterscheidung ist wichtig, weil ein Net manuell schwieriger zu überprüfen ist und zu fortgeschritteneren Forcing-Methoden gehört.
Für den aktuellen Lernpfad:
Strong Links
→ Weak Links
→ kurze Chains
→ Coloring / X-Chain / XY-Chain
→ AIC
→ gruppierte und Forcing-Strukturen späterChain-Notation
Notation ist erst dann nützlich, wenn die Logik verstanden ist.
Eine einfache konzeptionelle Schreibweise lautet:
A = B - C = Dwobei:
=eine Strong-Inferenzrolle bedeutet;-eine Weak-Inferenzrolle bedeutet.
Sudoku-Communities verwenden außerdem Nice-Loop-Notation, AIC/Eureka-Notation, Kandidatenkoordinaten, Ziffernlabels und Grouped-Node-Syntax.
Diese Systeme komprimieren eine Chain, damit sie präzise kommuniziert werden kann.
Sie verändern den Beweis nicht.
Beim Lernen solltest du jede Notation wieder in Klartext auflösen können:
Wenn dies falsch ist, ist jenes wahr; deshalb ist dies falsch; deshalb ist jenes wahr ...
So überprüfst du eine Chain
Prüfe vor jeder Eliminierung jeden einzelnen Schritt.
- Bestimme den exakten Kandidatenknoten.
- Nenne die Quelle des Links. Zeile, Spalte, Block, Bivalue-Zelle oder eine andere gültige Struktur.
- Formuliere die Inferenzrichtung. Falsch → wahr oder wahr → falsch.
- Gehe nur weiter, wenn der nächste Zustand erzwungen ist.
- Prüfe die Endpunktschlussfolgerung in allen benötigten Fällen.
- Prüfe, ob das Ziel wirklich mit jeder Endpunktmöglichkeit kollidiert, die der Beweis verwendet.
Wenn ein Schritt auf „wahrscheinlich“ oder „sieht verbunden aus“ beruht, ist die Chain nicht bewiesen.
So suchst du nach Chains, ohne dich zu verlieren
Versuche nicht, zuerst den gesamten Kandidatengraphen aufzuzählen.
Eine praktische Vorgehensweise:
- finde einen vielversprechenden Strong Link;
- untersuche kurze Weak-Verbindungen von seinen Endpunkten;
- suche einen weiteren Strong Link;
- stoppe, sobald eine nützliche Endpunktbeziehung entsteht;
- bevorzuge einen benannten kurzen Pattern-Namen, wenn er denselben Beweis klarer beschreibt;
- kehre nach jeder Eliminierung zu Singles und einfacheren Techniken zurück.
So bleiben Chains ein Lösewerkzeug und werden nicht zu einer reinen Graphenübung.
Häufige Fehler
Linienarten abwechseln, ohne die Inferenz zu prüfen
Der Link muss logisch gültig sein. Eine durchgezogene oder gestrichelte Linie macht ihn nicht gültig.
Einen Weak Link rückwärts lesen
Aus A falsch folgt bei einer rein Weak-Beziehung keine erzwungene Aussage über B.
Vergessen, dass Kandidatenzustände und nicht nur Zellen die Knoten sind
Dieselbe Zelle kann über verschiedene Kandidaten an unterschiedlichen Links beteiligt sein.
Eine Chain ohne Schlussfolgerung bauen
Auch ein langer gültiger Pfad kann nutzlos sein.
Ein Ziel eliminieren, das nur mit einem Endpunkt kollidiert
Beim Standard-Endpunktbeweis muss das Ziel mit jedem möglichen wahren Endpunkt unvereinbar sein.
Direkt in formale Notation springen
Notation sollte Logik komprimieren, die du bereits verstehst.
Eine unnötig lange Chain verwenden
Wenn Skyscraper, W-Wing, X-Wing oder eine andere einfachere Technik dieselbe Eliminierung beweist, bevorzuge die kürzere Erklärung.
Chains lernen, ohne überfordert zu werden
Eine sinnvolle Reihenfolge ist:
- Strong Links sicher beherrschen;
- Weak Links sicher beherrschen;
- abstrakte Vier-Knoten-Chains verfolgen;
- Skyscraper, Two-String Kite und W-Wing als Chain-Beispiele erneut betrachten;
- Simple Coloring als visuelles binäres Netzwerk lernen;
- kurze X-Chains lernen;
- kurze XY-Chains lernen;
- erst danach zu AICs verallgemeinern.
FAQ
Was ist eine Sudoku Chain?
Eine Sudoku Chain ist eine Folge erzwungener Kandidateninferenzen. Jeder Zustand erzwingt über Strong- und Weak-Beziehungen den nächsten, bis die Folge eine nützliche Schlussfolgerung beweist.
Warum wechseln Chains zwischen Strong und Weak Links?
Strong Links verwandeln falsch in wahr, Weak Links verwandeln wahr in falsch. Durch die Alternation kann sich ein erzwungener Zustand durch mehrere Kandidaten fortpflanzen.
Sind Chains dasselbe wie Raten?
Nein. Eine temporäre Annahme kann einen Beweis starten, aber jeder folgende Zustand ist erzwungen und nur eine garantierte Schlussfolgerung wird übernommen.
Sind alle Chains Expertentechniken?
Nein. Mehrere bekannte fortgeschrittene Muster sind kurze Chains in kompakter Form. Schwieriger wird vor allem das Erkennen und Überprüfen längerer oder allgemeinerer Strukturen.
Kann XY-Wing als Chain dargestellt werden?
Ja. XY-Wing lässt sich als kurze XY-Chain über drei Bivalue-Zellen beschreiben.
Was ist eine AIC?
Eine Alternating Inference Chain ist der allgemeine Rahmen, der Strong- und Weak-Inferenzrollen abwechselt. Sie kann flexiblere Kandidaten- und Knotentypen verbinden als die speziellen Chain-Familien.
Was ist der Unterschied zwischen Chain und Net?
Eine Chain ist linear: Jeder Schritt hängt direkt vom vorherigen ab. Ein Net verzweigt oder kombiniert Inferenzen aus mehreren früheren Zweigen.
Was du als Nächstes lernen solltest
Lerne Simple Coloring, X-Chain und XY-Chain. Zusammen machen sie aus der abstrakten Strong/Weak-Sprache drei praktische Lösemethoden und bereiten die allgemeinere AIC-Logik vor.