Ekstrēmas 6×6 nonogrammas — saistītas hipotēzes 36 lauciņu režģī

Ekstrēmas 6×6 nonogrammas ir veidotas risinātājiem, kuri jau brīvi izmanto hipotēzi un pārbaudi Expert līmeņa mīklās un ir gatavi konfigurācijām, kur šī tehnika jāpiemēro atkārtoti un secīgi visa risinājuma gaitā. Šīs Picross un Griddler mīklas veido tik cieši savītu ierobežojumu tīklu, ka viens hipotēzes cikls apstiprina vienu vai divus lauciņus — un šie apstiprinājumi uzreiz sagatavo nākamo hipotēzes ciklu, starp tiem neatstājot vietu standarta loģiskai izsecināšanai.

Ekstrēmas 6×6 risināšanas struktūra

Tipisks Ekstrēmas 6×6 risinājums seko modelim, kas atšķiras no visiem zemākajiem grūtības līmeņiem:

1. fāze — standarta caurlaide bez rezultāta: Pilna caurlaide cauri visām divpadsmit līnijām, izmantojot pārklāšanās analīzi un izvietojumu uzskaiti, neapstiprina nevienu lauciņu. Režģis ir pilnībā inicializēts, bet ar standarta metodēm vēl neatrisināts.

2. fāze — pirmais hipotēzes cikls: Izvēlies lauciņu ar visstingrākajiem ierobežojumiem. Pieņem, ka tas ir aizkrāsots. Izseko sekas cauri divām līdz piecām krustojošām līnijām. Nonāc pretrunā (vai apstiprini ar divvirzienu pārbaudi). Apstiprini lauciņa stāvokli.

3. fāze — izplatīšanās, tad vēl viens strupceļš: Apstiprinātais lauciņš ļauj veikt vienu vai divus standarta secinājumus krustojošajās līnijās — un tad standarta metodes atkal apstājas. Nepieciešams vēl viens hipotēzes cikls.

4. fāze — atkārtošana: Šis modelis atkārtojas trīs līdz sešas reizes, līdz tiek apstiprināts pietiekami daudz lauciņu, lai atlikušais režģis būtu atrisināms ar standarta secinājumiem.

Uzlabotas tehnikas ekstrēmai grūtībai

Hipotēžu ķēdēšana: Tā vietā, lai hipotēzi pārtrauktu pie pirmās pretrunas, pagarini ķēdi, lai vienā ciklā iegūtu vairākus apstiprinājumus. Ja hipotēze A noved pie apstiprināta lauciņa B, bet B — pie apstiprināta lauciņa C (tajā pašā nosacījuma ķēdē), no viena pretrunas izsekojuma vari iegūt abus apstiprinājumus.

Stāvokļa pieraksta notācija: Ekstrēmajām mīklām rakstisks pašreizējās hipotēžu ķēdes starprezultātu pieraksts nav izvēles jautājums — tā ir praktiska nepieciešamība. Katru soli pieraksti šādi: "Ja A=aizkrāsots, tad 3. rindas 1. bloks jāatrodas 2.–3. pozīcijā, tātad 2. kolonnas 3. lauciņam jābūt tukšam." Sistemātiska notācija palīdz nepazaudēt pavedienu dziļās ķēdēs.

Izvietojumu kopu samazināšana: Pirms katra hipotēzes cikla atjaunini visas izvietojumu kopas ar jaunajiem apstiprinātajiem lauciņiem. Apstiprināts tukšs lauciņš bieži izslēdz vienu vai divas iepriekš iespējamas izvietojumu saimes, būtiski sašaurinot hipotēžu meklēšanas telpu.

Kas tālāk

→ 6×6 Evil — maksimāls hipotēžu ķēdes dziļums 36 lauciņu režģī

→ 15×15 Extreme — pielieto saistīto hipotēžu tehniku 225 lauciņos

→ 20×20 Extreme — kur katrs apstiprinātais lauciņš izraisa ķēdes reakciju 400 lauciņu režģī

6×6 Nonogram Solver ir vērtīgs mācību rīks Ekstrēmajā līmenī — izmanto to, lai salīdzinātu savu hipotēžu ceļu ar risinātāja ceļu un iegūtu ieskatu efektivitātē.