Las redes forzadas son la última técnica que sigue siendo lógica pura. Tomas cada candidato de una celda por turno, sigues sus consecuencias hasta donde lleguen y buscas algo en lo que todas las ramas coincidan. Lo que coincide es verdadero, porque uno de esos candidatos es el valor real. No hay que adivinar: simplemente examinas todos los casos en lugar de uno.
Una cadena sigue una sola línea de implicaciones. Una red sigue una línea así por cada opción de la celda o unidad de partida, y en el caso general una línea puede volver a dividirse: una conclusión puede necesitar dos deducciones previas a la vez, como "esta celda es 4 y aquella celda es 9, por tanto el bloque solo tiene un sitio para el 7". Comprobar todas las opciones hace que las redes sean más potentes que las cadenas, y más lentas de verificar.
Hay dos maneras de empezar y dos de terminar:
| Parte de | Sigues | Demuestra |
|---|---|---|
Una celda con k candidatos | una rama por candidato | todo lo que comparten las ramas |
Un dígito con k sitios en una unidad | una rama por sitio | todo lo que comparten las ramas |
Si todas las ramas producen la misma colocación, esa colocación es verdadera. Si todas las ramas quitan el mismo candidato, ese candidato está muerto. Y si una sola rama choca con una contradicción (un dígito dos veces en una unidad, o una celda sin nada que ponerle), ese candidato es falso por sí solo, sin necesitar los demás.
Solo cuando todo lo más barato ha fallado: únicos, conjuntos bloqueados, peces, wings, cadenas y Almost Locked Sets. Las redes son caras de trazar y fáciles de hacer mal, así que son un último paso lógico deliberado, no un hábito. Elige una celda de partida con dos candidatos y muchas vecinas bivalor; las ramas se mantienen cortas y todo sigue siendo comprobable.
H1 tiene , y el objetivo es el 7 de C1. Se sigue cada valor de H1 por turno:
Las tres ramas acaban con C1 sin ser 7, así que C1 pierde su 7. Nunca llegas a saber cuánto vale H1: las ramas hicieron su trabajo y se descartaron.
El bloque 7 necesita un 7, y solo puede ir en G2, H2 o J3. El objetivo es el 7 de A2:
Donde sea que el bloque 7 ponga su 7, A2 no tiene 7, así que A2 lo pierde.
En ambos tableros todas las ramas llegan al mismo resultado, que es todo el argumento. Las redes reales también pueden ramificarse más dentro de una rama, y ahí una conclusión puede necesitar dos deducciones previas a la vez.
Las redes forzadas son lo que nuestras cuadrículas más difíciles están hechas para exigir. Espéralas en los puzles Legendarios, y solo después de haber probado técnicas de cadena como 3D Medusa. Todo lo que resuelve una red, en principio podría resolverlo una técnica más corta. La red es lo que usas cuando no encuentras esa técnica más corta.