Forcing Nets

Forcing Nets (tvangsnet) er den sidste teknik, der stadig er ren logik. Du tager hver kandidat i ét felt efter tur, følger dens følger, så langt de rækker, og leder efter noget, som alle grenene er enige om. Det, de er enige om, er sandt, for én af de kandidater er den rigtige værdi. Der er intet gætteri: du undersøger blot alle tilfælde i stedet for ét.

Hvad mønstret er

En kæde følger én enkelt række af implikationer. Et net følger én sådan række for hver mulighed i startfeltet eller startenheden, og i det generelle tilfælde kan en række dele sig igen: en konklusion kan have brug for 2 tidligere slutninger på én gang, som »dette felt er 4 og det felt er 9, derfor har boksen kun én plads tilbage til 7«. At tjekke alle muligheder er det, der gør net stærkere end kæder, og langsommere at tjekke.

Der er 2 måder at starte på og 2 måder at slutte på:

Hvis hver gren giver den samme placering, er den placering sand. Hvis hver gren fjerner den samme kandidat, er den kandidat død. Og hvis én enkelt gren løber ind i en modsigelse (et ciffer to gange i én enhed, eller et felt uden noget tilbage), så er den ene kandidat falsk i sig selv, uden at de andre er nødvendige.

Hvornår du skal lede efter den

Kun når alt billigere har fejlet: singles, låste sæt, fisk, wings, kæder og Almost Locked Sets. Net er dyre at følge og nemme at gøre forkert, så de er et bevidst sidste logisk skridt, ikke en vane. Vælg et startfelt med 2 kandidater og mange to-kandidat-naboer; grenene forbliver korte, og det hele kan tjekkes.

Sådan bruger du den, trin for trin

1. Opdatér alle noter. Et net bygget på en forældet kandidat beviser intet.
2. Vælg et felt med 2 kandidater, eller et ciffer med 2 pladser i en enhed.
3. Antag den første mulighed, og skriv kun de placeringer ud, der faktisk er tvungne.
4. Fortryd det helt, og gør så det samme for den anden mulighed.
5. Sammenlign grenene. Behold enhver placering eller eliminering, de deler.
6. Hvis en gren modsiger sig selv, så kassér den kandidat med det samme.

Et gennemgået eksempel

Start fra et felt

H1 rummer , og målet er 7 i C1. Hver værdi af H1 følges efter tur:

• H1 = 7: C1 deler kolonne 1 med H1, så det er ikke 7.
• H1 = 1: A1 kan ikke være 1, så A1 er 7, og C1 er ikke 7 af samme kolonnegrund.
• H1 = 5: E1 mister sit 5, så F3 er det eneste 5 i boks 4. Så er F8 det eneste 8 i række F, C8 kan ikke være 8, og C1 er det eneste 8 tilbage i række C. C1 = 8, så C1 er ikke 7.

Alle 3 grene ender med, at C1 ikke er 7, så C1 mister sit 7. Du får aldrig at vide, hvad H1 er: grenene gjorde deres arbejde og blev smidt væk.

Start fra et ciffer i en enhed

Boks 7 har brug for et 7, og det kan kun stå i G2, H2 eller J3. Målet er 7 i A2:

• 7 i G2 eller H2: A2 deler kolonne 2 med begge felter, så det er ikke 7.
• 7 i J3: J3 er så ikke 5, så A3 er det eneste 5 i kolonne 3. Med A3 = 5 er A2 det eneste 1 i række A, så A2 = 1 og er ikke 7.

Uanset hvor boks 7 sætter sit 7, har A2 intet 7, så A2 mister det.

På begge brætter når hver gren det samme resultat, og det er hele argumentet. Rigtige net kan også forgrene sig videre inde i en gren, og dér kan en konklusion have brug for 2 tidligere slutninger på én gang.

Almindelige fejl

• At lade mærker fra én gren blive stående på gitteret, når du starter den næste. Hver gren skal begynde fra den samme urørte stilling.
• At følge et »sandsynligvis« i stedet for en tvungen placering. Kun singles og låste elimineringer må skrives.
• At overse en kandidat i startfeltet. Springer du én gren over, er enigheden værdiløs.
• At læse en modsigelse i én gren som bevis for de andre grenes konklusioner.

Hvor du møder den

Forcing Nets er det, vores sværeste gitre er bygget til at kræve. Regn med dem i legendariske opgaver, og først efter at kædeteknikker som 3D Medusa er prøvet. Alt, hvad et net løser, kunne en kortere teknik i princippet også løse. Nettet er det, du bruger, når du ikke kan finde den kortere teknik.