Průsvitky z celé přednášky a cvičení

Bonusové příklady

Problém splňování podmínek. Příklady a modelování. Složitost CSP.

Grafová reprezentace CSP. Hranová konzistence.

Konzistence po cestě. K-konzistence, obecná hranová konzistence, konzistence mezí.

Globální podmínky.

Implementace podmínek. Směrová konzistence, šířka grafu podmínek a polynomiální CSP.

Stromové prohledávání: backtracking, pohled dopředu.

Stromové prohledávání: pohled zpět.

Pohled zpět: backmarking. Neúplné algoritmy. Porovnání algoritmů.

Lokální prohledávání.

Optimalizace a soft omezení: modely.

Optimalizace a soft omezení: algoritmy. Srovnání algoritmů.

Opakování.

Logický program, CLP program.

Omezení nad seznamy proměnných.

Globální podmínky.

Modelování.

Prohledávání.

Implementace podmínek.

Globální podmínky.

Modelování.

Rozvrhovací problémy

Prohledávání

Dekompozice problému.