Hva gjør et nonogram lett eller vanskelig
«Vanskeligheten» til et nonogram handler ikke bare om hvor stort rutenettet er. Et 20×20 kan løse seg nesten av seg selv, mens et 10×10 kan få deg til å slite med hver eneste rute. Det som virkelig avgjør vanskeligheten, er hvor dypt du må resonnere for å finne det neste tvungne trekket. Denne veiledningen bryter ned hva som egentlig driver den — og deler et overraskende funn fra forskningen om hvor sjelden et rettferdig puslespill i det hele tatt trenger noe smart.
Størrelsen er bare en del av det
Et større rutenett betyr riktignok flere linjer å holde styr på og mer kryssjekking, så store puslespill tar lengre tid. Men lengden alene gjør ikke en linje vanskelig — en rad som er 20 bred med én stor sekvens er triviell, mens en kort rad full av små sekvenser og trange mellomrom kan kreve ekte tenkning. Størrelsen påvirker langt mer hvor lang tid et puslespill tar enn hvor vanskelig hvert steg er.
Egentlig handler det om hvor dypt slutningene går
Det sanneste målet på vanskelighet er hva slags resonnement puslespillet krever. De letteste puslespillene er «linjeløsbare»: du kan fullføre dem ved å se på én rad eller kolonne om gangen, fylle inn det den ene linjen tvinger frem, og aldri måtte holde to linjer i hodet samtidig. De fleste milde puslespill er nøyaktig dette.
Vanskeligere puslespill krever at du kombinerer informasjon — å legge merke til at tilstanden til en rute først blir tvunget når du vurderer en rad og en kolonne sammen, eller en liten klynge linjer om gangen. Jo dypere den kombinasjonen må gå før neste rute er tvunget, desto vanskeligere føles puslespillet, uansett størrelse.
Hva forskningen sier om gjetting
Her kommer den betryggende delen. Akademisk arbeid om nonogramløsing (Batenburg and Kosters, 2012) målte hvor mye resonnement entydig løsbare puslespill faktisk krever. Utover enkel linje-for-linje-løsing er det neste steget en veldefinert, fortsatt deterministisk teknikk — å kombinere par av linjer — og deres uttømmende opptelling fant at 93.8–95.5% av de ikke-enkle puslespillene er løsbare med nøyaktig det, helt uten gjetting.
Enda mer slående: bare rundt 0.06–0.14% av alle entydig løsbare puslespill trenger noe utover det resonnementet med par av linjer. Med andre ord kan det overveldende flertallet av velformede nonogram — inkludert hvert vanskelige du møter i vanlig spill — løses med ren, avgrenset logikk. Ekte prøving og feiling er forsvinnende sjelden i et rettferdig puslespill, og det er derfor «aldri gjett» er et så pålitelig råd.
«Vanskelig» har også en formell betydning her
Under alt dette ligger et teoretisk resultat. Å avgjøre om et vilkårlig sett av rad- og kolonnehint har noen løsning i det hele tatt, ble bevist NP-komplett (Ueda and Nagao, 1996) — samme kompleksitetsklasse som notorisk gjenstridige problemer som handelsreisendes problem. Enkelt sagt: ingen kjenner en metode som løser ethvert tenkelig nonogram raskt, og i verste fall eksploderer arbeidet som trengs når rutenettet vokser.
Det høres alarmerende ut helt til du legger merke til forskjellen mellom «ethvert tenkelig nonogram» og «nonogrammene folk faktisk publiserer». NP-kompletthetsresultatet handler om vilkårlige, fiendtlige hintsett — mange av dem har ingen løsning, eller flere. Et ekte puslespill bygges motsatt: det starter fra et bilde, og blir bare publisert hvis det har nøyaktig én løsning som logikken faktisk kan nå. Det er derfor tallene i forrige avsnitt holder i praksis — og derfor puslespillet foran deg nesten helt sikkert er rettferdig, selv når det føles brutalt.
Tetthet og form betyr også noe
Utover slutningsdybden vipper et par overflatetrekk vanskeligheten. Svært glisne bilder (for det meste tomme) og svært tette (for det meste fylte) pleier å være lettere, fordi ytterpunktene gir mange tvungne ruter tidlig. De vanskeligste puslespillene ligger vanligvis i midten, med en balansert blanding av fylt og tomt og masse korte, oppstykkede sekvenser som motstår de raske åpningstrekkene. Et rent, gjenkjennelig motiv hjelper også løseren med å holde orienteringen, selv om det ikke endrer den underliggende logikken.
Hvordan vi merker lett, middels og vanskelig
På dette nettstedet kommer vurderingen av et puslespill fra hvor dypt resonnementet for å løse det går, kombinert med formstatistikk som hvor fylt rutenettet er. Linjeløsbare puslespill havner i lett; de som krever ekte kombinasjon på tvers av linjer beveger seg mot vanskelig; alt som ville kreve gjetting avvises direkte i stedet for å bli publisert. Hele prosessen er beskrevet på siden «hvordan vi lager nonogrammene våre» — men kortversjonen er at vanskelighet her måles, ikke gjettes.