Forcing Nets sudoku paņēmiens

Forcing Nets ir pēdējais paņēmiens, kas vēl ir tīra loģika. Tu pēc kārtas ņem katru vienas šūnas kandidātu, seko tā sekām, cik tālu tās sniedzas, un meklē to, par ko visi zari vienojas. Viss, par ko tie vienojas, ir patiess, jo viens no šiem kandidātiem ir īstā vērtība. Minēšanas nav: tu vienkārši izpēti visus gadījumus, nevis vienu.

Kāds ir šis modelis

Ķēde seko vienai secinājumu līnijai. Tīkls seko vienai šādai līnijai katrai sākuma šūnas vai vienības iespējai, un vispārīgā gadījumā līnija var sašķelties vēlreiz: secinājumam var vajadzēt 2 iepriekšējus slēdzienus vienlaikus, piemēram, „šī šūna ir 4 un tā šūna ir 9, tātad blokā ir palikusi tikai viena vieta 7“. Visu iespēju pārbaude padara tīklus stiprākus par ķēdēm un lēnākus pārbaudei.

Ir 2 veidi, kā sākt, un 2 veidi, kā beigt:

Ja katrs zars dod to pašu ievietojumu, šis ievietojums ir patiess. Ja katrs zars noņem to pašu kandidātu, šis kandidāts ir miris. Un, ja viens zars ieskrien pretrunā (cipars 2 reizes vienā vienībā vai šūna, kurā nekas nav palicis), tad šis viens kandidāts ir nepatiess pats par sevi, nevajadzot pārējos.

Kad to meklēt

Tikai tad, kad viss lētākais ir izgāzies: singles, bloķētās kopas, fish, wings, ķēdes un Almost Locked Sets. Tīklus ir dārgi izsekot un viegli pārkļūdīties, tāpēc tie ir apzināts pēdējais loģiskais solis, nevis ieradums. Izvēlies sākuma šūnu ar 2 kandidātiem un daudziem divu kandidātu kaimiņiem, tad zari paliek īsi un viss paliek pārbaudāms.

Kā to pielietot soli pa solim

1. Atsvaidzini visas piezīmes. Tīkls, kas balstīts uz novecojušu kandidātu, neko nepierāda.
2. Izvēlies šūnu ar 2 kandidātiem vai ciparu ar 2 vietām vienībā.
3. Pieņem pirmo variantu un pieraksti tikai tos ievietojumus, kas patiešām ir piespiesti.
4. Atcel to pilnībā, tad izdari to pašu otrajam variantam.
5. Salīdzini zarus. Paturi katru ievietojumu vai izslēgšanu, ko tie dala.
6. Ja zars pats sev pretrunā, nekavējoties atmet šo kandidātu.

Piemērs

Sākums no šūnas

H1 ir , un mērķis ir 7 šūnā C1. Katra H1 vērtība tiek izsekota pēc kārtas:

• H1 = 7: C1 dala 1. kolonnu ar H1, tāpēc tā nav 7.
• H1 = 1: A1 nevar būt 1, tāpēc A1 ir 7, un C1 nav 7 tā paša kolonnas iemesla dēļ.
• H1 = 5: E1 zaudē savu 5, tāpēc F3 ir vienīgais 5 4. blokā. Tad F8 ir vienīgais 8 F rindā, C8 nevar būt 8, un C1 ir vienīgais atlikušais 8 C rindā. C1 = 8, tāpēc C1 nav 7.

Visi 3 zari beidzas ar to, ka C1 nav 7, tāpēc C1 zaudē savu 7. Tu nekad neuzzini, kas ir H1: zari izdarīja savu darbu un tika izmesti.

Sākums no cipara vienībā

7. blokam vajag 7, un tas var būt tikai G2, H2 vai J3. Mērķis ir 7 šūnā A2:

• 7 šūnā G2 vai H2: A2 dala 2. kolonnu ar abām šīm šūnām, tāpēc tā nav 7.
• 7 šūnā J3: tad J3 nav 5, tāpēc A3 ir vienīgais 5 3. kolonnā. Ar A3 = 5 A2 ir vienīgais 1 A rindā, tāpēc A2 = 1 un tā nav 7.

Lai kur 7. bloks liktu savu 7, A2 nav 7, tāpēc A2 to zaudē.

Abos režģos katrs zars nonāk pie viena un tā paša rezultāta, un tas ir viss arguments. Īsti tīkli var sazaroties arī zara iekšienē, un tur secinājumam var vajadzēt 2 iepriekšējus slēdzienus vienlaikus.

Biežākās kļūdas

• Viena zara atzīmju atstāšana režģī, kad sāc nākamo. Katram zaram jāsākas no tās pašas neskartās pozīcijas.
• „Droši vien“ sekošana, nevis piespiesta ievietojuma. Drīkst rakstīt tikai vientuļos un bloķētas izslēgšanas.
• Sākuma šūnas kandidāta palaišana garām. Izlaid vienu zaru, un vienošanās ir bezvērtīga.
• Pretrunas vienā zarā uzskatīšana par pierādījumu citu zaru secinājumiem.

Kur to sastapsi

Forcing Nets ir tas, ko mūsu grūtākie režģi ir veidoti prasīt. Gaidi tos leģendārajās mīklās un tikai pēc tam, kad izmēģināti ķēžu paņēmieni, piemēram, 3D Medusa. Visu, ko atrisina tīkls, principā varētu atrisināt arī īsāks paņēmiens. Tīkls ir tas, ko lieto, kad nevari atrast šo īsāko paņēmienu.