Korektury kapitoly o NP-uplnosti.

[ads2.git] / 5-sortnet / sortnet.mp

diff --git a/5-sortnet/sortnet.mp b/5-sortnet/sortnet.mp
index f28a753327aa4bf1b574359bff3734b1b2e1896d..081f9f41cfa7801c459aa59235737e23fca55dfe 100644 (file)
--- a/5-sortnet/sortnet.mp
+++ b/5-sortnet/sortnet.mp
@@ -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;
 
@@ -455,6 +454,20 @@ z613=(13v,2v);
 z614=(14v,2v);
 z615=(15v,2v);
 
+% ve skutecnosti dle znaceni 
+% by melo byt z6* ale uz 
+% obsazeno
+z815=(1.5v,2v);
+z855=(5.5v,2v);
+z895=(9.5v,2v);
+z813=(13.5v,2v);
+
+z715=(1.5v,1v);
+z755=(5.5v,1v);
+z795=(9.5v,1v);
+z713=(13.5v,1v);
+
+z9=(4v,0v);
 
 pickup pencircle scaled 0.4pt;
 draw(z10--z115--z215--z20--cycle);
@@ -471,6 +484,10 @@ drawarrow(z495--z595);
 drawarrow(z413--z513);
 drawarrow(z235--z335);
 drawarrow(z211--z311);
+drawarrow(z815--z715);
+drawarrow(z855--z755);
+drawarrow(z895--z795);
+drawarrow(z813--z713);
 
 label.llft(btex $n$ etex,z075);
 label.bot(btex $S_n$ etex,z175);
@@ -480,6 +497,7 @@ label.bot(btex $S_{n\over 4}$ etex,z515);
 label.bot(btex $S_{n\over 4}$ etex,z555);
 label.bot(btex $S_{n\over 4}$ etex,z595);
 label.bot(btex $S_{n\over 4}$ etex,z513);
+label.rt(btex Bitonick\'a t\v r\'\i di\v cka $B_{n}$ etex,z9);
 
 endfig;