Otázky k přednášce:

1. Jaké operace a význačné prvky máme u c-polookruhu (komutativního polookruhu)?
2. Jaké instance omezení nad polookruhy znáte a jak byste je popsali jejich operace, význačné prvky a pokladovou množinu?
3. Co to je striktní monotonie? Ukažte to na příkladu.
4. Co to je idempotence? Ukažte to na příkladu.
5. Co to je systém, soft omezení a soft problém?
6. Připomeňte pojem projekce n-tic. Ukažte to na příkladu.
7. Co to je kombinace? Ukažte to na příkladu.
8. Co to je projekce? Ukažte to na příkladu.
9. Co udává úroveň splnění a jak se spočítá? Ukažte to na příkladu.
10. Jak je definovaná úroveň konzistence?
11. Co to je soft propagace? Jak byste popsali pojem soft k-konzistence?
12. Co to je soft hranová konzistence?
13. Jak byste popsali soft hranovou konzistenci u fuzzy CSP? Vysvětlete to na příkladu na průsvitce 8.
14. Jak můžeme vypočítat soft hranovou konzistenci pro fuzzy CSP?
15. Popište princip metody větví a mezí (uveďte, co to je horní a dolní mez a jak probíhá ořezávání).
16. Vysvětlete optimistický výběr hodnoty pro algoritmus metody větví a mezí.
17. Popište algoritmus metody větví a mezí s pomocí pseudokódu.
18. Popište NC* algoritmus na příkladu.
19. Popište AC* algoritmus na příkladu.
20. Jaký je princip prohledávání ruská panenka?