Zwei-Knoten-X-Chain (Empty Rectangle — minimal)
Eine Zwei-Knoten-X-Chain — traditionell als 2 Strong Links gelistet — ist die allgemeine length-2 same-digit AIC. Ihre Signatur ist (A=B)-(C=D): zwei starke Inferenzknoten, verbunden durch eine schwache Inferenz. Die Kette beweist die inklusive Endpunkt-Beziehung A ODER D, sodass die Ziffer aus jedem Kandidaten entfernt werden kann, der beide Endpunkte sieht.
Was ist eine Zwei-Knoten-X-Chain?
Schreiben Sie die Konstruktion als (A=B)-(C=D). Jedes Gleichheitszeichen ist eine starke Verbindung (XOR-Knoten): Mindestens eine Seite ist wahr, und für einen gewöhnlichen Zwei-Positionen-Einheiten-Knoten sind die Seiten auch gegenseitig exklusiv. Der Strich ist eine schwache Inferenz (NAND), was bedeutet, dass B und C nicht beide wahr sein können. Die Knoten-Einheiten können jede Kombination aus Reihen, Spalten und Blöcken sein; die logischen Beziehungen, nicht eine Brückenzeichnung, definieren die Kette.
Beispiel mit Erklärung
Ein Walkthrough einer Zwei-Knoten-X-Kette geschrieben als (A=B)-(C=D), mit zwei starken Inferenzen, einer schwachen Inferenz und einer gemeinsamen Peer-Eliminierung von den Endpunkten.
Schritt 1
Betrachte die Zwei-Knoten-X-Chain für 2 in Reihe 4 und Block 7.
Schritt 2
Schreibe die Kette als (G4=C4)-(C8=B7). Jedes Gleichheitszeichen ist eine starke Verbindung (XOR): in Reihe 4 enthält genau eine der Zellen G4 und C4 2; in Block 7 enthält genau eine der Zellen C8 und B7 2. Der Strich ist eine schwache Inferenz (NAND): C4 und C8 sehen sich in Spalte und können daher nicht beide 2 enthalten. Ist G4 falsch, ist C4 wahr, C8 falsch und B7 wahr. Daher erfüllen die Endpunkte G4 ODER B7: mindestens einer enthält 2, möglicherweise beide.
Schritt 3
Das ist die Typ-1-Eliminierung derselben Ziffer: Da G4 ODER B7 für 2 bewiesen ist, entferne 2 aus jedem Kandidaten, der beide Endpunkte sieht.
Die Signatur (A=B)-(C=D) liefert zwei starke Verbindungen (XOR) und eine schwache Inferenz (NAND) und beweist die inklusive Endpunkt-Relation A OR D. Diese Relation rechtfertigt das Entfernen der Ziffer aus einem Kandidaten, der beide Endpunkte sieht. Dies ist die Typ-1-Eliminierung derselben Ziffer. Sie können Sudoku kostenlos spielen, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man es findet
Finden Sie für eine Ziffer zwei begründete starke Inferenzknoten und verbinden Sie eine Seite von jedem mit einer gültigen schwachen Inferenz. Die unverbundenen Seiten A und D sind die Endpunkte. Ein Ziel ist nur gültig, wenn es mit beiden Endpunkten kollidiert. Skyscraper und 2-String Kite sind benannte Einheiten-Signatur-Beschränkungen dieser allgemeinen Zwei-Knoten-X-Chain.
Die Logik
Ist A falsch, macht die erste starke Verbindung B wahr. Die schwache Inferenz macht C falsch, und die zweite starke Verbindung macht D wahr. Somit ist A ODER D wahr: Mindestens ein Endpunkt enthält die Ziffer, möglicherweise beide. Jeder Kandidat, der beide Endpunkte sieht, würde kollidieren, welcher Endpunkt auch wahr ist, und kann daher entfernt werden. Dies ist die Typ-1-Eliminierung derselben Ziffer.