Forcing Net

Nível 12 · Faixa preta

Estratégia:

Força

Visão geral

Forcing Net amplia Cadeias forçadas seguindo todas as implicações de cada candidato simultaneamente, 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 vários candidatos.
  2. Suponha cada candidato por vez e siga TODAS as implicações 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 forçarem a mesma conclusão, essa conclusão é válida.

Exemplo

Posição inicial

Procure por Forcing Net.

1

Ramifique em cada candidato de r1c1

célula r1c1 tem 3 candidatos: {1, 3, 9}.

2

Suponha que r1c1 seja 1

Suponha que r1c1 = 1 e siga todas as implicações pela rede.

3

Este ramo leva a uma contradição

Esta suposição leva a uma contradição, então esse ramo é impossível.

4

Eliminar 1 de r1c1

Assim 1 causa uma contradição e pode ser eliminado de r1c1.

5

Resultado

Resultado após aplicar a técnica.

Dicas e padrões

  • As Forcing Nets são mais poderosas que Cadeias forçadas porque seguem todas as implicações, não apenas um caminho.
  • São computacionalmente caras e geralmente são o último recurso antes da força bruta.
  • A natureza ramificada torna difícil acompanhá-las manualmente.