Turbot Fish
Turbot Fish ist ein eingestellter Sammelname für kurze single-digit Ketten. Seine Formen werden heute als X-Chains klassifiziert — Zweiglied-Formen erscheinen als Skyscraper, 2-String Kite oder Two-Node X-Chain, und längere als Three-Node- oder Four+-Node-X-Chains. Die Konstruktion ist eine offene single-digit AIC: Ist der erste Endpunkt falsch, erzwingt die Kette den fernen Endpunkt wahr, also ist mindestens ein Endpunkt wahr — möglicherweise beide — und die Ziffer kann aus einem Kandidaten entfernt werden, der beide Endpunkte sieht.
Was ist ein Turbot Fish?
Schreiben Sie die Konstruktion als (A=B)-(C=D): A=B und C=D sind starke Verbindungen (XOR-Knotenpaare), während B-C eine schwache Inferenz (NAND) ist, d. h. B und C können nicht beide wahr sein. Es folgt, dass A oder D wahr ist. Es folgt nicht, dass A und D immer entgegengesetzte Wahrheitswerte haben.
Wo es heute zu finden ist: Die Zwei-Verbindungs-Formen sind Wolkenkratzer, 2-String Kite, Leeres Rechteck und Zwei-Knoten-X-Kette; längere Ketten derselben Ziffer werden auf der Seite X-Kette behandelt.
Beispiel mit Erklärung
Ein Walkthrough des historischen Namens Turbot Fish als moderne Zwei-Knoten-X-Kette mit der Signatur (A=B)-(C=D).
Schritt 1
Betrachte diese Zellen.
Schritt 2
Die hervorgehobenen Kandidaten bilden die offene X-Chain (A6=G6)-(H5=H3)-(E3=E8)-(F7=A7). Jedes Gleichheitszeichen ist eine starke Verbindung (XOR); jeder Strich eine schwache Inferenz (NAND). Das Endpunkt-Theorem beweist A6=2 OR A7=2.
Schritt 3
Das sind Typ-1-Eliminierungen derselben Ziffer: A1 und A2 sehen beide Endpunkte A6=2 und A7=2, und die Kette beweist A6=2 ODER A7=2 für 2.
Der moderne Beweis ist die Zwei-Knoten-X-Kette (A=B)-(C=D): Zwei starke Verbindungen (XOR) und eine schwache Inferenz (NAND) beweisen A OR D und rechtfertigen die gemeinsame Peer-Eliminierung. Dies ist die Typ-1-Eliminierung derselben Ziffer. Turbot Fish bleibt lediglich ein historischer Sammelbegriff. Sie können Sudoku kostenlos spielen, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man ihn erkennt
Finden Sie für eine Ziffer zwei begründete starke Inferenzknoten und eine gültige schwache Inferenz zwischen je einer Seite. Ein gemeinsamer geometrischer Punkt reicht nicht, es sei denn, die Kandidaten-Aussagen sind verschieden und unvereinbar. Die nicht verbundenen Seiten sind die Eliminierungs-Endpunkte; ein Ziel muss beide sehen.
Die Logik
Ist A falsch, ist B wahr; weil B und C nicht beide wahr sein können, ist C falsch; daher ist D wahr. Somit ist A oder D wahr. Ein Ziel, das beide Endpunkte sieht, würde beide falsch machen, wenn es die Ziffer enthielte — ein Widerspruch zur Kette —, also kann der Zielkandidat entfernt werden. Dies ist die Typ-1-Eliminierung derselben Ziffer.