SUDOKU-TECHNIK

Erzwingende Ketten

Brutal

Erzwingende Ketten testen beide Kandidaten in einem Feld und folgen den Konsequenzen von jedem von ihnen.

Siehe die Technik in der Praxis

Gehe die Beispiele Schritt für Schritt durch. Jeder Schritt erklärt, was du auf dem Brett siehst und warum die Schlussfolgerung hält.

Beispiel:
  1. Das Feld in Zeile 1, Spalte 7 hat nur zwei Kandidaten, 1 und 2. Wir testen beide und folgen den Konsequenzen.

So erkennst du das Muster

Erzwingende Ketten nehmen ein Feld mit genau zwei Kandidaten als Ausgangspunkt und testen beide. Du folgst den Konsequenzen jedes Kandidaten über das Brett, Platzierung für Platzierung, und siehst, wo die beiden Hypothesen enden. Die Technik ist Brute Force in ein System gebracht, und sie wird gerne verwendet, wenn alle Musterbrechertechniken stoppten.

Zwei Ergebnisse ergeben eine gültige Schlussfolgerung. Führen beide Hypothesen zur gleichen Schlussfolgerung, zum Beispiel dass das gleiche Feld die gleiche Ziffer erhält, ist die Schlussfolgerung wahr, egal wie. Und führt eine der Hypothesen zu einem Widerspruch, zum Beispiel ein Feld ohne Kandidaten, muss das Feld den anderen Kandidaten haben.

Vorgehensweise Schritt für Schritt

  1. Wähle ein Feld mit genau zwei Kandidaten.
  2. Nimm zunächst den einen Kandidaten an und folge allen erzwungenen Konsequenzen, also neuen nackten und versteckten Singles, die entstehen.
  3. Wiederhole mit dem anderen Kandidaten.
  4. Führen beide Zweige zur gleichen Platzierung oder zum gleichen Streichen, ist das gültig, egal wie. Führt ein Zweig zum Widerspruch, platziere den anderen Kandidaten im Startfeld.

Häufige Fehler

  • Die Zweige vermischen. Die Konsequenzen der beiden Hypothesen müssen streng getrennt gehalten werden, sonst beweist du nichts.
  • Nur einen Zweig folgen und das Ergebnis platzieren. Ohne Widerspruch im anderen Zweig ist ein Zweig nur eine Vermutung.
  • Konsequenzen folgen, die nicht erzwungen sind. Nur Platzierungen, die mit Notwendigkeit folgen, wie Singles, können in der Kette verwendet werden.

Wann brauchst du die Technik?

Die schwierigsten Bretter erfordern Techniken, die lange logische Ketten über das ganze Brett folgen. Sie sind im Grunde Beweisführung: Nimm etwas an, folge den Konsequenzen, und sehe, was nicht stimmen kann. Arbeite dich durch die Beispiele unten durch, Schritt für Schritt, mit den gleichen Werkzeugen, die der Löser auf dein eigenes Brett anwendet.

Probiere es auf deinem eigenen Brett

Gib dein Brett im Sudoku-Löser ein, dann findet er den nächsten Schritt und erklärt die Technik dahinter.

Öffne den Sudoku-Löser