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 2007

 

Průsvitky z přednášek a cvičení v jednom souboru
Open
Chapter contains:
2
PDF
2
Study Materials
Teacher recommends to study from 15/12/2007.

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
Teacher recommends to study from 10/9/2007.
Grafová reprezentace CSP. Hranová konzistence.
Open
Chapter contains:
1
PDF
1
Study Materials
Teacher recommends to study from 3/10/2007.
Konzistence po cestě. K-konzistence.
Open
Chapter contains:
1
PDF
1
Study Materials
Teacher recommends to study from 10/10/2007.
Obecná hranová konzistence, konzistence mezí. Globální podmínky. Implementace podmínek.
Open
Chapter contains:
1
PDF
1
Study Materials
Teacher recommends to study from 17/10/2007.
Implementace podmínek. Směrová konzistence, šířka grafu podmínek a polynomiální CSP.
Open
Chapter contains:
1
PDF
1
Study Materials
Teacher recommends to study from 24/10/2007.
Stromové prohledávání: backtracking, pohled dopředu.
Open
Chapter contains:
1
PDF
1
Study Materials
Teacher recommends to study from 31/10/2007.
Stromové prohledávání: pohled zpět.
Open
Chapter contains:
1
PDF
1
Study Materials
Teacher recommends to study from 7/11/2007.
Stromové prohledávání: dynamický backtracking, neúplné.
Open
Chapter contains:
1
PDF
1
Study Materials
Teacher recommends to study from 14/11/2007.
Lokální prohledávání.
Open
Chapter contains:
1
PDF
1
Study Materials
Teacher recommends to study from 21/11/2007.
Optimalizace a soft omezení: modely. Srovnání prohledávacích algoritmů.
Open
Chapter contains:
1
PDF
1
Study Materials
Teacher recommends to study from 28/11/2007.
Optimalizace a soft omezení: algoritmy.
Open
Chapter contains:
1
PDF
1
Study Materials
Teacher recommends to study from 5/12/2007.
Dynamické problémy
Open
Chapter contains:
1
PDF
1
Study Materials
Teacher recommends to study from 12/12/2007.

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

Logický program, CLP program.
Open
Chapter contains:
1
PDF
4
Study Materials
Teacher recommends to study from 1/10/2007.
Omezení nad seznamy proměnných.
Open
Chapter contains:
1
PDF
4
Study Materials
Teacher recommends to study from 15/10/2007.
Globální podmínky.
Open
Chapter contains:
1
PDF
4
Study Materials
Teacher recommends to study from 29/10/2007.
Implementace podmínek.
Open
Chapter contains:
2
Other files
1
PDF
2
Study Materials
Teacher recommends to study from 12/11/2007.
Modelování a testování.
Open
Chapter contains:
1
PDF
5
Study Materials
Teacher recommends to study from 4/12/2007.
Study now
Prohledávání
Open
Chapter contains:
1
PDF
2
Study Materials
Teacher recommends to study now - from 11/12/2007.
Previous
Next