Bonusové příklady

Příklady s řešeními

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ě. K-konzistence.

Obecná hranová konzistence, konzistence mezí. Globální podmínky.

Obecný konzistenční algoritmus. 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.

Neúplné algoritmy. Porovnání algoritmů.

Lokální prohledávání.

Optimalizace a soft omezení: modely.

Optimalizace a soft omezení: algoritmy.

Opakování.

Logický program, CLP program.

Omezení nad seznamy proměnných.

Globální podmínky.

Modelování.

Prohledávání.

Implementace podmínek.

Úvod do jazyka OPL.

Globální podmínky.

Modelování.

Prohledávání

Rozvrhování

Dekompozice problému.