navigation
hledat
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
courses:a4m36tpj:zapisky [2012/01/14 11:28] woxie2 upřesnění stuck state |
courses:a4m36tpj:zapisky [2025/01/03 18:29] (aktuální) |
||
|---|---|---|---|
| Řádek 223: | Řádek 223: | ||
| MSORT(A) -> A if len(A) = 1 | MSORT(A) -> A if len(A) = 1 | ||
| - | D-> MSORT(B)·MSORT(C) pro všechny x ∈ B: pro všechny y ∈ C: x < y | + | MSORT(B)·MSORT(C) -> D pro všechny x ∈ B: pro všechny y ∈ C: x < y |
| ----------------------------------------------------------- | ----------------------------------------------------------- | ||
| MSORT(A) -> D | MSORT(A) -> D | ||
