Den entydige løsning

Et nonograms ledetråde beskriver et billede, men ikke ethvert sæt ledetråde beskriver præcis ét billede. „Entydig løsning“ betyder, at der er præcis én måde at fylde gitteret på, så hver række- og kolonneledetråd er opfyldt samtidig — hverken mere eller mindre. Det er den egenskab, en ordentlig opgave skal have.

Når den gælder, er løsning ren udledning: ved hvert trin er der et felt, hvis tilstand er tvunget, og at følge disse tvungne felter fører til det ene og eneste svar.

Den mindste opgave, der bryder reglen, er et 2×2-gitter, hvor hver række og hver kolonne har ledetråden 1. Det opfyldes af to helt forskellige billeder — de to diagonaler nedenfor. Begge er fuldt gyldige svar på de samme ledetråde, så der er ingen måde at vide, hvilket der er „rigtigt“.

Det er en tvetydig opgave, og den er urimelig: en løser, der følger fejlfri logik, kunne ende med et hvilket som helst af billederne. En sådan opgave kan ikke løses uden at gætte — hvilket er præcis grunden til, at opgaver med mere end én løsning ikke bør udgives.

Entydighed og ingen gætning er to sider af samme sag. Hvis en opgave har én løsning, og du når et punkt, hvor du ville skulle gætte, betyder det, at der findes en udledning, du endnu ikke har fået øje på — ikke at opgaven er gået i stå. Det tvungne felt er altid et sted på brættet. Så når du fristes til at gætte på en vellavet opgave, er det produktive træk at blive ved med at lede efter den linje, der løser sig uden et gæt.

Vi tager ikke entydighed for givet. Før en opgave udgives, går en løser den igennem og bekræfter, at der er præcis én løsning — alt med nul løsninger (modstridende ledetråde) eller mere end én (tvetydig) afvises med det samme. Det er den vigtigste port i den måde, vi bygger opgaver på, beskrevet mere detaljeret på siden „hvordan vi laver vores nonogrammer“. Konklusionen for dig: på dette site, hvis det føles, som om du skal gætte, skal du ikke — svaret er altid nåeligt med logik.