From: Martin Mares Date: Thu, 28 Nov 2019 14:07:37 +0000 (+0100) Subject: Floyd: Drobné opravy X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=9f1aa90d1b286e2feae6b765ebb594675e72ffea;p=ga.git Floyd: Drobné opravy --- diff --git a/14-floyd/14-floyd.tex b/14-floyd/14-floyd.tex index b3b2dc2..56cf382 100644 --- a/14-floyd/14-floyd.tex +++ b/14-floyd/14-floyd.tex @@ -106,8 +106,8 @@ výrazy konečné délky sestávající z~triviálních svazků a výše uveden operací. \s{Pozorování:} Sledy můžeme reprezentovat řetězci nad abecedou, jejíž -symboly jsou identifikátory hran. Sledové výrazy pak odpovídají regulárním -výrazům nad touto abecedou. +symboly jsou identifikátory hran. Sledové výrazy pak odpovídají (typovaným) +regulárním výrazům nad touto abecedou. Ukážeme, jak pro vÅ¡echny dvojice vrcholů $i,j$ sestrojit sledový výraz $R_{ij}$ popisující svazek vÅ¡ech sledů z~$i$ do~$j$. Podobně jako u~Floydova-Warshallova @@ -305,7 +305,7 @@ a $\O(1)$ součtů matic. $$t(1)=\Theta(1), \quad t(n) = 2t(n/2) + \Theta(1)\cdot\mu(n/2) + \Theta(n^2),$$ kde $\mu(k)$ značí čas potřebný na jeden $(\lor,\land)$-součin matic $k\times k$. Jelikož jistě platí $\mu(n/2)=\Omega(n^2)$, -má tato rekurence podle kuchařkové věty řeÅ¡ení $t(n) = \mu(n)$. +má tato rekurence podle kuchařkové věty řeÅ¡ení $t(n) \in \O(\mu(n))$. Ukázali jsme tedy, že výpočet matice dosažitelnosti je nejvýše stejně náročný jako $(\lor,\land)$-násobení matic -- můžeme ho proto provést