zkouska 4.6.2007
Napsal: 4. 6. 2007 12: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.