Btw. nevite, kdy maji byt zverejneny vysledky? Tusim, ze snad do patku rikal, zatim ale nic...1. otazka - dva prevody z prveho cviceni
2. otazka, zda DFS algoritmus jednoznacne ocisluje vrcholy tak, ze minimalizuji pocet inkonzistentnich hran.
3. otazka, TAUT
a) je co-NP
b) slozitost TAUT, kde F jsou v CNF?
(opraveno)