\h{Náhodné kontrakce}
Uvažujme nejdříve následující algoritmus, který náhodně vybírá
-hrany a kontrahuje je, dokud počet vrcholů neklesne na~danou hodnotu~$\ell$.
+hrany a kontrahuje je, dokud počet vrcholů neklesne na~$\ell$.
+(Konkrétní hodnotu~$\ell$ zvolíme později.)
\s{Algoritmus} $\hbox{\sc Contract}(G_0,\ell)$:
\algo
= {\ell\cdot(\ell-1) \over n\cdot(n-1)}. \cr
}$$
+Ještě musíme ošetřit případ, kdy bychom hranu řezu smazali, protože se mezitím
+stala smyčkou. Ovšem smyčky vznikají pouze z~hran paralelních s~právě kontrahovanou
+hranou. Jelikož v~libovolném svazku paralelních hran buďto všechny leží v~$C$,
+nebo ani jedna neleží, museli jsme v~takovém případě řez~$C$ rozbít už dříve.
+Odhad pravděpodobnosti to tedy neovlivní.
+
Můžeme tedy zvolit pevně~$\ell$, spustit na~zadaný graf proceduru {\sc Contract}
a ve~vzniklém konstantně velkém grafu pak nalézt minimální řez hrubou silou
(to je obzvláště snadné pro $\ell=2$ -- tehdy stačí vzít všechny zbylé hrany).