Eine X-Chain ist eine alternierende Inferenzkette, die nur einer Kandidatenziffer folgt.
Eine typische eliminierende X-Chain:
- beginnt mit einem Strong Link;
- wechselt Strong und Weak ab;
- endet mit einem Strong Link.
Diese Struktur beweist:
Mindestens einer der beiden Chain-Endpunkte muss die Ziffer enthalten.
Deshalb kann die Ziffer aus jedem Kandidaten entfernt werden, der beide Endpunkte sieht.
Kurzmuster
Konzeptionell:
A = B - C = D - E = F=Strong;-Weak.
Ist A falsch:
- B wahr;
- C falsch;
- D wahr;
- E falsch;
- F wahr.
Ist die Chain rückwärts ebenfalls gültig, erzwingt F falsch wiederum A wahr.
Damit ist einer von A/F wahr.
Warum die Chain Strong beginnt und endet
Die Endpunktschlussfolgerung braucht diese Eigenschaft:
Endpunkt falsch → gegenüberliegender Endpunkt wahr.
Am ersten Endpunkt verwandelt der initiale Strong Link falsch in wahr.
Die Alternation transportiert den Zustand durch die Chain.
Am anderen Ende ermöglicht die Strong-Endstruktur dieselbe Schlussfolgerung in Gegenrichtung.
So entsteht das nützliche Ergebnis „mindestens ein Endpunkt ist wahr“.
Beispiel Schritt für Schritt
Quellen von Strong und Weak Links in einer X-Chain
Weil die Ziffer fest bleibt:
Strong Links
Normalerweise:
- konjugierte Paare in Zeilen;
- konjugierte Paare in Spalten;
- konjugierte Paare in Blöcken.
Weak Links
Positionen derselben Kandidatenziffer, die einander sehen.
Ein Strong Link kann außerdem in einer Weak-Rolle verwendet werden, weil Endpunkte eines konjugierten Paars nicht beide wahr sein können.
Diese Flexibilität macht manche Chains leichter konstruierbar.
X-Chain vs Skyscraper / Two-String Kite
Eine kurze X-Chain mit vier Kandidaten lässt sich oft als benanntes Turbot-artiges Muster erkennen.
Skyscraper
Zwei parallele konjugierte Paare mit einer ausgerichteten Seite.
Two-String Kite
Ein konjugiertes Paar in einer Zeile und eines in einer Spalte, verbunden über einen Block.
Die Namen sind Abkürzungen.
X-Chain ist die allgemeinere Inferenzsprache.
X-Chain vs Simple Coloring
Coloring
Baut ein größeres zusammenhängendes Netzwerk aus konjugierten Paaren auf und nutzt Zwei-Farben-Widersprüche.
X-Chain
Wählt einen bestimmten alternierenden Pfad mit nützlichen Endpunkten.
Ein zusammenhängendes Coloring-Netzwerk kann viele mögliche X-Chains enthalten.
Beide Techniken sind unterschiedliche Suchansätze für dieselbe Link-Logik.
X-Chains finden, ohne alles einzuzeichnen
- Filtere eine Kandidatenziffer.
- Markiere Strong Links.
- Wähle einen vielversprechenden Endpunkt.
- Frage, welche Weak-Verbindungen zu einem weiteren Strong Link führen.
- Folge nur so weit, wie die Chain noch leicht überprüfbar bleibt.
- Stoppe, sobald der andere Endpunkt eine Eliminierung bei einem gemeinsamen Partner erzeugt.
Verlängere eine Chain nicht nur, weil es möglich ist.
Länger ist nicht besser.
Eine Chain kann gültig, aber nutzlos sein
Angenommen, A und F sind als Endpunkte bewiesen, aber:
- kein Kandidat sieht beide;
- kein anderer Widerspruch oder Placement folgt.
Dann hat die Chain aktuell keinen praktischen Effekt.
Kehre zum Raster zurück.
Das Ziel ist eine Schlussfolgerung und keine Sammlung von Chains.
Häufige Fehler
Innerhalb der Chain die Kandidatenziffer wechseln
Dann ist es keine X-Chain mehr.
Strong-/Weak-Rollen falsch verwenden, ohne den Zwischenzustand zu prüfen
Prüfe die Zustandsfortpflanzung und nicht nur den Linientyp.
Mit der falschen Endstruktur enden
Die typische Common-Peer-Eliminierung braucht die Wahrheitsgarantie der Endpunkte.
Aus einem Ziel eliminieren, das nur einen Endpunkt sieht
Ungültig.
Sehr lange Chains bauen, bevor kurze sicher sitzen
Erkennung und Überprüfung werden schnell schwieriger.
Erkennungsübung
Mit gefilterter Ziffer 7:
- markiere konjugierte Paare;
- wähle zwei Strong-Link-Segmente;
- frage, ob ein Endpunkt des einen Segments einen Endpunkt des anderen sieht;
- verfolge die daraus entstehende kurze Chain.
Das beginnt bewusst nahe bei Skyscraper/Kite, bevor du zu längeren Strukturen übergehst.
FAQ
Verwendet eine X-Chain nur eine Ziffer?
Ja.
Kann ein Skyscraper als X-Chain dargestellt werden?
Ja, als kurze X-Chain.
Eliminiert jede X-Chain bei gemeinsamen Partnerzellen?
Die hier gelehrte Endpunktform tut das. Allgemeinere Chain-/AIC-Strukturen können andere Schlussfolgerungen erzeugen.
Ist X-Chain dasselbe wie Coloring?
Nein, obwohl beide mit einer Kandidatenziffer und Strong-Link-Strukturen arbeiten.
Was du als Nächstes lernen solltest
Gehe weiter zu XY-Chain, bei der Strong Links innerhalb von Bivalue-Zellen liegen und sich der Kandidatenwert entlang des Pfads verändert.