Swordfish

Ergebnis

Am Ende dieser Lektion kannst du die Fish-Logik auf drei Basis- und drei Cover-Einheiten erweitern, auch bei unregelmäßigen Verteilungen, die nicht wie drei identische Zeilen aussehen.

Derselbe Fish, größere Menge

Swordfish ist nach X-Wing keine neue Art von Beweis.

Es ist dieselbe Zählung:

drei Basen → drei Covers

Die Schwierigkeit liegt meist darin, die Vereinigung der Cover-Positionen zu erkennen, wenn die drei Quelleinheiten unterschiedlich aussehen.

Schritt 1 — Fasse die Cover-Positionen zusammen

Angenommen, Kandidat 4 erscheint in drei Zeilen so:

r1 → c1 / c8
r4 → c1 / c5 / c8
r9 → c5 / c8

Die Zeilen sehen nicht gleich aus.

Ihre gemeinsame Cover-Menge ist aber nur:

{c1, c5, c8}

Drei Basiszeilen. Drei Cover-Spalten.

Genau diese Struktur zählt.

Schritt 2 — Nutze die Cover-Vereinigung

Jede Basiszeile muss die Zielziffer genau einmal enthalten.

Alle drei Platzierungen sind auf drei Cover-Spalten beschränkt. Da eine Spalte die Ziffer nur einmal enthalten kann, werden diese drei Spalten von den drei Platzierungen der Basiszeilen belegt.

Kandidaten derselben Ziffer außerhalb der Basiszeilen können daher aus den Cover-Spalten entfernt werden.

Schritt 3 — Lehne vier Covers ab

Verwenden die drei Quellzeilen zusammen vier Cover-Spalten, ist der grundlegende Fish-Beweis der Größe 3 nicht gegeben.

Erzwinge keinen Swordfish nur deshalb, weil drei Zeilen wenige Kandidaten haben.

Zähle die Cover-Vereinigung.

Schritt 4 — Spaltenbasierter Swordfish

Wie beim X-Wing können Zeilen und Spalten ihre Rollen tauschen.

Drei Basisspalten, die auf drei Cover-Zeilen beschränkt sind, bilden denselben Fish.

Checkpoint

Klassifiziere reguläre und unregelmäßige Swordfish, erkenne einen Beinahe-Fall mit vier Covers und die transponierte Spaltenform.

Merke dir

Suche nicht nach drei identischen Kandidatenmustern.

Suche nach:

drei Quelleinheiten, deren Vereinigung in der Gegenrichtung genau drei Covers umfasst.

Als Nächstes

XY-Wing — verlasse die Ein-Ziffer-Fish-Logik und beginne, Beziehungen zwischen bivalue Zellen zu lesen.

Referenz

Lies Swordfish für einen tieferen Vergleich mit X-Wing und weitere unregelmäßige Fish-Beispiele.