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
Course
Term
Autumn 2012

 

Průsvitky z celé přednášky a cvičení
Open
Chapter contains:
2
PDF
2
Study Materials

Osnova přednášky s průsvitkami

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

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

Logický program, CLP program.
Open
Chapter contains:
1
PDF
4
Study Materials
Omezení nad seznamy proměnných.
Open
Chapter contains:
1
PDF
4
Study Materials
Globální podmínky.
Open
Chapter contains:
1
PDF
3
Study Materials
Modelování.
Open
Chapter contains:
1
PDF
4
Study Materials
Prohledávání.
Open
Chapter contains:
1
PDF
2
Study Materials
Implementace podmínek.
Open
Chapter contains:
2
Other files
1
PDF
2
Study Materials
Previous
Next