PA163 Programování s omezujícími podmínkami

Optimalizace a soft omezení: modely.

Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2022/PA163/um/10.pdf

Dotazy k přednášce:

  1. Jaký je rozdíl mezi pevnou (hard) podmínkou a měkkou (soft) podmínkou?
  2. Jak je definováná objektivní funkce v optimalizačním problému s podmínkami?
  3. Jaké znáte typy soft omezení?
  4. Které charakteristiky nám umožní rozlišit přístupy pro soft omezení? Jak jsou tyto charakteristiky definovány pro problémy splňování podmínek?
  5. Co to jsou omezení s váhami? A co to je MAX-CSP?
  6. Popište výpočet řešení a úrovně jeho splnění pro příklad na průsvitce 7.
  7. Co to je fuzzy omezení a fuzzy CSP?
  8. Co to je projekce n-tic u fuzzy CSP? Ukažte to na příkladu.
  9. Jak byste popsali kombinaci dvou omezení u fuzzy CSP? Ukažte to na příkladu.
  10. Jak byste popsali projekci u fuzzy CSP? Ukažte to na příkladu.
  11. Jak je definována úroveň splnění u fuzzy CSP?  Ukažte to na příkladu.
  12. Jak je definováno řešení u fuzzy CSP? Ukažte to na příkladu.
  13. Jak je definována úroveň konzistence u fuzzy CSP? A úroveň nekonzistence?
  14. Jak byste spočítali kombinaci omezení c1, c2 a c3 v příkladu na průsvitce 8? A čemu odpovídá projekce této kombinace na množinu proměnných A,B? A projekce na množinu jen s proměnnou A? A projekce na prázdnou množinu? Co nám dává projekce na prázdnou množinu?
  15. Jaké operace a význačné prvky máme u c-polookruhu (komutativního polookruhu)?
  16. Jaké instance omezení nad polookruhy znáte a jak byste je popsali jejich operace, význačné prvky a pokladovou množinu?
  17. Co to je striktní monotonie? Ukažte to na příkladu.
  18. Co to je idempotence? Ukažte to na příkladu.
  19. Co to je systém, soft omezení a soft problém?
  20. Připomeňte pojem projekce n-tic. Ukažte to na příkladu.
  21. Co to je kombinace? Ukažte to na příkladu.
  22. Co to je projekce? Ukažte to na příkladu.
  23. Co udává úroveň splnění a jak se spočítá? Ukažte to na příkladu.
  24. Jak je definovaná úroveň konzistence?