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.
Ein Weak Link ist die lockerere der beiden Beziehungen, auf denen Kettenlogik aufgebaut ist. Zwei Zellen in einer Einheit bilden auf einer Ziffer einen Weak Link, wenn höchstens eine von beiden die Ziffer aufnehmen darf. Beide könnten auch etwas anderes sein; verboten ist nur, dass sie zur gleichen Zeit dieselbe Ziffer sind.
Der klassische Weak Link ist die Wiederholungsregel selbst. Zwei Zellen, die sich eine Einheit teilen, bilden auf jeder Ziffer einen Weak Link — sie können nicht beide diese Ziffer sein, weil die Einheit nur Platz für eine hat. Die meisten Weak Links sind von dieser trivialen Sorte, und genau das macht sie in Ketten so nützlich: Weak Links sind überall dort verfügbar, wo eine Kette einen Schritt machen will.
Was Weak Links zur Kette beitragen
Weak Links erzwingen keine Platzierung direkt. Ihre Aufgabe in der Kette ist, zu unterbrechen: Wenn ein Schritt gerade über einen Strong Link eine Ziffer platziert hat, ist der nächste Schritt meist ein Weak Link zu einer Zelle, die nicht dieselbe Ziffer sein kann. Dieser Weak Link schließt die Ziffer in der nächsten Zelle aus, was den darauffolgenden Strong-Link-Schritt auf einer anderen Ziffer vorbereitet, und die Kette läuft weiter.
Alternating Inference Chains sind das kanonische Beispiel. Jeder Schritt wechselt entlang einer Kandidatenfolge zwischen Strong und Weak Links. Die Strong Links platzieren; die Weak Links eliminieren; die Kette endet mit einer Platzierung oder Eliminierung zwei oder mehr Schritte vom Startpunkt entfernt.
Worin sie sich von Strong Links unterscheiden
Ein Strong Link ist exklusives Oder — genau eine der zwei Zellen ist die Ziffer. Ein Weak Link ist „nicht beide wahr" — beide können falsch sein. In der Praxis tragen Strong Links Platzierungsinformation weiter; Weak Links tragen Eliminierungsinformation weiter. Allein läuft mit keinem von beiden eine nützliche Kette. Die zwei kooperieren, wechseln sich ab, bis die Kette schließt.
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.
- Bilocation— Wenn eine Ziffer in einer Einheit genau zwei Kandidatenzellen hat. Die Konfiguration, auf die Strong Links, X-Wings und Kettentechniken als Ausgangsform zurückgreifen.
- 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.
- 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.
- XY-Chain— Eine Kette aus Bivalue-Zellen, verbunden über gemeinsame Kandidaten. Eliminiert eine Ziffer aus jeder Zelle, die beide Endpunkte sieht — die Arbeitspferd-Kettentechnik.