Gruppierte Drei-Knoten-X-Chain
Eine Gruppierte Drei-Knoten-X-Chain — traditionell als Grouped 3 Strong Links gelistet — ist ein L(1)-Wing mit gruppierten Alternativen und Signatur (A=B)-(C=D)-(E=F). Mindestens eine logische Seite repräsentiert mehrere same-digit Kandidaten. Die drei starken Inferenzen und zwei schwachen Inferenzen beweisen die inklusive Endpunkt-Beziehung A ODER F.
Was ist eine Gruppierte Drei-Knoten-X-Chain?
Eine gruppierte Seite ist eine Disjunktion: Sie ist wahr, wenn mindestens ein repräsentierter Kandidat wahr ist, und nur falsch, wenn alle repräsentierten Kandidaten falsch sind. Jedes Gleichheitszeichen ist eine starke Verbindung (XOR), die zwei erschöpfende logische Seiten verbindet. Jeder Strich ist eine schwache Inferenz (NAND) und erfordert universelle Unvereinbarkeit zwischen den Kandidaten, die auf ihren verbundenen Seiten repräsentiert sind.
Beispiel mit Erklärung
Ein gruppierter L(1)-Wing für Ziffer 7: Reihe 5, Block 3 und Reihe 8 liefern die drei starken Knoten. In Reihe 8 sind die Kandidaten auf eine gruppierte Seite aus zwei Zellen, E8 oder F8, beschränkt, die durch einen Rahmen umrandet ist — diese Seite ist wahr, wenn mindestens eines ihrer Mitglieder 7 enthält. Zwei schwache Inferenzen in den Spalten 7 und 8 verbinden die Knoten und beweisen die Endpunkte E5 OR (E8 oder F8): G5 sieht E5 und beide Gruppenmitglieder, kann also nicht 7 enthalten.
Schritt 1
Betrachte diese 7 Zellen.
Schritt 2
Die hervorgehobenen Kandidaten für 7 in Reihe 5, Block 3 und Reihe 8 bilden eine gruppierte Drei-Knoten-X-Chain mit der Signatur (A=B)-(C=D)-(E=F). Jedes Gleichheitszeichen ist eine starke Verbindung (XOR) zwischen zwei erschöpfenden logischen Seiten; eine Seite kann eine Zelle oder eine Gruppe von Zellen sein. Eine gruppierte Seite ist wahr, wenn mindestens eines ihrer Mitglieder wahr ist, und nur falsch, wenn alle ihre Mitglieder falsch sind. Die zwei Striche sind unabhängig gültige schwache Inferenzen (NAND-Bedingungen) durch Spalte 7 und Spalte 8: jeder auf der einen verbundenen Seite vertretene Kandidat steht mit jedem auf der anderen vertretenen Kandidaten in Konflikt. Die Weitergabe von falsch-zu-wahr durch jede starke Verbindung und wahr-zu-falsch durch jede schwache Inferenz beweist die Endpunkt-Disjunktion (E5) ODER (E8 und F8). Mindestens eine äußere logische Seite enthält 7, möglicherweise beide.
Schritt 3
Das ist die Typ-1-Eliminierung derselben Ziffer: jedes rote 7 kann entfernt werden, weil es jeden Kandidaten auf beiden äußeren logischen Seiten sieht: (E5) und (E8 und F8). Ihr bewiesenes inklusives ODER bedeutet, dass mindestens eine Seite 7 enthält, möglicherweise beide.
Die gruppierte Signatur (A=B)-(C=D)-(E=F) beweist A OR F, wenn jede starke Verbindung (XOR) erschöpfend und jede schwache Inferenz (NAND) universell gültig ist. Ein Ziel muss mit jedem Kandidaten in Konflikt stehen, der durch beide Endpunktseiten repräsentiert wird. 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
Identifizieren Sie für eine Ziffer drei begründete starke Inferenzknoten, mit erlaubten Reihen-Block- oder Spalten-Block-Gruppen, und verifizieren Sie die schwachen Inferenzen B-C und D-E Mitglied für Mitglied. Die äußeren logischen Seiten A und F sind die Endpunkte. Ein Ziel ist nur gültig, wenn es mit jedem Kandidaten kollidiert, den beide Seiten repräsentieren.
Die Logik
Beginnend mit der äußeren Seite A falsch propagiert wahre und falsche Zustände durch (A=B)-(C=D)-(E=F), bis F wahr ist. Daher gilt A ODER F, möglicherweise mit beiden Seiten wahr. Ein Zielkandidat kann nur entfernt werden, wenn er mit jedem Mitglied beider Endpunkt-Seiten kollidiert. Dies ist die Typ-1-Eliminierung derselben Ziffer.