- Jaké doménové proměné jsou svázány s aktivitou a jejím časem?
- Jaké typy základních omezení se používají při rozvrhování?
- Jaké doménové proměné jsou svázány se zdroji?
- Co to je unární zdroj a jak s ním pracujeme?
- Jaký je princip algoritmu hledání hran?
- Popište odvozovací pravidla při hledání hran.
- Jaký je princip algoritmu not-first?
- Jaká odvozovací pravidla používáme při použití pravidla not-first?
- Jakým způsobem lze realizovat propagaci pro alternativní zdroje? Popište příslušná odvozovací pravidla.
- Co to je kumulativní zdroj?
- Jak se pracuje s agregovanými požadavky?
- Vysvětlete podmínku tabulky. Jak se s její pomocí odvozuje?
Rozvrhování
Rozvrhování s omezujícími podmínkami I.
Otázky