Zwingende Ketten

Level 12 · Schwarzer Gürtel

Strategie:

Forcing

Erfordert:

X-Zyklen

Überblick

Zwingende Ketten untersucht, was passiert, wenn für ein zelle jeder seiner Kandidaten angenommen wird. Führen alle Annahmen zum selben Ergebnis, muss dieses Ergebnis wahr sein.

So funktioniert es

  1. Finde ein zelle mit 2-3 Kandidaten.
  2. Nimm jeden Kandidaten der Reihe nach an und folge der logischen Kette.
  3. Führen alle Ketten zur selben Eliminierung, ist diese Eliminierung gültig.
  4. Setzen alle Ketten dieselbe Ziffer in ein anderes zelle, ist diese Platzierung gültig.

Beispiel

Startposition

Suche nach Zwingende Ketten.

1

Beginne mit Bivalue zelle r1c3

Finde ein bivalues zelle r1c3 mit Kandidaten { 1, 5 }.

2

Erster Zweig: r1c3 ist 1

Wenn r1c3 = 1, folge den Implikationen, um zu sehen, was eliminiert wird.

3

Zweiter Zweig: r1c3 ist 5

Wenn r1c3 = 5, folge den Implikationen, um zu sehen, was eliminiert wird.

4

Entferne die gemeinsamen Streichungen aus r2c4

Beide Annahmen eliminieren dieselben Kandidaten. Entferne sie aus r2c4.

5

Ergebnis

Ergebnis nach Anwendung der Technik.

Tipps & Muster

  • Zwingende Ketten sind mächtig, aber zeitaufwendig.
  • Beginne mit Zellen, die wenige Kandidaten haben.
  • Sie sind im Wesentlichen "Wenn-dann"-Logik, die Implikationen folgt.
  • Erwäge, Stift und Papier zu verwenden, um Ketten nachzuverfolgen.