Forcing Net

Livello 12 · Cintura nera

Strategia:

Forcing

Panoramica

Forcing Net estende Catene forzate seguendo simultaneamente tutte le implicazioni di ogni candidato, non solo singole catene. Questo crea una rete di implicazioni ramificata in grado di trovare contraddizioni più profonde e risultati comuni.

Come funziona

  1. Trova una cella con più candidati.
  2. Supponi a turno ogni candidato e segui TUTTE le implicazioni risultanti (non solo una catena).
  3. Se un'ipotesi porta a una contraddizione (stato impossibile), elimina quel candidato.
  4. Se tutte le ipotesi impongono la stessa conclusione, quella conclusione è valida.

Esempio

Posizione iniziale

Cerca Forcing Net.

1

Dirama su ogni candidato di r1c1

cella r1c1 ha 3 candidati: {1, 3, 9}.

2

Supponiamo che r1c1 sia 1

Supponi che r1c1 = 1 e segui tutte le implicazioni attraverso la rete.

3

Questo ramo porta a una contraddizione

Questa ipotesi porta a una contraddizione, quindi quel ramo è impossibile.

4

Eliminare 1 da r1c1

Quindi 1 causa una contraddizione e può essere eliminato da r1c1.

5

Risultato

Risultato dopo aver applicato la tecnica.

Consigli e schemi

  • Le Forcing Nets sono più potenti di Catene forzate perché seguono ogni implicazione, non solo un percorso.
  • Sono computazionalmente costose e di solito sono l'ultima risorsa prima della forza bruta.
  • La loro natura ramificata le rende difficili da seguire a mano.