Forcing Net

Level 12 · Schwarzer Gürtel

Strategie:

Forcing

Überblick

Forcing Net erweitert Zwingende Ketten, indem es allen Implikationen jedes Kandidaten gleichzeitig folgt, nicht nur einzelnen Ketten. So entsteht ein verzweigtes Implikationsnetz, das tiefere Widersprüche und gemeinsame Ergebnisse finden kann.

So funktioniert es

  1. Finde ein zelle mit mehreren Kandidaten.
  2. Nimm jeden Kandidaten der Reihe nach an und verfolge ALLE daraus resultierenden Schlussfolgerungen (nicht nur eine Kette).
  3. Führt eine Annahme zu einem Widerspruch (unmöglicher Zustand), schließe diesen Kandidaten aus.
  4. Wenn alle Annahmen dieselbe Schlussfolgerung erzwingen, ist diese Schlussfolgerung gültig.

Beispiel

Startposition

Suche nach Forcing Net.

1

Verzweige bei jedem Kandidaten von r1c1

zelle r1c1 hat 3 Kandidaten: {1, 3, 9}.

2

Angenommen, r1c1 ist 1

Angenommen r1c1 = 1, und verfolge alle Auswirkungen durch das Netz.

3

Dieser Zweig führt zu einem Widerspruch

Diese Annahme führt zu einem Widerspruch, also ist dieser Zweig unmöglich.

4

1 aus r1c1 ausschließen

Also verursacht 1 einen Widerspruch und kann aus r1c1 eliminiert werden.

5

Ergebnis

Ergebnis nach Anwendung der Technik.

Tipps & Muster

  • Forcing Nets sind mächtiger als Zwingende Ketten, weil sie jeder Implikation folgen, nicht nur einem Pfad.
  • Sie sind rechenintensiv und meist das letzte Mittel vor roher Gewalt.
  • Die verzweigte Natur macht sie von Hand schwer nachzuvollziehen.