WXYZ-Wing
Wing-Muster aus vier Zellen. Drei Pincer-Zellen teilen sich mit einem Pivot einen vierten Kandidaten, der aus jeder Zelle eliminiert werden kann, die alle vier sieht.
Ein WXYZ-Wing ist die Vier-Zellen-Erweiterung der Wing-Reihe. Der Y-Wing verwendet drei Bivalue-Zellen; der XYZ-Wing verwendet drei Zellen, bei denen der Pivot einen Extra-Kandidaten hat; der WXYZ-Wing verwendet vier Zellen, bei denen drei „Pincer"-Zellen jeweils zwei von vier Kandidaten mit einem „Pivot" teilen, der alle vier hält.
Die Form
Das Muster hat vier Zellen und vier Kandidaten — nenn sie w, x, y, z. Eine Zelle, der Pivot, hat alle vier Kandidaten: {w, x, y, z}. Drei weitere Zellen, die Pincer, sehen jeweils den Pivot und tragen jeweils genau zwei Kandidaten, die sich mit der Pivot-Menge überschneiden. Zwischen den drei Pincer sind alle vier Pivot-Kandidaten abgedeckt, aber der Kandidat z taucht in allen drei Pincer (und im Pivot) auf.
Die Argumentation läuft wie bei Y-Wing und XYZ-Wing. Welche Ziffer der Pivot auch wird, eine der vier Zellen wird z aufnehmen. Entweder ist der Pivot selbst z, oder einer der drei Pincer ist es. Folglich kann z aus jeder Zelle eliminiert werden, die alle vier sieht — Pivot und alle drei Pincer.
Warum er selten ist
Vier Zellen mit der richtigen Kandidatenverteilung und den richtigen Sichtbarkeitsbeziehungen sind eine enge Bedingung. Die meisten festgefahrenen Zustände werden von einfacheren Techniken aufgelöst, bevor die Bedingungen für einen WXYZ-Wing auftauchen. Wenn ein WXYZ-Wing feuert, ist das meist auf einem Master- oder Extrem-Rätsel, wo jeder Fish, jeder Y-Wing und die meisten XY-Chains schon ausgeschöpft sind.
Die Technik verallgemeinert sich weiter zum VWXYZ-Wing (fünf Zellen, fünf Kandidaten, vier Pincer), aber diese sind selten genug, dass die meisten veröffentlichten Löser sie nicht als eigene Technik katalogisieren. Sie fallen unter den breiteren Rahmen der Almost Locked Sets.
Eine Anmerkung zu Almost Locked Sets
Der WXYZ-Wing ist der Grenzfall, an dem die Wing-Technik anfängt, wie ein ALS-XZ-Muster auszusehen. Der Pivot plus die drei Pincer bilden ein Almost Locked Set auf {w, x, y, z}. Aus der ALS-Perspektive ist der WXYZ-Wing eine bestimmte Form einer ALS-Interaktion mit einem weiteren (degenerierten) ALS — der eliminierenden Zelle. Löser, die fließend in ALS-Argumentation werden, lassen die Wing-Bezeichnungen oft ganz beiseite und sehen einfach die ALSes.
Siehe auch
- Y-Wing— Drei Zwei-Wert-Zellen, in denen der Pivot je einen Kandidaten mit jedem Wing teilt — der dritte Kandidat lässt sich aus jeder Zelle streichen, die beide Wings sieht.
- XYZ-Wing— Ein Drei-Zellen-Wing-Muster, bei dem der Pivot drei Kandidaten und jeder Wing zwei hat — der gemeinsame Kandidat lässt sich aus jeder Zelle streichen, die alle drei sieht.
- ALS-XZ-Regel— Eine Wechselwirkung zwischen zwei Almost Locked Sets, die einen gemeinsamen Kandidaten teilen. Eliminiert einen zweiten gemeinsamen Kandidaten aus Zellen, die alle Vorkommen sehen.
- Kandidat— Eine Ziffer (1–9), die eine Zelle legal aufnehmen könnte — noch nicht ausgeschlossen durch Zeile, Spalte oder Block. Jede leere Zelle hat zwischen einem und neun.