XY-Wing

So erkennst du das Muster

XY-Wing basiert auf drei Feldern, die jeweils genau zwei Kandidaten haben. Der Mittelpunkt wird Pivot genannt und hat die Kandidaten X und Y. Die beiden Flügel sehen den Pivot und teilen jeweils einen Kandidaten mit ihm: Der eine Flügel hat X und Z, der andere hat Y und Z. Die Ziffer Z ist für die Flügel gemeinsam, und es ist Z, das gestrichen werden kann.

Die Logik ist eine kurze wenn-dann-Kette. Wird der Pivot zu X, wird der Flügel mit X und Z zu Z gezwungen. Wird der Pivot zu Y, wird der andere Flügel gezwungen. Einer der Flügel wird also in jedem Fall zu Z, daher können alle Felder, die beide Flügel sehen, Z verlieren. Suche nach Feldern mit zwei Kandidaten in der gleichen Gegend, denn drei solche Felder in der Nähe beieinander sind oft ein Kandidat für das Muster.

Vorgehensweise Schritt für Schritt

1. Markiere alle Felder mit genau zwei Kandidaten.
2. Wähle eines als Pivot und nenne die Kandidaten X und Y.
3. Suche nach zwei Feldern, die den Pivot sehen, bei denen das eine X und Z hat und das andere Y und Z.
4. Finde die Felder, die beide Flügel sehen, und streiche Z aus ihnen.

Häufige Fehler

• Z aus Feldern streichen, die nur den einen Flügel sehen. Die Streichung erfordert, dass das Feld beide Flügel gleichzeitig sieht.
• Einen Pivot mit drei Kandidaten verwenden. Dann bist du im XYZ-Wing, das strengere Anforderungen hat, wo die Streichungen gelten.
• Z aus dem Pivot streichen ohne weiteres. Der Pivot hat nicht Z unter den Kandidaten in einem echten XY-Wing. Hat er es, ist das Muster falsch identifiziert.

Wann brauchst du die Technik?

Bretter auf der Stufe Extrem erfordern Techniken, die drei oder mehr Felder in logischen Argumenten kombinieren, die vom Typ wenn-dann sind. Arbeite dich durch die Beispiele unten durch, Schritt für Schritt, mit den gleichen Werkzeugen, die der Löser auf dein eigenes Brett anwendet.