XY-Loop
Eine XY-Chain, die sich schließt — die Endpunkte treffen sich. Jeder Schritt wird von beiden Seiten eingeschränkt, was zusätzliche Eliminierungen freilegt.
Eine XY-Loop ist das, was du bekommst, wenn eine XY-Chain sich auf sich selbst schließt — die letzte Zelle der Kette sieht ihre erste Zelle, und der Kandidat, der außerhalb der Kette eliminiert worden wäre, wird jetzt innerhalb von ihr eingeschränkt. Loops sind stärker als die entsprechende offene Kette, weil jeder Schritt von beiden Seiten gleichzeitig eingeschränkt wird, und die Eliminierungen finden auf jeder Beziehung über eine gemeinsame Einheit rund um den Loop statt, nicht nur an einem einzigen Endpunkt-Paar.
Was ein geschlossener Loop produziert
In einer offenen XY-Chain auf dem Kandidaten a verlieren nur Zellen die a, die beide Endpunkte sehen. In einem geschlossenen XY-Loop teilt jedes benachbarte Zellpaar im Loop irgendeinen Kandidaten, und jede „weak edge" des Loops produziert eine Eliminierung.
Ein ausgearbeitetes Beispiel. Stell dir vier Bivalue-Zellen vor, die einen Loop bilden: C1 {a, b}, C2 {b, c}, C3 {c, d}, C4 {d, a}, wobei C4 die C1 sieht. Die Fall-Kaskade in beide Richtungen zeigt, dass der Loop wechseln muss: entweder (C1=a, C2=b, C3=c, C4=d) oder (C1=b, C2=c, C3=d, C4=a). So oder so teilen C1 und C3 keinen Kandidatenwert; C2 und C4 auch nicht; und jeder „nicht-weiterreichende" Kandidat jeder Zelle wird erzwungen.
Die Eliminierungen: An jeder Weak Edge des Loops kann der Kandidat, der nicht als Verbindung dient, aus jeder Zelle außerhalb des Loops entfernt werden, die beide Enden dieser Edge sieht. Geschlossene XY-Loops produzieren typischerweise drei oder vier Eliminierungen aus einem einzigen Muster, wo eine offene XY-Chain derselben Länge nur eine produzieren würde.
Warum sie seltener sind als offene Ketten
Geschlossene Loops verlangen, dass die Kette ihren Kreis vollendet — die letzte Bivalue-Zelle muss sich mit der ersten eine Einheit teilen. Die meisten Rätselzustände mit Kettenpotenzial haben offene Ketten, die übers Gitter wandern; die geschlossene Bedingung ist restriktiv. Wenn sich aber ein Loop bildet, löst er meist einen festgefahrenen Zustand in einem Zug, wo einfachere Kettentechniken mehrere gebraucht hätten.
Eine nützliche Erkennungsroutine: Wenn du nach einer XY-Chain scannst, beobachte, ob die Kette, die du verfolgst, immer wieder zu ihrer Ausgangsregion zurückkehrt. Wenn die Spur sich zurück zur ersten Zelle biegt, prüf, ob sie den Loop schließen kann — das sind die Konfigurationen, in denen XY-Loop feuert.
Siehe auch
- XY-Chain— Eine Kette aus Bivalue-Zellen, verbunden über gemeinsame Kandidaten. Eliminiert eine Ziffer aus jeder Zelle, die beide Endpunkte sieht — die Arbeitspferd-Kettentechnik.
- 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.
- Alternating Inference Chain (AIC)— Die universelle Kettentechnik. Wechselt entlang einer Kandidatenfolge zwischen Strong und Weak Links und eliminiert eine Ziffer aus jeder Zelle, die beide Endpunkte sieht.
- 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.