Popište algoritmus Aho-Corasicková, rozeberte časovou složitost a dokažte správnost
Polynomiální algoritmus na nalezení minimálního pokrytí v bipartitním grafu
Navrhněte hradlovou síť, která odpoví, zda je binární číslo dělitelné třemi
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ý