PředmětyPředměty(verze: 962)
Předmět, akademický rok 2024/2025
   Přihlásit přes CAS
Plánování a rozvrhování - NAIL071
Anglický název: Planning and Scheduling
Zajišťuje: Katedra teoretické informatiky a matematické logiky (32-KTIML)
Fakulta: Matematicko-fyzikální fakulta
Platnost: od 2014
Semestr: letní
E-Kredity: 3
Rozsah, examinace: letní s.:2/0, Zk [HT]
Počet míst: neomezen
Minimální obsazenost: neomezen
4EU+: ne
Virtuální mobilita / počet míst pro virtuální mobilitu: ne
Stav předmětu: vyučován
Jazyk výuky: angličtina, čeština
Způsob výuky: prezenční
Způsob výuky: prezenční
Další informace: http://ktiml.mff.cuni.cz/~bartak/planovani/
Garant: prof. RNDr. Roman Barták, Ph.D.
Třída: Informatika Mgr. - Teoretická informatika
Kategorizace předmětu: Informatika > Teoretická informatika
Anotace -
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)
Cíl předmětu -

Naučit studenty základní techniky plánovacích a rozvrhovacích algoritmů a teorii o nich.

Poslední úprava: T_KTI (23.05.2008)
Podmínky zakončení předmětu -

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)
Literatura -

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)
Metody výuky -

přednáška

Poslední úprava: BARTAK/MFF.CUNI.CZ (31.03.2008)
Požadavky ke zkoušce -

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)
Sylabus -

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)
 
Univerzita Karlova | Informační systém UK