Bakalářské práce
Řídké datové struktury pro konstrukci lineárního optimalizačního modelu: implementováno v Ruste
Autor
Štefan Slavkovský
Rok
2026
Typ
Bakalářská práce
Vedoucí
Dr. rer. nat. Dominik Zietlow
Oponenti
RNDr. Radek Hušek, Ph.D.
Katedra
Anotace
Tato bakalářská práce se zabývá návrhem a implementací knihovny Gallopy - nástroje pro formulaci lineárních optimalizačních problémů v jazyce Python, jehož jádro tvoří knihovna implementovaná v jazyce Rust. Knihovna poskytuje rozhraní s pojmenovanými dimenzemi a koordinačně uvědomělým broadcastingem inspirovaným datovým modelem knihovny xarray a knihovnou linopy. LP model je ukládán v datových strukturách jazyka Rust, čímž se eliminuje réžie jazyka Python přítomná v ostatních knihovnách pro modelování optimalizačních problémů. Empirické benchmarky na šesti reprezentativních optimalizačních problémech ukazují, že Gallopy je výrazně rychlejší než Pyomo a PuLP na všech testovaných velikostech problémů a překonává linopy na operačně náročných problémech v případě malých optimalizačních úloh.