From: Martin Mares Date: Mon, 12 Jul 2010 11:27:13 +0000 (+0200) Subject: Kostry: Oprava preklepu v Lemmatu o swapovani X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=fe557369f8e80436b8a9aa02c836b0ae9f7680df;p=ga.git Kostry: Oprava preklepu v Lemmatu o swapovani --- diff --git a/5-mst/5-mst.tex b/5-mst/5-mst.tex index 257f169..5ab55f2 100644 --- a/5-mst/5-mst.tex +++ b/5-mst/5-mst.tex @@ -59,7 +59,7 @@ M \proof Pokud $T \ne T'$, musí existovat hrana $e' \in T'\setminus T$, proto¾e $\vert T \vert = \vert T' \vert$. -Kru¾nice $T[e']+e'$ nemù¾e být celá obsa¾ena v~$T$, tak¾e existuje hrana +Kru¾nice $T[e']+e'$ nemù¾e být celá obsa¾ena v~$T'$, tak¾e existuje hrana $e\in T[e']\setminus T'$ a $\check{T} := \(T,e,e')$ je kostra, pro kterou $\vert \check{T} \symdiff T' \vert = \vert T \symdiff T' \vert -2$. Po~koneèném poètu tìchto krokù tedy musíme dojít k~$T'$.