|
|
|
||
Poslední úprava: T_KTI (04.05.2004)
|
|
||
Poslední úprava: T_KTI (23.05.2008)
Naučit studenty základní techniky plánovacích a rozvrhovacích algoritmů a teorii o nich. |
|
||
Poslední úprava: prof. RNDr. Roman Barták, Ph.D. (28.04.2020)
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: BARTAK/MFF.CUNI.CZ (31.03.2008)
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: prof. RNDr. Roman Barták, Ph.D. (06.10.2017)
Zkouška se skládá z písemné přípravy a ústní části. Požadavky odpovídají sylabu předmětu. |
|
||
Poslední úprava: prof. RNDr. Roman Barták, Ph.D. (26.04.2007)
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. |