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

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

Hranová konzistence. Konzistence po cestě I.

Konzistence po cestě II. 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.

Porovnání algoritmů. Optimalizace a soft omezení: modely.

Lokální prohledávání.

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

Logický program, CLP program.

Omezení nad seznamy proměnných.

Globální podmínky.

Modelování.

Prohledávání.

Implementace podmínek.