|
Praktická aplikace hromadné úlohy batohu
Procházková, Lucie ; Sekničková, Jana (vedoucí práce) ; Suchánková, Tereza (oponent)
V oblasti celočíselných úloh lineárního programování se nachází úloha batohu včetně jejích modifikací. Mezi ně patří i hromadná úloha batohu, jež je předmětem této práce. V souvislosti s interpretací výsledků je nutné úlohu batohu rozšířit o celočíselné podmínky, které jsou nejčastěji transformovány na podmínky bivalentní. Tato skutečnost značně zvyšuje výpočetní náročnost těchto úloh. I přes to, že pro řešení existují exaktní algoritmy, často je při výpočtu některých rozsáhlých úloh není možné použít. Přibližného a dostatečně přesného výsledku lze dosáhnout pomocí heuristik a dalších metod, které byly k tomuto účelu vytvořené. Jednotlivé podkapitoly v první části práce blíže popisují variace úlohy batohu, přičemž druhá část na ně navazuje a představuje některé možné využití v praxi.
|
|
Řešení úloh rekreační matematiky jako diskrétních optimalizačních úloh
Künzelová, Barbora ; Jablonský, Josef (vedoucí práce) ; Rada, Miroslav (oponent)
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ší.
|