]> mj.ucw.cz Git - ga.git/blobdiff - 5-mst/5-mst.tex
Konverze obrázků: krok 1
[ga.git] / 5-mst / 5-mst.tex
index 8e580ef3daea7b3a08dc041be9946b53e22f87c7..f9a8073a69ffbb02614e9c19eb958c972b060a97 100644 (file)
@@ -50,9 +50,9 @@ 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.
 
-\figure{mst2.eps}{Kostra $T$, cesta $T[e]$ a výsledek operace $\<swap>(T,e',e)$}{\epsfxsize}
+\figure{mst2.epdf}{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.epdf}{Jeden krok důkazu swapovacího lemmatu}{\epsfxsize}
 
 \s{Lemma o~swapování:}
 Máme-li libovolné kostry $T$ a $T'$, pak lze z~$T$ dostat $T'$ konečným počtem operací \<swap>.
@@ -151,7 +151,7 @@ hranu~$e'$ řezu~$C$. Jenže $e'$ je těžší než~$e$, takže operací $\<swap
 získáme ještě lehčí kostru, což není možné.
 \qed
 
-\figure{mst-rb.eps}{Situace v~důkazu Modrého a Červeného lemmatu}{\epsfxsize}
+\figure{mst-rb.epdf}{Situace v~důkazu Modrého a Červeného lemmatu}{\epsfxsize}
 
 \s{Červené lemma:} Je-li libovolná hrana~$e$ algoritmem kdykoliv obarvena na~červeno,
 pak $e\not\in \Tmin$.
@@ -175,7 +175,7 @@ do~nichž se lze z~$x$ dostat po~modrých hranách. Nyní mohou nastat dvě mož
 neexistují žádné lehké hrany, takže hrana $e$ je nejdražší na~cyklu tvořeném modrou cestou a~touto hranou
 a mohu na ni použít červené pravidlo.
 
-\figure{mst-bez.eps}{Situace v~důkazu Bezbarvého lemmatu}{\epsfxsize}
+\figure{mst-bez.epdf}{Situace v~důkazu Bezbarvého lemmatu}{\epsfxsize}
 
 \:$y \notin M$: Tehdy řez $\delta(M)$ neobsahuje žádné modré hrany, takže na~tento řez
 můžeme použít modré pravidlo.