From: Martin Mares Date: Thu, 22 Feb 2007 13:11:20 +0000 (+0100) Subject: Ohodnoceni hran by pri hledani rezu mela byt nezaporna. X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=b0d4a0acdc0b0daf2ef905a118c175e375058e77;p=ga.git Ohodnoceni hran by pri hledani rezu mela byt nezaporna. --- diff --git a/3-bipcon/3-bipcon.tex b/3-bipcon/3-bipcon.tex index 497e179..2393c5f 100644 --- a/3-bipcon/3-bipcon.tex +++ b/3-bipcon/3-bipcon.tex @@ -73,7 +73,7 @@ Pro minim \h{Globálnì minimální øez (Nagamochi, Ibaraki \cite{nagaiba:conn})} -Buï $G$ neorientovaný graf s~ohodnocením na~hranách. Oznaèíme si: +Buï $G$ neorientovaný graf s~nezáporným ohodnocením na~hranách. Oznaèíme si: \s{Znaèení:} diff --git a/4-ght/4-ght.tex b/4-ght/4-ght.tex index 4d6f334..313dc54 100644 --- a/4-ght/4-ght.tex +++ b/4-ght/4-ght.tex @@ -29,7 +29,7 @@ pro n \h{Gomory-Hu Tree} -\s{Definice:} {\I Gomory-Hu Tree} (dále jen \GHT) pro neorientovaný ohodnocený graf $G=(V,E)$ +\s{Definice:} {\I Gomory-Hu Tree} (dále jen \GHT) pro neorientovaný nezápornì ohodnocený graf $G=(V,E)$ je strom $T=(V,F)$ takový, ¾e pro ka¾dou hranu $st\in F$ platí: Oznaèíme-li $K_1$ a $K_2$ komponenty lesa $T\setminus st$, je $\d(K_1)=\d(K_2)$ minimální \st-øez. [Pozor, $F$ nemusí být podmno¾ina pùvodních hran $E$.] @@ -165,7 +165,7 @@ je minim \endlist -\s{Vìta (o~existenci \PGHT{}):} Buï $(V,E)$ neorientovaný ohodnocený graf. Pro ka¾dou podmno¾inu vrcholù $R$ +\s{Vìta (o~existenci \PGHT{}):} Buï $(V,E)$ neorientovaný nezápornì ohodnocený graf. Pro ka¾dou podmno¾inu vrcholù $R$ existuje \PGHT{}. \proof Doká¾eme indukcí podle velikosti mno¾iny $R$.\itemize\ibull