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 2008
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2008/PA163/um/prednaska.PDF
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2008/PA163/um/prednaska4.ps
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2008/PA163/um/cviceni.PDF
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2008/PA163/um/cviceni4.ps

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
Stromové prohledávání: dynamický backtracking, neúplné. Srovnání algoritmů.
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í: modely. Porovnání algoritmů.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Optimalizace a soft omezení: algoritmy.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Dynamické problémy
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
4
Studijní materiály
Modelování.
Přejít
Kapitola obsahuje:
1
PDF
5
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í