Skyscraper
Ein Skyscraper ist die Parallel-House-Form der Zwei-Knoten-X-Chain. Für eine Ziffer bilden zwei Reihen-Knoten oder zwei Spalten-Knoten (A=B)-(C=D): Die Gleichheitszeichen sind starke Inferenzen und der Strich ist eine schwache Inferenz über die senkrechte Einheit. Die Kette beweist A ODER D, was Eliminierungen aus Kandidaten erlaubt, die beide Endpunkte sehen.
Was ist ein Skyscraper?
Ein Skyscraper verwendet zwei same-digit Bilokations-Knoten in parallelen Reihen oder in parallelen Spalten. Schreiben Sie ihn als (A=B)-(C=D). Jede Basis-Einheit hat genau zwei Positionen für die Ziffer, was die zwei starken Verbindungen (XOR) A=B und C=D ergibt. Die verbundenen Kandidaten B und C teilen eine senkrechte Einheit und können nicht beide wahr sein, was die schwache Inferenz (NAND) B-C ergibt. Dies ist auch die AIC-Darstellung zweier Siamese Sashimi X-Wings.
Beispiel mit Erklärung
Ein Walkthrough eines Wolkenkratzers geschrieben als (A=B)-(C=D): zwei starke Inferenzen in parallelen Einheiten, verbunden durch eine schwache Inferenz in einer senkrechten Einheit.
Schritt 1
Betrachte die Zwei-Knoten-X-Chain für 8 in Reihe 1 und Reihe 6.
Schritt 2
Schreibe die Kette als (D1=B1)-(B6=F6). Jedes Gleichheitszeichen ist eine starke Verbindung (XOR): in Reihe 1 enthält genau eine der Zellen D1 und B1 8; in Reihe 6 enthält genau eine der Zellen B6 und F6 8. Der Strich ist eine schwache Inferenz (NAND): B1 und B6 sehen sich in Spalte und können daher nicht beide 8 enthalten. Ist D1 falsch, ist B1 wahr, B6 falsch und F6 wahr. Daher erfüllen die Endpunkte D1 ODER F6: mindestens einer enthält 8, möglicherweise beide.
Schritt 3
Das ist die Typ-1-Eliminierung derselben Ziffer: Da D1 ODER F6 für 8 bewiesen ist, entferne 8 aus jedem Kandidaten, der beide Endpunkte sieht.
Die parallele Signatur (A=B)-(C=D) beweist die inklusive Endpunkt-Relation A OR D über zwei starke Verbindungen (XOR) und eine schwache Inferenz (NAND). Diese AIC-Relation, und nicht die optische Dachform, 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 Reihen mit je genau zwei Kandidatenpositionen, oder verwenden Sie die transponierte Spaltenform. Verifizieren Sie, dass eine Seite jedes starken Inferenzknotens dieselbe senkrechte Einheit teilt; dieses Paar liefert die schwache Inferenz. Die anderen Seiten sind die Endpunkte A und D. Entfernen Sie die Ziffer nur aus einem Ziel, das beide Endpunkte sieht.
Die Logik
Ist A falsch, ist B wahr, weil A=B eine starke Verbindung ist. Da B-C eine schwache Inferenz ist, ist C falsch; C=D macht dann D wahr. Daher ist A ODER D wahr, möglicherweise beide. Jeder same-digit Kandidat, der beide Endpunkte sieht, kann entfernt werden. Dies ist die Typ-1-Eliminierung derselben Ziffer. Das Vertauschen von Reihen und Spalten lässt den Beweis unverändert.