Kakuro · Voer voor de geest
Kakuro is een logische puzzel die vaak een wiskundige transliteratie van het kruiswoordraadsel wordt genoemd, waarbij de cijfers 1–9 in horizontale en verticale invoeren moeten optellen tot de aanwijzingen, zonder dat een cijfer ooit binnen dezelfde reeks wordt herhaald.
In het Engels geschreven en geredigeerd. Deze Nederlandse versie is met machinevertaling gemaakt; waar precisie ertoe doet, is het Engelse origineel leidend. Lees het origineel in het Engels →
Wanneer je een nieuwe Kakuro-puzzel opent, krijg je een raster te zien dat bedrieglijk eenvoudig oogt: een dambordpatroon van zwarte en witte vakjes. De zwarte vakjes vormen het skelet van de puzzel; elk ervan kan een of twee numerieke aanwijzingen dragen. Een aanwijzing rechtsboven in een zwart vakje geeft de som van de horizontale reeks die direct rechts ervan begint. Een aanwijzing linksonder in een zwart vakje geeft de som van de verticale reeks die direct eronder begint. In de witte vakjes gebeurt het werk: daar moet je in elk vakje één cijfer van 1 tot 9 plaatsen, zodat elke horizontale ("across"-)reeks en elke verticale ("down"-)reeks aan haar aanwijzing voldoet. De elegantie van de puzzel schuilt in deze dubbele beperking: elk wit vakje ligt op het kruispunt van precies één horizontale en één verticale reeks, dus het cijfer dat je daar plaatst moet tegelijk aan beide aanwijzingen voldoen. 1
De zwarte vakjes zijn niet alleen scheidingswanden; ze zijn de bron van alle informatie. Elk zwart vakje bevat een horizontale aanwijzing en/of een verticale aanwijzing, waarbij nul aangeeft dat er in die richting geen aanwijzing is. 3 Een zwart vakje kan alleen een horizontale aanwijzing hebben, alleen een verticale, beide, of geen van beide. De geometrie van de puzzel bepaalt welke witte vakjes een aaneengesloten reeks vormen rechts van een zwart vakje en welke een aaneengesloten reeks eronder vormen. Deze reeksen zijn de eigenlijke beperkingen van de puzzel. De spelengine slaat alle reeksen expliciet op en houdt voor elk wit vakje bij tot welke horizontale en welke verticale reeks dat vakje behoort. Elk wit vakje hoort bij precies één horizontale reeks en precies één verticale reeks, wat een raamwerk van elkaar kruisende beperkingen oplevert waar de oplosser doorheen moet navigeren.
De regel van Kakuro is prachtig eenvoudig en toch bedrieglijk krachtig. Je moet in elk wit vakje een cijfer van 1 tot en met 9 invullen, zodat de som van de getallen in elke invoer overeenkomt met de bijbehorende aanwijzing en zodat geen enkel cijfer binnen een invoer dubbel voorkomt. Die tweede voorwaarde, de eis dat de cijfers verschillend zijn, is wat Kakuro onderscheidt van een louter rekenoefening. Als je alleen maar tot de aanwijzing hoefde op te tellen, zouden er voor één reeks vaak veel oplossingen bestaan. Maar door de eis van verschillende cijfers kan een reeks van lengte drie met aanwijzing zes alleen worden gevuld met de cijfers 1, 2 en 3, in een of andere volgorde. Een reeks van lengte acht met aanwijzing 36 moet elk cijfer behalve 9 gebruiken, omdat de negen cijfers samen 45 zijn. Het samenspel tussen de som en de lengte van een reeks beperkt de mogelijkheden meteen, vaak tot één enkele verzameling cijfers, en soms tot één enkele rangschikking zodra je de kruisende reeksen meerekent. 1
Neem een wit vakje op het snijpunt van een horizontale en een verticale reeks. De horizontale reeks heeft de mogelijke cijfers voor dat vakje al beperkt tot een bepaalde deelverzameling. De verticale reeks heeft de mogelijkheden onafhankelijk daarvan beperkt tot een andere deelverzameling. De doorsnede van die twee deelverzamelingen is wat je in het vakje kunt plaatsen. Dit is het kernmechanisme van het oplossen van Kakuro: aanwijzingen lezen, bepalen welke cijferverzamelingen voor elke reeks mogelijk zijn, en dan de kruispunten laten onthullen welk cijfer waar moet komen. Een reeks die op zichzelf dubbelzinnig lijkt, wordt vaak glashelder zodra je haar buren in beschouwing neemt. De puzzel beloont geduld en zorgvuldig bijhouden, want één cijfer dat je in één vakje plaatst, kan doorwerken in de hele horizontale en verticale reeks, elders mogelijkheden uitsluiten en vaak nieuwe plaatsingen afdwingen. 1
Kakuro wordt vaak omschreven als een wiskundige transliteratie van het kruiswoordraadsel. Die omschrijving vat iets wezenlijks over de structuur van de puzzel. In een gewoon kruiswoordraadsel vul je witte vakjes met letters, zodat elke horizontale en verticale invoer volgens de aanwijzingen een geldig woord vormt. In Kakuro vul je witte vakjes met cijfers, zodat elke horizontale en verticale invoer volgens de aanwijzingen een geldige som vormt. De zwarte vakjes in Kakuro spelen dezelfde rol als de zwarte vakjes in een gewoon kruiswoordraadsel: ze markeren de grenzen tussen invoeren en dragen de aanwijzingen. Het verschil is dat Kakuro niet leunt op woordenschat en spelling, maar op rekenkunde en de eis van verschillende cijfers. De puzzel vraagt dezelfde soort laterale denkwijze, dezelfde soort patroonherkenning en geeft dezelfde soort voldoening wanneer een lastig stuk op zijn plaats valt. 1
De naam Kakuro zelf is Japans. 1 Het is een afkorting van de Japanse uitdrukking kasan kurosu, die "optelkruis" betekent. Dat is een directe beschrijving van wat de puzzel is: een raster in kruiswoordstijl waarin de invoeren optellingen zijn. De puzzel verscheen voor het eerst in de Verenigde Staten onder de naam "Cross Sums", een naam die in 1966 werd bedacht door Jacob E. Funk van Dell Magazines. Die oudere naam is misschien nog beschrijvender dan de Japanse, want hij vertelt je meteen wat je moet doen: de sommen horizontaal en verticaal vinden. Toch is Kakuro internationaal de gangbaardere naam geworden, wellicht omdat hij korter is en gemakkelijker te onthouden. De identiteit van de puzzel is stevig geworteld in dit idee van optelkruisen, en elke goed ontworpen Kakuro-puzzel maakt die beschrijving waar.
Een Kakuro-puzzel maken die zowel oplosbaar als interessant is, vereist zorgvuldige constructie. Een goede puzzel moet een unieke oplossing hebben die uitsluitend door logische deductie te bereiken is, zonder enig gokwerk. Hier komt de backtracking-oplosser om de hoek kijken. Het spel gebruikt een backtracking-algoritme dat niet alleen een geldige oplossing invult, maar ook telt hoeveel oplossingen er bestaan, tot een bepaald maximum. Vindt de oplosser meer dan één oplossing, dan wordt de puzzel afgekeurd en wordt er een nieuwe gegenereerd. De oplosser snoeit zijn zoektocht door bij elke stap per reeks te controleren of de cijfers verschillend zijn en of de deelsom nog haalbaar is, en hij bezoekt de vakjes gegroepeerd per reeks, waarbij de kortste reeksen het eerst worden afgehandeld. Die volgorde is belangrijk, omdat kortere reeksen minder mogelijke cijferverzamelingen hebben en dus eerder in de zoektocht meer beperkingen opleveren. 3
De generator verwerpt ook gedegenereerde lay-outs die de puzzel onoplosbaar of triviaal zouden maken. Een wit vakje dat bij slechts één reeks hoort, zodat zijn andere richting een reeks van lengte één is, is bijvoorbeeld gedegenereerd: met maar één som die het beperkt, is het vakje bijna vrij om verschillende cijfers aan te nemen, wat de uniciteit tenietdoet. De generator probeert het opnieuw totdat hij een lay-out oplevert die uniek oplosbaar is. Dit proces garandeert dat elke puzzel die je speelt, is geverifieerd op precies één oplossing. Doordat de generator deterministisch is, levert dezelfde seed altijd dezelfde puzzel op, wat de puzzels testbaar en reproduceerbaar maakt. Dat is belangrijk voor een formaat met een dagelijkse puzzel, waarbij je wilt dat iedereen aan exact dezelfde puzzel werkt. 3
De vaardigheid van Kakuro spelen zit in het juist lezen van de aanwijzingen en begrijpen wat ze je vertellen over de mogelijke cijferverzamelingen. Een aanwijzing 3 voor een reeks van lengte 2 kan alleen met 1 en 2 worden gevuld. Een aanwijzing 17 voor een reeks van lengte 2 kan alleen met 8 en 9 worden gevuld. Dit zijn de uitersten, waar aanwijzing en lengte samen precies één mogelijke cijferverzameling opleveren. Naarmate je van die uitersten af beweegt, neemt het aantal mogelijke cijferverzamelingen toe. Een aanwijzing 10 voor een reeks van lengte 3 kan 1-2-7, 1-3-6, 1-4-5 of 2-3-5 zijn, en niets anders. De kunst van Kakuro is herkennen wanneer een reeks is teruggebracht tot één enkele cijferverzameling en die informatie vervolgens gebruiken om de kruisende reeksen op te lossen. 1
Een andere nuttige techniek is kijken naar de som van alle mogelijke cijfers. De cijfers 1 tot en met 9 tellen op tot 45. Een reeks van lengte 9 moet dus alle negen cijfers gebruiken en optellen tot 45. Een reeks van lengte 8 moet precies één cijfer weglaten, en de aanwijzing vertelt je welk. Een reeks van lengte 7 moet twee cijfers weglaten, en de som van die twee weggelaten cijfers is 45 min de aanwijzing. Deze wiskundige verbanden helpen je snel onmogelijke cijferverzamelingen uit te sluiten en je te concentreren op de verzamelingen die ertoe doen. Hoe meer je oefent, hoe meer deze patronen een tweede natuur worden en hoe sneller je puzzels oplost. 1
Wat Kakuro zo bevredigend maakt om te spelen, is dat elke zet met logica te rechtvaardigen is. Er is geen gokwerk, geen vallen en opstaan, geen "misschien hoort dit cijfer hier". Als een puzzel goed is ontworpen, wordt elk cijfer dat je plaatst afgedwongen door de aanwijzingen en de beperkingen die je al hebt afgeleid. Dit is een kenmerk van de Nikoli-traditie, de Japanse uitgever die Kakuro en veel andere logische puzzels populair maakte. Nikoli staat bekend om handgemaakte, door lezers ingezonden puzzels met één enkele, logisch afleidbare oplossing. Een puzzel waarbij gegokt moet worden, wordt niet als een echte Nikoli-puzzel beschouwd. Deze toewijding aan logische zuiverheid is wat Kakuro zijn intellectuele aantrekkingskracht geeft. 2
De voldoening van het oplossen van een Kakuro-puzzel komt voort uit het zien vollopen van het raster terwijl je logische deducties toepast. Een cijfer dat in één vakje wordt geplaatst, sluit mogelijkheden uit in de hele horizontale en verticale reeks. Die uitsluitingen kunnen andere vakjes dwingen tot specifieke cijfers, die op hun beurt weer meer mogelijkheden uitsluiten, enzovoort. Dit cascade-effect is wat Kakuro als een puzzel doet aanvoelen in plaats van als een opeenvolging van rekenopgaven. De puzzel controleert zichzelf bovendien: als je ooit geen geldig cijfer meer voor een vakje overhoudt, weet je dat je ergens een fout hebt gemaakt. Deze onmiddellijke terugkoppeling houdt je betrokken en gemotiveerd om de oplossing te vinden. 1
Een van de grote sterktes van Kakuro is zijn toegankelijkheid. Je hoeft geen speciale woordenschat of culturele verwijzingen te kennen om te spelen. Je hoeft alleen te weten hoe je getallen van één cijfer optelt en het idee van verschillende cijfers te begrijpen. Dat maakt Kakuro een puzzel waar mensen van alle leeftijden en achtergronden van kunnen genieten. Tegelijk heeft de puzzel een diepgang die ervaren spelers blijft boeien. Hoe meer je speelt, hoe meer patronen je herkent, hoe sneller je aanwijzingen leest en hoe geraffineerder je strategieën worden. De puzzel kan zo eenvoudig of zo complex zijn als je zelf wilt. 3
In Japan was hij jarenlang de populairste logische puzzel in druk, een positie die hij behield tot 1992, toen Sudoku hem voorbijstreefde; binnen het aanbod van Nikoli doet hij sindsdien alleen onder voor Sudoku. Die populariteit zegt iets over de aantrekkingskracht van de puzzel. Hij is uitdagend maar eerlijk, complex maar begrijpelijk, en bevredigend om op te lossen. Dat hij al tientallen jaren populair is gebleven, getuigt van de kwaliteit van zijn ontwerp en de voldoening die hij spelers schenkt. 1
Wat deze specifieke implementatie van Kakuro bijzonder maakt, is het determinisme ervan. De puzzel wordt gegenereerd met een geseede toevalsgenerator, wat betekent dat dezelfde seed altijd dezelfde puzzel oplevert. Dat maakt een formaat met een dagelijkse puzzel mogelijk, waarin iedereen op dezelfde dag exact dezelfde puzzel speelt. Het betekent ook dat de puzzels volledig testbaar zijn, want je kunt elke puzzel reproduceren aan de hand van zijn seed. Het determinisme is een kernonderdeel van het spelontwerp, omdat het consistentie en eerlijkheid voor alle spelers waarborgt. 3
Het dagelijkse formaat voegt ook een gemeenschapselement aan de puzzel toe. Iedereen werkt aan dezelfde puzzel, dus je kunt met andere spelers over strategieën en oplossingen praten zonder het antwoord weg te geven. Je kunt het hebben over "die lastige aanwijzing rechtsonder" en iedereen weet precies wat je bedoelt. Deze gedeelde ervaring is een deel van wat Kakuro zo leuk maakt, want je maakt deel uit van een grotere gemeenschap van puzzelaars. 1