Dotazy k přednášce 

1. Jaký je rozdíl mezi propagací pro globální podmínku allDifferent a binární podmínky pro nerovnost mezi dvojicemi proměnných?
2. Na jakých principech probíhá naivní propagace pro globální podmínku allDifferent?
3. Co to je bipartitní graf? A co to je párování v bipartitním grafu? A maximální párování?
4. Jak byste formulovali CSP problém jako bipartitní graf?
5. Dokážete vysvětlit, jak probíhá propagace podmínky allDifferent s využitím bipartitního grafu?
6. V OPL používáme proměnné typu 
   • dvar int
   • dvar interval
   Jaký je mezi nimi rozdíl? Co to je intervalová proměnná?
7. Rozumíte pojmu volitelná intervalová proměnná? Uveďte příklad, kdy potřebujeme použít volitelné intervalové proměnné.
8. Co to je sekvenční proměnná a na co se používá?
9. K čemu se používá omezení noOverlap?
10. Co to je hledání hran? Na co se používá a jak?
11. Jaké znáte příklady podmínek pro vyjádření precedence?
12. K čemu se používá unární podmínka presenceOf?
13. Uveďte příklad využití funkce startOf.
14. Co to je job-shop problém?
15. Jak byste řešili job-shop problém v OPL?
16. K čemu se používají kumulativní funkce?
17. Co to je resource-constrained project scheduling problem? Jak byste ho řešili v OPL?
18. Na co jsou dobré alternativní podmínky? Dokážete vysvětlit příklad použití alternativních podmínech na průsvitce 17?
19. Vysvětlete variantu AC-3 algoritmu s frontou proměnných.
20. Co dělá revizní procedura? Jaké typy revizních procedur znáte? Kdy se revizní procedura spouští?
21. Popište konzisteční algoritmus, který využívá událostí.