X-Kette mit 4+ Knoten
Eine X-Kette mit vier oder mehr Knoten ist eine offene same-digit AIC mit vier oder mehr starken Inferenzknoten — das allgemeine Mitglied der X-Chain-Familie jenseits der Zwei- und Drei-Knoten-Formen. Schreiben Sie ihre alternierende Signatur als (A=B)-(C=D)-...-(Y=Z): Gleichheitszeichen sind starke Inferenzen und Striche schwache Inferenzen. Die Kette beweist die inklusive Endpunkt-Beziehung A ODER Z, ohne zuvor einen der Endpunkte anzunehmen.
Was ist eine X-Kette?
Jeder Knoten betrifft eine Ziffer und ist eine starke Verbindung (XOR), die erschöpfende Alternativen verbindet: Ist eine Seite falsch, ist die andere wahr. Jede Kante ist eine schwache Inferenz (NAND): Ihre verbundenen Seiten können nicht beide wahr sein. Die Kette kann einzelne oder korrekt begründete gruppierte Seiten verwenden. Historische Forcing-Chain- und Nice-Loop-Beschreibungen sind alternative Rahmen, nicht der hier gelehrte AIC-Beweis.
Beispiel mit Erklärung
Ein Walkthrough einer X-Kette geschrieben als alternierende Folge starker und schwacher Inferenzen, die ein inklusives ODER zwischen ihren Endpunkten beweist.
Schritt 1
Betrachte diese Zellen.
Schritt 2
Die hervorgehobenen Kandidaten bilden die offene X-Chain (I6=I1)-(F1=F3)-(C3=C8)-(G8=H9). Jedes Gleichheitszeichen ist eine starke Verbindung (XOR); jeder Strich eine schwache Inferenz (NAND). Das Endpunkt-Theorem beweist I6=1 OR H9=1.
Schritt 3
Das ist die Typ-1-Eliminierung derselben Ziffer: H4 sieht beide Endpunkte I6=1 und H9=1, und die Kette beweist I6=1 ODER H9=1 für 1.
Eine offene AIC derselben Ziffer wechselt starke Verbindungen (XOR) mit schwachen Inferenzen (NAND) ab und beweist ein inklusives ODER zwischen ihren Endpunkten ohne Versuchsannahme. Wenn die Endpunkte verschieden sind, rechtfertigt diese Relation die gemeinsame Peer-Eliminierung vom Typ 1; ein degeneriertes Endpunkt-ODER kann stattdessen den Endpunkt selbst beweisen. Sie können Sudoku kostenlos spielen, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man sie erkennt
Listen Sie für eine Ziffer die starken Inferenzknoten und verbinden Sie aufeinanderfolgende Knoten nur durch unabhängig gültige schwache Inferenzen. Verifizieren Sie gruppierte Kanten gegen jeden repräsentierten Kandidaten. Die zwei unverbundenen äußeren Seiten sind die Endpunkte; ein Ziel muss mit jedem Kandidaten kollidieren, den beide repräsentieren.
Die Logik
Ist der erste Endpunkt A falsch, propagiert jede starke Verbindung falsch zu wahr und jede schwache Inferenz wahr zu falsch, bis der ferne Endpunkt Z wahr ist. Daher gilt A ODER Z, möglicherweise mit beiden Endpunkten wahr. Ein same-digit Kandidat, der mit beiden Endpunkten kollidiert, kann entfernt werden; wenn die Endpunkte verschieden sind, ist dies die Typ-1-Eliminierung derselben Ziffer. Eine offene Kette wählt keine eindeutige interne Belegung aus.