Schwere Killer-Sudokus lösen

Schwer-Killer ist die Stufe, auf der die 45er-Regel aufhört, eine ausgefallene Technik zu sein, und zum Zug wird, der in jedem Sudoku zündet, oft mehr als einmal. Leicht- und mittel-Killer lösen sich meist auf Käfigsummen-Arithmetik und einfache Singles — die 45er-Regel ist verfügbar, aber selten nötig. Auf schwer sind die Sudokus so gebaut, dass du ohne sie stockst. Kombiniert mit ein paar käfigspezifischen Mustern und dem geometrischen Denken, das vom Anschauen der Käfig-Formen statt nur der Käfigsummen kommt, ist die 45er-Regel die Technik, die ein schweres Killer-Sudoku von unmöglich zu zufriedenstellend macht. Der Pakt der Stufe ist klar: Arithmetik reicht nicht; Geometrie ist erforderlich.

Die 45er-Regel als tägliches Werkzeug

Die 45er-Regel ist die grundlegende Killer-Technik. Die Ziffern 1 bis 9 summieren sich zu 45, und jede Reihe, Spalte und jeder Block des Gitters muss diese Ziffern jeweils einmal enthalten — also summiert sich jede Reihe, Spalte und jeder Block zu 45. Wenn eine Reihe fünf vollständige Käfige mit Gesamtsumme 38 enthält, muss der verbleibende Käfig in dieser Reihe 7 ergeben. Das reicht bereits, um die möglichen Ziffernsätze des Käfigs dramatisch einzugrenzen, und es erfordert keine einzige Zelle zu lösen. Die 45er-Regel zündet am stärksten auf Reihen und Blöcken; Spalten-Ebene-45 ist meist leichter zu erkennen, aber seltener nützlich, weil Käfige Reihen- und Block-Grenzen häufiger überqueren als Spalten-Grenzen.

Innen und Außen sind das, was die 45er-Regel offenbart. Eine Innen-Zelle ist eine Zelle, die in eine Region hineinragt, von einem Käfig, der überwiegend außerhalb der Region liegt. Eine Außen-Zelle ist das Umgekehrte — eine Zelle, die aus der Region herausragt, von einem Käfig, der überwiegend innerhalb der Region liegt. Die 45er-Regel auf eine Region mit einer Innen-Zelle angewandt sagt dir den Wert dieser Innen-Zelle direkt: die Gesamtsumme der vollständigen Käfige in der Region, von 45 abgezogen, ergibt die erforderliche Summe der Innen-Zelle, und wenn die Innen-Zelle eine Zelle ist, ist das ihr Wert. Innen und Außen liefern oft die saubersten Einzelzell-Eintragungen auf schwer und werden schneller zu erkennen, sobald du aufhörst, Käfig-Konturen als Farbe zu lesen, und anfängst, sie als Formen zu lesen.

Die Käfigsatz-Muster zum Auswendiglernen

Killer-Paare und Tripel sind die käfig-bedingte Version des klassischen nackten Paars. Ein 2-Zellen-Käfig mit Summe 17 kann nur 9 enthalten — es gibt keinen anderen Satz von zwei verschiedenen Ziffern, die sich zu 17 summieren. Ein 3-Zellen-Käfig mit Summe 6 kann nur 3 enthalten. Ein 2-Zellen-Käfig mit Summe 4 kann nur 3 enthalten (da Duplikate in einem Käfig nicht erlaubt sind). Diese eliminieren jede andere Ziffer aus diesen Zellen und aus jeder anderen Zelle in der Reihe, Spalte und dem Block des Käfigs, die diese Ziffern sonst aufnehmen könnte.

Die Kombinationen, die auf schwer auswendig gelernt werden sollten: 3 = 2, 4 = 3, 16 = 9, 17 = 9 für Zwei-Zellen-Käfige. Für Drei-Zellen-Käfige: 6 = 3, 7 = 4, 23 = 9, 24 = 9. Diese in einem frischen Gitter zu erkennen dauert ein paar Sekunden und liefert häufig zwei oder drei Eliminierungen im ersten Durchgang.

Käfig-Geometrie

Auf schwer fängt die Form der Käfige relativ zueinander an, ebenso viel zu zählen wie ihre Summen. Wenn zwei Käfige eine Reihe, Spalte oder einen Block teilen, können die Ziffern in einem nicht auch in derselben Reihe, Spalte oder dem Block wie die Ziffern im anderen erscheinen. Das ist nur die Standard-Sudoku-Bedingung, durch Käfig-Konturen angewandt, aber sie ist leichter zu vergessen, wenn die Käfige visuell getrennt sind. Die Käfig-Formen einmal zu durchlaufen, bevor irgendeine Ziffer gesetzt wird — zu prüfen, welche Käfige Reihen, Spalten oder Blöcke teilen — ist eine Gewohnheit, die aufgebaut werden sollte.

Wenn schwer-Killer stockt

Schwer-Killer-Stockungen kommen meist aus einem von zwei Versagensmodi.

Einseitige 45er-Regel. Die meisten Lösenden lernen die 45er-Regel zuerst auf Reihen und wenden sie nie systematisch auf Blöcke an. Aber Block-Ebene-45 liefert oft sauberere Innen/Außen-Eliminierungen, weil Blöcke mehr Käfig-Kanten haben als Reihen — Käfige treten häufiger in Blöcke ein und aus als sie es in Reihen tun. Wenn ein schweres Sudoku stockt, ist die 45er-Regel auf einen Block anzuwenden, den du noch nicht geprüft hast, oft der nächste Zug. Dasselbe gilt für Spalten, sie sind aber meist weniger ergiebig.

Käfigsummen-Tunnelblick. Zu lange auf der Arithmetik ("welche Ziffern summieren sich zu N") zu verbringen statt auf der Reihen-/Spalten-/Block-Position des Käfigs. Schwer-Killer-Sudokus sind verbundene Bedingungen — Käfigsumme UND Gitter-Position — und wenn eine eine Stockung nicht löst, tut es meist die andere.

Zwei Gewohnheiten zum Ablegen

Notieren nur der Ziffern-Kandidaten ohne Verfolgen der Käfigsummen-Kandidaten. Die vollständige Notiz für eine Killer-Zelle ist nicht nur "welche Ziffern könnten hier hin" — es ist auch "welche Käfigsummen-Kombinationen sind noch möglich." Wenn ein 4-Zellen-Käfig mit Summe 22 von 7 oder 8 oder 9 (etc.) auf zwei Kombinationen eingegrenzt wurde, ist das Information, die irgendwo auf dem Gitter verfolgt werden sollte.

Käfige als dekorativ behandeln. Die Käfig-Konturen sind keine visuelle Gruppierung — sie sind Bedingungen, die während der Lösung ständig zünden. Wenn ein Käfig vollständig gelöst ist, kann seine Kontur visuell-mental "abgeschaltet" werden, da sie keine Information mehr hinzufügt. Wenn ein Käfig teilweise gelöst ist, sind die Ziffer-Optionen der verbleibenden Zellen dramatisch eingegrenzt.

Die 45er-Regel wird zur zweiten Natur. Du fängst an, sie anzuwenden, ohne bewusst zu entscheiden, und die Block-Ebene-Anwendungen fühlen sich so natürlich an wie die auf Reihen-Ebene. Die nächste Stufe, Experten-Killer, führt geschichtete 45er-Regeln (Innen und Außen von Innen und Außen) und dieselben fortgeschrittenen klassischen Techniken (X-Wings, eindeutige Rechtecke, erzwingende Ketten) ein, aber mit Käfig-Bedingungen, die sie früher erscheinen lassen als im klassischen. Die meisten Lösenden verbringen mehrere Monate auf schwer, bevor Experte erreichbar wird, und das ist das richtige Tempo — die Käfig-Geometrie braucht Zeit, um intuitiv zu werden.