Die Überlappung von Käfig und Einheit entsteht, wenn ein Käfig und eine Zeile, Spalte oder ein Block Felder teilen: Die Rechnung des Käfigs sagt dir, dass eine Ziffer in diesem gemeinsamen Bereich stehen muss, also verschwindet sie aus dem Rest der Einheit. Es ist die Killer-Version der Locked Candidates, nur dass eine Summe die Arbeit eines Blocks übernimmt.
Jede Käfigsumme lässt sich nur mit bestimmten Ziffernmengen erreichen. Kommt eine Ziffer in jeder noch möglichen Menge vor, muss der Käfig sie irgendwo enthalten. Das ist eine Pflichtziffer.
Sieh nun, wo sie stehen kann. Liegen alle ihre möglichen Felder in einer Einheit, ist die Ziffer dieser Einheit vergeben, und die Ziffer ist im Rest der Einheit ein toter Kandidat, auch in Feldern, die der Käfig nie berührt.
Die Logik funktioniert auch rückwärts. Fallen alle verbleibenden Plätze einer Ziffer in einer Einheit in einen Käfig, muss dieser Käfig sie enthalten, und jede Kombination ohne die Ziffer fliegt raus.
Käfig 13 deckt E1, E2, F2 und G2 ab. G2 ist schon eine 1, also müssen E1, E2 und F2 zusammen 12 ergeben. Sieh dir an, welche Ziffer alle verbleibenden Mengen teilen.
Drei verschiedene Ziffern ohne 1 erreichen 12 als 2+3+7, 2+4+6 oder 3+4+5. Kein Feld des Käfigs kann 6 sein, es bleiben 2+3+7 und 3+4+5. Beide enthalten eine 3, also muss der Käfig in E1, E2 oder F2 eine 3 haben. Diese drei Felder liegen alle in Block 4 (G2 liegt außerhalb, in Block 7), also ist die 3 von Block 4 vergeben. Die 3 verschwindet aus D3, F1 und F3.
Hier kann Block 4 seine 9 nur in E3 oder F3 setzen, und beide Felder gehören zu Käfig 17 (D3, E3, F3). Sieh, was das mit den Kombinationen des Käfigs macht.
Drei Ziffern erreichen 17 auf sieben Wegen, aber nur 1+7+9, 2+6+9 und 3+5+9 enthalten eine 9, und keine davon hat eine 8. Also verschwindet die 8 aus D3, E3 und F3. In 1+7+9 steht die 9 in E3 oder F3 und D3 kann nicht 1 sein, also nimmt D3 die 7. Das heißt, die 7 kann nie in E3 oder F3 stehen.
| Der Käfig sagt es der Einheit | Die Einheit sagt es dem Käfig | |
|---|---|---|
| Ausgangspunkt | Die Kombinationsliste des Käfigs | Die Plätze einer Ziffer in der Einheit |
| Bedingung | Eine Pflichtziffer, alle ihre Felder in einer Einheit | Alle Plätze der Ziffer liegen in einem Käfig |
| Ergebnis | Ziffer außerhalb des Käfigs entfernt | Kombinationen innerhalb des Käfigs entfernt |
| Demo oben | Käfig 13 und die 3 von Block 4 | Käfig 17 und die 9 von Block 4 |
| Fühlt sich an wie | Pointing Pairs | Block-Linien-Reduktion |
Die einfache Form, bei der ein kleiner Käfig ganz in einem Block liegt, taucht in leichten Killer-Gittern auf. Die Überlappungsversion, bei der du bemerken musst, dass nur ein Teil des Käfigs die Pflichtziffer tragen kann, gehört zur fortgeschrittenen Stufe und wird ab schwerem Killer-Sudoku wichtig. Sobald Käfige regelmäßig Blockkanten kreuzen, ist das die Technik, die das Gitter vor dem Festfahren bewahrt.