Ergebnis
Du kannst zwei gleiche bivalue Zellen über einen gültigen Strong Link verbinden, beweisen, welcher Kandidat in mindestens einem Wing garantiert ist, und diesen Kandidaten aus Zellen entfernen, die beide Wings sehen.
Die Struktur
Ein W-Wing beginnt mit zwei entfernten bivalue Zellen mit demselben Paar:
Wing A {5,9}
Wing B {5,9}Sie sind kein Naked Pair, wenn sie keine Einheit teilen.
Der fehlende Bestandteil ist ein Strong Link für eine ihrer Ziffern.
Schritt 1 — Die beiden Wings
Die gleichen Kandidatenmengen geben beiden Zellen dieselbe Entweder-oder-Struktur, aber noch folgt keine Deduktion.
Ein entferntes Paar braucht eine logische Brücke.
Schritt 2 — Füge die Strong-Link-Brücke hinzu
Angenommen, Kandidat 9 besitzt anderswo ein konjugiertes Paar.
Ein Endpunkt sieht Wing A, der andere Wing B.
Da einer der Endpunkte dieses Strong Links 9 sein muss, wird einer der Wings von 9 ausgeschlossen und muss daher 5 sein.
Also:
Mindestens ein Wing muss 5 sein.
Schritt 3 — Verfolge beide Fälle
Fall A:
- der Endpunkt nahe Wing A ist 9;
- Wing A kann nicht 9 sein;
- Wing A wird 5.
Fall B:
- der gegenüberliegende Endpunkt ist 9;
- Wing B kann nicht 9 sein;
- Wing B wird 5.
Unterschiedliche Zweige, dieselbe Schlussfolgerung: Ein Wing enthält 5.
Schritt 4 — Eliminiere nur in gemeinsamen Partnerzellen
Ein Kandidat 5, der beide Wings sieht, kann entfernt werden, weil der Wing, der zu 5 wird, mit ihm kollidiert.
Ein Ziel, das nur einen Wing sieht, darf nicht eliminiert werden.
Beachte den Rollenwechsel:
- 9 ist die Link-Ziffer;
- 5 ist die Eliminationsziffer.
Schritt 5 — Lehne eine falsche Brücke ab
Enthält die vorgeschlagene Link-Einheit drei Kandidaten 9, ist die Brücke nur Weak.
Ein falscher Endpunkt erzwingt den anderen dann nicht mehr als wahr, und der Zwei-Fall-Beweis bricht zusammen.
Ohne Strong Link kein W-Wing.
Schritt 6 — Bevorzuge eine einfachere Erklärung, wenn sie existiert
Wenn die beiden {2,8}-Zellen tatsächlich eine Einheit teilen, prüfe zuerst, ob sie ein normales Naked Pair bilden.
Eine W-Wing-Erklärung kann in manchen Konstruktionen weiterhin möglich sein, doch der einfachere direkte Beweis ist meist besser.
Schnelltest
Bestimme die Wings, wähle die Link-Ziffer, verifiziere den Strong Link und entferne nur Kandidaten, die beide Wings sehen.
Merke dir
Gleiche bivalue Zellen sind die Wings. Ein Strong Link verbindet eine gemeinsame Ziffer. Die andere gemeinsame Ziffer wird aus gemeinsamen Partnerzellen eliminiert.
Als Nächstes
Unique Rectangles
Die nächste Lektion ist anders: Sie verwendet die zusätzliche Annahme, dass das Puzzle genau eine Lösung besitzt.
Referenz
Lies W-Wing für den vollständigen Strong-Link-Beweis und seine Chain-Interpretation.