Ein W-Wing verbindet zwei identische Bivalue-Zellen über einen Strong Link auf einem ihrer Kandidaten.
Angenommen, die Wing-Zellen sind:
- Wing A
{X,Y}; - Wing B
{X,Y}.
Ein Strong Link auf Y verbindet die beiden Wing-Bereiche so, dass:
- ein Endpunkt des Y-Strong-Links Wing A sieht;
- der andere Endpunkt Wing B sieht.
Das garantiert:
Mindestens eine Wing-Zelle ist X.
Kandidat X kann daher aus jeder Zelle entfernt werden, die beide Wing-Zellen sieht.
Kurzpattern
Wing A {X,Y}
\
Y Strong Link
/
Wing B {X,Y}Der Strong Link läuft über Y.
Eliminiert wird X, also der andere Wing-Kandidat.
Warum W-Wing funktioniert
Nenne die Endpunkte des Y-Strong-Links A und B.
Genau einer dieser Endpunkte muss Y enthalten.
Wenn Endpunkt A = Y
Wing A sieht dieses Y und kann nicht ebenfalls Y sein.
Also ist Wing A = X.
Wenn Endpunkt B = Y
Wing B kann nicht Y sein.
Also ist Wing B = X.
Unabhängig davon, welcher Strong-Link-Endpunkt wahr ist, ist eine der beiden Wing-Zellen X.
Jeder Kandidat X, der beide Wings sieht, ist unmöglich.
Brettbeispiel Schritt für Schritt
Warum zwei identische Bivalue-Zellen nicht ausreichen
Wenn zwei {5,9}-Zellen weit voneinander entfernt liegen, verbindet ihre Werte zunächst nichts.
Sie sind kein globales Paar.
W-Wing benötigt den externen Strong Link, um die Inferenz zwischen ihnen zu transportieren.
W-Wing vs Nacktes Paar
Nacktes Paar
Die beiden {X,Y}-Zellen teilen eine Einheit.
Diese lokale Einheit erzeugt die Reservierung.
W-Wing
Die beiden {X,Y}-Zellen können weit voneinander entfernt sein.
Ein externer Strong Link auf einem Kandidaten verbindet die Logik.
W-Wing vs XY-Wing
XY-Wing
Drei Bivalue-Zellen:
{X,Y};{X,Z};{Y,Z}.
Ein Pivot verbindet die Pincers.
W-Wing
Zwei identische Bivalue-Zellen {X,Y} plus externer Strong Link auf X oder Y.
Es gibt keinen XY-Pivot.
W-Wing als Chain
Sind die Wing-Zellen {5,9} und der Strong Link läuft über 9, lautet die Inferenz sinngemäß:
Wing A nicht 5
→ Wing A = 9
→ verbundener 9-Endpunkt falsch
→ anderer 9-Endpunkt wahr
→ Wing B nicht 9
→ Wing B = 5Wenn also eine Wing-Zelle nicht 5 ist, wird die andere zu 5.
Dieses Endpunktverhalten beweist, dass mindestens eine Wing-Zelle 5 ist.
So findest du W-Wings
1. Wiederholte Bivalue-Signaturen suchen
2. Einen Kandidaten als mögliche Link-Ziffer wählen
3. Strong Links auf dieser Ziffer finden
4. Verbindung prüfen
Ein Strong-Link-Endpunkt muss eine Wing-Zelle sehen, der andere Endpunkt die andere.
5. Gemeinsame Partner der Wing-Zellen suchen
Der andere Kandidat ist die Eliminationsziffer.
Was, wenn die Wing-Zellen einander sehen?
Wenn die beiden identischen Bivalue-Zellen eine Einheit teilen, prüfe zuerst die einfachere Erklärung als Nacktes Paar.
Die Bezeichnung W-Wing ist nützlich, wenn die entfernte Strong-Link-Verbindung tatsächlich die logische Arbeit leistet.
Häufige Fehler
Einen Weak Link statt eines Strong Links verwenden
Der Beweis hängt davon ab, dass ein Link-Endpunkt wahr werden muss, wenn der andere falsch ist.
Die Link-Ziffer eliminieren
Bei der Standardform wird der andere Wing-Kandidat eliminiert.
Beide Strong-Link-Endpunkte mit derselben Wing-Zelle verbinden
Der Link muss die beiden Wing-Bereiche überbrücken.
Aus einem Ziel eliminieren, das nur einen Wing sieht
Ungültig.
Gleiche Bivalue-Zellen als ausreichend behandeln
Ohne Link kein W-Wing.
Erkennungsübung
Wenn dir doppelte Bivalue-Mengen auffallen, denke nicht sofort nur an ein Paar.
Frage:
Teilen diese Zellen eine Einheit?
Wenn nein:
Kann eine ihrer Ziffern über ein konjugiertes Paar verbunden werden?
FAQ
Müssen W-Wing-Zellen identische Kandidaten besitzen?
In der Standardform ja.
Müssen sie einander sehen?
Nein.
Welche Ziffer wird eliminiert?
Der Wing-Kandidat, der nicht als Strong-Link-Ziffer verwendet wird.
Ist W-Wing eine Chain?
Ja. Das benannte Muster ist eine kompakte Chain-Struktur.
Was du als Nächstes lernen solltest
Gehe weiter zu Sudoku-Chains und betrachte W-Wing später als kurze wiederverwendbare Chain-Vorlage statt als isolierte Form.