Gruppierter Drei-Knoten-AIC-Ring (eine Ziffer)
Ein Gruppierter Drei-Knoten-Same-Digit-AIC-Ring — traditionell als (3 Strong Links) Grouped X-Loop gelistet, Signatur L(1)-Ring — ist eine geschlossene drei-Knoten same-digit AIC, in der mindestens eine Knotenseite eine Gruppe von Kandidatenvorkommen repräsentiert. Eine Gruppe ist wahr, wenn mindestens ein repräsentiertes Vorkommen wahr ist, und nur falsch, wenn alle repräsentierten Vorkommen falsch sind.
Was ist ein Gruppierter Drei-Knoten-Same-Digit-AIC-Ring?
Ein gruppierter Knoten muss jedes auf jeder Seite repräsentierte Kandidatenvorkommen benennen. Seine starke Beziehung stellt fest, dass mindestens eine Seite wahr ist; eine schwache Inferenz zu einem anderen Knoten ist nur gültig, wenn jedes Vorkommen, das die erste Gruppe wahr machen könnte, mit der verbundenen Aussage unvereinbar ist.
Beispiel mit Erklärung
Ein Walkthrough eines Gruppierten Drei-Knoten-AIC-Rings derselben Ziffer: gruppierte starke Knoten derselben Ziffer, geschlossen durch eine unabhängig vom Pfad geprüfte schwache Inferenz.
Schritt 1
Betrachte diese 7 Zellen.
Schritt 2
Die hervorgehobenen Kandidaten für 3 bilden den geschlossenen Drei-Knoten-Ring (C7=B9 und B7)-(B4=F4)-(F3=C3). Jedes Gleichheitszeichen ist eine starke Verbindung (XOR) zwischen zwei logischen Seiten in Block 7, Reihe 4 und Reihe 3: genau eine der beiden Seiten enthält 3, und eine Seite kann eine Zelle oder eine Gruppe von Zellen sein. Wenn eine Seite gruppiert ist, umrahmt ein Rahmen die Zellen der Gruppe und ein einzelner Verbinder verbindet diesen Rahmen mit der anderen logischen Seite — der gesamte Verbinder ist eine gruppierte starke Verbindung, und keine einzelne Zelle ist erzwungen. Jeder Strich ist eine schwache Inferenz (NAND) durch Spalte 2, Spalte 6 und Spalte 3: die zwei verknüpften Seiten können nicht beide 3 enthalten. Der Strich durch Spalte 3 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 3 kann daher entfernt werden. Es liegt außerhalb der Einheiten der starken Verbindungen des Rings und sieht jedes hervorgehobene 3 in mindestens einer verbindenden Einheit (Spalte 2, Spalte 6 und Spalte 3) — 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 gruppierter Ring derselben Ziffer erfordert universelle Unverträglichkeit an jeder schwachen Kante: Eine gruppierte Seite ist nur dann falsch, wenn alle ihre repräsentierten Vorkommen falsch sind. Sobald die schließende schwache Inferenz geprüft ist, sättigt das Endpunkt-Theorem das schließende Paar, und ein Ziel ist nur gültig, wenn es mit jedem Kandidaten in Konflikt steht, der durch beide verbundenen Seiten repräsentiert wird. Sie können Sudoku kostenlos spielen, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man es findet
Identifizieren Sie für eine Ziffer die Kandidatengruppen, die Reihen-Block- oder Spalten-Block-Schnittmengen oder die genannte Einheiten-Beschränkung hinterlassen. Zeichnen Sie die vollständige Knotensequenz und testen Sie jedes Gruppenmitglied an jeder schwachen Verbindung. Zellzahl oder visuelle Form allein begründen den Ring nicht.
Die Logik
Propagieren Sie falsch durch eine starke Inferenz, um die andere Seite wahr zu machen, und wahr durch eine schwache Inferenz, um die verbundene Aussage falsch zu machen. Folgern Sie niemals, dass eine Gruppe falsch ist, nur weil nicht alle ihre Mitglieder wahr sein können. Wenden Sie eine Endpunkt- oder Ring-Schlussfolgerung erst an, nachdem die vollständige Sequenz oder der Abschluss bewiesen ist.