Forzare la rete

Il Forcing Net estende le catene di forzatura seguendo tutte le implicazioni da ciascun candidato contemporaneamente, non solo catene singole. Ciò crea una rete di implicazioni ramificate che può individuare contraddizioni più profonde e risultati comuni.

Tecnica

1. Trova una Cella con più candidati.
2. Supponi ciascun candidato a turno e segui tutte le conseguenze risultanti (non solo una catena).
3. Se un'ipotesi porta a una contraddizione (stato impossibile), elimina quel candidato.
4. Se tutte le ipotesi portano alla stessa conclusione, quella conclusione è valida.

Tips

• I Nets forzati sono più potenti delle Catene forzate perché seguono ogni implicazione, non solo un singolo percorso.
• Sono computazionalmente costosi e di solito rappresentano l'ultima risorsa prima del metodo forza bruta.
• La natura ramificata li rende difficili da tracciare a mano.