|
|
|
||
Přednáška podává úvod do plánování a rozvrhování. Zaměřena je především na algoritmy pro řešení plánovacích a rozvrhovacích problémů s důrazem na použití technik splňování omezujících podmínek.
Poslední úprava: T_KTI (04.05.2004)
|
|
||
Naučit studenty základní techniky plánovacích a rozvrhovacích algoritmů a teorii o nich. Poslední úprava: T_KTI (23.05.2008)
|
|
||
Předmět je zakončen ústní zkouškou, která může být ve výjimečných případech distanční. Poslední úprava: Barták Roman, prof. RNDr., Ph.D. (28.04.2020)
|
|
||
Brucker, Peter. Scheduling algorithms. 2nd, rev. and enl. ed. Berlin : Springer, 1998. xii, 342 s.
Baptiste, Philippe - Le Pape, Claude - Nuijten, Wim. Constraint-based scheduling : applying constraint programming to scheduling problems. Boston : Kluwer Academic Publishers, 2001. xii, 198 s. International series in operations research & management science.
Ghallab, Malik - Nau, Dana - Traverso, Paolo. Automated Planning: Theory & Practice. San Francisco : Morgan Kaufmann, 2004. Poslední úprava: BARTAK/MFF.CUNI.CZ (31.03.2008)
|
|
||
přednáška Poslední úprava: BARTAK/MFF.CUNI.CZ (31.03.2008)
|
|
||
Zkouška se skládá z písemné přípravy a ústní části. Požadavky odpovídají sylabu předmětu. Poslední úprava: Barták Roman, prof. RNDr., Ph.D. (06.10.2017)
|
|
||
1. Úvod: definice problému plánování a rozvrhování, příklady použití, řešící formalismy (prohledávací algoritmy, omezující podmínky, SAT), reprezentace plánovacích problémů (množinová, klasická). 2. Plánování ve stavovém prostoru (dopředné, zpětné, STRIPS), plánování v prostoru plánů (PSP, PoP), neoklasické plánování (plánovací graf, Graphplan). 3. Plánovaní jako SAT a CSP, plánovací heuristiky. 4. Plánování s časem a zdroji (temporální problémy, plánování s kronikami, alokace zdrojů). 5. Řešení rozvrhovacích problémů: klasické rozvrhování, Grahamova klasifikace problémů, rozvrhování jako problém splňování omezujících podmínek, podmínky popisující zdroje a precedence, rozvrhovací strategie. 6. Problémové studie. Poslední úprava: Barták Roman, prof. RNDr., Ph.D. (26.04.2007)
|