Forcing Nets

Forcing Nets on viimane tehnika, mis on veel puhas loogika. Võtad ühe lahtri iga kandidaadi järgemööda, jälgid selle tagajärgi nii kaugele kui need ulatuvad ja otsid midagi, milles kõik harud nõustuvad. Mis iganes nad nõustuvad, on tõene, sest üks neist kandidaatidest on päris väärtus. Arvamist pole: sa uurid lihtsalt kõiki juhte ühe asemel.

Mis muster see on

Ahel järgib ühte implikatsioonide rida. Võrk järgib sellist rida iga alguslahtri või -üksuse variandi jaoks ja üldjuhul võib rida uuesti harduda: järeldus võib vajada korraga kahte varasemat järeldust, näiteks "see lahter on 4 ja too lahter on 9, seega on ruudus 7 jaoks alles ainult üks koht". Kõigi variantide kontrollimine teeb võrgud ahelatest tugevamaks ja kontrollimiseks aeglasemaks.

Alustada saab kahel viisil ja lõpetada kahel viisil:

Kui iga haru annab sama paigutuse, on see paigutus tõene. Kui iga haru eemaldab sama kandidaadi, on see kandidaat surnud. Ja kui üksainus haru jookseb vastuoluni (number kaks korda ühes üksuses või lahter, kuhu pole enam midagi jäänud), siis on see üks kandidaat iseenesest vale, teisi vajamata.

Millal seda otsida

Ainult siis, kui kõik odavam on ebaõnnestunud: üksikud, lukustatud hulgad, fish'id, wing'id, ahelad ja Almost Locked Sets. Võrke on kallis jälgida ja neis on lihtne eksida, seega need on teadlik viimane loogiline samm, mitte harjumus. Vali alguslahtriks lahter, millel on kaks kandidaati ja palju kahe kandidaadiga naabreid, siis harud jäävad lühikeseks ja tervik kontrollitavaks.

Kuidas rakendada, samm-sammult

1. Värskenda kõik märkmed. Aegunud kandidaadile ehitatud võrk ei tõesta midagi.
2. Vali lahter, millel on kaks kandidaati, või number, millel on üksuses kaks kohta.
3. Oleta esimene variant ja kirjuta välja ainult paigutused, mis on tegelikult sunnitud.
4. Võta see täielikult tagasi, siis tee sama teise variandiga.
5. Võrdle harusid. Jäta alles iga paigutus või kõrvaldamine, mida nad jagavad.
6. Kui haru on iseendaga vastuolus, hülga see kandidaat kohe.

Lahendatud näide

Alustamine lahtrist

H1 hoiab ja siht on 7 lahtris C1. Iga H1 väärtust jälgitakse järgemööda:

• H1 = 7: C1 jagab veergu 1 lahtriga H1, seega see ei ole 7.
• H1 = 1: A1 ei saa olla 1, seega A1 on 7 ja C1 ei ole 7 sama veeru põhjusel.
• H1 = 5: E1 kaotab oma 5, seega F3 on ainus 5 ruudus 4. Siis on F8 ainus 8 real F, C8 ei saa olla 8 ja C1 on ainus 8, mis real C alles on. C1 = 8, seega C1 ei ole 7.

Kõik kolm haru lõpevad sellega, et C1 ei ole 7, seega C1 kaotab oma 7. Sa ei saa kunagi teada, mis H1 on: harud tegid oma töö ja visati ära.

Alustamine numbrist üksuses

Ruut 7 vajab 7 ja see saab minna ainult lahtritesse G2, H2 või J3. Siht on 7 lahtris A2:

• 7 lahtris G2 või H2: A2 jagab veergu 2 mõlemaga, seega see ei ole 7.
• 7 lahtris J3: J3 ei ole siis 5, seega A3 on ainus 5 veerus 3. Kui A3 = 5, on A2 ainus 1 real A, seega A2 = 1 ja ei ole 7.

Kuhu iganes ruut 7 oma 7 paneb, A2-l pole 7, seega A2 kaotab selle.

Mõlemal ruudustikul jõuavad kõik harud samale tulemusele, mis ongi kogu argument. Päris võrgud võivad harduda ka haru sees ja seal võib järeldus vajada korraga kahte varasemat järeldust.

Levinud vead

• Ühe haru märkide jätmine ruudustikule, kui alustad järgmist. Iga haru peab algama samast puutumata seisust.
• "Tõenäoliselt" järgimine sunnitud paigutuse asemel. Kirjutada tohib ainult üksikuid ja lukustatud kõrvaldamisi.
• Alguslahtri kandidaadi vahelejätmine. Jäta üks haru vahele ja nõustumine on väärtusetu.
• Ühe haru vastuolu lugemine teiste harude järelduse tõestuseks.

Kus sellega kohtud

Forcing Nets on see, mida meie raskeimad ruudustikud nõudma on ehitatud. Oota neid legendaarsetes mõistatustes ja alles pärast seda, kui oled proovinud ahelatehnikaid nagu 3D Medusa. Kõik, mille võrk lahendab, saaks põhimõtteliselt lahendada ka lühem tehnika. Võrku kasutad siis, kui sa seda lühemat tehnikat leida ei suuda.