Forcing Net

Nivel 12 · Cinturón negro

Estrategia:

Forzado

Resumen

Forcing Net amplía Cadenas forzadas siguiendo todas las implicaciones de cada candidato simultáneamente, no solo cadenas individuales. Esto crea una red de implicaciones ramificada que puede encontrar contradicciones más profundas y resultados comunes.

Cómo funciona

  1. Encuentra una celda con varios candidatos.
  2. Supón cada candidato por turno y sigue TODAS las implicaciones resultantes (no solo una cadena).
  3. Si una suposición lleva a una contradicción (estado imposible), elimina ese candidato.
  4. Si todas las suposiciones fuerzan la misma conclusión, esa conclusión es válida.

Ejemplo

Posición inicial

Busca Forcing Net.

1

Ramifica en cada candidato de r1c1

celda r1c1 tiene 3 candidatos: {1, 3, 9}.

2

Supongamos que r1c1 es 1

Supón que r1c1 = 1 y sigue todas las implicaciones por la red.

3

Esta rama lleva a una contradicción

Esta suposición lleva a una contradicción, así que esa rama es imposible.

4

Eliminar 1 de r1c1

Así que 1 causa una contradicción y puede eliminarse de r1c1.

5

Resultado

Resultado tras aplicar la técnica.

Consejos y patrones

  • Las Forcing Nets son más potentes que Cadenas forzadas porque siguen todas las implicaciones, no solo un camino.
  • Son costosas computacionalmente y suelen ser el último recurso antes de la fuerza bruta.
  • Su naturaleza ramificada las hace difíciles de seguir a mano.