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.7;
132 draw(z1035--z1635) dashed withdots scaled 0.7;
133 draw(z1065--z1665) dashed withdots scaled 0.7;
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;
286 drawarrow(z51--z101);
288 label.top(btex $x_0$ etex,z16);
289 label.top(btex $x_1$ etex,z26);
290 label.top(btex $x_2$ etex,z36);
291 label.top(btex \dots etex,z66);
292 label.top(btex $x_{n-2}$ etex,z106);
293 label.top(btex $x_{n-1}$ etex,z116);
371 pickup pencircle scaled 0.4pt;
372 draw(z10--z115--z215--z20--cycle);
373 draw(z30--z37--z47--z40--cycle);
374 draw(z38--z315--z416--z48--cycle);
375 draw(z50--z53--z63--z60--cycle);
376 draw(z54--z57--z67--z64--cycle);
377 draw(z58--z511--z611--z68--cycle);
378 draw(z512--z516--z615--z612--cycle);
384 drawarrow(z710--z610);
385 drawarrow(z713--z613);
386 drawarrow(z714--z614);
387 drawarrow(z515--z415);
388 drawarrow(z555--z455);
389 drawarrow(z595--z495);
390 drawarrow(z513--z413);
391 drawarrow(z335--z235);
392 drawarrow(z311--z211);
393 drawarrow(z175--z1075);
459 pickup pencircle scaled 0.4pt;
460 draw(z10--z115--z215--z20--cycle);
461 draw(z30--z37--z47--z40--cycle);
462 draw(z38--z315--z416--z48--cycle);
463 draw(z50--z53--z63--z60--cycle);
464 draw(z54--z57--z67--z64--cycle);
465 draw(z58--z511--z611--z68--cycle);
466 draw(z512--z516--z615--z612--cycle);
467 drawarrow(z075--z175);
468 drawarrow(z415--z515);
469 drawarrow(z455--z555);
470 drawarrow(z495--z595);
471 drawarrow(z413--z513);
472 drawarrow(z235--z335);
473 drawarrow(z211--z311);
475 label.llft(btex $n$ etex,z075);
476 label.bot(btex $S_n$ etex,z175);
477 label.bot(btex $S_{n\over 2}$ etex,z335);
478 label.bot(btex $S_{n\over 2}$ etex,z311);
479 label.bot(btex $S_{n\over 4}$ etex,z515);
480 label.bot(btex $S_{n\over 4}$ etex,z555);
481 label.bot(btex $S_{n\over 4}$ etex,z595);
482 label.bot(btex $S_{n\over 4}$ etex,z513);
560 pickup pencircle scaled 0.4pt;
561 draw(z10--z115--z215--z20--cycle);
562 draw(z30--z37--z47--z40--cycle);
563 draw(z38--z315--z416--z48--cycle);
564 draw(z50--z53--z63--z60--cycle);
565 draw(z54--z57--z67--z64--cycle);
566 draw(z58--z511--z611--z68--cycle);
567 draw(z512--z516--z615--z612--cycle);
573 drawarrow(z710--z610);
574 drawarrow(z713--z613);
575 drawarrow(z714--z614);
576 drawarrow(z515--z415);
577 drawarrow(z555--z455);
578 drawarrow(z595--z495);
579 drawarrow(z513--z413);
580 drawarrow(z335--z235);
581 drawarrow(z311--z211);
582 drawarrow(z175--z1075);
584 label.top(btex $M_8$ etex,z175);
585 label.top(btex $M_4$ etex,z335);
586 label.top(btex $M_4$ etex,z311);
587 label.top(btex $M_2$ etex,z515);
588 label.top(btex $M_2$ etex,z555);
589 label.top(btex $M_2$ etex,z595);
590 label.top(btex $M_2$ etex,z513);
612 z0=whatever[z13,z356];
613 z1=whatever[z356,z74];
615 z2=whatever[z12,z72];
617 z3=whatever[z12,z72];
620 z5=whatever[z72,z76];
621 z5=whatever[z4,z1+4v*right];
622 z6=whatever[z40,z47];
626 pickup pencircle scaled 0.4pt;
627 draw(z16--z12--z72--z76);
628 draw(z13--z356--z74);
629 draw(z40--z47) dashed evenly;
630 draw(z1--z4) dashed withdots scaled 0.7;
631 draw(z4--z5) dashed withdots scaled 0.7;
632 draw(z0--z6) dashed withdots scaled 0.7;
633 draw(z0--z2) dashed evenly;
634 draw(z1--z3) dashed evenly;
636 draw(z100--z101) dashed withdots scaled 0.7;
638 pickup pencircle scaled 3pt;
642 label.bot(btex \strut 0 etex,z12);
643 label.bot(btex $k$ etex,z2);
644 label.llft(btex \strut ${n\over 2} - 1$ etex,z42);
645 label.bot(btex \strut $k+{n\over 2}$ etex,z3);
646 label.bot(btex \strut $n-1$ etex,z72);
647 label.rt(btex posloupnost prohozen\'a separ\'atorem etex,z101);