X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=4-goldberg%2F4-goldberg.tex;h=c7f53bfd55f081ed184e2a8ce9bf586347e8f701;hb=HEAD;hp=22a92e9024a391a027048ec6b526b7e51d71ddb5;hpb=2b70812be7b2304c9fc08089ebe0e8d169680e84;p=ads2.git 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¹í.