Summenkette

Eine Summenkette ist ein Killer-Sudoku-Argument, das mehrere Käfige über ihre Wechselwirkungen mit Einheiten und geteilten Zellen verbindet. Jedes Glied der Kette ist eine arithmetische Bedingung — meist eine 45er-Regel-Anwendung oder eine Käfig-Aufteilung-Zerlegung — und die Kette propagiert Information von einem Ende zum anderen über die Schnittstruktur der Käfige. Das Ergebnis ist eine Eliminierung oder Setzung, die kein einzelnes Käfig-Argument allein produziert hätte.

Ein ausgearbeitetes Beispiel

Angenommen, drei Käfige überlappen einen einzelnen Block. Käfig A hat 3 Zellen im Block und 2 außerhalb, mit Summe 24. Käfig B hat 2 Zellen im Block und 3 außerhalb, mit Summe 22. Käfig C hat 4 Zellen im Block und 0 außerhalb, mit Summe 20.

Die Ziffern des Blocks müssen sich auf 45 summieren. Die 3 In-Block-Zellen von Käfig A, die 2 In-Block-Zellen von Käfig B und die 4 In-Block-Zellen von Käfig C decken zusammen alle 9 Zellen des Blocks ab (vorausgesetzt, kein anderer Käfig reicht hinein), also ist ihre kombinierte In-Block-Summe 45.

Käfig C trägt 20 bei. Also müssen As In-Block plus Bs In-Block 25 ergeben. Das ist ein 5-Zellen-Teilbereich, dessen Gesamtsumme festgelegt ist; kombiniert mit den Käfigsummen (24 und 22) lassen sich Bedingungen für jede Käfigaufteilung zwischen seinen In-Block- und Außerhalb-Zellen ableiten. Die Deduktion propagiert sich: Die Außerhalb-Zellen von A müssen 24 minus (As In-Block) ergeben, die Außerhalb-Zellen von B müssen 22 minus (Bs In-Block) ergeben, und die Werte sind über die In-Block-Bedingung verbunden.

Die Kette läuft weiter. Die In-Block-Summen schränken die Außerhalb-Zellen ein, was die Einheiten einschränkt, zu denen diese Außerhalb-Zellen gehören, was 45er-Regel-Argumente auf diese Einheiten anwendet, was andere Käfige einschränkt, und so weiter. Eine lange Summenkette kann durch fünf oder sechs Käfige laufen, bevor sie ihre erste Eliminierung produziert.

Wann du sie siehst

Summenketten tauchen in Experten-Killer-Rätseln auf, in denen das Käfig-Layout substanzielle Überlappung hat — mehrere Käfige, die sich Einheiten teilen, Blöcke mit mehreren Teilkäfigen, unregelmäßige Käfigformen. Die Signatur ist ein festgefahrener Zustand, in dem einfachere Killer-Techniken (45er-Regel, Innies und Outies, Käfig-Aufteilung) alle gefeuert haben und das Rätsel sich nicht vollständig löst. Die Summenkette explizit auszuarbeiten, braucht oft Bleistift und Papier — manuelle Löser verfolgen Teilsummen in einer Nebenrechnung —, aber die Eliminierungen, die die Kette produziert, sind meist substanziell.

Eine Anmerkung zur Buchführung

Summenketten teilen das Buchführungsproblem aller Kettentechniken: die Teil-Deduktionen über viele Schritte sauber zu halten. Die meisten Experten-Killer-Löser entwickeln eine Notations-Routine — schreiben die In-Region- und Außerhalb-Region-Summen jedes Käfigs an dessen Rand, aktualisieren sie, sobald neue Bedingungen auftauchen, und verfolgen die Implikationen Zelle für Zelle.

Der Killer-Löser von Sudoku Mountain verfolgt Summenketten-Logik implizit über seinen käfigbewussten Deduktions-Trace; manuelle Löser schreiben sie meist aus.