Suffix: Oprava lemmatu o vnorenych suffixech

[ga.git] / 7-ram / 7-ram.tex

diff --git a/7-ram/7-ram.tex b/7-ram/7-ram.tex
index e66bbb6f40b3573e31afd81164f4e53eaf92232a..7ad0c1c2c32eafc3c95dcbb719050d326ff4b190 100644 (file)
--- a/7-ram/7-ram.tex
+++ b/7-ram/7-ram.tex
@@ -114,7 +114,7 @@ Dijkstra    &$\O(m\log\log U)$      &$\O(m+n\log\log n)$ \cite{thorup:pq}, neorientovan
 }}$$
 My se pøidr¾íme ekvivalentní, ale jednodu¹¹í definice podle Erika Demaine~\cite{demaine}.
 
-\s{Definice:} VEBT($U$) pro universum velikosti $U$ (BÚNO $U=2^{2^k}$)
+\s{Definice:} VEBT($U$) pro universum velikosti $U$ (BÚNO $U=2^k=2^{2^\ell}$)
 obsahuje:
 
 \itemize\ibull
@@ -326,7 +326,7 @@ existuj
 
 Nejdøíve èíslo~$\alpha$ replikujeme, pak andujeme vhodnou bitovou maskou,
 aby v~$i$-té slo¾ce zùstal pouze $i$-tý bit a ostatní se vynulovaly,
-a pak provedeme $\<Cmp>$ s~vektorem reprezentovaným touté¾ bitovou maskou.
+a pak provedeme $\<Cmp>$ s~vektorem samých nul.
 
 \:$\<Unpack>_\varphi(\alpha)$ -- podobnì jako pøedchozí operace, ale bity je¹tì
 prohází podle nìjaké pevné funkce $\varphi$:
@@ -396,7 +396,7 @@ Z~\<LSB> pomoc
 
 \>Poslední dvì operace doká¾eme spoèítat i v~lineárním prostoru, napøíklad
 pro \<MSB> takto: Rozdìlíme èíslo na bloky velikosti $\lfloor\sqrt{w}\rfloor$.
-Pak pro ka¾dý blok zjistíme, zda v nìm je aspoò jedna jednièka, zavoláním
+Pak pro ka¾dý blok zjistíme, zda v~nìm je aspoò jedna jednièka, zavoláním
 $\<Cmp>(0,x)$. Pomocí \<Pack> z~toho dostaneme slovo~$y$ odmocninové
 délky, jeho¾ bity indikují neprázdné bloky. Na~toto èíslo zavoláme pøedchozí
 kvadratické \<MSB> a zjistíme index nejvy¹¹ího neprázdného bloku.