]> mj.ucw.cz Git - ga.git/commitdiff
Kostry: Oprava preklepu v Lemmatu o swapovani
authorMartin Mares <mj@ucw.cz>
Mon, 12 Jul 2010 11:27:13 +0000 (13:27 +0200)
committerMartin Mares <mj@ucw.cz>
Mon, 12 Jul 2010 11:27:13 +0000 (13:27 +0200)
5-mst/5-mst.tex

index 257f169620a12003b9e7d8e6229e93290dc2a0fe..5ab55f2cf46b645b0a36f82eec9f1242f53f2fee 100644 (file)
@@ -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} := \<swap>(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'$.