Wat maakt een nonogram makkelijk of moeilijk
De "moeilijkheid" van een nonogram gaat niet alleen over hoe groot het raster is. Een 20×20 kan bijna vanzelf uiteenvallen, terwijl een 10×10 je voor elk vakje kan laten zwoegen. Wat de moeilijkheid echt bepaalt, is hoe diep je moet redeneren om de volgende gedwongen zet te vinden. Deze gids ontleedt wat het werkelijk aandrijft — en deelt een verrassende bevinding uit het onderzoek over hoe zelden een eerlijke puzzel überhaupt iets slims nodig heeft.
Grootte is er maar een deel van
Een groter raster betekent inderdaad meer lijnen om bij te houden en meer kruiscontroles, dus grote puzzels duren langer. Maar lengte alleen maakt een lijn niet moeilijk — een rij van 20 breed met één grote reeks is triviaal, terwijl een korte rij vol kleine reeksen en krappe tussenruimten echt nadenken kan vergen. Grootte beïnvloedt veel meer hoe lang een puzzel duurt dan hoe moeilijk elke stap is.
Het gaat eigenlijk over hoe diep de deducties gaan
De meest waarheidsgetrouwe maat voor moeilijkheid is welk soort redenering de puzzel vereist. De makkelijkste puzzels zijn "lijnoplosbaar": je kunt ze afronden door één rij of kolom tegelijk te bekijken, in te vullen wat die ene lijn afdwingt, en nooit twee lijnen tegelijk in je hoofd te hoeven houden. De meeste milde puzzels zijn precies dit.
Moeilijkere puzzels vereisen dat je informatie combineert — opmerken dat de toestand van een vakje pas gedwongen wordt wanneer je een rij en een kolom samen beschouwt, of een kleine cluster van lijnen tegelijk. Hoe dieper die combinatie moet gaan voordat het volgende vakje gedwongen is, hoe moeilijker de puzzel aanvoelt, ongeacht zijn grootte.
Wat het onderzoek zegt over gokken
Hier komt het geruststellende deel. Academisch werk over het oplossen van nonogrammen (Batenburg and Kosters, 2012) heeft gemeten hoeveel redenering uniek oplosbare puzzels werkelijk vereisen. Voorbij het eenvoudige lijn-voor-lijn oplossen is de volgende stap een goed gedefinieerde, nog steeds deterministische techniek — het combineren van paren lijnen — en hun uitputtende opsomming vond dat 93.8–95.5% van de niet-eenvoudige puzzels precies daarmee oplosbaar zijn, geheel zonder gokken.
Nog opvallender: slechts ongeveer 0.06–0.14% van alle uniek oplosbare puzzels heeft iets nodig voorbij die redenering met paren lijnen. Met andere woorden, de overweldigende meerderheid van goed gevormde nonogrammen — inclusief elke moeilijke die je in normaal spel tegenkomt — is oplosbaar met pure, begrensde logica. Echt vallen en opstaan is verwaarloosbaar zeldzaam in een eerlijke puzzel, en daarom is "nooit gokken" zo'n betrouwbaar advies.
"Moeilijk" heeft hier ook een formele betekenis
Onder dit alles ligt een theoretisch resultaat. Bepalen of een willekeurige set rij- en kolomaanwijzingen überhaupt een oplossing heeft, werd bewezen NP-volledig te zijn (Ueda and Nagao, 1996) — dezelfde complexiteitsklasse als beruchte hardnekkige problemen zoals het handelsreizigersprobleem. In gewone taal: niemand kent een methode die elk denkbaar nonogram snel oplost, en in de ergste gevallen explodeert het benodigde werk naarmate het raster groeit.
Dat klinkt alarmerend totdat je het verschil opmerkt tussen "elk denkbaar nonogram" en "de nonogrammen die mensen daadwerkelijk publiceren". Het NP-volledigheidsresultaat gaat over willekeurige, vijandige sets aanwijzingen — waarvan er veel geen oplossing hebben, of meerdere. Een echte puzzel wordt andersom gebouwd: hij begint bij een afbeelding, en wordt alleen gepubliceerd als hij precies één oplossing heeft die logica daadwerkelijk kan bereiken. Daarom gelden de getallen uit de vorige sectie in de praktijk, en daarom is de puzzel voor je vrijwel zeker eerlijk, zelfs als hij bruut aanvoelt.
Dichtheid en vorm doen er ook toe
Voorbij de deductiediepte duwen een paar oppervlaktekenmerken aan de moeilijkheid. Zeer schaarse afbeeldingen (grotendeels leeg) en zeer dichte (grotendeels gevuld) zijn meestal makkelijker, omdat de extremen vroeg veel gedwongen vakjes opleveren. De lastigste puzzels zitten meestal in het midden, met een uitgebalanceerde mix van gevuld en leeg en volop korte, opgebroken reeksen die de snelle openingszetten weerstaan. Een schoon, herkenbaar onderwerp helpt een oplosser ook georiënteerd te blijven, ook al verandert het niets aan de onderliggende logica.
Hoe we makkelijk, gemiddeld en moeilijk labelen
Op deze site komt de beoordeling van een puzzel voort uit hoe diep de oplossingsredenering gaat, gecombineerd met vormstatistieken zoals hoe gevuld het raster is. Lijnoplosbare puzzels belanden bij makkelijk; puzzels die echte kruislijncombinatie vereisen bewegen richting moeilijk; alles wat gokken zou vereisen wordt regelrecht afgewezen in plaats van gepubliceerd. De volledige pijplijn wordt beschreven op de pagina "hoe we onze nonogrammen maken" — maar de korte versie is dat moeilijkheid hier gemeten wordt, niet gegokt.