zkouska 4.6.2007

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ů.

zkouska 4.6.2007

Příspěvekod MyS » 4. 6. 2007 11:43

Na zkousce jsme byli dva (teda mimo spousty automataku). Ja jsem dostal konzistencni techniky + popsat nejakou dobrou AC, kolega tusim ze prohledavani do hloubky. Napsal jsem takovy obecny prehled (k-konzistence + ruzne kategorie, vztahy, strucne slovne principy algoritmu) a pseudokod AC-3. Bartak nastesti nestoural a je to doma.
We don't need no education!
Uživatelský avatar
MyS
Donátor
Donátor
 
Příspěvky: 177
Registrován: 21. 9. 2004 23:13
Bydliště: The city of Dobříš

Zpět na OPT042 Programování s omezujícími podmínkami

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník

cron