Drei-Knoten-AIC-Ring (eine Ziffer)
Ein Drei-Knoten-Same-Digit-AIC-Ring — die Technik, traditionell als (3 Strong Links) X-Loop gelistet, Signatur L(1)-Ring — verwendet drei single-digit Strong-Link-Knoten, verbunden durch gültige schwache Inferenzen, deren schließender Link unabhängig vom Pfad verifiziert wird. Die Kandidaten-Aussagen und Verbindungen definieren die Deduktion; eine Anzahl markierter Zellen oder eine vertraute Zeichnung tut es nicht.
Was ist ein Drei-Knoten-Same-Digit-AIC-Ring?
Ein repräsentativer Ring ist (A=B)-(C=D)-(E=F), geschlossen durch eine schwache Inferenz von der finalen Seite zurück zur ersten. Jedes Gleichheitszeichen markiert eine starke Verbindung (XOR) zwischen zwei erschöpfenden Positionen der Ziffer, und jeder Strich eine schwache Inferenz (NAND) — nicht beide. Die schließende schwache Inferenz muss unabhängig vom Pfad verifiziert werden, um einen kontinuierlichen Ring zu bilden.
Beispiel mit Erklärung
Ein Walkthrough eines Drei-Knoten-AIC-Rings derselben Ziffer: drei starke Verbindungen (XOR), geschlossen durch eine unabhängig vom Pfad geprüfte schwache Inferenz.
Schritt 1
Betrachte diese 6 Zellen.
Schritt 2
Die hervorgehobenen Kandidaten für 2 bilden den geschlossenen Drei-Knoten-Ring (A4=B6)-(I6=I9)-(C9=A8). Jedes Gleichheitszeichen ist eine starke Verbindung (XOR) zwischen zwei logischen Seiten in Block 4, Spalte 9 und Block 7: genau eine der beiden Seiten enthält 2, und eine Seite kann eine Zelle oder eine Gruppe von Zellen sein. Jeder Strich ist eine schwache Inferenz (NAND) durch Reihe 6, Reihe 9 und Spalte 1: die zwei verknüpften Seiten können nicht beide 2 enthalten. Der Strich durch Spalte 1 ist unabhängig vom Pfad verifiziert — er schließt den Ring, sodass das Endpunkt-Theorem die komplementäre starke Inferenz liefert und jede schwache Kante des Rings zu einem Genau-eins-Paar wird.
Schritt 3
Jedes rote 2 kann daher entfernt werden. Es liegt außerhalb der Einheiten der starken Verbindungen des Rings und sieht jedes hervorgehobene 2 in mindestens einer verbindenden Einheit (Reihe 6, Reihe 9 und Spalte 1) — also beide Seiten der dortigen schwachen Kante. Der geschlossene Ring macht diese Kante genau-eins, sodass eines ihrer Enden immer wahr ist und den roten Kandidaten ausschließt.
Ein Drei-Knoten-Ring derselben Ziffer wechselt starke Verbindungen (XOR) mit schwachen Inferenzen (NAND) ab und schließt sich über eine unabhängig vom Pfad geprüfte schwache Inferenz. Das Endpunkt-Theorem sättigt das schließende Paar, sodass jede schwache Kante rund um den Ring eine komplementäre starke Inferenz erhält und die Ziffer aus jeder Zelle entfernt werden kann, die beide Seiten eines dieser gesättigten Paare sieht. Sie können Sudoku kostenlos spielen, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man es findet
Wählen Sie eine Ziffer, listen Sie drei starke Knoten — jede eine starke Verbindung (XOR) zwischen zwei Positionen der Ziffer — und verifizieren Sie beide schwachen Verbindungen. Verifizieren Sie dann die schließende schwache Inferenz; geometrischer Abschluss reicht nicht.
Die Logik
Ist A falsch, macht die starke Verbindung B wahr, die schwache Kante macht C falsch, und die Propagation geht weiter: D wahr, E falsch, F wahr. Mit der verifizierten schließenden schwachen Inferenz liefert das Endpunkt-Theorem die fehlende starke Inferenz zwischen dem schließenden Paar, sodass jede schwache Kante im Ring eine komplementäre starke Inferenz erhält — eliminieren Sie die Ziffer aus jeder Zelle, die beide Seiten eines dieser gesättigten Paare sieht.