Netz erzwingen

Stufe 12 · Schwarzer Gürtel

Strategie:

Zwingen

Erfordert:

Zwingende Ketten

Übersicht

Die erzwungene Netzwerktechnik erweitert die Zwingende Ketten-Methode, indem sie alle Folgerungen aus jedem Kandidaten gleichzeitig verfolgt, anstatt nur einzelne Ketten zu betrachten. Dadurch entsteht ein verzweigtes Folgerungsnetzwerk, das tiefere Widersprüche und gemeinsame Ergebnisse finden kann.

So funktioniert es

  1. Finden Sie eine Zelle, die mehrere Kandidaten hat.
  2. Nehmen Sie nacheinander jeden Kandidaten an und verfolgen Sie alle daraus resultierenden Folgerungen (nicht nur eine Kette).
  3. Wenn eine Annahme zu einem Widerspruch (einem unmöglichen Zustand) führt, eliminieren Sie diesen Kandidaten.
  4. Wenn alle Annahmen zur gleichen Schlussfolgerung zwingen, ist diese Schlussfolgerung gültig.

Beispiel

Suche nach Netz erzwingen.

1

Netz erzwingen

Cell r1c1 has 3 candidates: {5, 6, 9}.

2

Netz erzwingen

Assume r1c1 = 6 and follow all implications through the net.

3

Netz erzwingen

This assumption leads to a CONTRADICTION (impossible state).

4

Netz erzwingen

So 6 causes a contradiction and can be eliminated from r1c1.

5

Ergebnis nach Anwendung der Technik.

Tipps & Muster

  • Forcing Nets sind mächtiger als Zwingende Ketten, weil sie jede Implikation verfolgen, nicht nur einen Pfad.
  • Sie sind rechentechnisch aufwendig und werden typischerweise als letzter Ausweg vor der rohen Gewalt angewendet.
  • Die verzweigte Natur macht sie per Hand schwer zu verfolgen.