Mnoho praktických problémů má jeden společný rys - vhodné řešení musí splňovat řadu z reality plynoucích omezení (rozvrh výuky, plán pracovní činnosti, přidělení rádiových frekvencí, ...). V posledních několika desetiletích se rozvinula oblast nazvaná "constraint processing", která rozvíjí obecné formy popisu takových omezení a zkoumá obecné metody řešení. Instance těchto metod se úspěšně používají v řadě odlišných oborů, od molekulární biologie, přes počítačovou grafiku, zpracování přirozeného jazyka až po např. návrh logických obvodů. Cílem tohoto předmětu je představit studentům na zvolených praktických problémech možné způsoby popisu omezení a vybrané metody hledání řešení vyhovujících těmto omezením. Současně praktické řešení takových problémů vyzkoušejí na cvičeních a v rámci semestrálního projektu, s pomocí volně dostupných knihoven a softwarových nástrojů (jako jsou například "SAT-solvers", tedy řešiče splnitelnosti booleovských omezení).
Hodně kreditů Bez zkoušky
Shrnutí
-
Průměrné hodnocení: 7/10
-
Souborů ke stáhnutí: 0
-
Předmět sleduje studentů: 4
-
Předmět učí lektorů: 1
-
Diskuze obsahuje příspěvků: 0
Informace
Zkratka:
ARUO
Kredity:
5
Ukončení:
Zápočet
Garant:
prof. RNDr. Petr Jančar, CSc.
Projektů:
1
Bodů k zápočtu:
51
Po první přednášce jsem si říkal, že by to mohl být zajímavý předmět. Poté se však probírala samá nudná teorie. Cvičení také nebyla žádná sláva, i když bylo vidět, že se vyučující snaží. Pouze se zkoušely různé SAT-solvery psané v C++. .Kromě projektu se píše zápočtová písemka, která mě překvapila svou náročností, jelikož jsme v průběhu semestru podobné příklady nepočítali. Naštěstí vyučující po prvním neúspěšném testu zveřejnil vzorové řešení a podruhé už to šlo lépe.
DarkLord - 08.02.2013
