]> mj.ucw.cz Git - ga.git/commitdiff
Odstranena zbytecna podminka z dukazu charakterizacni vety o kostrach.
authorMartin Mares <mj@ucw.cz>
Tue, 16 Jan 2007 16:28:42 +0000 (17:28 +0100)
committerMartin Mares <mj@ucw.cz>
Tue, 16 Jan 2007 16:28:42 +0000 (17:28 +0100)
5-mst/5-mst.tex

index 883e1cc48f3ced7f6a4bae1d7b67179f3ec1109d..2e0361f98edf31812b569ff1837cb00a80f11d27 100644 (file)
@@ -94,8 +94,7 @@ Kostra $T' := \<swap>(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