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/podzim2021/PA163/um/vi/120725208/
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/auth/el/fi/podzim2021/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?