XY-Chain

Eine XY-Chain ist eine Sudoku-Chain, die in ihrer Standardform vollständig aus Bivalue-Zellen besteht — Zellen mit genau zwei Kandidaten.

Der Kandidatenwert ändert sich, während die Chain durch das Raster läuft.

Jeder Schritt wechselt zwischen:

• einem Strong Link innerhalb einer Bivalue-Zelle;
• einem Weak Link zwischen Peer-Zellen, die einen Kandidaten gemeinsam haben.

Die erste und die letzte Zelle enthalten denselben Endkandidaten Z.

Die Chain beweist:

Mindestens einer der beiden Endpunkte muss Z sein.

Daher kann Kandidat Z aus jeder externen Zelle eliminiert werden, die beide Endpunktzellen sieht.

XY-Chain verallgemeinert dieselbe Bivalue-Propagation, die zuerst bei XY-Wing sichtbar wird.

Die grundlegende XY-Chain-Struktur

Betrachte vier Bivalue-Zellen:

A {3,9}
B {9,8}
C {8,2}
D {2,3}

Damit daraus eine Chain entsteht:

• A sieht B;
• B sieht C;
• C sieht D;
• jedes benachbarte Paar teilt den Kandidaten, der in der Folge als Verbindung verwendet wird.

Kandidat 3 ist der Endkandidat, weil er sowohl in A als auch in D vorkommt.

Verfolge nun die Inferenzen.

Wenn A nicht 3 ist

A ist bivalue, also:

A = 9.

A sieht B auf Kandidat 9, also:

B ≠ 9.

B ist bivalue, also:

B = 8.

B sieht C auf 8:

C ≠ 8 → C = 2.

C sieht D auf 2:

D ≠ 2 → D = 3.

Daher:

A nicht 3 → D = 3.

Lies dieselbe Chain vom anderen Ende:

D nicht 3 → A = 3.

A und D können also nicht beide Nicht-3 sein.

Mindestens ein Endpunkt enthält 3.

Warum jede Standard-XY-Chain-Zelle bivalue ist

Die Chain benötigt eine Strong-Inferenz innerhalb jeder Zelle.

Für:

{3,9}

ist 9 erzwungen, wenn 3 falsch ist.

Wäre die Zelle aber:

{3,9,5}

würde Nicht-3 noch:

• 9;
• oder 5

zulassen.

Kein einzelner Partner wäre erzwungen.

Damit bricht die Standard-XY-Chain-Propagation.

Allgemeinere AICs können durch komplexere Strukturen laufen, aber das sind keine Standard-XY-Chains.

Die zwei Link-Typen innerhalb einer XY-Chain

XY-Chain lässt sich wesentlich leichter überprüfen, wenn du die beiden Quellen der Links getrennt betrachtest.

Strong Link innerhalb einer Zelle

Eine Bivalue-Zelle {X,Y} enthält genau einen ihrer zwei Kandidaten.

Also:

nicht X → Y
nicht Y → X

Weak Link zwischen Zellen

Angenommen:

A {3,9}
B {9,8}

und A sieht B.

Beide Zellen können nicht 9 enthalten, weil sie eine Einheit teilen.

Daher:

A = 9 → B ≠ 9

Die 9-Beziehung zwischen den Zellen ist Weak.

Danach verwandelt der Bivalue-Strong-Link von B B ≠ 9 in B = 8.

Diese wiederholte Struktur aus Weak zwischen Zellen und Strong innerhalb von Zellen lässt den Kandidatenwert durch das Raster wandern.

Die Endpunkt-Eliminierung

Angenommen, die Chain beginnt in Zelle A {Z,X} und endet in Zelle F {Y,Z}.

Der Beweis zeigt:

A = Z oder F = Z.

Betrachte nun einen externen Zielkandidaten Z.

Sieht das Ziel A, kann es nicht Z sein, wenn A = Z.

Sieht das Ziel zusätzlich F, kann es nicht Z sein, wenn F = Z.

Diese zwei Fälle decken alle gültigen Endpunktzustände ab.

Daher:

Der Zielkandidat Z ist falsch.

Das Ziel muss die internen Chain-Zellen nicht sehen.

Es muss für die gemeinsame Endpunktziffer beide Endpunktzellen sehen.

Board-Beispiel Schritt für Schritt

Prüfe vor dem Lesen des Boards:

1. Jede Chain-Zelle ist bivalue.
2. Jedes aufeinanderfolgende Zellenpaar sieht sich.
3. Aufeinanderfolgende Zellen teilen den vorgesehenen Verbindungskandidaten.
4. Die Endpunktzellen teilen Kandidat Z.
5. Der externe Zielkandidat Z sieht beide Endpunkte.

XY-Wing ist die kürzeste vertraute Einführung

XY-Wing verwendet drei Bivalue-Zellen:

Pivot {X,Y}
Pincer 1 {X,Z}
Pincer 2 {Y,Z}

Die Logik lässt sich als kurze XY-Chain von einem Z-Endpunkt zum anderen durch die Pivot-Beziehungen schreiben.

Daraus ergibt sich ein natürlicher Lernpfad:

XY-Wing
→ Bivalue-Propagation verstehen
→ den Pfad über weitere Bivalue-Zellen verlängern
→ XY-Chain

Wenn ein Drei-Zellen-Muster klar ein XY-Wing ist, verwende diesen vertrauten Namen. XY-Chain wird besonders nützlich, wenn weitere Bivalue-Zellen beteiligt sind oder die Geometrie weniger offensichtlich ist.

XY-Chain vs. X-Chain

Beide Techniken nutzen alternierende Inferenz und können mit derselben Art von Common-Peer-Endpunkt-Eliminierung enden.

X-Chain

• eine Kandidatenziffer bleibt entlang des gesamten Pfads gleich;
• Strong Links stammen meist aus konjugierten Paaren in Einheiten;
• Weak Links verbinden sich sehende Kandidaten derselben Ziffer.

XY-Chain

• die Kandidatenziffern ändern sich entlang des Pfads;
• Strong Links liegen innerhalb von Bivalue-Zellen;
• Weak Links verbinden Peer-Zellen über einen gemeinsamen Kandidaten.

Eine nützliche Kurzregel:

X-Chain folgt einer Ziffer. XY-Chain folgt Bivalue-Zellen.

XY-Chain vs. Remote Pair

Ein Remote Pair verwendet eine Chain aus Bivalue-Zellen, die alle dasselbe Kandidatenpaar besitzen, zum Beispiel {2,8} in jeder Chain-Zelle.

XY-Chain erlaubt dagegen, dass sich das Kandidatenpaar von Zelle zu Zelle ändert:

{3,9} → {9,8} → {8,2} → {2,3}

Remote Pair ist damit eine speziellere Struktur mit wiederholtem Kandidatenpaar, während XY-Chain die allgemeinere Bivalue-Chain mit wechselnden Kandidaten ist.

So findest du XY-Chains

XY-Chains suchst du am besten zellorientiert.

1. Markiere Bivalue-Zellen

Ein Bereich mit vielen Bivalue-Zellen bildet einen vielversprechenderen Kandidatengraphen als ein Sudoku mit nur wenigen isolierten Bivalue-Zellen.

2. Wähle eine Startzelle

Angenommen, die Startzelle ist {3,9}.

Wähle 3 als Kandidaten, den du am fernen Endpunkt wieder erreichen möchtest.

3. Folge dem anderen Kandidaten

Suche eine Peer-Bivalue-Zelle, die 9 enthält.

4. Wechsle zum anderen Kandidaten dieser Zelle

Ist die nächste Zelle {9,8}, trägt die Chain nun 8 weiter.

5. Finde eine Peer-Bivalue-Zelle mit 8

Setze denselben Prozess fort.

6. Stoppe, wenn der Endkandidat zurückkehrt

Du suchst eine letzte Bivalue-Zelle, die wieder Kandidat 3 enthält.

7. Prüfe gemeinsame Peers der beiden Endpunktzellen

Sieht ein externer Kandidat 3 beide Endpunkte, kann die Chain produktiv sein.

8. Überprüfe die gesamte Chain in beide Richtungen

Tue das, bevor du etwas eliminierst.

Geometrie zählt nur über Sichtbarkeit

XY-Chains brauchen keine feste visuelle Form.

Aufeinanderfolgende Zellen können verbunden sein über:

• Zeilen;
• Spalten;
• Blöcke.

Entscheidend ist, dass jeder gemeinsame Verbindungskandidat einen gültigen Weak Link bildet, weil sich die beiden Zellen sehen.

Zwei Bivalue-Zellen mit einem gemeinsamen Kandidaten, die keine Peers sind, sind in einer XY-Chain nicht verbunden.

Die Kandidatenfolge allein reicht niemals aus.

Vermeide ziellose Schleifen

Ein Netzwerk aus Bivalue-Zellen kann schnell verzweigen.

Ohne Disziplin wird die manuelle XY-Chain-Suche zu einer Tiefensuche durch einen Graphen und verliert ihren menschlichen Nutzen.

Bevorzuge:

• kurze Pfade;
• Endpunkte in der Nähe vieler möglicher Ziele;
• Kandidaten, die nach wenigen Zellen wieder auftauchen;
• klar sichtbare Peer-Beziehungen.

Stoppe, wenn:

• der Endkandidat zurückkehrt und ein Ziel entsteht;
• der Pfad schwer zu überprüfen wird;
• du denselben Kandidatenzustand erneut besuchst;
• oder eine einfachere Technik verfügbar wird.

Ziel ist die Schlussfolgerung, nicht die vollständige Traversierung des Graphen.

Darf eine XY-Chain Zellen oder Kandidatenzustände wiederholen?

Eine nützliche manuelle Chain sollte nicht zum selben logischen Zustand zurückkehren, nur um länger zu werden.

Ein wiederholter Zustand bedeutet meistens:

• du hast einen Zyklus erzeugt;
• der Pfad kann verkürzt werden;
• oder die Struktur gehört besser in eine allgemeinere Loop/AIC-Interpretation.

Für die hier behandelte offene Standard-XY-Chain wählst du einen einfachen Pfad von einem Endpunkt zum anderen.

Strong Links zwischen Chain-Zellen machen die Chain nicht ungültig

Manchmal teilen zwei aufeinanderfolgende Bivalue-Zellen einen Kandidaten in einer Einheit, in der dieser Kandidat nur zweimal vorkommt.

Die Beziehung zwischen den Zellen ist dann Strong und Weak.

Die XY-Chain benötigt an dieser Stelle die Weak-Rolle:

einer wahr → der andere falsch.

Dass die Beziehung zusätzlich Strong ist, verhindert diese Weak-Rolle nicht, weil beide Kandidaten weiterhin nicht gleichzeitig wahr sein können.

Dieselbe Flexibilität wird in anderen alternierenden Chains verwendet.

Eine gültige XY-Chain kann unproduktiv sein

Du kannst mehrere Bivalue-Zellen korrekt verbinden und zum Endkandidaten Z zurückkehren, aber keinen externen Z-Kandidaten finden, der beide Endpunkte sieht.

Dann hat die Standard-Common-Peer-Eliminierung kein Ziel.

Die Chain ist logisch gültig, aber aktuell unproduktiv.

Eliminiere niemals aus einer Zelle, die nur einen Endpunkt sieht.

Häufige Fehler

Eine Trivalue-Zelle verwenden

Eine Standard-XY-Chain braucht die paarweise Strong-Inferenz innerhalb jeder Chain-Zelle.

Zellen verbinden, die sich nicht sehen

Gemeinsame Kandidatenwerte genügen nicht. Aufeinanderfolgende Zellen müssen für den Verbindungskandidaten Peers sein.

Vergessen, welcher Kandidat die Chain weiterträgt

Innerhalb jeder Bivalue-Zelle trittst du über einen Kandidaten ein und gehst über den anderen weiter.

Mit einem anderen Kandidaten enden

Die Standard-Endpunkt-Eliminierung braucht in der ersten und letzten Zelle denselben Kandidaten Z.

Aus einem Ziel eliminieren, das nur einen Endpunkt sieht

Der Fall mit dem anderen wahren Endpunkt lässt diesen Zielkandidaten weiterhin möglich.

Jeden Bivalue-Pfad im Sudoku durchsuchen

Bevorzuge kurze, zielgerichtete Chains mit plausiblen Endpunktzielen.

XY-Chain als feste Form behandeln

Es ist ein Inferenzpfad, keine geometrische Schablone.

Erkennungsübung

Beginne mit:

{3,9}

Wähle 3 als Endkandidaten.

Sprich den Pfad aus:

nicht 3 → 9; 9 eliminiert eine Peer-9 → anderer Wert; dieser Wert eliminiert einen Peer desselben Werts → anderer Wert ...

Setze fort, bis du eine weitere Zelle erreichst, die 3 enthält.

Frage danach:

Welche Kandidaten 3 sehen beide Endpunktzellen?

Wenn du nicht jede Peer-Beziehung des gemeinsamen Verbindungskandidaten benennen kannst, ist die Chain noch nicht bewiesen.

FAQ

Was ist eine XY-Chain im Sudoku?

Eine XY-Chain ist eine Chain aus Bivalue-Zellen, in der Strong Links innerhalb der Zellen wirken und Weak Links Peer-Zellen über gemeinsame Kandidaten verbinden.

Brauchen alle XY-Chain-Zellen genau zwei Kandidaten?

Ja, für die hier behandelte Standard-XY-Chain. Allgemeinere AIC-Strukturen können komplexere Knoten verwenden, sind aber andere Techniken.

Kann eine XY-Chain viele verschiedene Ziffern verwenden?

Ja. Der Kandidatenwert kann sich an jeder Zelle ändern, solange jedes aufeinanderfolgende Paar die notwendige Weak-Verbindung über einen gemeinsamen Kandidaten bildet.

Ist XY-Wing eine XY-Chain?

XY-Wing kann als kurze Drei-Zellen-Einführung in die XY-Chain-Logik dargestellt werden.

Welcher Kandidat wird eliminiert?

Der Kandidat, den beide Endpunktzellen gemeinsam haben, wird aus jeder externen Zelle entfernt, die beide Endpunkte sieht.

Müssen die Endpunktzellen sich gegenseitig sehen?

Nein. Entscheidend ist, dass das Eliminierungsziel beide Endpunkte sieht. Die Endpunkte selbst können weit voneinander entfernt sein.

Was ist der Unterschied zwischen XY-Chain und Remote Pair?

Remote Pair wiederholt dasselbe Kandidatenpaar durch seine Zellen. XY-Chain erlaubt wechselnde Kandidatenpaare entlang des Pfads.

Was du als Nächstes lernen solltest

Nach X-Chain und XY-Chain ist die natürliche Verallgemeinerung die Alternating Inference Chain (AIC). Sie kann Kandidatenwerte und Link-Strukturen wesentlich freier mischen.