Forcing Nets

Forcing Nets (tvangsnett) er den siste teknikken som fortsatt er ren logikk. Du tar hver kandidat i én rute etter tur, følger konsekvensene så langt de rekker, og leter etter noe alle grenene er enige om. Det de er enige om er sant, fordi en av kandidatene er den virkelige verdien. Ingen gjetting er involvert: du undersøker bare alle tilfellene i stedet for ett.

Hva mønsteret er

En kjede følger én enkelt rekke av implikasjoner. Et nett følger én slik rekke for hvert valg i startruten eller startenheten, og i det generelle tilfellet kan en rekke dele seg igjen: en konklusjon kan trenge 2 tidligere slutninger samtidig, for eksempel «denne ruten er 4 og den ruten er 9, derfor har boksen bare ett sted igjen for 7». Å sjekke alle valgene er det som gjør nett sterkere enn kjeder, og tregere å sjekke.

Det finnes 2 måter å starte på, og 2 måter å avslutte på:

Hvis hver gren gir samme plassering, er den plasseringen sann. Hvis hver gren fjerner samme kandidat, er den kandidaten død. Og hvis én enkelt gren ender i en selvmotsigelse (et siffer to ganger i én enhet, eller en rute uten noe igjen), er den ene kandidaten falsk i seg selv, uten at du trenger de andre.

Når du bør lete etter det

Bare når alt billigere har feilet: singler, låste sett, fisk, wings, kjeder og Almost Locked Sets. Nett er dyre å spore og lette å gjøre feil i, så de er et bevisst siste logiske steg, ikke en vane. Velg en startrute med 2 kandidater og mange tokandidatnaboer. Da holder grenene seg korte og det hele kan kontrolleres.

Slik bruker du det, steg for steg

1. Oppdater alle notater. Et nett bygget på en foreldet kandidat beviser ingenting.
2. Velg en rute med 2 kandidater, eller et siffer med 2 steder i en enhet.
3. Anta det første valget og skriv bare ned plasseringene som faktisk er tvunget.
4. Angre alt fullstendig, og gjør det samme for det andre valget.
5. Sammenlign grenene. Behold enhver plassering eller eliminering de deler.
6. Hvis en gren motsier seg selv, forkast den kandidaten med en gang.

Et gjennomgått eksempel

Start fra en rute

H1 har , og målet er 7-eren i C1. Hver verdi i H1 følges etter tur:

• H1 = 7: C1 deler kolonne 1 med H1, så den er ikke 7.
• H1 = 1: A1 kan ikke være 1, så A1 er 7, og C1 er ikke 7 av samme kolonnegrunn.
• H1 = 5: E1 mister sin 5, så F3 er den eneste 5-eren i boks 4. Da er F8 den eneste 8-eren i rad F, C8 kan ikke være 8, og C1 er den eneste 8-eren som er igjen i rad C. C1 = 8, så C1 er ikke 7.

Alle 3 grenene ender med at C1 ikke er 7, så C1 mister sin 7. Du får aldri vite hva H1 er: grenene gjorde jobben sin og ble kastet.

Start fra et siffer i en enhet

Boks 7 trenger en 7, og den kan bare stå i G2, H2 eller J3. Målet er 7-eren i A2:

• 7 i G2 eller H2: A2 deler kolonne 2 med begge rutene, så den er ikke 7.
• 7 i J3: J3 er da ikke 5, så A3 er den eneste 5-eren i kolonne 3. Med A3 = 5 er A2 den eneste 1-eren i rad A, så A2 = 1 og er ikke 7.

Uansett hvor boks 7 plasserer sin 7, har A2 ingen 7, så A2 mister den.

På begge brettene når hver gren samme resultat, og det er hele argumentet. Ekte nett kan også forgrene seg videre inne i en gren, og der kan en konklusjon trenge 2 tidligere slutninger samtidig.

Vanlige feil

• Å la markeringer fra én gren bli stående på brettet når du starter neste. Hver gren må begynne fra samme urørte posisjon.
• Å følge et «sannsynligvis» i stedet for en tvunget plassering. Bare singler og låste elimineringer kan skrives ned.
• Å overse en kandidat i startruten. Hopper du over én gren, er enigheten verdiløs.
• Å lese en selvmotsigelse i én gren som bevis for de andre grenenes konklusjoner.

Hvor du møter det

Forcing Nets er det de vanskeligste brettene våre er bygget for å kreve. Forvent dem i legendariske oppgaver, og først etter at kjedeteknikker som 3D Medusa er prøvd. Alt et nett løser, kunne i prinsippet en kortere teknikk løst også. Nettet bruker du når du ikke finner den kortere teknikken.