Forcing Nets

Forcing Nets (prisilne mreže) su zadnja tehnika koja je još čista logika. Uzimaš redom svakog kandidata jedne ćelije, pratiš njegove posljedice dokle god idu i tražiš nešto oko čega se slažu sve grane. Što god se slaže, istinito je, jer je jedan od tih kandidata prava vrijednost. Nema pogađanja: jednostavno ispituješ sve slučajeve umjesto jednoga.

Što je uzorak

Lanac slijedi jednu liniju implikacija. Mreža slijedi jednu takvu liniju za svaku opciju početne ćelije ili jedinice, a u općem slučaju linija se može opet razdvojiti: zaključak može trebati 2 ranija zaključka odjednom, poput "ova ćelija je 4 i ona ćelija je 9, dakle blok ima samo jedno mjesto za 7". Provjera svih opcija čini mreže jačima od lanaca, i sporijima za provjeru.

Postoje 2 načina početka i 2 načina završetka:

Ako svaka grana daje isto postavljanje, to je postavljanje istinito. Ako svaka grana uklanja istog kandidata, taj je kandidat mrtav. A ako jedna grana naiđe na proturječje (znamenka dvaput u jednoj jedinici ili ćelija bez ičega preostalog), tada je taj jedan kandidat lažan sam po sebi, bez potrebe za ostalima.

Kada ga tražiti

Tek kad je sve jeftinije zakazalo: singlovi, zaključani skupovi, fishevi, wingovi, lanci i Almost Locked Sets. Mreže je skupo pratiti i lako ih je pogrešno izvesti, pa su namjeran zadnji logički korak, a ne navika. Odaberi početnu ćeliju s 2 kandidata i puno susjednih ćelija s dva kandidata; grane ostaju kratke i cijela stvar ostaje provjerljiva.

Kako ga primijeniti, korak po korak

1. Osvježi sve bilješke. Mreža izgrađena na zastarjelom kandidatu ne dokazuje ništa.
2. Odaberi ćeliju s 2 kandidata ili znamenku s 2 mjesta u jedinici.
3. Pretpostavi prvu opciju i zapiši samo postavljanja koja su stvarno prisiljena.
4. Potpuno je poništi, pa isto učini za drugu opciju.
5. Usporedi grane. Zadrži svako postavljanje ili eliminaciju koju dijele.
6. Ako grana proturječi samoj sebi, odmah odbaci tog kandidata.

Primjer korak po korak

Polazak od ćelije

H1 drži , a cilj je 7 u C1. Svaka vrijednost H1 prati se redom:

• H1 = 7: C1 dijeli stupac 1 s H1, pa nije 7.
• H1 = 1: A1 ne može biti 1, pa je A1 jednak 7, a C1 nije 7 iz istog razloga stupca.
• H1 = 5: E1 gubi svoju 5, pa je F3 jedina 5 u bloku 4. Tada je F8 jedina 8 u retku F, C8 ne može biti 8, a C1 je jedina preostala 8 u retku C. C1 = 8, pa C1 nije 7.

Sve 3 grane završavaju tako da C1 nije 7, pa C1 gubi svoju 7. Nikad ne saznaš što je H1: grane su obavile posao i bačene su.

Polazak od znamenke u jedinici

Blok 7 treba 7, a ona može ići samo u G2, H2 ili J3. Cilj je 7 u A2:

• 7 u G2 ili H2: A2 dijeli stupac 2 s obje ćelije, pa nije 7.
• 7 u J3: J3 tada nije 5, pa je A3 jedina 5 u stupcu 3. Uz A3 = 5, A2 je jedina 1 u retku A, pa je A2 = 1 i nije 7.

Gdje god blok 7 stavi svoju 7, A2 nema 7, pa je A2 gubi.

Na obje ploče svaka grana dolazi do istog rezultata, a to je cijeli argument. Prave mreže mogu se i dalje granati unutar grane, a tamo zaključak može trebati 2 ranija zaključka odjednom.

Česte pogreške

• Ostavljanje oznaka jedne grane na mreži kad počinješ sljedeću. Svaka grana mora početi od iste netaknute pozicije.
• Praćenje "vjerojatno" umjesto prisiljenog postavljanja. Smiju se zapisivati samo singlovi i zaključane eliminacije.
• Propuštanje kandidata početne ćelije. Preskoči jednu granu i slaganje ne vrijedi ništa.
• Čitanje proturječja u jednoj grani kao dokaza zaključaka drugih grana.

Gdje ga susrećeš

Forcing Nets su ono što naše najteže mreže zahtijevaju. Očekuj ih u Legendarnim zagonetkama, i to tek nakon što su isprobane lančane tehnike poput 3D Medusa. Sve što mreža riješi, mogla bi u principu riješiti i kraća tehnika. Mreža je ono što koristiš kad ne možeš naći tu kraću tehniku.