+V prùbìhu algoritmu se maximálnì $n$-krát hledá vrchol $v$ s minimálním $D(v)$,
+maximálnì $m$-krát se pøenastavuje $D(v)$. Pokud bude struktura $D$ ulo¾ena jako
+pole (hledání minima v $\O(n)$, zmìna hodnoty $\O(1)$), bude celková
+èasová slo¾itost Dijkstrova algoritmu $\O(n^2 + m) = \O(n^2)$. Fakt, ¾e se algoritmus
+zastaví je evidentní, proto¾e se stav ¾ádného vrcholu nevrací z {\bf{H}} do {\bf{V}}.
+
+Úplný dùkaz správnosti a èasové slo¾itosti i pro hrany ohodnocené reálnými èísly
+bude na pøí¹tí pøedná¹ce.