Käfig-Überlappung

Käfig-Überlappung ist die Killer-Sudoku-Argumentation, die feuert, wenn die Zellen eines Käfigs teilweise innerhalb einer einzelnen Einheit (Zeile, Spalte oder Block) und teilweise außerhalb davon liegen. Die Summenbedingung des Käfigs, die 45er-Regel der Einheit und die Eindeutige-Kombinationen-Bedingungen des Käfigs gelten gleichzeitig für die überlappenden Zellen, und der Bedingungsstapel erzwingt oft Eliminierungen, die keine der drei allein erreichen würde.

Die Grundform

Angenommen, ein Käfig mit 5 Zellen und Summe 27 hat 3 Zellen in Zeile 4 und 2 Zellen außerhalb davon. Die Ziffern in Zeile 4 müssen sich auf 45 summieren (45er-Regel); die drei In-Zeile-Zellen des Käfigs summieren sich auf einen Wert S, der sowohl zur Käfigsumme (27 minus die Summe der zwei Außen-Zellen) als auch zu den verfügbaren Ziffern der Zeile (die Ziffern, die in Zeile 4 noch nicht woanders gesetzt sind) passt. Die simultanen Bedingungen aufzulösen, schränkt den Beitrag der In-Zeile-Zellen oft auf einen engeren Bereich ein, als jede Bedingung allein zulassen würde.

In der Praxis ist Käfig-Überlappung ein Routine-Zug, sobald du das Prinzip verinnerlicht hast. Die meisten Experten-Löser laufen ihn implizit — „die Zellen dieses Käfigs in Block 7 müssen mindestens X und höchstens Y ergeben, gegeben den Rest von Block 7" — ohne die Technik zu benennen. Die benannte Version hilft, wenn die Bedingungskette drei oder vier Käfige tief läuft und die Berechnung explizit nachvollzogen werden muss.

Warum sie sich von Innies und Outies unterscheidet

Innies und Outies sind die 45er-Regel angewendet auf den gesamten Rand einer Einheit: Die Zellen von Käfigen, die teilweise in die Einheit hineinragen, werden als Innies (In-Einheit-Zellen von teilweise-außen-Käfigen) oder Outies (Außerhalb-Zellen von teilweise-innen-Käfigen) behandelt, und die Summen balancieren über die 45er-Regel. Käfig-Überlappung ist eine allgemeinere Rahmung: jede Überlappung eines Käfigs mit jeder Einheit und die daraus folgende Wechselwirkung zwischen Käfigsumme und Einheitsbedingungen.

Innies und Outies ist der Spezialfall, in dem sich die Käfige sauber in Innen-Zellen und Außen-Zellen einteilen lassen; Käfig-Überlappung deckt den breiteren Raum ab, in dem mehrere Käfige eine Einheit überlappen und ihre Summen miteinander abgeglichen werden müssen.

Wann du sie siehst

Käfig-Überlappung taucht am häufigsten in schweren und Experten-Killer-Rätseln auf, in denen einfachere 45er-Regel-Züge schon gefeuert haben. Die Signatur ist ein Käfig mit 4–6 Zellen, der zwei Blöcke oder einen Zeile-Block-Schnitt überspannt und dessen Summe weit von einer fest erzwungenen Aufteilung entfernt ist. Die Innen-Region- gegen Außen-Region-Summen auszurechnen pinnt meist eine oder zwei Zellen in eine engere Kombination, was dann ein Killer-Paar oder eine eindeutige Kombination freilegt, um den Zug abzuschließen.