{{Predmet|Programování s omezujícími podmínkami|Roman Barták|OPT042}}
== Základní informace ==
Přednáška podává přehled o technikách programování s omezujícími podmínkami. Zaměřena je na algoritmy splňování podmínek a na problematiku řešení příliš omezených systémů podmínek. Zabývá se také praktickým využitím omezujících podmínek při řešení reálných problémů.
[[Wikipedia:Constraint satisfaction problem]]
== Podrobnosti ==
GENET - dobře vysvětlený je v asi původním článku, viz. [http://sherry.ifi.unizh.ch/tsang92generic.html A Generic Neural Network Approach For Constraint Satisfaction Problems]
== Zkoušky ==
=== 17.5.2006 ===
Zkouška probíhala ústně. Otázky byly zaměřeny zpravidla na popis různých algoritmů. Jedna otázka zahrnovala přibližně obsah jedné přednášky
Otázky:
*Backtracking, backjumping a spol.
*Konzistenční techniky - hranová k., k. po cestě a další
*Prohledávání s heuristikami
*Lokální prohledávání
*pak ještě jedna, ale tu jsem nezaslechl :)
== Odkazy ==
*Propracované [http://kti.ms.mff.cuni.cz/~bartak/podminky/prednaska.html slajdy z přednášky] (na homepage přednášky).
*[http://kti.ms.mff.cuni.cz/~bartak/constraints/ ON-LINE GUIDE TO CONSTRAINT PROGRAMMING] od Dr. Bartáka
[[category:Informatika]]
