X-Chain

Eine X-Chain ist eine alternierende Sudoku-Chain, die nur einer Kandidatenziffer folgt.

Ist die Chain-Ziffer 7, stellt jeder Knoten Kandidat 7 in einer anderen Zelle dar.

Die Chain wechselt zwischen:

• Strong-Inferenzrollen, meistens aus konjugierten Paaren;
• Weak-Inferenzrollen, meistens aus Kandidaten derselben Ziffer, die sich sehen.

Die hier behandelte typische eliminierende X-Chain:

• beginnt mit einem Strong Link;
• wechselt Strong und Weak ab;
• endet mit einem Strong Link;
• beweist, dass mindestens einer der Endpunkte die Chain-Ziffer enthält.

Deshalb kann die Chain-Ziffer aus jedem Kandidaten entfernt werden, der beide Endpunkte sieht.

X-Chain ist die allgemeine Ein-Ziffer-Sprache hinter mehreren kürzeren benannten Mustern.

Kurzmuster

Konzeptionell:

A = B - C = D - E = F

Für eine Ziffer X gilt:

• = = Strong-Rolle;
• - = Weak-Rolle.

Verfolge den Zustand von A falsch:

A falsch
→ B wahr
→ C falsch
→ D wahr
→ E falsch
→ F wahr

Verfolge anschließend F falsch:

F falsch
→ E wahr
→ D falsch
→ C wahr
→ B falsch
→ A wahr

A und F können also nicht beide falsch sein.

Mindestens ein Endpunkt ist X.

Warum X-Chain nur eine Ziffer verwendet

Das „X“ in X-Chain steht für eine einzelne Kandidatenziffer, die durch das Raster verfolgt wird.

Dadurch ist die Chain leichter zu visualisieren als eine allgemeine AIC, weil:

• sich der Kandidatenwert nie ändert;
• Strong Links normalerweise aus Einheiten mit genau zwei X-Kandidaten kommen;
• Weak Links zwischen X-Kandidaten entstehen, die sich sehen.

Wenn die Chain innerhalb einer Bivalue-Zelle von Kandidat 7 zu Kandidat 3 wechselt, ist sie keine reine X-Chain mehr. Dann bewegst du dich in eine andere Chain-Familie wie XY-Chain oder eine allgemeinere AIC.

Warum die Chain Strong beginnt und endet

Die Standard-Endpunkt-Eliminierung braucht diese Aussage:

Mindestens ein Endpunkt muss wahr sein.

Am ersten Endpunkt aktiviert die Annahme „falsch“ den ersten Strong Link und startet die alternierende Fortpflanzung.

Am gegenüberliegenden Ende sorgt eine Strong-Endstruktur dafür, dass der Beweis auch rückwärts funktioniert.

Also:

A falsch → F wahr
F falsch → A wahr

Damit können A und F nicht beide falsch sein.

Genau diese Wahrheitsgarantie für die Endpunkte macht eine Eliminierung bei gemeinsamen Peers gültig.

Wenn der Pfad diese Garantie nicht liefert, darfst du die Standard-X-Chain-Endpunktregel nicht anwenden.

Strong Links in einer X-Chain

Für eine feste Ziffer X stammen Strong Links normalerweise aus konjugierten Paaren.

Beispiele:

• genau zwei Kandidaten X in einer Zeile;
• genau zwei in einer Spalte;
• genau zwei in einem Block.

Diese Paare decken alle verbleibenden Möglichkeiten ab:

Ist ein Endpunkt nicht X, muss der andere X sein.

Ein konjugiertes Paar ist gleichzeitig Weak, weil beide Endpunkte für dieselbe Ziffer einander sehen. Deshalb kann eine Strong-Beziehung an einer Stelle des alternierenden Pfads bei Bedarf auch die Weak-Rolle übernehmen.

Weak Links in einer X-Chain

Ein Weak Link besteht zwischen zwei Kandidaten X, die nicht beide wahr sein können.

Bei Kandidaten derselben Ziffer bedeutet das normalerweise, dass sich die Zellen über:

• eine Zeile;
• eine Spalte;
• einen Block

sehen.

Anders als beim Strong Link muss die Quell-Einheit nicht genau zwei X-Kandidaten enthalten.

Ist B = X, kann C nicht X sein.

Ist B dagegen nicht X, wird C nicht automatisch erzwungen.

Genau diese Asymmetrie wird durch das folgende Strong-Segment wieder in eine erzwungene Aussage verwandelt.

Die Endpunkt-Eliminierung

Angenommen, eine gültige X-Chain beweist:

A ist X oder F ist X.

Betrachte nun einen Zielkandidaten T für dieselbe Ziffer X.

Wenn T A sieht, kollidiert T mit dem Fall A = X.

Wenn T zusätzlich F sieht, kollidiert T mit dem Fall F = X.

Diese zwei Endpunktfälle decken alle Möglichkeiten ab.

Daher:

T kann nicht X sein.

Das Ziel muss nicht alle internen Chain-Knoten sehen.

Für die hier behandelte Standard-Eliminierung muss es aber beide Endpunkte sehen.

Beispiel Schritt für Schritt

Bestimme vor dem Board diese fünf Fakten:

1. eine feste Chain-Ziffer X;
2. das erste Strong-Link-Segment;
3. den alternierenden Weak/Strong-Pfad;
4. das letzte Strong-Link-Segment;
5. einen externen Kandidaten X, der beide Endpunkte sieht.

Kurze X-Chains und benannte Muster

Mehrere bekannte Ein-Ziffer-Techniken lassen sich als kurze X-Chains darstellen.

Skyscraper

Zwei konjugierte Paare bilden eine kurze Chain, deren Roof-Endpunkte eine Common-Peer-Eliminierung erzeugen.

Two-String Kite

Ein konjugiertes Paar in einer Zeile und eines in einer Spalte werden über einen Weak Link innerhalb eines Blocks verbunden.

Turbot Fish

Eine allgemeine Familie kurzer Ein-Ziffer-Chain-Strukturen, die bei klarer Geometrie meist mit ihren benannten Mustern beschrieben wird.

Empty Rectangle

Auch Empty Rectangle lässt sich als kurze Ein-Ziffer-Struktur mit Chain-Logik darstellen.

Wenn ein kurzer Pattern-Name die Struktur klar beschreibt, verwende ihn. X-Chain wird besonders nützlich, wenn der alternierende Pfad über eine vertraute Form hinausgeht.

X-Chain vs. X-Wing

Beide Techniken verfolgen eine Ziffer, aber die Beweisstruktur ist unterschiedlich.

X-Wing

Verwendet eine Fish-Zählstruktur aus zwei Base Sets und zwei Cover Sets.

X-Chain

Verwendet abwechselnde Strong- und Weak-Inferenzen entlang eines Pfads.

Manche Kandidatenanordnungen können mehrere Beschreibungen zulassen. Bevorzuge die einfachste korrekte Erklärung der Eliminierung.

X-Chain vs. Simple Coloring

Beide Techniken arbeiten mit einer Kandidatenziffer und konjugierten Paaren.

Simple Coloring

• baut ein zusammenhängendes Strong-Link-Netzwerk auf;
• weist zwei alternierende Zustände zu;
• sucht Color Trap oder Color Wrap.

X-Chain

• wählt einen konkreten alternierenden Pfad;
• enthält ausdrücklich Weak-Verbindungen zwischen Strong-Segmenten;
• nutzt die Endpunktbeziehung für eine Common-Peer-Eliminierung.

Ein großes Coloring-Netzwerk kann viele mögliche X-Chain-Pfade enthalten.

Coloring ist häufig die bessere Netzwerkansicht. X-Chain ist häufig die bessere Pfadansicht.

So findest du X-Chains, ohne den ganzen Kandidatengraphen zu zeichnen

Nutze eine kontrollierte ziffernorientierte Suche.

1. Wähle eine Ziffer

Bevorzuge eine Ziffer mit mehreren konjugierten Paaren.

2. Markiere die Strong Links

Zeilen, Spalten und Blöcke mit genau zwei Positionen sind deine wichtigsten Anker.

3. Wähle einen vielversprechenden Endpunkt

Beginne an einem Strong-Link-Endpunkt in der Nähe weiterer Kandidaten derselben Ziffer.

4. Finde eine Weak-Verbindung

Suche von der wahren Seite eines Strong-Segments nach einem sichtbaren X-Kandidaten, der zu einem neuen Strong-Segment führen kann.

5. Setze die Alternation fort

Strong → Weak → Strong → Weak ...

6. Stoppe, sobald nützliche Endpunkte entstehen

Verlängere eine Chain nicht nur deshalb, weil noch ein weiterer Link vorhanden ist.

7. Suche gemeinsame Peers der Endpunkte

Wenn ein externer X-Kandidat beide Endpunktzellen sieht, prüfe die Eliminierung.

Kurze, vollständig überprüfbare Chains sind besser als lange spekulative Pfade.

Strong Links können eine Weak-Rolle übernehmen

Angenommen, zwei Kandidaten 4 bilden ein konjugiertes Paar.

Sie sind Strong, weil ein falscher Endpunkt den anderen als wahr erzwingt.

Sie sind gleichzeitig Weak, weil beide in derselben Einheit nicht wahr sein können.

Wenn eine X-Chain an dieser Stelle einen Weak-Schritt benötigt, kann das konjugierte Paar diese Rolle also liefern.

Dadurch können Chain-Diagramme manchmal so aussehen, als würden zwei „Strong-Segmente“ direkt aneinanderstoßen.

Die richtige Frage ist nicht nur, wie eine Linie gezeichnet wurde.

Frage:

Welche Inferenzrolle erfüllt diese Beziehung an genau diesem Schritt?

Eine gültige X-Chain kann unproduktiv sein

Du kannst einen vollständig gültigen alternierenden Pfad aufbauen und trotzdem keinen Kandidaten X finden, der beide Endpunkte sieht.

Dann erzeugt die Chain in der hier behandelten Standardform aktuell keine Eliminierung.

Erfinde keine.

Wechsle stattdessen zu:

• einem anderen Endpunkt;
• einer anderen Chain-Ziffer;
• einer anderen Technik.

Fortgeschrittenes Lösen besteht ebenso darin, unproduktive Strukturen rechtzeitig zu verlassen, wie darin, gültige zu finden.

Wie lang sollte eine X-Chain sein?

Es gibt keinen sinnvollen Grund, maximale Länge anzustreben.

Beginne mit kurzen Chains, weil sie:

• leichter zu erkennen sind;
• leichter in beide Richtungen überprüft werden können;
• weniger anfällig für Kandidatenfehler sind;
• häufiger einem bekannten benannten Pattern entsprechen.

Verlängere eine Chain nur, wenn eine kürzere Struktur kein Ergebnis liefert und der nächste Link vollständig klar bleibt.

Häufige Fehler

Die Kandidatenziffer innerhalb der Chain wechseln

Eine reine X-Chain verwendet nur eine Ziffer.

Eine Weak-only-Beziehung als Strong verwenden

Wenn A falsch ist, muss B tatsächlich erzwungen wahr werden.

Linienarten abwechseln, ohne die Inferenzrichtung zu prüfen

Die Logik ist wichtiger als die Zeichenkonvention.

Mit der falschen Endpunktstruktur enden

Die Common-Peer-Eliminierung braucht den Beweis, dass mindestens ein Endpunkt wahr ist.

Aus einem Ziel eliminieren, das nur einen Endpunkt sieht

Dann bleibt der Fall mit dem anderen wahren Endpunkt für dieses Ziel möglich.

Jedes konjugierte Netzwerk als X-Chain-Eliminierung behandeln

Ein Netzwerk ist nicht automatisch ein produktiver Pfad.

Zu früh extrem lange Chains bauen

Beherrsche zuerst kurze, transparente Beweise.

Erkennungsübung

Filtere Ziffer 7.

1. Markiere jedes konjugierte Paar.
2. Wähle ein Paar als erstes Strong-Segment.
3. Suche von einem Endpunkt einen sichtbaren Kandidaten 7, der an einem weiteren konjugierten Paar beteiligt ist.
4. Setze den Pfad ein- oder zweimal fort.
5. Bestimme die beiden finalen Endpunkte.
6. Suche Kandidaten 7, die beide Endpunkte sehen.

Wenn du nicht jede Strong-Quelle und jeden Weak-Konflikt erklären kannst, stoppe und überprüfe die Chain erneut.

FAQ

Was ist eine X-Chain im Sudoku?

Eine X-Chain ist eine Chain, die eine Kandidatenziffer durch abwechselnde Strong- und Weak-Inferenzrollen verfolgt.

Verwendet X-Chain nur eine Ziffer?

Ja. Wenn sich der Kandidatenwert entlang des Pfads ändert, handelt es sich nicht mehr um eine reine X-Chain.

Warum beginnt und endet eine X-Chain Strong?

Diese Struktur beweist, dass mindestens einer der Endpunkte die Chain-Ziffer enthalten muss. Dadurch wird die Standard-Eliminierung bei gemeinsamen Peers möglich.

Kann ein Skyscraper als X-Chain dargestellt werden?

Ja. Skyscraper und andere Turbot-artige Muster lassen sich als kurze X-Chains darstellen.

Ist X-Chain dasselbe wie Simple Coloring?

Nein. Coloring verwaltet ein zusammenhängendes Strong-Link-Netzwerk mit zwei Zuständen, während X-Chain einen konkreten alternierenden Strong/Weak-Pfad verfolgt.

Führt jede gültige X-Chain zu einer Eliminierung?

Nein. In der Standard-Endpunktform muss ein nützliches Ziel existieren, das beide Endpunkte sieht.

Ist X-Chain eine AIC?

Sie ist eine eingeschränkte Ein-Ziffer-Form alternierender Inferenzlogik. AIC verallgemeinert denselben Rahmen auf flexiblere Kandidaten- und Knotenstrukturen.

Was du als Nächstes lernen solltest

Gehe weiter zu XY-Chain. Dort liegen die Strong Links innerhalb von Bivalue-Zellen und der Kandidatenwert ändert sich entlang der Chain.