Pøedchùdci nám tedy kódují strukturu nejkrat¹ích cest do~v¹ech vrcholù.
Mù¾eme se na nì dívat také následovnì:
-\s{Definice:} Strom nejkrat¹ích cest je orientovaný strom s~mno¾inou vrcholù
+\s{Definice:} Strom nejkrat¹ích cest je orientovaný strom $(W,F)$ s~mno¾inou vrcholù
$W=\{ v\in V(G) \mid \hbox{$v$ dosa¾itelný z~$v_0$} \}$
-a hranami $\{ (P(v),v) \mid v\in W, v\ne v_0 \}$.
+a hranami $F=\{ (P(v),v) \mid v\in W, v\ne v_0 \}$.
\s{Pozorování:} Koøenem stromu nejkrat¹ích cest je vrchol~$v_0$, cesta v~tomto
stromu z~$v_0$ do~$v$ (jednoznaènì urèená, je to strom) je pak jednou z~nejkrat¹ích
\def\ss#1{\noindent {\bo #1}\par\nobreak}
% Dùkaz
-\def\proof{\noindent {\sl Dùkaz:} }
+\def\proof{\nobreak\noindent {\sl Dùkaz:} }
% Srdicko na konci dukazu
\def\qed{{\parfillskip=0pt\allowbreak\hfill\nobreak $\heartsuit$\par}}