From: Martin Mares Date: Tue, 31 Oct 2006 09:25:39 +0000 (+0100) Subject: Removed an extra eject. X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=e5da50961f0e581ef31e12c43c68b260253a1b7b;p=ga.git Removed an extra eject. --- diff --git a/5-mst/5-mst.tex b/5-mst/5-mst.tex index dcec7db..15b00b1 100644 --- a/5-mst/5-mst.tex +++ b/5-mst/5-mst.tex @@ -99,7 +99,6 @@ Pokud dostaneme kvaziuspo \s{Dùsledek:} Jsou-li v¹echny váhy rùzné, pak je MST urèen jednoznaènì. Tj. $\forall e_1,e_2 \in E(G)$ $w(e_1) \neq w(e_2)$ $\Rightarrow$ $\exists ! MST(G)$ -\vfill\eject \s{Dùkaz:} mám MST $T_1$ a $T_2$ a zkusím mezi nimi pøeswapovat. Pøi pøeswapovávání se ale zmìní váhy, nebo» v¹echny váhy jsou rùzné. Tedy jedna z koster nemù¾e být minimální.