Kakuro (v japonštině :カックロ, kakkuro , zkratka加算クロス Kasan-cross "navíc v kříž") je logická hra , která je často vnímán jako digitální přizpůsobení křížovky . V Japonsku je tato hra známá jako Kakkuro a její popularita je obrovská. Ve Velké Británii , The Guardian začal vydávat tuto hruZáří 2005. Od té doby mnoho dalších britských novin sledovalo a každý den vydává mřížku.
Je téměř totožný s čísly šipek publikovanými společností Cerebral Sport , ve kterých nelze stejnou kombinaci čísel použít dvakrát ve stejné mřížce. I když se „Kakuro“ objevil ve Francii kolem 2004-2005 v návaznosti na Sudoku , samotná hra je známá mnohem déle.
Hra obvykle používá mřížku s vyplněnými (černými) nebo prázdnými (bílými) čtverci, nejčastěji o velikosti 16 × 16. Kromě horního řádku a levého sloupce, které jsou zcela černé, je mřížka, jako křížovka, rozdělena na vodorovná nebo svislá „slova“ pomocí černých rámečků.
Samotné černé rámečky jsou rozděleny na polovinu úhlopříčkou probíhající od levého horního rohu k pravému dolnímu rohu, takže v tomto poli lze definovat „slovo“ napravo a „slovo“ níže.
Cílem hry je vyplnit prázdné (bílé) čtverečky číslicemi od 1 do 9 tak, aby se součet všech číslic v čísle rovnal číslu zapsanému do vyplněného (černého) čtverce definujícího číslo, a aby číslo nemůže obsahovat stejnou číslici dvakrát. Toto poslední pravidlo je pravidlo, které umožňuje vytvářet jedinečné mřížky řešení.
Ve verzi s čísly se šipkami publikované společností Sport Cerebral se stejná posloupnost čísel může v každé mřížce objevit pouze jednou. Toto pravidlo dělá hru logickou a umožňuje vyhnout se mřížkám s několika řešeními, přičemž je akceptováno pouze jedno z těchto řešení.
Chcete-li vyřešit mřížku, je obecně nutné začít hledáním pole, jehož možné kombinace horizontální (součet řádku) a vertikální (součet sloupce) mají jedno společné číslo.
Pokud čára 2 buněk, jejichž součet je 4, protíná sloupec 2 buněk, jejichž součet je 3, pak, protože čísla jsou odlišná a ne nula:
Nemůžeme rozložit číslo větší než 45.
Tento seznam můžeme snadno rozšířit.
Stejně jako u Sudoku vyžadují tvrdší hádanky Kakuro použití různých typů řetězů .
Nedávná kniha v anglickém jazyce Pattern-Based Constraint Satisfaction and Logic Puzzles ukazuje, že techniky vyvinuté pro Sudoku ve starší knize od stejného autora Skrytá logika Sudoku zobecňují jakýkoli problém omezené spokojenosti s omezeními. To zahrnuje xy řetězy , biče A copánky .
Tato kniha také podrobně ukazuje, jak použít tyto řetězy na Kakuro. Zejména to ukazuje, že jakmile jsou zavedeny další proměnné, které představují kombinace různých horizontálních nebo vertikálních sektorů kompatibilních s jejich omezeními součtu, existuje ve většině případů čisté logické řešení založené na těchto řetězcích a nevyžaduje žádné další aritmetické výpočty.
Tyto techniky jsou implementovány přímo ve formě pravidel v části KakuRules softwaru CSP-Rules pro obecné omezení spokojenosti, který je nyní k dispozici na platformě GitHub: https://github.com/denis-berthier/CSP-Rules-V2 .1