Zwingende Ketten
Level 12 · Schwarzer Gürtel
Strategie:
ForcingErfordert:
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
- Finde ein zelle mit 2-3 Kandidaten.
- Nimm jeden Kandidaten der Reihe nach an und folge der logischen Kette.
- Führen alle Ketten zur selben Eliminierung, ist diese Eliminierung gültig.
- 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.