From: Martin Mares <mj@ucw.cz>
Date: Fri, 28 Jan 2011 11:37:05 +0000 (+0100)
Subject: Paralelni algoritmy: opravy preklepu od Pavla Zbytkovskeho
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=764021f6de6dd62efe427847524c7ea4c787a2ea;p=ads2.git

Paralelni algoritmy: opravy preklepu od Pavla Zbytkovskeho
---

diff --git a/5-addsort/5-addsort.tex b/5-addsort/5-addsort.tex
index ed142fc..e299441 100644
--- a/5-addsort/5-addsort.tex
+++ b/5-addsort/5-addsort.tex
@@ -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})$-ním prvkem výstupu.
+maximum  $(i+{n/2})$-tý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