Aho-Corasick (složitost, algoritmus, automat, konstrukce)
Vybrání předsedy a tajemníka z každé množiny(nemusí být disjuktní) - řešení například přes bipartitní graf a toky v síti
3D-párování -> SAT
