|
|
|
||
Poslední úprava: prof. RNDr. Roman Barták, Ph.D. (05.06.2017)
|
|
||
Poslední úprava: T_KTI (23.05.2008)
Naučit základní používané techniky používané při úlohách splňování podmínek |
|
||
Poslední úprava: prof. RNDr. Roman Barták, Ph.D. (08.08.2022)
Pro úspěšné absolvování předmětu je potřeba získat zápočet a složit zkoušku. Zápočet je udělován za domácí úkoly (constraintové modely) zadávané v rámci cvičení. |
|
||
Poslední úprava: prof. RNDr. Roman Barták, Ph.D. (08.08.2022)
R. Dechter: Constraint Processing, Elsevier Science, 2003
K. Marriott, P.J. Stuckey: Programming with Constraints: An Introduction, The MIT Press, 1998
E. Tsang: Foundations of Constraint Satisfaction, Academic Press, 1993
N. Zhou, H. Kjellerstrand, J. Fruhman: Constraint Solving and Planning with Picat, Springer, 2015 |
|
||
Poslední úprava: BARTAK/MFF.CUNI.CZ (31.03.2008)
přednáška |
|
||
Poslední úprava: prof. RNDr. Roman Barták, Ph.D. (06.10.2017)
Zkouška se skládá z písemné přípravy a ústní části. Požadavky odpovídají sylabu předmětu. |
|
||
Poslední úprava: prof. RNDr. Roman Barták, Ph.D. (26.04.2007)
1. Úvod: historické souvislosti, vazba na další obory, aplikační oblasti, definice problému splňování omezujících podmínek, binarizace problémů. 2. Algoritmy lokálního prohledávání: metoda největšího stoupání, minimalizace konfliktů, náhodná procházka, Tabu seznam, GSAT, Genet. 3. Algoritmy prohledávání do hloubky: backtracking, backjumping, dynamický backtracking, backmarking, prohledávání s diskrepancemi, neúplné prohledávání. 4. Konzistenční techniky: vrcholová a hranová konzistence, konzistence po cestě a algoritmy pro jejich dosažení, obecné konzistenční pojmy. 5. Kombinace propagace podmínek a prohledávání: kontrola dopředu, (častěný/úplný) pohled dopředu, heuristiky pro uspořádání proměnných a hodnot, prohledávání bez navracení. 6. Optimalizační problémy, metody větví a mezí. Příliš omezené problémy a jejich modely. 7. Globální podmínky. 8. Modelování problémů a praktické realizace. |