Forzando red

El Forzado de Red extiende las 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.

Técnica

1. Encuentre una celda con múltiples candidatos.
2. Suponga cada candidato por turno y siga todas las implicaciones resultantes (no solo una cadena).
3. Si una suposición lleva a una contradicción (estado imposible), elimine ese candidato.
4. Si todas las suposiciones obligan a la misma conclusión, esa conclusión es válida.

Tips

• Los nudos forzados son más potentes que Cadenas forzadas porque siguen cada implicación, no solo una ruta.
• Son computacionalmente costosos y normalmente se utilizan como último recurso antes del método de fuerza bruta.
• La naturaleza ramificada los hace difíciles de rastrear a mano.