Bijna elke logicapuzzel op papier is dezelfde machine in andere kleren: een verzameling mogelijkheden, een verzameling ware beperkingen, en de belofte dat er na toepassing precies één opstelling overblijft. Weten in welke familie je zit, vertelt je welke techniek je pakt.
Het gedeelde skelet
Kandidaten, beperkingen, uniciteit. Een goed gemaakte logicapuzzel garandeert dat de beperkingen consistent zijn (niets spreekt elkaar tegen) en voldoende (ze brengen het veld terug tot één). Die garantie maakt gokken overbodig, en het is de grens tussen een logicapuzzel en een raadsel.
Zebrapuzzels en logigrammen
De klassieker: vijf huizen, vijf nationaliteiten, vijf dranken, vijftien uitspraken. De zebrapuzzel — vaak aan Einstein toegeschreven, zonder enig bewijs — is de voorouder van elk "wie heeft de vis"-raster in een puzzelblad.
De techniek is een matrix: rijen voor personen, kolommen voor eigenschappen, en kruisjes voor zeker niet in plaats van zeker wel. Negatieve informatie is de motor. Je plaatst zelden een antwoord direct; je elimineert tot er in een rij maar één vakje waar kán zijn.
Vind je deze leuk, dan is de stap naar een namenraster klein. Allebei eliminatiepuzzels; bij de één staan de eigenschappen in een tabel, bij de ander in de namen zelf.
Sudoku en het doorrekenen van beperkingen
Sudoku is een constraint-satisfaction-puzzel: negen symbolen, drie overlappende groepen, van elk één per groep. Wat het traint is propagatie — zien dat een 4 hier een 7 daar afdwingt, en die keten volgen in plaats van het bord opnieuw af te speuren.
Het is ook de familie die het kwetsbaarst is voor gokken. Een moeilijke sudoku verleidt tot "probeer een 5 en kijk", wat werkt maar niets leert. Puristen lossen op zonder proberen, om dezelfde reden dat dit spel je niet laat gokken: het plezier zit in het bewijs.
Nonogrammen: rekenwerk met een plaatje erin
Een nonogram geeft per rij en kolom getallen die reeksen gevulde vakjes beschrijven, en er verschijnt een plaatje als je ze allemaal bevredigt. De kernzet is overlap: moet een reeks van acht in een lijn van tien passen, dan zijn de middelste zes vakjes hoe dan ook gevuld.
Dit is de meest ruimtelijke familie en de beste training in redeneren over wat wáár moet zijn gegeven beperkte ruimte — hetzelfde instinct dat je vertelt dat een positieaanwijzing al de helft van het raster beslist heeft.
Mijnenveger: lokale deductie met onzekerheid
Mijnenveger) is deductie met een eerlijk gat: de meeste zetten zijn bewijsbaar uit de omliggende getallen, en soms dwingt het bord echt een muntworp af. Het is de uitzondering die de regel bevestigt — het voelt anders, juist omdat een eerlijke deductiepuzzel je nooit laat gokken.
Aardig detail: bepalen of een Mijnenveger-stelling consistent is, is NP-volledig — de formele manier om te zeggen dat geen enkele slimme truc elk bord oplost.
Eliminatiepuzzels: de familie van dit spel
In een eliminatiepuzzel gaan de beperkingen over het antwoord, en elke kandidaat die er één niet haalt valt af. Er is geen eigenschappenraster om in te vullen — de eigenschappen zitten in de kandidaat zelf, en je leest ze direct af: de letters in een naam, de lengte, de plek.
Het is de kortste familie om te spelen en de minst vergevingsgezinde om te ontwerpen, want elke aanwijzing moet met het oog te controleren zijn. De winst is dat een zaak minuten kost in plaats van een avond, en daarom werkt het als dagelijkse gewoonte — zie het argument voor één puzzel per dag.
Welke moet je spelen
- Je houdt van boekhouden en lange ketens — zebrapuzzels en logigrammen.
- Je houdt van propagatie en patroon — sudoku.
- Je houdt van ruimtelijk redeneren — nonogrammen.
- Je houdt van korte, bewijsbare overwinningen met een verhaal eromheen — eliminatiepuzzels.
Ze versterken elkaar. De overlaptruc uit nonogrammen is dezelfde redenering als een positieaanwijzing; de gewoonte van negatief markeren uit een zebraraster is precies wat wegstrepen doet.
Verder lezen
- Detectivegames waarin jij het denkwerk doet — Zeven detectivegames die je bewijs geven in plaats van een waypoint — Obra Dinn, The Case of the Golden Idol, Her Story en meer — met wat elk spel van je vraagt en hoelang het duurt.
- Deductiepuzzels oplossen zonder gokken — Een methode in vijf stappen voor eliminatiepuzzels: begin met de aanwijzing die het diepst snijdt, werk per naam, vertraag bij tellen, en gebruik de garantie dat er precies één naam overblijft.
- Waarom verdachten wegstrepen zo bevredigend is — Een computer filtert een tabel in een oogwenk, en juist daarom moet hij dat niet doen. Wat handmatig wegstrepen doet met aandacht, geheugen en het gevoel dat je iets oplost.