opraven obrazek separatoru.
$\O(N^2\sqrt M)$.
\qed
-%\s{Implementace:}
-%?????
+\s{Implementace:}
+Narozdíl od pùvodní verze algoritmu si ve verzi se zvedáním nejvy¹¹ího
+vrcholu nebudeme pamatovat seznam vrcholù s~kladným pøebytkem, ale
+setøídìný seznam pøihrádek. V~ka¾dé pøihrádce budou jen vrcholy
+s~pøebytkem s~urèitou vý¹kou. Vyhledání nejvy¹¹ího vrcholu tedy
+zvládneme v konstantním èase, stejnì pro zvý¹ení vrcholu nám staèí
+$\O(1)$ (buï vrchol pøesuneme do vedlej¹í pøihrádky, nebo pro nìj
+zalo¾íme novou). Pøevádíme-li pøebytek do vrcholu, kde pøedtím nebyl,
+pak musí mít vý¹ku o~$1$ ni¾¹í, ne¾ vrchol, ze kterého pøebytek
+pøevádíme (jinak by existovala nenasycená hrana se spádem dva, co¾
+nejde). Najít (pøípadnì vytvoøit) pøihrádku novì vzniklému vrcholu
+s~pøebytkem tak také stihneme v~konstantním èase.
+Pro zvednutí nám tedy stále staèí èas $\O(N)$ a libovolné
+pøevedení pøebytku zvládneme v~$\O(1)$.
\medskip
\h{Tøídìní}
%!PS
%%BoundingBox: -1 19 60 100
%%Creator: MetaPost
-%%CreationDate: 2008.01.14:1141
+%%CreationDate: 2008.01.20:2138
%%Pages: 1
%*Font: cmr10 9.96265 9.96265 61:c08c01
%%EndProlog
%!PS
%%BoundingBox: -15 -1 128 166
%%Creator: MetaPost
-%%CreationDate: 2008.01.14:1141
+%%CreationDate: 2008.01.20:2138
%%Pages: 1
%*Font: cmr10 9.96265 9.96265 31:f80000000000000001
%%EndProlog
%!PS
%%BoundingBox: -6 42 119 166
%%Creator: MetaPost
-%%CreationDate: 2008.01.14:1141
+%%CreationDate: 2008.01.20:2138
%%Pages: 1
%*Font: cmr10 9.96265 9.96265 31:f80000000000000001
%%EndProlog
%!PS
-%%BoundingBox: -6 -1 295 95
+%%BoundingBox: -6 -1 266 95
%%Creator: MetaPost
-%%CreationDate: 2008.01.14:1141
+%%CreationDate: 2008.01.20:2138
%%Pages: 1
%*Font: cmmi10 9.96265 9.96265 3a:8000000000000002
%*Font: cmr7 6.97385 6.97385 30:e
226.77124 85.03922 lineto stroke
newpath 255.11765 0 moveto
255.11765 85.03922 lineto stroke
-newpath 283.46405 0 moveto
-283.46405 85.03922 lineto stroke
0 0.3985 dtransform truncate idtransform setlinewidth pop
newpath 0 70.86601 moveto
141.73203 70.86601 lineto stroke
(:) cmmi10 9.96265 fshow
143.94592 88.03922 moveto
(:) cmmi10 9.96265 fshow
-244.46024 90.36383 moveto
+216.11383 90.36383 moveto
(x) cmmi10 9.96265 fshow
-250.15413 88.86943 moveto
+221.80772 88.86943 moveto
(n) cmmi7 6.97385 fshow
-255.07904 88.86943 moveto
+226.73264 88.86943 moveto
(\000) cmsy7 6.97385 fshow
-261.30563 88.86943 moveto
+232.95923 88.86943 moveto
(2) cmr7 6.97385 fshow
-272.80664 90.36383 moveto
+244.46024 90.36383 moveto
(x) cmmi10 9.96265 fshow
-278.50053 88.86943 moveto
+250.15413 88.86943 moveto
(n) cmmi7 6.97385 fshow
-283.42545 88.86943 moveto
+255.07904 88.86943 moveto
(\000) cmsy7 6.97385 fshow
-289.65204 88.86943 moveto
+261.30563 88.86943 moveto
(1) cmr7 6.97385 fshow
showpage
%%EOF
%!PS
%%BoundingBox: -1 -1 213 100
%%Creator: MetaPost
-%%CreationDate: 2008.01.14:1141
+%%CreationDate: 2008.01.20:2138
%%Pages: 1
%%EndProlog
%%Page: 1 1
%!PS
%%BoundingBox: -1 -5 213 114
%%Creator: MetaPost
-%%CreationDate: 2008.01.14:1141
+%%CreationDate: 2008.01.20:2138
%%Pages: 1
%*Font: cmr10 9.96265 9.96265 10:98000000000020000000585328
%*Font: cmmi10 9.96265 9.96265 42:800040000008
%!PS
%%BoundingBox: -1 -1 213 100
%%Creator: MetaPost
-%%CreationDate: 2008.01.14:1141
+%%CreationDate: 2008.01.20:2138
%%Pages: 1
%*Font: cmmi10 9.96265 9.96265 4d:8
%*Font: cmr7 6.97385 6.97385 32:a2
%!PS
%%BoundingBox: 9 5 191 130
%%Creator: MetaPost
-%%CreationDate: 2008.01.14:1141
+%%CreationDate: 2008.01.20:2138
%%Pages: 1
%*Font: cmr10 9.96265 9.96265 13:80000086000000000002247de1
%*Font: cmmi10 9.96265 9.96265 6b:9
draw(z80--z86);
draw(z90--z96);
draw(z100--z106);
-draw(z110--z116);
drawarrow(z15--z65);
drawarrow(z24--z74);
drawarrow(z33--z83);
label.top(btex $x_1$ etex,z26);
label.top(btex $x_2$ etex,z36);
label.top(btex \dots etex,z66);
-label.top(btex $x_{n-2}$ etex,z106);
-label.top(btex $x_{n-1}$ etex,z116);
+label.top(btex $x_{n-2}$ etex,z96);
+label.top(btex $x_{n-1}$ etex,z106);
endfig;