Eine Sudoku-Chain ist eine Folge erzwungener Schlussfolgerungen zwischen Kandidatenzuständen.
Für den aktuellen Lernpfad ist diese Sprache am hilfreichsten:
- Strong Link: falsch → wahr;
- Weak Link: wahr → falsch.
Wechseln diese Inferenzrollen ab, kann ein Zustand durch das Raster wandern:
falsch → wahr → falsch → wahr → ...Eine nützliche Chain endet mit einer Schlussfolgerung:
- ein Endpunkt muss wahr sein;
- ein Kandidat muss falsch sein;
- eine Annahme erzeugt einen Widerspruch;
- oder zwei mögliche Startzustände führen zum selben Ergebnis.
Das Ziel ist nicht, die längstmögliche Chain zu bauen.
Das Ziel ist die kürzeste Chain, die etwas Nützliches beweist.
Eine Chain mit vier Knoten
Angenommen:
A = B - C = Dwobei:
=einen Strong Link darstellt;-einen Weak Link.
Beginne mit A falsch.
A falsch
Strong Link:
→ B wahr.
B wahr
Weak Link:
→ C falsch.
C falsch
Strong Link:
→ D wahr.
Damit gilt:
A falsch → D wahr.
Ist die Chain-Struktur auch rückwärts gültig:
D falsch → A wahr.
Dann muss mindestens einer der Endpunkte A/D wahr sein.
Jeder Kandidat, der mit beiden Endpunkten in Konflikt steht, kann eliminiert werden.
- Strong Link
- Weak Link
Warum Chains kein beliebiges Raten sind
Eine Chain kann mit einer vorübergehenden Annahme beginnen:
Angenommen, A ist falsch.
Jeder folgende Zustand wird aber durch einen gültigen Link erzwungen.
Die Annahme wird nicht als Lösung akzeptiert.
Sie dient nur dazu, eine Konsequenz zu beweisen.
Das ist der Unterschied zwischen unbegründetem Versuch-und-Irrtum und logischer Implikation.
Benannte Muster sind komprimierte Chains
Mehrere fortgeschrittene Techniken lassen sich bereits als Chains verstehen.
Skyscraper
Eine kurze Chain für eine Ziffer.
Two-String Kite
Eine kurze Chain für eine Ziffer mit einem Weak Link über einen Block.
W-Wing
Zwei passende Bivalue-Zellen, verbunden über einen Strong Link.
XY-Wing
Eine kurze Chain durch Bivalue-Zellen.
Benannte Muster sind nützlich, weil Menschen sie schneller erkennen als beliebige Chains.
Die Chain-Sprache ist nützlich, weil sie erklärt, warum diese Muster funktionieren und wie die Logik über feste Geometrien hinausgeht.
Links innerhalb und zwischen Zellen
Innerhalb einer Bivalue-Zelle
{3,8}
3 und 8 sind strong verknüpft:
- nicht 3 → 8;
- nicht 8 → 3.
Zwischen Partnerzellen
Zwei Kandidaten 8 in derselben Einheit sind weak verknüpft:
- erster 8-Kandidat wahr → zweiter 8-Kandidat falsch.
Diese Abwechslung ist die Grundlage von XY-Chains.
Chains mit einer Ziffer
Eine X-Chain verwendet nur einen Kandidatenwert.
Strong Links kommen normalerweise von konjugierten Paaren.
Weak Links entstehen durch Kandidatenpositionen, die einander sehen.
Eine typische eliminierende X-Chain:
- beginnt Strong;
- endet Strong;
- beweist, dass ein Endpunkt X sein muss;
- eliminiert X aus Zellen, die beide Endpunkte sehen.
Chains durch Bivalue-Zellen
Eine XY-Chain verwendet Bivalue-Zellen.
Innerhalb jeder Zelle:
- sind die beiden Kandidaten strong verknüpft.
Zwischen aufeinanderfolgenden Zellen:
- bildet der gemeinsame Kandidat die Weak-Verbindung.
Die Chain beginnt und endet mit demselben Kandidatenwert, wodurch Eliminierungen bei gemeinsamen Partnerzellen möglich werden.
XY-Wing ist die dreizellige Einstiegsform.
Chain-Notation
Beim Lernen sollte Bedeutung vor Notation kommen.
Eine einfache visuelle Notation kann verwenden:
- durchgezogene Linie = Strong;
- gestrichelte Linie = Weak.
Textnotation kann später so aussehen:
A = B - C = DFormale AIC-Notation ist leichter, wenn die zugrunde liegende Wahr-/Falsch-Propagation bereits verstanden ist.
Wann ist eine Chain nützlich?
Eine gültige Folge von Links ist nicht automatisch ein Lösungszug.
Sie braucht eine Schlussfolgerung.
Nützliches Endpunktmuster:
Einer der Endpunkte muss wahr sein.
Nützliches Widerspruchsmuster:
Diese Annahme erzwingt einen unmöglichen Zustand.
Nützliches Konvergenzmuster:
Beide möglichen Startzustände erzwingen dasselbe Ergebnis.
Endet die Chain ohne Beweis, ist sie logisch interessant, aber nicht produktiv.
Chain vs Net
In einer einfachen Chain hängt jede Schlussfolgerung direkt vom unmittelbar vorherigen Zustand ab.
Ein Net verzweigt oder hängt von mehreren früheren Zweigen ab.
Eine sinnvolle Einführung ist:
- Strong Links;
- Weak Links;
- kurze Chains;
- X-Chain-/XY-Chain-Konzepte.
Forcing Nets sind eine spätere Erweiterung.
Von Chain-Konzepten zu konkreten Techniken
Simple Coloring
Eine visuelle Methode, ein Netzwerk aus Strong Links derselben Ziffer mit zwei Zuständen zu verwalten.
X-Chain
Ein gezielter alternierender Pfad für eine Ziffer.
XY-Chain
Ein Pfad durch Bivalue-Zellen.
AIC
Das allgemeinere Framework der Alternating Inference Chains.
Eine vollständige AIC-Behandlung liegt außerhalb dieses einführenden Chain-Ratgebers.
Chains lernen, ohne überfordert zu werden
- Strong vs Weak sicher beherrschen.
- Abstrakte Chains mit vier Knoten verfolgen.
- Dieselben Links auf einem Sudoku-Raster erkennen.
- Skyscraper, Kite und W-Wing erneut betrachten.
- Kurze X-Chains lernen.
- Kurze XY-Chains lernen.
- Erst danach zu formalen AICs wechseln.
Häufige Fehler
Linienarten abwechseln, ohne die tatsächliche Schlussfolgerung zu prüfen
Die logische Beziehung ist wichtiger als die Zeichnung.
Einen Weak Link rückwärts lesen
Falsch erzwingt den Partner nur dann wahr, wenn zusätzlich ein Strong Link vorliegt.
Eine Chain ohne Schlussfolgerung bauen
Eine Chain sollte einen Zug beweisen.
Direkt mit formaler Notation beginnen
Notation komprimiert Verständnis; sie erzeugt es nicht.
Eine unnötig lange Chain verwenden
Wenn ein kurzes benanntes Muster oder eine einfachere Schlussfolgerung denselben Zug beweist, bevorzuge diese Erklärung.
FAQ
Sind Chains immer Expertentechniken?
Nein. Einige kurze benannte Chains wie Skyscraper sind gut zugängliche fortgeschrittene Techniken.
Kann XY-Wing als Chain dargestellt werden?
Ja, als kurze XY-Chain.
Was ist eine AIC?
Eine Alternating Inference Chain ist ein allgemeines Framework, das Strong- und Weak-Schlussfolgerungen abwechselt.
Sind Chains dasselbe wie Raten?
Nein. Jede Schlussfolgerung innerhalb der Chain ist erzwungen; eine temporäre Annahme wird nur als Teil eines Beweises verwendet.
Was du als Nächstes lernen solltest
Lerne Simple Coloring, X-Chain und XY-Chain, bevor du zu vollständigen AICs übergehst.