From: Martin Mares Date: Tue, 16 Jan 2007 16:28:42 +0000 (+0100) Subject: Odstranena zbytecna podminka z dukazu charakterizacni vety o kostrach. X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=b608279ad8aed069434123e7160e17a228ddaa2f;p=ga.git Odstranena zbytecna podminka z dukazu charakterizacni vety o kostrach. --- diff --git a/5-mst/5-mst.tex b/5-mst/5-mst.tex index 883e1cc..2e0361f 100644 --- a/5-mst/5-mst.tex +++ b/5-mst/5-mst.tex @@ -94,8 +94,7 @@ Kostra $T' := \(T,e,e')$ je leh \:$\Leftarrow$ Pokud k~$T$ neexistuje lehká hrana, je $T$ minimální. -Uva¾me minimální kostru $T_{min}$. Podle právì dokázané implikace k~ní neexistují lehké hrany, -tak¾e mù¾eme pou¾ít monotónní swapovací lemma na~$T$ a $T_{min}$ a z~nìj plyne $w(T)\le w(T_{min})$, +Uva¾me nìjakou minimální kostru $T_{min}$ a pou¾ijme monotónní swapovací lemma na~$T$ a $T_{min}$. Z~nìj plyne $w(T)\le w(T_{min})$, a~tedy $w(T)=w(T_{min})$. \endlist