]> mj.ucw.cz Git - ads2.git/commitdiff
Paralelni algoritmy: opravy preklepu od Pavla Zbytkovskeho
authorMartin Mares <mj@ucw.cz>
Fri, 28 Jan 2011 11:37:05 +0000 (12:37 +0100)
committerMartin Mares <mj@ucw.cz>
Fri, 28 Jan 2011 11:37:05 +0000 (12:37 +0100)
5-addsort/5-addsort.tex

index ed142fc0bb33a78447af700fa99ae77c85808f37..e2994411494a896dbdf0f89a2b1d2045f55daf29 100644 (file)
@@ -178,7 +178,7 @@ Nyn
 
 \medskip
 \s{Definice:} Øekneme, ¾e posloupnost $x_0,\dots,x_{n-1} $ je {\I èistì bitonická} právì tehdy, kdy¾
-pro nìjaké $x_k\in\{0, \dots, n-1\} $ platí, ¾e~v¹echny prvky pøed ním (vèetnì jeho samotného)
+pro nìjaké $x_k, k\in\{0, \dots, n-1\} $ platí, ¾e~v¹echny prvky pøed ním (vèetnì jeho samotného)
 tvoøí rostoucí poslopnost, kde¾to prvky stojící za~ním tvoøí poslopnost klesající.
 Formálnì zapsáno musí platit, ¾e:
 $$x_0\leq x_1\leq \dots \leq x_k \geq x_{k+1}\geq\dots \geq x_{n-1}.$$
@@ -189,10 +189,10 @@ $$x_j,x_{(j+1) \bmod n},\dots, x_{(j+n-1) \bmod n},$$ 
 
 \s{Definice:} {\I Separátor $S_n$} je sí», ve které jsou v¾dy~$i$-tý a~$(i+{n/2})$-tý prvek vstupu
 (pro $i=0,\dots, {n/2}-1$) propojeny komparátorem. Minimum se pak stane~$i$-tým,
-maximum  $(i+{n/2})$-m prvkem výstupu.
+maximum  $(i+{n/2})$-m prvkem výstupu.
 \figure{sortnet.3}{$(y_i, y_{i+{n/2}}) = \<CMP>(x_i, x_{i+{n/2}})$} {300pt}
 
-\s{Lemma:} Pokud separátor dostane na~vstupu bitonická posloupnost, pak jeho výstup $y_0, \dots, y_{n-1}$
+\s{Lemma:} Pokud separátor dostane na~vstupu bitonickou posloupnost, pak jeho výstup $y_0, \dots, y_{n-1}$
 splòuje:
 
 (i) $y_0,\dots, y_{n/2 -1}$ a~$y_{n/2},\dots, y_{n-1}$ jsou