Forçar rede

Nível 12 · Cinta preta

Estratégia:

Forçar

Requerido:

Cadeias forçadas

Visão geral

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.

Como funciona

  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.

Exemplo

Procure por Forçar rede.

1

Forçar rede

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

2

Forçar rede

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

3

Forçar rede

This assumption leads to a CONTRADICTION (impossible state).

4

Forçar rede

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

5

Resultado após aplicar a técnica.

Dicas e padrões

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