]> mj.ucw.cz Git - ga.git/blobdiff - 5-mst/5-mst.tex
Kostry: Opraven popisek obrazku s prikladem swapovani
[ga.git] / 5-mst / 5-mst.tex
index 257f169620a12003b9e7d8e6229e93290dc2a0fe..fc83c80cf974d53d5cb8176ce93c52e38ec407d2 100644 (file)
@@ -50,7 +50,7 @@ Pokud $e^\prime \not\in T$ a $e\in T[e^\prime]$, je $\<swap>(T,e,e^\prime)$ op
 Staèí si uvìdomit, ¾e pøidáním $e^\prime$ do~$T$ vznikne kru¾nice (konkrétnì $T[e^\prime] + e^\prime$)
 a vynecháním libovolné hrany z~této kru¾nice získáme opìt kostru.
 
 Staèí si uvìdomit, ¾e pøidáním $e^\prime$ do~$T$ vznikne kru¾nice (konkrétnì $T[e^\prime] + e^\prime$)
 a vynecháním libovolné hrany z~této kru¾nice získáme opìt kostru.
 
-\figure{mst2.eps}{Kostra $T$, cesta $T[e]$ a výsledek operace $\<swap>(T,e,e')$}{\epsfxsize}
+\figure{mst2.eps}{Kostra $T$, cesta $T[e]$ a výsledek operace $\<swap>(T,e',e)$}{\epsfxsize}
 
 \figure{mst1.eps}{Jeden krok dùkazu swapovacího lemmatu}{\epsfxsize}
 
 
 \figure{mst1.eps}{Jeden krok dùkazu swapovacího lemmatu}{\epsfxsize}
 
@@ -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$.
 
 \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'$.
 $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'$.