Ești gata de joc?

Joacă Sudoku!

Forcing Nets

ExtremeClasic + KillerPasul 37 din 384 minute de citit

Forcing Nets (rețelele de forțare) sunt ultima tehnică ce mai este logică pură. Iei pe rând fiecare candidat al unei celule, urmărești consecințele lui cât de departe merg și cauți ceva asupra căruia toate ramurile cad de acord. Ce e comun este adevărat, pentru că unul dintre acei candidați este valoarea reală. Nu ghicești nimic: pur și simplu examinezi toate cazurile în loc de unul singur.

Ce este tiparul

Un lanț urmărește o singură linie de implicații. O rețea urmărește o astfel de linie pentru fiecare opțiune a celulei sau unității de start, iar în cazul general o linie se poate ramifica din nou: o concluzie poate avea nevoie de 2 deducții anterioare deodată, de exemplu „celula asta este 4 și celula aceea este 9, deci blocul mai are un singur loc pentru 7". Verificarea tuturor opțiunilor face rețelele mai puternice decât lanțurile și mai lente de verificat.

Există 2 feluri de a începe și 2 feluri de a termina:

Pornești de laUrmăreștiDemonstrezi
O celulă cu k candidațio ramură per candidattot ce au în comun toate ramurile
O cifră cu k locuri într-o unitateo ramură per loctot ce au în comun toate ramurile

Dacă fiecare ramură produce aceeași plasare, acea plasare este adevărată. Dacă fiecare ramură elimină același candidat, acel candidat este mort. Iar dacă o singură ramură dă peste o contradicție (o cifră de 2 ori într-o unitate sau o celulă fără niciun candidat), atunci acel candidat este fals de unul singur, fără să ai nevoie de ceilalți.

Când să o cauți

Doar când tot ce este mai ieftin a eșuat: singles, seturi blocate, fish, wing-uri, lanțuri și Almost Locked Sets. Rețelele sunt scumpe de urmărit și ușor de greșit, deci sunt un ultim pas logic făcut deliberat, nu un obicei. Alege o celulă de start cu 2 candidați și mulți vecini cu doi candidați; ramurile rămân scurte și totul rămâne verificabil.

Cum o aplici, pas cu pas

  1. Reîmprospătează toate notițele. O rețea construită pe un candidat vechi nu demonstrează nimic.
  2. Alege o celulă cu 2 candidați sau o cifră cu 2 locuri într-o unitate.
  3. Presupune prima opțiune și notează doar plasările care sunt cu adevărat forțate.
  4. Anulează-o complet, apoi fă la fel pentru a doua opțiune.
  5. Compară ramurile. Păstrează orice plasare sau eliminare pe care o au în comun.
  6. Dacă o ramură se contrazice, elimină imediat acel candidat.

Un exemplu rezolvat

Pornind de la o celulă

  1. Tehnicile mai simple s-au epuizat. Privește H1, care poate fi doar 1, 5 sau 7.

  2. H1 trebuie să fie 1, 5 sau 7. Încearcă pe rând fiecare valoare și urmărește 7 din C1.

  3. Ramura 1: H1 = 7. C1 are în comun coloana 1 cu H1, deci nu poate fi 7.

  4. Ramura 2: H1 = 1. Atunci A1 nu poate fi 1, deci A1 este 7, iar C1 nu poate fi 7 (din nou coloana 1).

  5. Ramura 3: H1 = 5. E1 pierde 5 (coloana 1), deci F3 este singurul loc pentru 5 în blocul 4.

    Cu F3 = 5, F8 este singurul loc pentru 8 în rândul F. Atunci C8 nu poate fi 8, deci C1 este singurul 8 din rândul C.

    C1 = 8, deci C1 nu este 7.

  6. Valorile de probă se șterg. Toate cele trei ramuri se încheie cu C1 diferit de 7.

    7 eliminat din C1, pentru că fiecare valoare din H1 îl exclude.

Tehnicile mai simple s-au epuizat. Privește H1, care poate fi doar 1, 5 sau 7.

H1 conține , iar ținta este 7 din C1. Fiecare valoare a lui H1 este urmărită pe rând:

  • H1 = 7: C1 împarte coloana 1 cu H1, deci nu este 7.
  • H1 = 1: A1 nu poate fi 1, deci A1 este 7, iar C1 nu este 7 din același motiv al coloanei.
  • H1 = 5: E1 își pierde 5, deci F3 este singurul 5 din blocul 4. Atunci F8 este singurul 8 din rândul F, C8 nu poate fi 8, iar C1 este singurul 8 rămas în rândul C. C1 = 8, deci C1 nu este 7.

Toate cele 3 ramuri se termină cu C1 care nu este 7, deci C1 își pierde 7. Nu afli niciodată ce este H1: ramurile și-au făcut treaba și au fost aruncate.

Pornind de la o cifră dintr-o unitate

  1. Tehnicile mai simple s-au epuizat. Privește cifrele 7 din blocul 7.

  2. Blocul 7 are nevoie de un 7, care poate merge doar în G2, H2 sau J3. Încearcă fiecare loc și urmărește 7 din A2.

  3. Ramurile 1 și 2: dacă 7 este în G2 sau în H2, A2 nu poate fi 7, pentru că toate trei celulele sunt în coloana 2.

  4. Ramura 3: J3 = 7. Atunci J3 nu este 5, iar A3 devine singurul loc pentru 5 din coloana 3.

    Cu A3 = 5, A2 este singurul loc pentru 1 din rândul A. A2 = 1, deci nu este 7.

  5. Valorile de probă se șterg. Oriunde își pune blocul 7 cifra 7, A2 rămâne fără 7.

    7 eliminat din A2.

Tehnicile mai simple s-au epuizat. Privește cifrele 7 din blocul 7.

Blocul 7 are nevoie de un 7, care poate ajunge doar în G2, H2 sau J3. Ținta este 7 din A2:

  • 7 în G2 sau H2: A2 împarte coloana 2 cu ambele celule, deci nu este 7.
  • 7 în J3: atunci J3 nu este 5, deci A3 este singurul 5 din coloana 3. Cu A3 = 5, A2 este singurul 1 din rândul A, deci A2 = 1 și nu este 7.

Oriunde și-ar pune blocul 7 cifra 7, A2 nu are 7, deci A2 îl pierde.

În ambele grile, fiecare ramură ajunge la același rezultat, iar asta este tot argumentul. Rețelele reale se pot ramifica și mai departe în interiorul unei ramuri, iar acolo o concluzie poate avea nevoie de 2 deducții anterioare deodată.

Greșeli frecvente

  • Lăsarea marcajelor dintr-o ramură pe grilă când începi următoarea. Fiecare ramură trebuie să pornească din aceeași poziție neatinsă.
  • Urmărirea unui „probabil" în loc de o plasare forțată. Pot fi notate doar singles și eliminări blocate.
  • Omiterea unui candidat al celulei de start. Sari peste o ramură și acordul nu valorează nimic.
  • Citirea contradicției dintr-o ramură ca dovadă pentru concluziile celorlalte ramuri.

Unde îl întâlnești

Forcing Nets sunt ceea ce cer cele mai grele grile ale noastre. Așteaptă-te la ele în puzzle-urile Legendare și abia după ce ai încercat tehnici cu lanțuri precum 3D Medusa. Orice rezolvă o rețea, o tehnică mai scurtă ar putea rezolva în principiu. Rețeaua este ce folosești când nu găsești acea tehnică mai scurtă.