Popsat TS pro jazyk 1^{k}01^{k^2}.
1^{k}01^{k^2}
Ukázat, že div je PRF. +, sign, - a * lze použít bez odvozování.
Ukázat, že existuje n, pro které W_n = \{0,..,n\}.
W_n = \{0,..,n\}
Za pomoci nějakého problému z přednášky ukázat, že klika je NP úplný problém.
Matfyz Wiki