From b608279ad8aed069434123e7160e17a228ddaa2f Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Tue, 16 Jan 2007 17:28:42 +0100 Subject: [PATCH] Odstranena zbytecna podminka z dukazu charakterizacni vety o kostrach. --- 5-mst/5-mst.tex | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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 -- 2.39.2