2 %verbatimtex \input twelvecs etex
22 pickup pencircle scaled 0.4pt;
23 draw(z21--z22--z23--z24--z34--z33--z32--z31--z21);
29 label.bot(btex \strut a etex,z32);
30 label.bot(btex \strut b etex,z33);
31 label.top(btex min etex,z22);
32 label.top(btex max etex,z23);
113 pickup pencircle scaled 0.4pt;
122 drawarrow(z110--z210);
130 pickup pencircle scaled 0.7pt;
131 draw(z1015--z1615) dashed withdots scaled 0.5;
132 draw(z1035--z1635) dashed withdots scaled 0.5;
133 draw(z1065--z1665) dashed withdots scaled 0.5;
135 label.top(btex x1 etex,z111);
136 label.top(btex x2 etex,z211);
137 label.top(btex x3 etex,z311);
138 label.top(btex x4 etex,z411);
139 label.top(btex x5 etex,z511);
197 pickup pencircle scaled 0.4pt;
206 drawarrow(z110--z210);
214 label.top(btex x1 etex,z111);
215 label.top(btex x2 etex,z211);
216 label.top(btex x3 etex,z311);
217 label.top(btex x4 etex,z411);
218 label.top(btex x5 etex,z511);
270 pickup pencircle scaled 0.4pt;
285 drawarrow(z51--z101);
287 label.top(btex $x_0$ etex,z16);
288 label.top(btex $x_1$ etex,z26);
289 label.top(btex $x_2$ etex,z36);
290 label.top(btex \dots etex,z66);
291 label.top(btex $x_{n-2}$ etex,z96);
292 label.top(btex $x_{n-1}$ etex,z106);
294 label.top(btex $y_0$ etex,z16 shifted (0,-7v));
295 label.top(btex $y_1$ etex,z26 shifted (0,-7v));
296 label.top(btex $y_2$ etex,z36 shifted (0,-7v));
297 label.top(btex \dots etex,z66 shifted (0,-7v));
298 label.top(btex $y_{n-2}$ etex,z96 shifted (0,-7v));
299 label.top(btex $y_{n-1}$ etex,z106 shifted (0,-7v));
377 pickup pencircle scaled 0.4pt;
378 draw(z10--z115--z215--z20--cycle);
379 draw(z30--z37--z47--z40--cycle);
380 draw(z38--z315--z416--z48--cycle);
381 draw(z50--z53--z63--z60--cycle);
382 draw(z54--z57--z67--z64--cycle);
383 draw(z58--z511--z611--z68--cycle);
384 draw(z512--z516--z615--z612--cycle);
390 drawarrow(z710--z610);
391 drawarrow(z713--z613);
392 drawarrow(z714--z614);
393 drawarrow(z515--z415);
394 drawarrow(z555--z455);
395 drawarrow(z595--z495);
396 drawarrow(z513--z413);
397 drawarrow(z335--z235);
398 drawarrow(z311--z211);
399 drawarrow(z175--z1075);
464 % ve skutecnosti dle znaceni
465 % by melo byt z6* ale uz
479 pickup pencircle scaled 0.4pt;
480 draw(z10--z115--z215--z20--cycle);
481 draw(z30--z37--z47--z40--cycle);
482 draw(z38--z315--z416--z48--cycle);
483 draw(z50--z53--z63--z60--cycle);
484 draw(z54--z57--z67--z64--cycle);
485 draw(z58--z511--z611--z68--cycle);
486 draw(z512--z516--z615--z612--cycle);
487 drawarrow(z075--z175);
488 drawarrow(z415--z515);
489 drawarrow(z455--z555);
490 drawarrow(z495--z595);
491 drawarrow(z413--z513);
492 drawarrow(z235--z335);
493 drawarrow(z211--z311);
494 drawarrow(z815--z715);
495 drawarrow(z855--z755);
496 drawarrow(z895--z795);
497 drawarrow(z813--z713);
499 label.llft(btex $n$ etex,z075);
500 label.bot(btex $S_n$ etex,z175);
501 label.bot(btex $S_{n\over 2}$ etex,z335);
502 label.bot(btex $S_{n\over 2}$ etex,z311);
503 label.bot(btex $<$ etex, .5*z335 + 0.5*z311);
504 label.bot(btex $S_{n\over 4}$ etex,z515);
505 label.bot(btex $S_{n\over 4}$ etex,z555);
506 label.bot(btex $<$ etex, .5*z515 + 0.5*z555);
507 label.bot(btex $S_{n\over 4}$ etex,z595);
508 label.bot(btex $<$ etex, .5*z555 + 0.5*z595);
509 label.bot(btex $S_{n\over 4}$ etex,z513);
510 label.bot(btex $<$ etex, .5*z595 + 0.5*z513);
588 pickup pencircle scaled 0.4pt;
589 draw(z10--z115--z215--z20--cycle);
590 draw(z30--z37--z47--z40--cycle);
591 draw(z38--z315--z416--z48--cycle);
592 draw(z50--z53--z63--z60--cycle);
593 draw(z54--z57--z67--z64--cycle);
594 draw(z58--z511--z611--z68--cycle);
595 draw(z512--z516--z615--z612--cycle);
601 drawarrow(z710--z610);
602 drawarrow(z713--z613);
603 drawarrow(z714--z614);
604 drawarrow(z515--z415);
605 drawarrow(z555--z455);
606 drawarrow(z595--z495);
607 drawarrow(z513--z413);
608 drawarrow(z335--z235);
609 drawarrow(z311--z211);
610 drawarrow(z175--z1075);
612 label.top(btex $M_4$ etex,z175);
613 label.top(btex $M_2$ etex,z335);
614 label.top(btex $M_2$ etex,z311);
615 label.top(btex $M_1$ etex,z515);
616 label.top(btex $M_1$ etex,z555);
617 label.top(btex $M_1$ etex,z595);
618 label.top(btex $M_1$ etex,z513);
640 z0=whatever[z13,z356];
641 z1=whatever[z356,z74];
643 z2=whatever[z12,z72];
645 z3=whatever[z12,z72];
648 z5=whatever[z72,z76];
649 z5=whatever[z4,z1+4v*right];
650 z6=whatever[z40,z47];
652 z7=whatever[z12,z72];
653 z7=z356+whatever*down;
654 z8=z2 + whatever*right;
655 z8=z356+whatever*down;
658 pickup pencircle scaled 0.4pt;
659 draw(z16--z12--z72--z76);
660 draw(z13--z356--z74);
661 draw(z7--z356) dashed evenly;
662 draw(z40--z47) dashed evenly;
663 draw(z0--z2) dashed evenly;
664 draw(z1--z3) dashed evenly;
666 pickup pencircle scaled 0.8pt;
667 draw(z1--z4) dashed withdots scaled 0.5;
668 draw(z4--z5) dashed withdots scaled 0.5;
669 draw(z0--z6) dashed withdots scaled 0.5;
671 pickup pencircle scaled 3pt;
675 label.bot(btex \strut 0 etex,z12);
676 label.bot(btex \strut $k$ etex,z2);
677 label.bot(btex \strut $m$ etex,z8);
678 label.llft(btex \strut ${n\over 2}$ etex,z42);
679 label.bot(btex \strut ${n\over 2}+k$ etex,z3);
680 label.bot(btex \strut $n$ etex,z72);