From e5da50961f0e581ef31e12c43c68b260253a1b7b Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Tue, 31 Oct 2006 10:25:39 +0100 Subject: [PATCH] Removed an extra eject. --- 5-mst/5-mst.tex | 1 - 1 file changed, 1 deletion(-) 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í. -- 2.39.5