Automatizované řešení úloh s omezeními

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ů: 3
  • 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

Nahrát soubor Hodnotit předmět
Popis Nahrál Materiál Staženo Nahráno
Nebyly nalezeny žádné soubory. Nahrát soubor

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

DarkLord - 08.02.2013

Martin Kot

Martin Kot

15 hodnocení


UTI ARUO MAV
Cookies nám pomáhají poskytovat Vám naše služby. Využíváním těchto služeb souhlasíte s jejich použitím.