From: Martin Mares Date: Wed, 14 Nov 2012 19:17:13 +0000 (+0100) Subject: Goldberg: Oprava preklepu X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=6839e1bbe15fdf03825d02a1024072c48d13a9f2;p=ads2.git Goldberg: Oprava preklepu (diky, Karry!) --- diff --git a/4-goldberg/4-goldberg.tex b/4-goldberg/4-goldberg.tex index 22a92e9..c7f53bf 100644 --- a/4-goldberg/4-goldberg.tex +++ b/4-goldberg/4-goldberg.tex @@ -149,7 +149,7 @@ Pak existuje nenasycen \proof Buï~$v$ vrchol s~kladným pøebytkem. Uva¾me mno¾inu $A := \{ u \in V \mid \hbox{existuje nenasycená cesta z~$v$ do~$u$} \}$. -Uká¾eme, ¾e tato mno¾ína obsahuje zdroj. +Uká¾eme, ¾e tato mno¾ina obsahuje zdroj. Pou¾ijeme u¾ mírnì okoukaný trik: seèteme pøebytky ve~v¹ech vrcholech mno¾iny~$A$. V¹echny hrany le¾ící celé uvnitø~$A$ nebo celé venku pøispìjí dohromady nulou. @@ -316,7 +316,7 @@ Podle lemmatu~K po~zastaven \h{Vylep¹ení Goldbergova algoritmu} -Základní verze Goldbervova algoritmu tedy dosáhla stejné slo¾itosti jako Dinicùv algoritmus. +Základní verze Goldbergova algoritmu tedy dosáhla stejné slo¾itosti jako Dinicùv algoritmus. Nyní uká¾eme, ¾e pokud budeme volit vrchol, ze~kterého budeme pøevádìt pøebytek, ¹ikovnìji -- toti¾ jako nejvy¹¹í z~vrcholù s~nenulovým pøebytkem~--, slo¾itost se je¹tì zlep¹í.