Netz erzwingen

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.

Technik

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.

Tips

• 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.