navigation
hledat
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
courses:a4m01tal:zkouska-2012-06-05 [2012/06/06 13:29] kunhajos |
courses:a4m01tal:zkouska-2012-06-05 [2025/01/03 18:28] (aktuální) |
||
|---|---|---|---|
| Řádek 18: | Řádek 18: | ||
| b) Definujte paměťovou složitost Turingova stroje. | b) Definujte paměťovou složitost Turingova stroje. | ||
| c) Definujte ZPP + možná ještě něco. | c) Definujte ZPP + možná ještě něco. | ||
| - | d) Definujte co-RP + vztahy k tomu. | + | d) Definujte co-NP + jaký je vztah co-NP a ZPP. |
| e) Zadány úlohy U, V, W. Platí U <| V <| W (<| je polynomiální redukce). U je 2-barevnost, W je existence hamiltonovské kružnice, V se neví. Napište nejsilnější tvrzení, které platí pro úlohu V a zdůvodněte. | e) Zadány úlohy U, V, W. Platí U <| V <| W (<| je polynomiální redukce). U je 2-barevnost, W je existence hamiltonovské kružnice, V se neví. Napište nejsilnější tvrzení, které platí pro úlohu V a zdůvodněte. | ||
| - | f) Definujte R, coR, RE, coRE, VS (mnozina vsech jazyku) a jejich vzajemne vztahy a zduvodnete. (10b) | + | f) Popište vzájemné vztahy R (rekurzivní jazyky), co-R (doplňkové jazyky k R), RE, co-RE, VS (množina všech jazyků) a zdůvodněte. (10b) |
| + | |||
| + | ~~DISCUSSION~~ | ||
