Rozvrhování

Rozvrhování s omezujícími podmínkami I.

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