Řešení úloh rekreační matematiky jako diskrétních optimalizačních úloh

Bakalářská práce se zabývá řešením tří vybraných úloh rekreační matematiky pomocí diskrétní optimalizace. Jedná se o hry Gridspeed Puzzle, Shifty Witnesses a Alien Tiles. Čtenář se nejdříve seznámí s těmito úlohami a jejich pravidly, ze kterých jsou pak formulovány matematické modely, které jsou ve všech případech celočíselné. První dvě hry mají jeden model a řeší se jedním způsobem, u hry Alien Tiles se aplikují různé přístupy, a to jak ve velikosti modelu, tak i ve formě požadovaného výsledku hry. Všechny modely jsou přepsány modelovacím jazykem MPL, ve kterém jsou vyřešeny řešitelem CPLEX. U všech vybraných úloh je nalezeno optimální celočíselné řešení, které je následně čtenáři popsáno a vysvětleno. U úlohy Alien Tiles jsou nakonec porovnány výsledky řešení různých přístupů, ze kterých můžeme usoudit, že jedna forma požadovaného výsledku hry je na výpočet náročnější.