]> mj.ucw.cz Git - ads2.git/commitdiff
Pripsan odstavec o implementaci Goldberg se zvedanim nejvyssiho vrcholu,
authorMartin Mares <mj@ucw.cz>
Sun, 20 Jan 2008 20:40:01 +0000 (21:40 +0100)
committerMartin Mares <mj@ucw.cz>
Sun, 20 Jan 2008 20:40:01 +0000 (21:40 +0100)
opraven obrazek separatoru.

5-sortnet/5-sortnet.tex
5-sortnet/sortnet.0
5-sortnet/sortnet.1
5-sortnet/sortnet.2
5-sortnet/sortnet.3
5-sortnet/sortnet.4
5-sortnet/sortnet.5
5-sortnet/sortnet.6
5-sortnet/sortnet.7
5-sortnet/sortnet.mp

index 7df746d2251695ec14b2cb2c2707f1cbb5db4e53..02f0cfbff752c3e4682e1ff7b5a46d251fc62552 100644 (file)
@@ -87,8 +87,20 @@ p
 $\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í}
index 8fe9debb7e03c1a9a1d62d6a4ed86e2a4b39cd41..a2087ec4921355998bf637fd346ba968d5bdae2f 100644 (file)
@@ -1,7 +1,7 @@
 %!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
index f1d44e113d541d394583ab46ad0859fc24c014d7..5ec51d9cb566fc86b982606707d1dee38e605ecd 100644 (file)
@@ -1,7 +1,7 @@
 %!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
index 29173ef0450adf1f7bea06d76de663a20d18272b..25656e71848005470fabf7ba1ea0ecf3e4ae76dc 100644 (file)
@@ -1,7 +1,7 @@
 %!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
index 8f48ec8be3725a830149ef795b31d8ed175358b1..e30c8cd79acb7dd1b80575ce5d3b6a2e4f1f0d2f 100644 (file)
@@ -1,7 +1,7 @@
 %!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
@@ -31,8 +31,6 @@ newpath 226.77124 0 moveto
 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
@@ -87,21 +85,21 @@ gsave fill grestore 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
index 238bd3e15f2a6782a79a86957b81b413ac317d39..e6ad3e1d65c77bddff784b7576bc1c5e756199a0 100644 (file)
@@ -1,7 +1,7 @@
 %!PS
 %%BoundingBox: -1 -1 213 100 
 %%Creator: MetaPost
-%%CreationDate: 2008.01.14:1141
+%%CreationDate: 2008.01.20:2138
 %%Pages: 1
 %%EndProlog
 %%Page: 1 1
index 7af4c415a1953e197f8c6990b62044579c0b96e9..687761613929fb72853336929ed6224beec68b5e 100644 (file)
@@ -1,7 +1,7 @@
 %!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
index e9d168e1f9c4854b9fa814f053ba736e638eb657..61b14d5d42d694ba0ae9904da50c1150f97b128b 100644 (file)
@@ -1,7 +1,7 @@
 %!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
index 661fac62acfd5da57f8c79218d12c23cab0a3840..94619ca9bc43298ee9c5d25cb27b5252d12a35a0 100644 (file)
@@ -1,7 +1,7 @@
 %!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
index 3aabd36808b40a8632a36fe040c5763848658c49..081f9f41cfa7801c459aa59235737e23fca55dfe 100644 (file)
@@ -278,7 +278,6 @@ draw(z70--z76);
 draw(z80--z86);
 draw(z90--z96);
 draw(z100--z106);
-draw(z110--z116);
 drawarrow(z15--z65);
 drawarrow(z24--z74);
 drawarrow(z33--z83);
@@ -289,8 +288,8 @@ label.top(btex $x_0$ etex,z16);
 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;