# Zkouška - 18.12.2019 Hubička

<{ForumPost(poster="takyneznamheslo", timestamp=2019-12-18 18:21:33)}>
1. Popište algoritmus Aho-Corasicková, rozeberte časovou složitost a dokažte správnost  
  
2. Polynomiální algoritmus na nalezení minimálního pokrytí v bipartitním grafu  
  
3. Navrhněte hradlovou síť, která odpoví, zda je binární číslo dělitelné třemi  
  
4. BONUS: dokažte, že EXACTLY-3-3-SAT (každá klauzule právě tři literály, každý literál právě tři výskyty) není NP-úplný
<{/ForumPost}>