Den unike løsningen
Et vellaget nonogram har nøyaktig ett svar, og nettopp dette ene faktumet er det som gjør oppgaven rettferdig. Det er grunnen til at hver rute kan regnes ut med logikk, og grunnen til at gjetting aldri kreves. Denne veiledningen forklarer hva en unik løsning egentlig betyr, viser hva som skjer når en oppgave ikke har en, og hvordan vi sørger for at våre alltid har det.
Ett bilde, og bare ett
Et nonograms ledetråder beskriver et bilde, men ikke ethvert sett med ledetråder beskriver nøyaktig ett bilde. „Unik løsning“ betyr at det finnes nøyaktig én måte å fylle rutenettet på slik at hver rad- og kolonneledetråd er oppfylt samtidig — verken mer eller mindre. Det er egenskapen en ordentlig oppgave må ha.
Når den holder, er løsning ren utledning: ved hvert trinn finnes det en rute hvis tilstand er tvunget, og å følge disse tvungne rutene fører til det ene og eneste svaret.
Hvordan tvetydighet ser ut
Den minste oppgaven som bryter regelen er et 2×2-rutenett der hver rad og hver kolonne har ledetråden 1. Det oppfylles av to helt forskjellige bilder — de to diagonalene nedenfor. Begge er helt gyldige svar på de samme ledetrådene, så det er ingen måte å vite hvilket som er „riktig“.
Det er en tvetydig oppgave, og den er urettferdig: en løser som følger feilfri logikk kunne ende opp med hvilket som helst av bildene. En slik oppgave kan ikke løses uten å gjette — som er nettopp grunnen til at oppgaver med mer enn én løsning ikke bør publiseres.
Dette er grunnen til at du aldri må gjette
Unikhet og ingen gjetting er to sider av samme sak. Hvis en oppgave har én løsning og du kommer til et punkt der du måtte gjette, betyr det at det finnes en utledning du ennå ikke har oppdaget — ikke at oppgaven står fast. Den tvungne ruten er alltid et sted på brettet. Så når du fristes til å gjette på en vellaget oppgave, er det produktive trekket å fortsette å lete etter linjen som løser seg uten en sjanse.
Hvordan hver oppgave her sjekkes
Vi tar ikke unikhet for gitt. Før en oppgave publiseres, går en løser over den og bekrefter at det finnes nøyaktig én løsning — alt med null løsninger (motstridende ledetråder) eller mer enn én (tvetydig) avvises umiddelbart. Det er den aller viktigste porten i måten vi bygger oppgaver på, beskrevet mer detaljert på siden „hvordan vi lager nonogrammene våre“. Konklusjonen for deg: på dette nettstedet, hvis det føles som om du må gjette, gjør du ikke det — svaret er alltid tilgjengelig med logikk.