Šta čini nonogram lakim ili teškim
„Težina” nonograma ne zavisi samo od toga koliko je mreža velika. Mreža 20×20 može da se reši gotovo sama, dok mreža 10×10 može da vas natera da se namučite oko svakog polja. Ono što zaista određuje težinu jeste koliko duboko morate da rezonujete da biste pronašli sledeći iznuđeni potez. Ovaj vodič razlaže šta to zaista pokreće — i deli iznenađujuće otkriće iz istraživanja o tome koliko retko poštena zagonetka uopšte zahteva nešto dovitljivo.
Veličina je samo deo priče
Veća mreža zaista znači više linija koje treba pratiti i više unakrsnih provera, pa velike zagonetke traju duže. Ali sama dužina ne čini liniju teškom — red širine 20 sa jednim velikim nizom je trivijalan, dok kratak red pun sitnih nizova i tesnih razmaka može zahtevati pravo razmišljanje. Veličina daleko više utiče na to koliko zagonetka traje nego na to koliko je težak svaki korak.
Zapravo se radi o tome koliko duboko idu zaključci
Najvernija mera težine jeste kakvu vrstu rezonovanja zagonetka zahteva. Najlakše zagonetke su „rešive po liniji”: možete ih završiti gledajući jedan po jedan red ili kolonu, popunjavajući ono što ta jedna linija iznuđuje, a da nikada ne morate da držite dve linije u glavi istovremeno. Većina blagih zagonetki je upravo takva.
Teže zagonetke zahtevaju da kombinujete informacije — da primetite da stanje polja postaje iznuđeno tek kada razmotrite red i kolonu zajedno, ili mali skup linija odjednom. Što dublje ta kombinacija mora da ide pre nego što sledeće polje bude iznuđeno, to zagonetka deluje teže, bez obzira na njenu veličinu.
Šta istraživanje kaže o nagađanju
Evo umirujućeg dela. Akademski rad o rešavanju nonograma (Batenburg and Kosters, 2012) izmerio je koliko rezonovanja jedinstveno rešive zagonetke zaista zahtevaju. Pored jednostavnog rešavanja liniju po liniju, sledeći korak je dobro definisana, i dalje determinstička tehnika — kombinovanje parova linija — a njihovo iscrpno nabrajanje utvrdilo je da je 93.8–95.5% nejednostavnih zagonetki rešivo upravo tim, bez ikakvog nagađanja.
Još upečatljivije: samo oko 0.06–0.14% svih jedinstveno rešivih zagonetki zahteva bilo šta izvan tog rezonovanja o parovima linija. Drugim rečima, ogromna većina dobro sastavljenih nonograma — uključujući svaki težak koji ćete sresti u uobičajenoj igri — može se rešiti čistom, ograničenom logikom. Pravo pokušavanje i greška izuzetno je retko u poštenoj zagonetki, zbog čega je „nikad ne nagađaj” tako pouzdan savet.
„Teško” ovde ima i formalno značenje
Ispod svega ovoga leži teorijski rezultat. Odlučivanje da li proizvoljan skup tragova redova i kolona uopšte ima ikakvo rešenje dokazano je kao NP-kompletno (Ueda and Nagao, 1996) — ista klasa složenosti kao i kod čuveno tvrdoglavih problema poput problema trgovačkog putnika. Prostim rečima: niko ne zna metodu koja brzo rešava svaki zamisliv nonogram, a u najgorim slučajevima potreban posao eksplodira kako mreža raste.
To zvuči zabrinjavajuće dok ne primetite razliku između „svakog zamislivog nonograma” i „nonograma koje ljudi zaista objavljuju”. Rezultat o NP-kompletnosti tiče se proizvoljnih, neprijateljski postavljenih skupova tragova — od kojih mnogi nemaju rešenje uopšte, ili ih imaju više. Prava zagonetka se gradi obrnuto: počinje od slike i biva objavljena samo ako ima tačno jedno rešenje do kojeg logika zaista može da dođe. Zato brojevi iz prethodnog odeljka važe u praksi — i zato je zagonetka pred vama gotovo sigurno poštena, čak i kada deluje surovo.
Gustina i oblik takođe su bitni
Osim dubine zaključivanja, nekoliko površinskih osobina pomera težinu. Vrlo retke slike (uglavnom prazne) i vrlo guste (uglavnom popunjene) obično su lakše, jer krajnosti daju mnogo iznuđenih polja rano. Najzeznutije zagonetke obično su u sredini, sa uravnoteženom mešavinom popunjenog i praznog i mnoštvom kratkih, isprekidanih nizova koji se opiru brzim otvaranjima. Čist, prepoznatljiv motiv takođe pomaže rešavaču da ostane orijentisan, čak i ako ne menja osnovnu logiku.
Kako označavamo lako, srednje i teško
Na ovom sajtu, ocena zagonetke potiče od toga koliko duboko ide rezonovanje potrebno za njeno rešavanje, u kombinaciji sa statistikama oblika poput toga koliko je mreža popunjena. Zagonetke rešive po liniji spadaju u lako; one koje zahtevaju pravo kombinovanje između linija pomeraju se ka teškom; sve što bi zahtevalo nagađanje odbija se odmah umesto da bude objavljeno. Ceo proces opisan je na stranici „kako pravimo naše nonograme” — ali ukratko, ovde se težina meri, a ne nagađa.