\input style Рйтбнйдбмшоха уптфйтпчлх йопздб прйущчбаф лбл \hslogo-бмзптйфн; ьфп пвпъобюеойе хлбъщчбеф об ибтблфет йънеоеойс ретенеоощи~$l$ й~$r$. Четиойк фтехзпмшойл уппфчефуфчхеф жбъе рпуфтпеойс рйтбнйдщ, лпздб~$r=N$, б $l$~хвщчбеф дп~$1$; ойцойк фтехзпмшойл ртедуфбчмсеф жбъх чщвптб, лпздб~$l=1$, б $r$~хвщчбеф дп~$1$. Ч фбвм.~2 рплбъбо ртпгеуу рйтбнйдбмшопк уптфйтпчлй чуе феи це ыеуфобдгбфй юйуем. (Ч лбцдпк уфтпле йъпвтбцеоп упуфпсойе рпуме ыбзб~H2, улпвлй хлбъщчбаф об ъобюеойс ретенеоощи~$l$ й~$r$.) {\catcode`\[=\active\def[{\hbox to 0pt{\hss$\lbrack$}} \catcode`\]=\active\def]{\hbox to 0pt{$\rbrack$\hss}} \def\cell#1{$\phantom{[}#1\phantom{]}$\bskip} \htable{Фбвмйгб 2}% {Ртйнет рйтбнйдбмшопк уптфйтпчлй}% { \cell{#}&\cell{#}&\cell{#}&\cell{#}&\cell{#}&\cell{#}&\cell{#}&\cell{#}&% \cell{#}&\cell{#}&\cell{#}&\cell{#}&\cell{#}&\cell{#}&\cell{#}&\cell{#}&% \hfil$#$\bskip&\hfil$#$\bskip&\hfil$#$\hfil\cr K_1 & K_2 & K_3 & K_4 & K_5 & K_6 & K_7 & K_8 & K_9 & K_{10} & K_{11} & K_{12} & K_{13} & K_{14} & K_{15} & K_{16} & l & r & K \cr 503 & 087 & 512 & 061 & 908 & 170 & 897 &[275 & 653 & 426 & 154 & 509 & 612 & 677 & 765 & 703] & 8 & 16 & 275\cr 503 & 087 & 512 & 061 & 908 & 170 &[897 & 703 & 653 & 426 & 154 & 509 & 612 & 677 & 765 & 275] & 7 & 16 & 897\cr 503 & 087 & 512 & 061 & 908 &[170 & 897 & 703 & 653 & 426 & 154 & 509 & 612 & 677 & 765 & 275] & 6 & 16 & 170\cr 503 & 087 & 512 & 061 &[908 & 612 & 897 & 703 & 653 & 426 & 154 & 509 & 170 & 677 & 765 & 275] & 5 & 16 & 908\cr 503 & 087 & 512 &[061 & 908 & 612 & 897 & 703 & 653 & 426 & 154 & 509 & 170 & 677 & 765 & 275] & 4 & 16 & 061\cr 503 & 087 &[512 & 703 & 908 & 612 & 897 & 275 & 653 & 426 & 154 & 509 & 170 & 677 & 765 & 061] & 3 & 16 & 512\cr 503 &[087 & 897 & 703 & 908 & 612 & 765 & 275 & 653 & 426 & 154 & 509 & 170 & 677 & 512 & 061] & 2 & 16 & 087\cr [503 & 908 & 897 & 703 & 426 & 612 & 765 & 275 & 653 & 087 & 154 & 509 & 170 & 677 & 512 & 061] & 1 & 16 & 503\cr [908 & 703 & 897 & 653 & 426 & 612 & 765 & 275 & 503 & 087 & 154 & 509 & 170 & 677 & 512] & 908 & 1 & 15 & 061\cr [897 & 703 & 765 & 653 & 426 & 612 & 677 & 275 & 503 & 087 & 154 & 509 & 170 & 061] & 897 & 908 & 1 & 14 & 512\cr [765 & 703 & 677 & 653 & 426 & 612 & 512 & 275 & 503 & 087 & 154 & 509 & 170] & 765 & 897 & 908 & 1 & 13 & 061\cr [703 & 653 & 677 & 503 & 426 & 612 & 512 & 275 & 061 & 087 & 154 & 509] & 703 & 765 & 897 & 908 & 1 & 12 & 170\cr [677 & 653 & 612 & 503 & 426 & 509 & 512 & 275 & 061 & 087 & 154] & 677 & 703 & 765 & 897 & 908 & 1 & 11 & 170\cr [653 & 503 & 612 & 275 & 426 & 509 & 512 & 170 & 061 & 087] & 653 & 677 & 703 & 765 & 897 & 908 & 1 & 10 & 154\cr [612 & 503 & 512 & 275 & 426 & 509 & 154 & 170 & 061]& 612 & 653 & 677 & 703 & 765 & 897 & 908 & 1 & 9 & 087\cr [512 & 503 & 509 & 275 & 426 & 087 & 154 & 170]& 512 & 612 & 653 & 677 & 703 & 765 & 897 & 908 & 1 & 8 & 061\cr [509 & 503 & 154 & 275 & 426 & 087 & 061]& 509 & 512 & 612 & 653 & 677 & 703 & 765 & 897 & 908 & 1 & 7 & 170\cr [503 & 426 & 154 & 276 & 170 & 087]& 503 & 509 & 512 & 612 & 653 & 677 & 703 & 765 & 897 & 908 & 1 & 6 & 061\cr [426 & 275 & 154 & 061 & 176]& 426 & 503 & 509 & 512 & 612 & 653 & 677 & 703 & 765 & 897 & 908 & 1 & 5 & 087\cr [275 & 170 & 154 & 061]& 275 & 426 & 503 & 509 & 512 & 612 & 653 & 677 & 703 & 765 & 897 & 908 & 1 & 4 & 087\cr [170 & 087 & 154]& 170 & 275 & 426 & 503 & 509 & 512 & 612 & 653 & 677 & 703 & 765 & 897 & 908 & 1 & 3 & 061\cr [154 & 087]& 154 & 170 & 275 & 426 & 503 & 509 & 512 & 612 & 653 & 677 & 703 & 765 & 897 & 908 & 1 & 2 & 061\cr [061]& 087 & 154 & 170 & 275 & 426 & 503 & 509 & 512 & 612 & 653 & 677 & 703 & 765 & 897 & 908 & 1 & 1 & 061\cr }} \prog H.(Рйтбнйдбмшобс уптфйтпчлб.) Ъбрйуй, обипдсэйеус ч сюеклби у~$|INPUT|+1$ рп~$|INPUT|+N$, уптфйтхафус ртй рпнпэй бмзптйфнб~H; тезйуфтщ ртйойнбаф умедхаэйе ъобюеойс: $|rI1|\equiv l-1$, $|rI2|\equiv r-1$, $|rI3|\equiv i$, $|rI4|\equiv j$, $|rI5|\equiv r-l$, $|rA|\equiv K \equiv R$, $|rX|\equiv R_j$. \code START & ENT1 & N/2 & 1 & H1. Обюбмшобс хуфбопчлб $l\asg \floor{N/2}+1$. & ENT2 & N-1 & 1 & $r\asg N$. 1H & DEC1 & 1 & \floor{N/2} & $l\asg l-1$. & LDA & INPUT+1,1 & \floor{N/2} & $R\asg R_l$, $K\asg K_l$. 3H & ENT4 & 1,1 & P & H3. Ртйзпфпчйфшус л "ртпфбулйчбойа". $j\asg l$. & ENT5 & 0,2 & P & DEC5 & 0,1 & P & $|rI5|\asg r-j$. %% 180 & JMP & 4Т & P & Л ыбзх~H4. 5H & LDX & INPUT 4 & B+A-D & H5. Обкфй "впмшыезп" ущоб. & CMPX & INPUT+1,4 & B+A-D & JOE & 6F & B+A-D & Ретеипд, еумй~$K_j\ge K_{j+1}$. & INC4 & 1 & C & Ч ртпфйчопн умхюбе хуфбопчйфш~$j\asg j+1$. & DECS & 1 & C 9H & LDX & INPUT,4 & C+D & $|rX|\asg R_j$. 6H & CMPA & INPUT,4 & B+A & H6. Впмшые~$K$? & JGE & 8F & B+A & Л H8, еумй~$K\ge K_j$. 7H & STX & INPUT,3 & B & H7. Рпдосфш езп ччети. $R_i \asg R_j$. 4H & ENT3 & 0,4 & B+P & H4. Ртпдчйохфшус чойъ. & DEC5 & 0,4 & B+P & $|rI5|\asg|rI5|-j$. & INC4 & 0,4 & B+P & $j\asg j+j$. & J5P & 5B & B+P & Л H5, еумй~$j1$. & STA & INPUT+1 & 1 & $R_1\asg R$. \endcode \progend Ьфб ртпзтбннб ртйвмйъйфемшоп мйыш чдчпе дмйооее ртпзтбннщ~S, оп ртй впмшыйи~$N$ поб зптбъдп впмее ьжжелфйчоб. Ее чтенс тбвпфщ ъбчйуйф пф $$ \eqalign{ P &= N+\floor{N/2}-2 = \hbox{юйумп "ртпфбулйчбойк"};\cr A &= \hbox{юйумп ртпфбулйчбойк, ртй лпфптщи лмаю~$K$ ч лпоге рпрбдбеф чп чохфтеоойк хъем рйтбнйдщ};\cr B &=\hbox{ухннбтопе юйумп лмаюек, ртпунпфтеоощи чп чтенс ртпфбулйчбойк;}\cr C &= \hbox{юйумп ртйучбйчбойк~$j\asg j+1$ ч ыбзе~H5};\cr D &= \hbox{юйумп умхюбеч, лпздб ч ыбзе~H4 $j=r$.}\cr } $$ Ьфй чемйюйощ ртпбобмйъйтпчбощ ойце. Лбл рплбъщчбеф ртблфйлб, пой утбчойфемшоп нбмп пфлмпосафус пф учпйи утедойи ъобюеойк: $$ \matrix{ A \approx 0.349 N;\hfill & B \approx N \log_2 N - 1.87 N;\hfill \cr C \approx {1\over 2}N\log_2 N - 0.9N;\hfill & D \approx \ln N.\hfill\cr } \eqno(7) $$ Ртй~$N=1000$, обртйнет, юефщте ьлуретйнеофб уп умхюбкощнй йуипдощнй дбоощнй рплбъбмй уппфчефуфчеооп теъхмшфбфщ $(A, B, C, D)=(371, 8055, 4056, 12)$, $(351, 8072, 4087, 14)$, $(341, 8094, 4017, 8)$, $(340, 8108, 4083, 13)$. Пвэее чтенс тбвпфщ %% 181 \bye