rekurze bude mít hloubku $\O(\log n)$. Na~$i$-té hladinì zpracováváme $2^i$
podproblémù velikosti $n/2^{i/2}$. Pøi výpoètu ka¾dého podproblému voláme
dvakrát proceduru {\sc Contract}, která spotøebuje èas $\O((n/2^{i/2})^2)
-= \O(n^2/2^i)$. Souèet pøes v¹echny hladiny tedy èíní $\O(n^2)$, stejnì jako
-u~pùvodního kontrakèního algoritmu.
+= \O(n^2/2^i)$. Souèet pøes celou hladinu tedy èiní $\O(n^2)$ a pøes v¹echny
+hladiny $\O(n^2\log n)$. Oproti pùvodnímu kontrakènímu algoritmu jsme si tedy
+moc nepohor¹ili.
Zbývá spoèítat, s~jakou pravdìpodobností algoritmus skuteènì nalezne minimální øez.
Oznaème $p_i$ pravdìpodobnost, ¾e algoritmus na~$i$-té hladinì stromu
pod pøevrácenou hodnotu polynomu. Dokázali jsme následující vìtu:
\s{Vìta:} Iterováním algoritmu {\sc MinCut} nalezneme minimální øez v~neohodnoceném
-neorientovaném grafu v~èase $\O(n^2\log^2 n)$ s~pravdìpodobností chyby $\O(1/n^c)$
+neorientovaném grafu v~èase $\O(n^2\log^3 n)$ s~pravdìpodobností chyby $\O(1/n^c)$
pro libovolnou konstantu $c>0$.
\h{Cvièení}