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.
Alternating Inference Chains sind die Master-Kettentechnik. Eine AIC ist eine Folge von Kandidaten, verbunden durch wechselnde Strong Links und Weak Links. Strong Links tragen Platzierungen vorwärts; Weak Links tragen Eliminierungen vorwärts. Die Kette beginnt an einem Kandidaten, wechselt entlang ihrer Länge zwischen Linktypen und endet an einem anderen Kandidaten. Aus jeder Zelle, die beide Endkandidaten sieht, kann die „weiterreichende Ziffer" der Kette eliminiert werden.
Die Wechselregel
Jeder Schritt in einer AIC ist ein Kandidat einer bestimmten Ziffer in einer bestimmten Zelle — keine ganze Zelle. Die Kettenlinks verbinden Kandidaten, keine Zellen. Aufeinanderfolgende Links müssen zwischen Strong und Weak wechseln. Zwei Strong Links hintereinander würden den Argumentationsschritt der Kette überspringen; zwei Weak Links hintereinander würden die Fall-für-Fall-Struktur verlieren, die die Kette gültig macht.
Die Anfangs- und Endlinks müssen Strong sein. Genau so liefert die Kette ihren Schluss: Der erste Strong Link erzwingt etwas; der letzte Strong Link erzwingt etwas anderes; die Wechsel dazwischen garantieren, dass — egal welche Wahr/Falsch-Kombination die Kette annimmt — einer der zwei Endpunkte wahr ist.
Wie AIC andere Kettentechniken einschließt
XY-Chain ist der Spezialfall, in dem jeder Link zwischen zwei Bivalue-Zellen liegt. Simple Coloring ist der Spezialfall, in dem jeder Link auf derselben Ziffer liegt. Y-Wing ist der Drei-Zellen-Fall der XY-Chain. ALS-XZ ist die AIC mit Almost Locked Sets an den Endpunkten.
Anders gesagt: AIC ist der Rahmen; die benannten Techniken sind die Muster, die häufig genug auftauchen, um eigene Bezeichnungen zu verdienen. Wer fließend AICs auf Abruf konstruiert, kann das Äquivalent jeder dieser Techniken als Spezialfall produzieren, plus Eliminierungen, die keine der benannten Techniken abdeckt.
Warum die meisten Löser sie zuletzt lernen
AIC ist konzeptionell vereinheitlicht, operativ aber schwer. Jeder Schritt verlangt, zwei Fälle gleichzeitig zu verfolgen — den „wahr"-Zweig und den „falsch"-Zweig — und die Wechselregel muss strikt gelten. Manuelle Löser machen oft Notationsfehler, die die Kette unterminieren. Die Belohnung ist, dass eine AIC mit Länge fünf oder sechs einen festgefahrenen Zustand auf einem Extrem-Rätsel in einem einzigen Zug lösen kann; nichts Einfacheres erreicht diesen Zug.
Eine praktische Reihenfolgeregel: Greif nicht zur AIC, bevor du XY-Chain und die benannten Fish-Techniken ausgeschöpft hast. Die Allgemeinheit der AIC bedeutet, dass sie mehr lösen kann, aber sie bedeutet auch mehr falsche Versuche, bevor die richtige Kette auftaucht.
Siehe auch
- Strong Link— Beziehung zwischen zwei Zellen einer Einheit, in der eine Ziffer genau eine von beiden besetzen muss — das Grundelement, auf dem versteckte Einer, X-Wings und Ketten aufbauen.
- Weak Link— Beziehung zwischen zwei Zellen, von denen höchstens eine die Ziffer hält. Lockerer als ein Strong Link — beide können andere Ziffern sein — und die ruhige Hälfte jeder Kette.
- XY-Chain— Eine Kette aus Bivalue-Zellen, verbunden über gemeinsame Kandidaten. Eliminiert eine Ziffer aus jeder Zelle, die beide Endpunkte sieht — die Arbeitspferd-Kettentechnik.
- Simple Coloring— Eine Technik, die den Strong-Link-Graphen einer einzelnen Ziffer zweifarbig einfärbt und dann Kandidaten eliminiert, die beide Farben sehen — der Einstieg in die Kettenlogik.
- 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.