2-String Kite
Ein 2-String Kite ist die Zeilen-plus-Spalten-Form der Zwei-Knoten-X-Chain. Für eine Ziffer bilden ein Reihen-starker-Inferenzknoten und ein Spalten-starker-Inferenzknoten (A=B)-(C=D); der Strich ist eine schwache Inferenz durch ihren geteilten Block. Die Kette beweist A ODER D, was Eliminierungen aus Kandidaten erlaubt, die beide Endpunkte sehen.
Was ist ein 2-String Kite?
Schreiben Sie den Kite als (A=B)-(C=D). A=B ist eine starke Verbindung (XOR) in einer Reihe und C=D ist eine starke Verbindung (XOR) in einer Spalte: Jede Einheit muss die Ziffer auf mindestens einer repräsentierten Seite platzieren. Die verbundenen Seiten B und C liegen in einem Block und können nicht beide die Ziffer enthalten, was die schwache Inferenz (NAND) B-C ergibt. In strmckrs Signatur-System können die Knotenseiten einzelne oder korrekt begründete gruppierte Alternativen sein.
Beispiel mit Erklärung
Ein Walkthrough eines 2-String Kite geschrieben als (A=B)-(C=D): eine starke Reihen- und Spalteninferenz, verbunden durch eine schwache Blockinferenz.
Schritt 1
Betrachte die Zwei-Knoten-X-Chain für 1 in Reihe 1 und Spalte 2.
Schritt 2
Schreibe die Kette als (E1=C1)-(B3=B8). Jedes Gleichheitszeichen ist eine starke Verbindung (XOR): in Reihe 1 enthält genau eine der Zellen E1 und C1 1; in Spalte 2 enthält genau eine der Zellen B3 und B8 1. Der Strich ist eine schwache Inferenz (NAND): C1 und B3 sehen sich in Block und können daher nicht beide 1 enthalten. Ist E1 falsch, ist C1 wahr, B3 falsch und B8 wahr. Daher erfüllen die Endpunkte E1 ODER B8: mindestens einer enthält 1, möglicherweise beide.
Schritt 3
Das ist die Typ-1-Eliminierung derselben Ziffer: Da E1 ODER B8 für 1 bewiesen ist, entferne 1 aus jedem Kandidaten, der beide Endpunkte sieht.
Die Reihe-plus-Spalte-Signatur (A=B)-(C=D) verbindet zwei starke Verbindungen (XOR) über eine schwache Blockinferenz (NAND) und beweist A OR D. Diese Endpunkt-Relation rechtfertigt das Entfernen der Ziffer aus einem Kandidaten, der beide Seiten sieht. Dies ist die Typ-1-Eliminierung derselben Ziffer. Sie können kostenlose Sudoku-Rätsel ausprobieren, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man es findet
Finden Sie für eine Ziffer eine begründete starke Reihen-Inferenz und eine begründete starke Spalten-Inferenz. Prüfen Sie, ob eine Seite des Reihen-Knotens und eine Seite des Spalten-Knotens einen Block teilen und universell kollidieren; das ist die schwache Inferenz. Die unverbundenen Seiten A und D sind die Endpunkte. Entfernen Sie die Ziffer nur aus einem Ziel, das jeden Kandidaten sieht, den beide Endpunkte repräsentieren.
Die Logik
Ist A falsch, macht die starke Reihen-Verbindung B wahr. Die schwache Block-Inferenz B-C macht C falsch, und die starke Spalten-Verbindung macht D wahr. Daher ist A ODER D wahr, möglicherweise beide. Ein Kandidat, der mit beiden Endpunkten kollidiert, kann entfernt werden. Dies ist die Typ-1-Eliminierung derselben Ziffer. Der Skyscraper hat dasselbe Zwei-Knoten-Theorem, verwendet aber stattdessen zwei parallele Reihen-Knoten oder zwei parallele Spalten-Knoten.