Forcing Nets

Les Forcing Nets són l'última tècnica que continua sent lògica pura. Agafes un per un cada candidat d'una cel·la, segueixes les seves conseqüències tan lluny com arribin i busques alguna cosa en què totes les branques coincideixin. Allò en què coincideixen és cert, perquè un d'aquests candidats és el valor real. No hi ha cap endevinació: simplement examines tots els casos en lloc d'un.

Què és el patró

Una cadena segueix una sola línia d'implicacions. Una xarxa segueix una línia així per a cada opció de la cel·la o unitat inicial, i en el cas general una línia es pot tornar a partir: una conclusió pot necessitar dues deduccions anteriors alhora, com ara "aquesta cel·la és 4 i aquella és 9, per tant el bloc només té un lloc per al 7". Comprovar totes les opcions és el que fa les xarxes més fortes que les cadenes, i més lentes de verificar.

Hi ha dues maneres de començar i dues maneres d'acabar:

Si totes les branques produeixen la mateixa col·locació, aquesta col·locació és certa. Si totes les branques treuen el mateix candidat, aquest candidat és mort. I si una sola branca topa amb una contradicció (una xifra dues vegades a una unitat, o una cel·la sense res), llavors aquell candidat és fals per si sol, sense necessitar els altres.

Quan buscar-les

Només quan tot el que és més barat ha fallat: singles, conjunts bloquejats, peixos, wings, cadenes i Almost Locked Sets. Les xarxes són cares de traçar i fàcils d'errar, així que són un últim pas lògic deliberat, no un hàbit. Tria una cel·la inicial amb dos candidats i molts veïns de dos candidats; les branques es mantenen curtes i tot plegat és verificable.

Com aplicar-les, pas a pas

1. Refresca totes les notes. Una xarxa construïda sobre un candidat caducat no demostra res.
2. Tria una cel·la amb dos candidats, o una xifra amb dos llocs en una unitat.
3. Suposa la primera opció i escriu només les col·locacions que realment són forçades.
4. Desfés-ho del tot, i després fes el mateix amb la segona opció.
5. Compara les branques. Queda't amb qualsevol col·locació o eliminació que comparteixin.
6. Si una branca es contradiu a si mateixa, descarta aquell candidat de seguida.

Un exemple pràctic

Començant des d'una cel·la

H1 té , i l'objectiu és el 7 de C1. Se segueix cada valor de H1 per torn:

• H1 = 7: C1 comparteix la columna 1 amb H1, així que no és 7.
• H1 = 1: A1 no pot ser 1, així que A1 és 7, i C1 no és 7 pel mateix motiu de la columna.
• H1 = 5: E1 perd el seu 5, així que F3 és l'únic 5 del bloc 4. Llavors F8 és l'únic 8 de la fila F, C8 no pot ser 8, i C1 és l'únic 8 que queda a la fila C. C1 = 8, així que C1 no és 7.

Les tres branques acaben amb C1 que no és 7, així que C1 perd el seu 7. Mai no saps què és H1: les branques han fet la seva feina i s'han llençat.

Començant des d'una xifra en una unitat

El bloc 7 necessita un 7, i només pot anar a G2, H2 o J3. L'objectiu és el 7 d'A2:

• 7 a G2 o H2: A2 comparteix la columna 2 amb totes dues cel·les, així que no és 7.
• 7 a J3: J3 llavors no és 5, així que A3 és l'únic 5 de la columna 3. Amb A3 = 5, A2 és l'únic 1 de la fila A, així que A2 = 1 i no és 7.

Allà on el bloc 7 posi el seu 7, A2 no té 7, així que A2 el perd.

Als dos taulers totes les branques arriben al mateix resultat, que és tot l'argument. Les xarxes reals també es poden ramificar encara més dins d'una branca, i allà una conclusió pot necessitar dues deduccions anteriors alhora.

Errors habituals

• Deixar a la graella marques d'una branca quan comences la següent. Cada branca ha de començar des de la mateixa posició intacta.
• Seguir un "probablement" en lloc d'una col·locació forçada. Només es poden escriure singles i eliminacions bloquejades.
• Deixar-se un candidat de la cel·la inicial. Si t'ometes una branca, l'acord no val res.
• Llegir la contradicció d'una branca com a prova de les conclusions de les altres branques.

On te les trobaràs

Les Forcing Nets són el que les nostres graelles més difícils estan fetes per exigir. Espera-les als trencaclosques Llegendaris, i només després d'haver provat tècniques de cadena com 3D Medusa. Tot el que resol una xarxa, en principi també ho podria resoldre una tècnica més curta. La xarxa és el que uses quan no pots trobar aquella tècnica més curta.