PA163 Programování s omezujícími podmínkami
doc. Mgr. Hana Rudová, Ph.D.
PA163 Programování s omezujícími podmínkami
doc. Mgr. Hana Rudová, Ph.D.
PA163 Programování s omezujícími podmínkami
Info
Předmět
Období
podzim 2009
Průsvitky z celé přednášky a cvičení
Přejít
Kapitola obsahuje:
2
PDF
2
Studijní materiály

Osnova přednášky s průsvitkami

Problém splňování podmínek. Příklady a modelování. Složitost CSP. Grafová reprezentace CSP.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Hranová konzistence. Konzistence po cestě I.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Konzistence po cestě II. K-konzistence, obecná hranová konzistence, konzistence mezí.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Globální podmínky. Implementace podmínek.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Směrová konzistence, šířka grafu podmínek a polynomiální CSP.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Stromové prohledávání: backtracking, pohled dopředu.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Stromové prohledávání: pohled zpět.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Backmarking. Neúplné algoritmy.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Porovnání algoritmů. Optimalizace a soft omezení: modely.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Lokální prohledávání.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Optimalizace a soft omezení: algoritmy. Srovnání algoritmů.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály

Osnova cvičení s průsvitkami a příklady

Logický program, CLP program.
Přejít
Kapitola obsahuje:
1
PDF
4
Studijní materiály
Omezení nad seznamy proměnných.
Přejít
Kapitola obsahuje:
1
PDF
4
Studijní materiály
Globální podmínky.
Přejít
Kapitola obsahuje:
1
PDF
3
Studijní materiály
Modelování.
Přejít
Kapitola obsahuje:
1
PDF
4
Studijní materiály
Prohledávání.
Přejít
Kapitola obsahuje:
1
PDF
2
Studijní materiály
Implementace podmínek.
Přejít
Kapitola obsahuje:
2
Další soubory
1
PDF
2
Studijní materiály
Předchozí
Následující