Forcing Nets

Forcing Nets yra paskutinė technika, kuri dar yra gryna logika. Paimi kiekvieną vieno langelio kandidatą paeiliui, seki jo pasekmes, kiek jos eina, ir ieškai to, dėl ko sutaria visos šakos. Kas sutarta, yra tiesa, nes vienas iš tų kandidatų yra tikroji reikšmė. Jokio spėliojimo: tiesiog išnagrinėji visus atvejus, o ne vieną.

Koks tai raštas

Grandinė seka vieną implikacijų liniją. Tinklas seka tokią liniją kiekvienai pradinio langelio ar srities galimybei, o bendru atveju linija gali vėl skilti: išvadai gali reikėti dviejų ankstesnių išvadų iš karto, pavyzdžiui „šis langelis yra 4, o anas yra 9, todėl bloke 7 lieka tik viena vieta“. Visų galimybių tikrinimas daro tinklus stipresnius nei grandines ir lėtesnius patikrinti.

Yra du būdai pradėti ir du būdai baigti:

Jei kiekviena šaka duoda tą patį įrašymą, tas įrašymas yra tiesa. Jei kiekviena šaka pašalina tą patį kandidatą, tas kandidatas miręs. O jei viena šaka atsitrenkia į prieštarą (skaitmuo du kartus vienoje srityje arba langelis, kuriam nieko nebeliko), tas vienas kandidatas klaidingas pats savaime, nereikalaujant kitų.

Kada jos ieškoti

Tik kai viskas pigiau nepavyko: vieneriai, užrakintos aibės, fish, wing, grandinės ir Almost Locked Sets. Tinklus brangu sekti ir lengva suklysti, todėl tai sąmoningas paskutinis loginis žingsnis, o ne įprotis. Pradžiai rinkis langelį su dviem kandidatais ir daug dviejų kandidatų kaimynų; šakos lieka trumpos ir viskas lieka patikrinama.

Kaip taikyti žingsnis po žingsnio

1. Atnaujink visas pastabas. Tinklas, pastatytas ant pasenusio kandidato, nieko neįrodo.
2. Pasirink langelį su dviem kandidatais arba skaitmenį su dviem vietomis srityje.
3. Priimk pirmą galimybę ir surašyk tik tikrai priverstus įrašymus.
4. Atšauk viską visiškai, tada padaryk tą patį su antra galimybe.
5. Palygink šakas. Pasilik bet kurį įrašymą ar eliminavimą, kurį jos dalijasi.
6. Jei šaka prieštarauja pati sau, to kandidato nedelsdamas atsisakyk.

Pavyzdys

Pradedant nuo langelio

H1 turi , o tikslas yra 7 langelyje C1. Kiekviena H1 reikšmė seka paeiliui:

• H1 = 7: C1 dalijasi 1 stulpelį su H1, todėl nėra 7.
• H1 = 1: A1 negali būti 1, todėl A1 yra 7, o C1 nėra 7 dėl tos pačios stulpelio priežasties.
• H1 = 5: E1 netenka 5, todėl F3 yra vienintelė 5 4 bloke. Tada F8 yra vienintelė 8 F eilutėje, C8 negali būti 8, o C1 yra vienintelė likusi 8 C eilutėje. C1 = 8, todėl C1 nėra 7.

Visos trys šakos baigiasi tuo, kad C1 nėra 7, todėl C1 netenka 7. Niekada nesužinai, kas yra H1: šakos atliko savo darbą ir buvo išmestos.

Pradedant nuo skaitmens srityje

7 blokui reikia 7, ir ji gali būti tik G2, H2 ar J3. Tikslas yra 7 langelyje A2:

• 7 langelyje G2 ar H2: A2 dalijasi 2 stulpelį su abiem langeliais, todėl nėra 7.
• 7 langelyje J3: tada J3 nėra 5, todėl A3 yra vienintelė 5 3 stulpelyje. Kai A3 = 5, A2 yra vienintelė 1 A eilutėje, todėl A2 = 1 ir nėra 7.

Kur 7 blokas įrašytų savo 7, A2 7 neturi, todėl A2 jos netenka.

Abiejuose tinkleliuose kiekviena šaka pasiekia tą patį rezultatą, ir tame yra visas argumentas. Tikri tinklai gali šakotis ir šakos viduje, ir ten išvadai gali reikėti dviejų ankstesnių išvadų iš karto.

Dažnos klaidos

• Vienos šakos žymių palikimas tinklelyje pradedant kitą. Kiekviena šaka turi prasidėti nuo tos pačios neliestos padėties.
• „Tikriausiai“ sekimas vietoj priverstino įrašymo. Rašyti galima tik vienerius ir užrakintus eliminavimus.
• Pradinio langelio kandidato praleidimas. Praleisk vieną šaką, ir sutarimas bevertis.
• Vienos šakos prieštaros skaitymas kaip kitų šakų išvados įrodymo.

Kur susidursi

Forcing Nets yra tai, ko reikalauja mūsų sunkiausi tinkleliai. Tikėkis jų Legendiniuose galvosūkiuose, ir tik išbandęs grandinių technikas, tokias kaip 3D Medusa. Ką išsprendžia tinklas, iš principo gali išspręsti ir trumpesnė technika. Tinklas yra tai, ko griebiesi, kai tos trumpesnės technikos nerandi.