Käfig-Eindeutigkeit

Käfig-Eindeutigkeit ist das Killer-Sudoku-Pendant zur Unique-Rectangle-Argumentation. Manche Käfig-Konfigurationen würden, wenn sie sich auf mehrere Arten vervollständigen ließen, zwei gültige Rätsel-Lösungen produzieren. Die Eindeutigkeitsgarantie des Rätsels schließt diese Konfigurationen aus, also ist jeder Zug, der zu einem Mehrlösungs-Käfig-Zustand führen würde, verboten — und der Zug, der ihn verhindert, ist erzwungen.

Die Grundform

Betracht einen 2-Zellen-Käfig mit Summe 10. Die gültigen Ziffernkombinationen sind {1, 9}, {2, 8}, {3, 7} und {4, 6}. Jede Kombination ist ein Ziffernpaar, das den Käfig in zwei Reihenfolgen besetzen kann. Wenn die Zellen des Käfigs sich eine Einheit teilen (was sie oft tun — die meisten 2-Zellen-Käfige liegen innerhalb einer Zeile, Spalte oder eines Blocks), ist nur eine dieser Reihenfolgen mit dem Rest der Bedingungen der Einheit verträglich.

Der Käfig-Eindeutigkeits-Zug feuert, wenn das Zellpaar eines Käfigs aktuell auf genau ein Ziffernpaar eingeschränkt ist und beide Reihenfolgen dieses Paars mit dem Rest des Rätsels konsistent erscheinen. Würden beide Reihenfolgen das Rätsel zu einer gültigen Lösung schließen, hätte das Rätsel zwei Lösungen — was die Eindeutigkeitsgarantie verbietet. Also muss eine der Reihenfolgen mit irgendeiner Bedingung, die wir noch nicht angewendet haben, unverträglich sein, und die Technik weist uns darauf hin, wo wir diese Bedingung suchen sollen.

In der Praxis feuert Käfig-Eindeutigkeit am häufigsten, wenn die Kombination eines Käfigs sich mit einer Unique-Rectangle-artigen Struktur im Rest des Gitters überschneidet: Die zwei Zellen des Käfigs teilen mit zwei Zellen außerhalb des Käfigs eine „tödliche Paar"-Beziehung. Der Käfig-Eindeutigkeits-Zug entscheidet, welche Orientierung der Käfig annimmt, und bricht damit das tödliche Muster.

Größere Käfige

Größere Käfige lassen Käfig-Eindeutigkeits-Argumente zu, wenn ihre möglichen Ziffernkombinationen ein Paar enthalten, dessen zwei Reihenfolgen beide den Rest des Rätsels lösbar lassen. Das Argument ist strukturell dasselbe: Die Eindeutigkeit des Rätsels schließt den Zwei-Lösungs-Fall aus und erzwingt eine bestimmte Reihenfolge oder eliminiert eine bestimmte Kombination.

Diese Konfigurationen sind auf größeren Käfigen seltener, weil der kombinatorische Raum möglicher Ziffernzuweisungen größer ist und die Bedingungen für „genau zwei gültige Lösungen" restriktiv sind. Wenn sie auftauchen, ist der Zug entscheidend — meist setzt er eine der Ziffern des Käfigs und löst die umgebende Einheit sofort auf.

Wann du sie siehst

Käfig-Eindeutigkeit teilt die philosophische Aufnahme des Unique Rectangle: Manche Löser weigern sich, sie zu verwenden, mit der Begründung, „das Rätsel ist eindeutig" sei eine Meta-Eigenschaft statt eine Folge der Wiederholungsregel; andere akzeptieren sie, weil jedes veröffentlichte Killer-Sudoku auf Eindeutigkeit geprüft ist. In den Killer-Rätseln von Sudoku Mountain ist der Zug sicher zu verwenden.

Die Signatur ist ein festgefahrener Zustand spät im Rätsel, in dem die meisten Käfige meist aufgelöst sind, aber zwei Zellen in einem kleinen Käfig noch je zwei Kandidaten haben, die tauschen könnten. Prüf, ob der Tausch eine gültige alternative Lösung produzieren würde. Wenn ja, ist der Zug lebendig.