Forzare la rete

Livello 12 · Cinturone nero

Strategia:

Forzatura

Richiede:

Catene forzate

Panoramica

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.

Come funziona

  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.

Esempio

Cerca Forzare la rete.

1

Forzare la rete

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

2

Forzare la rete

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

3

Forzare la rete

This assumption leads to a CONTRADICTION (impossible state).

4

Forzare la rete

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

5

Risultato dopo l'applicazione della tecnica.

Consigli e modelli

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