X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=5-mst%2F5-mst.tex;h=fc83c80cf974d53d5cb8176ce93c52e38ec407d2;hb=fa9f48fabb54016de6f8830bc4c9f0d8020c1c38;hp=257f169620a12003b9e7d8e6229e93290dc2a0fe;hpb=4622951db25bf06528906e97344ccac5b5dbdc62;p=ga.git diff --git a/5-mst/5-mst.tex b/5-mst/5-mst.tex index 257f169..fc83c80 100644 --- a/5-mst/5-mst.tex +++ b/5-mst/5-mst.tex @@ -50,7 +50,7 @@ Pokud $e^\prime \not\in T$ a $e\in T[e^\prime]$, je $\(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. -\figure{mst2.eps}{Kostra $T$, cesta $T[e]$ a výsledek operace $\(T,e,e')$}{\epsfxsize} +\figure{mst2.eps}{Kostra $T$, cesta $T[e]$ a výsledek operace $\(T,e',e)$}{\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$. -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'$.