Floyd: Drobné korektury

diff --git a/14-floyd/14-floyd.tex b/14-floyd/14-floyd.tex
index 56cf382c75fe7169b559eded75d2f41c3cedef5b..4c655e77610a86cb0c7879eccae97216fe2e9237 100644 (file)
--- a/14-floyd/14-floyd.tex
+++ b/14-floyd/14-floyd.tex
@@ -93,7 +93,7 @@ těmito operacemi:
 \:$AB$ nebo $A\cdot B$ -- {\I zřetězení} $uv$-svazku~$A$ s~$vw$-svazkem~$B$: výsledkem je $uw$-svazek
 obsahující všechna spojení sledu z~$A$ se sledem z~$B$,
 \:$A^*$ -- {\I iterace} $uu$-svazku: výsledkem je $uu$-svazek
-$\varepsilon \cup A \cup AA \cup AAA \cup \ldots$ (tedy všechna možná
+$\varepsilon_u \cup A \cup AA \cup AAA \cup \ldots$ (tedy všechna možná
 spojení konečně mnoha sledů z~$A$).
 \endlist
 
@@ -233,7 +233,7 @@ Podobně jako v~předchozí sekci si tedy můžeme pořídit funkci~$f$ přiřaz
 svazkům hodnoty z~nějaké množiny~$X$ a operace $\oplus$ a $\otimes$ na~$X$,
 pro něž platí $f(\alpha\cup\beta) = f(\alpha) \oplus f(\beta)$ a $f(\alpha\beta)
 = f(\alpha) \otimes f(\beta)$. Pak stačí vzít matici popisující ohodnocení
-všech sledů délky 0 nebo~1 (to je obdoba matice sousednosti), a provést $\O(\log n)$
+všech sledů délky~1 (to je obdoba matice sousednosti), a provést $\O(\log n)$
 $(\oplus,\otimes)$-součinů k~tomu, abychom znali ohodnocení svazků sledů délky
 právě~$k$ pro nějaké $k\ge n$.