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 2014
Bonusové příklady
Open
Chapter contains:
2
Other files
4
PDF
1
Study Materials
Příklady s řešeními
Open
Chapter contains:
5
PDF
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.
Open
Chapter contains:
1
PDF
1
Study Materials
Obecná hranová konzistence, konzistence mezí. Globální podmínky.
Open
Chapter contains:
1
PDF
1
Study Materials
Obecný konzistenční algoritmus. 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
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.
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 v SICStus Prologu

Logický program, CLP program.
Open
Chapter contains:
1
PDF
5
Study Materials
Omezení nad seznamy proměnných.
Open
Chapter contains:
1
PDF
3
Study Materials
Globální podmínky.
Open
Chapter contains:
1
PDF
4
Study Materials
Modelování.
Open
Chapter contains:
1
PDF
5
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

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

Úvod do jazyka OPL.
Open
Chapter contains:
1
PDF
2
Study Materials
Globální podmínky.
Open
Chapter contains:
1
PDF
2
Study Materials
Modelování.
Open
Chapter contains:
1
PDF
3
Study Materials
Prohledávání
Open
Chapter contains:
1
PDF
1
Study Materials
Rozvrhování
Open
Chapter contains:
1
PDF
1
Study Materials
Rozvrhování II
Open
Chapter contains:
1
PDF
1
Study Materials
Dekompozice problému.
Open
Chapter contains:
1
PDF
2
Study Materials
logolink OP VK, CZ.1.07/2.2.00/28.0041
Previous
Next