Kitchen Layout Generation as an Optimization Problem
| Název práce v češtině: | Generování rozvržení kuchyně jako optimalizační problém |
|---|---|
| Název v anglickém jazyce: | Kitchen Layout Generation as an Optimization Problem |
| Klíčová slova: | kuchyň|rozvržení|návrh|optimalizace|celočíselné programování|omezující podmínky |
| Klíčová slova anglicky: | kitchen|layout|design|optimization|integer programming|constraint programming |
| Akademický rok vypsání: | 2024/2025 |
| Typ práce: | bakalářská práce |
| Jazyk práce: | angličtina |
| Ústav: | Informatický ústav Univerzity Karlovy (32-IUUK) |
| Vedoucí / školitel: | doc. Mgr. Martin Koutecký, Ph.D. |
| Řešitel: | Bc. Vít Kološ - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 22.11.2024 |
| Datum zadání: | 16.12.2024 |
| Datum potvrzení stud. oddělením: | 16.12.2024 |
| Datum a čas obhajoby: | 20.06.2025 09:00 |
| Datum odevzdání elektronické podoby: | 07.05.2025 |
| Datum odevzdání tištěné podoby: | 07.05.2025 |
| Datum proběhlé obhajoby: | 20.06.2025 |
| Oponenti: | Robert Hildebrand, Ph.D. |
| Zásady pro vypracování |
| Proces návrhu kuchyně (členění linky, umístění spotřebičů atd.) je obvykle iterativní. Zákazník popíše svá přání a omezení, návrhář vytvoří prvotní návrh, zákazník upřesňuje své preference atd. V současnosti nejsou dostupné metody na automatizaci tohoto procesu.
Cílem práce je: - vytvořit formální optimalizační model problému návrhu kuchyně: popis vstupu, prostoru řešení, účelové funkce - modelovat tento optimalizační problém jako MILP (smíšený celočíselný lineární program) - ladit získaný model tak, aby ho kvalitní řešiče (např. Gurobi) na instancích z praxe uměly vyřešit co nejrychleji - srozumitelně prezentovat získané poznatky, např. jaké aspekty problému lze formalizovat či modelovat různými způsoby, jaký to má vliv na složitost, atd. - volitelně: pro srovnání modelovat problém i v jiném formalismu, např. jako CSP (constraint satisfaction problem), nebo jako problém řešitelný pomocí metaheuristik Protože se jedná o vysoce netriviální problém, práce se považuje za úspěšně vyřešenou i pokud se nepodaří získat model, který je řešitelný rychle. Důležité je prozkoumat a popsat možné přístupy a jejich (ne)aplikovatelnost. |
| Seznam odborné literatury |
| Michael L. Bynum, Gabriel A. Hackebeil, William E. Hart, Carl D. Laird, Bethany L. Nicholson, John D. Siirola, Jean-Paul Watson, and David L. Woodruff. Pyomo - Optimization Modeling in Python, 3rd Edition. Vol. 67. Springer. 2021. DOI 10.1007/978-3-030-68928-5
Gurobi Optimization, L. L. C. "Gurobi optimizer reference manual." 2021 Rapin, Jérémy, and Olivier Teytaud. "Nevergrad-A gradient-free optimization platform." 2018 |