Forçar rede

O Forcing Net estende as Cadeias Forçadas seguindo todas as implicações de cada candidato simultaneamente, e não apenas cadeias únicas. Isso cria uma rede de implicações ramificada que pode encontrar contradições mais profundas e resultados comuns.

Técnica

1. Encontre uma Célula com múltiplos candidatos.
2. Suponha cada candidato por sua vez e siga todas as consequências resultantes (não apenas uma cadeia).
3. Se uma suposição levar a uma contradição (estado impossível), elimine esse candidato.
4. Se todas as suposições obrigarem à mesma conclusão, essa conclusão é válida.

Tips

• Os Nets Forçados são mais poderosos que as Cadeias forçadas porque seguem todas as implicações, e não apenas um caminho.
• São computacionalmente caros e geralmente são uma última opção antes da força bruta.
• A natureza ramificada torna-os difíceis de rastrear manualmente.