Forcing Nets

Forcing Nets (vynucujúce siete) sú posledná technika, ktorá je ešte čistou logikou. Vezmeš postupne každého kandidáta jedného políčka, sleduješ jeho dôsledky, ako ďaleko siahajú, a hľadáš niečo, na čom sa zhodnú všetky vetvy. Čokoľvek sa zhodne, je pravda, lebo jeden z tých kandidátov je skutočná hodnota. Žiadne tipovanie: len preskúmaš všetky prípady namiesto jedného.

Čo je to za vzor

Reťaz sleduje jednu líniu dôsledkov. Sieť sleduje jednu takú líniu pre každú možnosť východiskového políčka alebo jednotky a vo všeobecnom prípade sa línia môže znova rozdeliť: záver môže potrebovať dve skoršie dedukcie naraz, napríklad „toto políčko je 4 a tamto je 9, preto blok má pre 7 len jedno miesto“. Kontrola všetkých možností robí siete silnejšími než reťaze, ale aj pomalšími na overenie.

Sú dva spôsoby, ako začať, a dva, ako skončiť:

Ak každá vetva vedie k tomu istému umiestneniu, toto umiestnenie platí. Ak každá vetva vyradí toho istého kandidáta, tento kandidát je mŕtvy. A ak jedna vetva naráža na spor (číslica dvakrát v jednej jednotke alebo políčko, v ktorom nič nezostalo), potom je tento jediný kandidát nepravdivý sám osebe, bez potreby ostatných.

Kedy ho hľadať

Len keď zlyhalo všetko lacnejšie: singles, uzamknuté množiny, fish, wings, reťaze a Almost Locked Sets. Siete je drahé sledovať a ľahké pokaziť, takže sú vedomým posledným logickým krokom, nie zvykom. Vyber východiskové políčko s dvoma kandidátmi a množstvom dvojkandidátových susedov; vetvy zostanú krátke a celé sa dá skontrolovať.

Ako ho použiť krok za krokom

1. Obnov všetky poznámky. Sieť postavená na zastaranom kandidátovi nič nedokazuje.
2. Vyber políčko s dvoma kandidátmi alebo číslicu s dvoma miestami v jednotke.
3. Predpokladaj prvú možnosť a vypíš len tie umiestnenia, ktoré sú naozaj vynútené.
4. Úplne ju zruš a urob to isté pre druhú možnosť.
5. Porovnaj vetvy. Ponechaj každé umiestnenie alebo elimináciu, ktorú majú spoločnú.
6. Ak sa niektorá vetva dostane do sporu, tohto kandidáta okamžite vyhoď.

Vyriešený príklad

Začiatok od políčka

H1 drží a cieľom je 7 v C1. Každá hodnota H1 sa sleduje postupne:

• H1 = 7: C1 zdieľa stĺpec 1 s H1, takže nie je 7.
• H1 = 1: A1 nemôže byť 1, takže A1 je 7 a C1 nie je 7 z rovnakého dôvodu v stĺpci.
• H1 = 5: E1 stráca svoju 5, takže F3 je jediná 5 v bloku 4. Potom F8 je jediná 8 v riadku F, C8 nemôže byť 8 a C1 je jediná zostávajúca 8 v riadku C. C1 = 8, takže C1 nie je 7.

Všetky tri vetvy končia tak, že C1 nie je 7, takže C1 o svoju 7 príde. Nikdy nezistíš, čo je H1: vetvy odviedli svoju prácu a zahodili sa.

Začiatok od číslice v jednotke

Blok 7 potrebuje 7 a môže ísť len do G2, H2 alebo J3. Cieľom je 7 v A2:

• 7 v G2 alebo H2: A2 zdieľa stĺpec 2 s oboma políčkami, takže nie je 7.
• 7 v J3: J3 potom nie je 5, takže A3 je jediná 5 v stĺpci 3. Keď A3 = 5, A2 je jediná 1 v riadku A, takže A2 = 1 a nie je 7.

Nech blok 7 umiestni svoju 7 kamkoľvek, A2 nemá 7, takže A2 o ňu príde.

V oboch mriežkach každá vetva dospeje k rovnakému výsledku, a to je celý argument. Skutočné siete sa môžu vetviť aj vnútri vetvy a tam môže záver potrebovať dve skoršie dedukcie naraz.

Časté chyby

• Ponechanie značiek z jednej vetvy v mriežke pri začatí ďalšej. Každá vetva musí začať z tej istej nedotknutej pozície.
• Sledovanie „asi“ namiesto vynúteného umiestnenia. Zapísať sa smú len singles a uzamknuté eliminácie.
• Vynechanie kandidáta východiskového políčka. Vynechaj jednu vetvu a zhoda je bezcenná.
• Chápanie sporu v jednej vetve ako dôkazu záverov ostatných vetiev.

Kde sa s ním stretneš

Forcing Nets sú to, čo naše najťažšie mriežky vyžadujú. Čakaj ich v legendárnych hlavolamoch a až potom, čo si vyskúšal reťazové techniky ako 3D Medusa. Čokoľvek vyrieši sieť, mohla by v zásade vyriešiť aj kratšia technika. Sieť je to, čo použiješ, keď tú kratšiu techniku nevieš nájsť.