\input style \chapnotrue \chapno=5 \subchno=1 %% 93 \subchap{âÍÓÒÐÅÍÍßß ÑÎÐÒÈÐÎÂÊÀ} íÀ×ÍÅÌ ÎÁÑÓÆÄÅÍÈÅ ÕÎÐÎØÅÃÎ "ÑÎÐÒÈÐÎÂÀÍÈß" Ñ ÌÀËÅÍÜÊÎÃÎ ÝÊÑÏÅÐÈÌÅÍÒÀ: ÊÀÊ ÁÛ ÂÛ ÐÅØÈËÈ ÑËÅÄÓÞÙÓÞ ÇÀÄÀ×Ó ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈß? $$ \vtop{ \narrower "ÿ×ÅÉÊÈ ÏÀÌßÒÈ $|R|+1$, $|R|+2$, $|R|+3$, $|R|+4$ È~$|R|+5$ ÑÎÄÅÐÆÀÒ ÏßÒÜ ×ÈÑÅË. íÀÏÈØÈÒÅ ÏÐÎÃÐÀÌÌÓ, ÊÎÒÎÐÀß ÏÅÐÅÐÀÇÌÅÙÀÅÒ, ÅÑËÈ ÍÓÆÍÎ, ÝÒÈ ×ÈÑËÀ ÒÀÊ, ×ÒÎÁÛ ÎÍÈ ÐÀÑÏÎËÎÆÈËÈÑÜ Â ÂÎÇÐÀÑÒÀÞÙÅÌ ÏÎÐßÄÊÅ." \par } $$ (åÑËÈ ÂÛ ÓÆÅ ÇÍÀÊÎÌÛ Ñ ÊÀÊÈÌÈ-ËÈÁÎ ÌÅÒÎÄÀÌÈ ÑÎÐÒÈÐÎÂÊÈ, ÏÎÑÒÀÐÀÉÒÅÑÜ, ÏÎÆÀËÓÉÑÒÀ, ÍÀ ÌÈÍÓÒÓ ÇÀÁÛÒÜ Î ÍÈÕ; ÂÎÎÁÐÀÇÈÒÅ, ×ÒÎ ÂÛ ÐÅØÀÅÒÅ ÒÀÊÓÞ ÇÀÄÀ×Ó ÂÏÅÐÂÛÅ, ÍÅ ÈÌÅß ÍÈÊÀÊÈÕ ÏÐÅÄÂÀÐÈÒÅËÜÍÛÕ ÇÍÀÍÈÉ Î ÒÎÌ, ÊÀÊ Ê ÍÅÉ ÏÎÄÑÒÓÏÈÒÜÑß.) \bigskip \emph{ ïÐÅÆÄÅ ×ÅÌ ×ÈÒÀÒÜ ÄÀËÜØÅ, ÍÀÑÒÎßÒÅËÜÍÎ ÏÐÎÑÈÌ ÂÀÑ ÍÀÉÒÈ ÕÎÒÜ ÊÀÊÎÅ-ÍÈÁÓÄÜ ÐÅØÅÍÈÅ ÝÒÎÉ ÇÀÄÀ×È. } \bigskip \line{\null\leaders\hbox to 1em{\hss.\hss}\hfill\null} \bigskip âÐÅÌß, ÇÀÒÐÀ×ÅÍÍÎÅ ÍÀ ÐÅØÅÍÈÅ ÏÐÈÂÅÄÅÍÍÎÉ ÂÛØÅ ÇÀÄÀ×È, ÎÊÓÏÈÒÑß Ñ ËÈÕÂÎÉ, ÊÎÃÄÀ ÂÛ ÏÐÎÄÎËÆÈÒÅ ×ÒÅÍÈÅ ÝÒÎÉ ÃËÀÂÛ. âÎÇÌÎÆÍÎ, ÂÀØÅ ÐÅØÅÍÈÅ ÎÊÀÆÅÒÑß ÎÄÍÈÌ ÈÇ ÑËÅÄÓÞÙÈÕ: \medskip A.{\sl ñÎÐÒÈÐÎÂÊÀ ÂÑÒÀÂÊÀÌÈ.\/} ýËÅÌÅÍÒÛ ÏÐÎÑÌÀÒÐÈÂÀÞÒÑß ÏÎ ÎÄÍÎÌÓ, È ÊÀÆÄÛÉ ÍÎÂÛÉ ÝËÅÌÅÍÒ ÂÑÒÀÂËßÅÒÑß Â ÏÎÄÕÎÄßÙÅÅ ÌÅÑÒÎ ÑÐÅÄÈ ÐÀÍÅÅ ÓÏÎÐßÄÎ×ÅÍÍÛÕ ÝËÅÌÅÍÒÎÂ. (èÌÅÍÍÎ ÒÀÊÈÌ ÑÏÎÑÎÁÎÌ ÈÃÐÎÊÈ Â ÁÐÈÄÆ ÓÏÎÐßÄÎ×ÈÂÀÞÒ ÑÂÎÈ ÊÀÐÒÛ, ÁÅÐß ÏÎ ÎÄÍÎÉ.) B.{\sl îÁÌÅÍÍÀß ÑÎÐÒÈÐÎÂÊÀ.\/} åÑËÈ ÄÂÀ ÝËÅÌÅÍÒÀ ÐÀÑÏÎËÎÆÅÍÛ ÍÅ ÏÎ ÏÎÐßÄÊÓ, ÒÎ ÎÍÈ ÌÅÍßÞÒÑß ÌÅÑÒÀÌÈ. ýÒÎÒ ÏÐÎÖÅÑÑ ÏÎÂÒÎÐßÅÒÑß ÄÎ ÒÅÕ ÏÎÐ, ÏÎÊÀ ÝËÅÌÅÍÒÛ ÍÅ ÁÓÄÓÒ ÓÏÎÐßÄÎ×ÅÍÛ. C. {\sl ñÎÐÒÈÐÎÂÊÀ ÏÎÑÐÅÄÑÒÂÎÌ ÂÛÁÎÐÀ.\/} ñÍÀ×ÀËÀ ÂÛÄÅËßÅÒÑß ÍÀÈÌÅÍÜØÈÉ (ÈËÈ. ÁÛÒÜ ÌÎÆÅÒ, ÍÀÈÁÎËÜØÈÉ) ÝËÅÌÅÍÒ È ÊÀÊÈÌ-ËÈÁÎ ÎÁÐÀÇÎÌ ÎÒÄÅËßÅÒÑß ÎÒ ÎÑÒÀËÜÍÛÕ, ÇÀÒÅÌ ÂÛÁÈÐÀÅÒÑß ÍÀÈÌÅÍÜØÈÉ (ÍÀÈÁÎËÜØÈÉ) ÈÇ ÎÑÒÀÂØÈÕÑß È Ò. Ä. D. {\sl ñÎÐÒÈÐÎÂÊÀ ÏÎÄÑ×ÅÒÎÌ.\/} êÀÆÄÛÉ ÝËÅÌÅÍÒ ÑÐÀÂÍÈÂÀÅÒÑß ÑÎ ÂÑÅÌÈ ÎÑÒÀËÜÍÛÌÈ; ÎÊÎÍ×ÀÒÅËÜÍÎÅ-ÏÎËÎÆÅÍÈÅ ÝËÅÌÅÍÒÀ ÎÏÐÅÄÅËßÅÒÑß ÏÎÄÑ×ÅÒÎÌ ×ÈÑËÀ ÌÅÍÜØÈÕ ÊËÞ×ÅÉ. E. {\sl ñÏÅÖÈÀËÜÍÀß ÑÎÐÒÈÐÎÂÊÀ\/}, ÊÎÒÎÐÀß ÕÎÐÎØÀ ÄËß ÏßÒÈ ÝËÅÌÅÍÒÎÂ, ÓÊÀÇÀÍÍÛÕ Â ÇÀÄÀ×Å, ÍÎ ÍÅ ÏÎÄÄÀÅÒÑß ÏÐÎÑÒÎÌÓ ÎÁÎÁÙÅÍÈÞ ÍÀ. ÑËÓ×ÀÉ ÁÎËÜØÅÃÎ ×ÈÑËÀ ÝËÅÌÅÍÒÎÂ. %% 94 F. {\sl ëÅÍÈÂÎÅ ÐÅØÅÍÈÅ.\/} âÛ ÍÅ ÎÒÊËÈÊÍÓËÈÑÜ ÍÀ ÍÀØÅ ÏÐÅÄËÎÆÅÍÈÅ È ÎÒÊÀÇÀËÈÑÜ ÐÅØÀÒÜ ÇÀÄÀ×Ó. æÀËÜ, ÍÎ ÒÅÏÅÐÜ, ÊÎÃÄÀ ÂÛ ÏÐÎ×ËÈ ÒÀÊ ÌÍÎÃÎ, ÂÀØ ØÀÍÑ ÓÏÓÙÅÍ. G. {\sl íÎÂÀß ÑÓÏÅÐÑÎÐÒÈÐÎÂÊÀ\/}, ÊÎÒÎÐÀß ÏÐÅÄÑÒÀÂËßÅÒ ÑÎÁÎÉ ÎÏÐÅÄÅËÅÍÍÎÅ ÓÑÎÂÅÐØÅÍÑÒÂÎÂÀÍÈÅ ÈÇÂÅÑÒÍÛÕ ÌÅÒÎÄÎÂ. (ïÎÆÀËÓÉÑÒÀ, ÍÅÌÅÄËÅÍÍÎ ÑÎÎÁÙÈÒÅ ÎÁ ÝÒÎÌ ÀÂÒÎÐÓ.) \medskip åÑËÈ ÁÛ ÝÒÀ ÇÀÄÀ×À ÁÛËÀ ÑÔÎÐÌÓËÈÐÎÂÀÍÀ, ÑÊÀÆÅÌ, ÄËß 1000 ÝËÅÌÅÍÒÎÂ, À ÍÅ ÄËß 5, ÒÎ ÂÛ ÌÎÃËÈ ÁÛ ÎÒÊÐÛÒÜ È ÍÅÊÎÒÎÐÛÅ ÁÎËÅÅ ÒÎÍÊÈÅ ÌÅÒÎÄÛ, Î ÊÎÒÎÐÛÕ ÁÓÄÅÒ ÓÏÎÌßÍÓÒÎ ÍÈÆÅ. â ËÞÁÎÌ ÑËÓ×ÀÅ, ÏÐÈÑÒÓÏÀß Ê ÍÎÂÎÉ ÇÀÄÀ×Å, ÐÀÇÓÌÍÎ ÍÀÉÒÈ ÊÀÊÓÞ-ÍÈÁÓÄÜ Î×ÅÂÈÄÍÓÞ ÏÐÎÖÅÄÓÐÓ, À ÇÀÒÅÌ ÏÎÏÛÒÀÒÜÑß ÓËÓ×ØÈÒÜ ÅÅ. ñËÓ×ÀÈ à, â È ñ ÏÐÈÂÎÄßÒ Ê ÂÀÆÍÛÌ ÊËÀÑÑÀÌ ÌÅÒÎÄΠÑÎÐÒÈÐÎÂÊÈ, ÊÎÒÎÐÛÅ ÏÐÅÄÑÒÀÂËßÞÒ ÑÎÁÎÉ ÓÑÎÂÅÐØÅÍÑÒÂÎÂÀÍÈß ÑÔÎÐÌÓËÈÐÎÂÀÍÍÛÕ ÂÛØÅ ÏÐÎÑÒÛÕ ÈÄÅÉ. áÛËÎ ÈÇÎÁÐÅÒÅÍÎ ÌÍÎÆÅÑÒÂÎ ÐÀÇËÈ×ÍÛÕ ÀËÃÎÐÈÒÌΠÑÎÐÒÈÐÎÂÊÈ, È Â ÝÒÎÉ ÊÍÈÃÅ ÐÀÑÑÌÀÒÐÈÂÀÅÒÑß ÎÊÎËÎ 25 ÈÇ ÍÈÕ. ýÒÎ ÏÓÃÀÞÙÅÅ ÊÎËÈ×ÅÑÒÂÅ ÌÅÒÎÄΠÍÀ ÑÀÌÎÌ ÄÅËÅ ËÈØÜ ÌÀËÀß ÒÎËÈÊÀ ÂÑÅÕ ÀËÃÎÐÈÒÌÎÂ, ÏÐÈÄÓÌÀÍÍÛÕ ÄÎ ÑÈÕ ÏÎÐ; ÌÍÎÃÈÅ, ÓÆÅ ÓÑÒÀÐÅÂØÈÅ ÌÅÒÎÄÛ ÌÛ ÂÎÂÑÅ ÍÅ ÁÓÄÅÌ ÐÀÑÑÌÀÒÐÈÂÀÒÜ ÈËÈ ÓÏÎÌßÍÅÌ ËÈØÜ ÂÑÊÎËÜÇÜ. ïÎ×ÅÌÓ ÆÅ ÒÀÊ ÌÍÎÃÎ ÌÅÒÎÄΠÑÎÐÒÈÐÎÂÊÈ? äËß ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈß ÝÒÎ ×ÀÑÒÍÛÉ ÑËÓ×ÀÉ ÂÎÏÐÎÑÀ: "ïÎ×ÅÌÓ ÑÓÙÅÑÒÂÓÅÒ ÒÀÊ ÌÍÎÃÎ ÌÅÒÎÄΠ$x$?", ÃÄÅ $x$ ÏÐÎÁÅÃÀÅÒ ÌÍÎÆÅÑÒÂÎ ÂÑÅÕ ÇÀÄÀ×. îÒÂÅÒ ÑÎÑÒÎÈÒ Â ÒÎÌ, ×ÒÎ ÊÀÆÄÛÉ ÌÅÒÎÄ ÈÌÅÅÒ ÑÂÎÈ ÏÐÅÈÌÓÙÅÑÒÂÀ È ÍÅÄÎÑÒÀÒÊÈ, ÏÎÝÒÎÌÓ ÎÍ ÎÊÀÇÛÂÀÅÒÑß ÝÔÔÅÊÒÈÂÍÅÅ ÄÐÓÃÈÕ ÏÐÈ ÍÅÊÎÒÎÐÛÕ ÊÎÍÔÈÃÓÐÀÖÈßÕ ÄÀÍÍÛÕ È ÀÏÏÀÐÀÒÓÐÛ. ê ÑÎÆÀËÅÍÈÞ, ÍÅÈÇÂÅÑÒÅÍ "ÍÀÈËÓ×ØÈÉ" ÑÏÎÑÎÁ ÑÎÐÒÈÐÎÂÊÈ; ÑÓÙÅÑÒÂÓÅÒ \emph{ÌÍÎÃÎ} ÍÀÈËÓ×ØÈÕ ÌÅÒÎÄΠ ÇÀÂÈÑÈÌÎÑÒÈ ÎÒ ÒÎÃÎ, ×ÒÎ ÑÎÐÒÈÐÓÅÒÑß, ÍÀ ÊÀÊÎÉ ÌÀØÈÍÅ, ÄËß ÊÀÊÎÉ ÖÅËÈ. ãÎÂÎÐß ÑËÎÂÀÌÈ ðÅÄÜßÐÄÀ êÈÏËÈÍÃÀ, "ÑÓÙÅÑÒÂÓÅÒ 9 È ÅÙÅ 60 ÑÏÎÑÎÁΠÑËÎÆÈÒÜ ÏÅÑÍÞ ÏËÅÌÅÍÈ, È ÊÀÆÄÛÉ ÈÇ ÍÈÕ Â ÎÒÄÅËÜÍÎÑÒÈ ÕÎÐÎØ". ïÎËÅÇÍÎ ÈÇÓ×ÈÒÜ ÕÀÐÀÊÒÅÐÈÑÒÈÊÈ ÊÀÆÄÎÃÎ ÌÅÒÎÄÀ ÑÎÐÒÈÐÎÂÊÈ, ×ÒÎÁÛ ÌÎÆÍÎ ÁÛËÎ ÏÐÎÈÇÂÎÄÈÒÜ ÐÀÇÓÌÍÛÉ ÂÛÁÎÐ ÄËß ÊÎÍÊÐÅÒÍÛÕ ÏÐÈËÎÆÅÍÈÉ. ê Ñ×ÀÑÒÜÞ, ÇÀÄÀ×À ÈÇÓ×ÅÍÈß ÝÒÈÕ ÀËÃÎÐÈÒÌΠÍÅ ÑÒÎËÜ ÓÆ ÃÐÎÌÎÇÄÊÀ, ÏÎÑÊÎËÜÊÓ ÌÅÆÄÓ ÍÈÌÈ ÑÓÙÅÑÒÂÓÞÒ ÈÍÒÅÐÅÑÍÛÅ ÂÇÀÈÌÎÑÂßÇÈ. â ÍÀ×ÀËÅ ÝÒÎÉ ÃËÀÂÛ ÌÛ ÂÂÅËÈ ÎÑÍÎÂÍÓÞ ÒÅÐÌÈÍÎËÎÃÈÞ È ÎÁÎÇÍÀ×ÅÍÈß, ÊÎÒÎÐÛÅ È ÁÓÄÅÌ ÈÑÏÎËÜÇÎÂÀÒÜ ÏÐÈ ÈÇÓ×ÅÍÈÈ ÑÎÐÒÈÐÎÂÊÈ. çÀÏÈÑÈ $$ R_1, R_2, \ldots, R_N \eqno(1) $$ ÄÎËÆÍÛ ÁÛÒÜ ÎÒÑÎÐÒÈÐÎÂÀÍÛ Â ÍÅÓÁÛÂÀÞÙÅÌ ÏÎÐßÄÊÅ ÏÎ ÑÂÎÈÌ ÊËÞ×ÀÌ $K_1$, $K_2$, \dots, $K_N$, ÏÎ ÑÓÙÅÑÒÂÓ, ÏÓÒÅÌ ÍÀÕÎÆÄÅÍÈß ÏÅÐÅÑÒÀÍÎÂÊÈ $p(1)$ $p(2)$ \dots $p(N)$, ÒÀÊÎÉ, ×ÒÎ $$ K_{p(1)}\le K_{p(2)}\le \ldots \le K_{p(N)}. \eqno(2) $$ %% 95 â ÝÒÎÌ ÏÀÐÀÃÐÀÔÅ ÐÀÑÑÌÀÒÐÈÂÀÅÒÑß \dfn{ÂÍÓÒÐÅÍÍßß ÑÎÐÒÈÐÎÂÊÀ}, ÊÎÃÄÀ ×ÈÑËÎ ÇÀÏÈÑÅÉ, ÏÎÄËÅÆÀÙÈÕ ÑÎÐÒÈÐÎÂÊÅ, ÄÎÑÒÀÒÎ×ÍÎ ÌÀËÎ, ÒÀÊ ×ÒÎ ÂÅÑÜ ÏÐÎÖÅÑÑ ÌÎÆÍÎ ÏÐÎÂÅÑÒÈ Â ÎÏÅÐÀÒÈÂÍÎÉ ÏÀÌßÒÈ ýâì. â ÎÄÍÈÕ ÑËÓ×ÀßÕ ÌÎÆÅÒ ÏÎÍÀÄÎÁÈÒÜÑß ÔÈÇÈ×ÅÑÊÈ ÏÅÐÅÐÀÇÌÅÑÒÈÒÜ ÇÀÏÈÑÈ Â ÏÀÌßÒÈ ÒÀÊ, ×ÒÎÁÛ ÈÕ ÊËÞ×È ÁÛËÈ ÓÏÎÐßÄÎ×ÅÍÛ;  ÄÐÓÃÈÕ ÌÎÆÍÎ ÎÁÎÉÒÈÑÜ ÂÑÏÎÌÎÃÀÒÅËÜÍÎÉ ÒÀÁËÈÖÅÉ ÍÅÊÎÒÎÐÎÃÎ \picture{ðÈÑ. 6. ñÎÐÒÈÐÎÂÊÀ ÒÀÁËÈÖÛ ÀÄÐÅÑÎÂ.} ÂÈÄÀ, ÊÎÒÎÐÀß ÎÏÐÅÄÅËßÅÒ ÏÅÐÅÑÒÀÍÎÂÊÓ. åÑËÈ ÇÀÏÈÑÈ È/ÈËÈ ÊËÞ×È ÇÀÍÈÌÀÞÒ ÍÅÑÊÎËÜÊÎ ÑËΠÏÀÌßÒÈ, ÒÎ ×ÀÑÒÎ ËÓ×ØÅ ÑÎÑÒÀÂÈÒÜ ÍÎÂÓÞ ÒÀÁËÈÖÓ ÀÄÐÅÑΠ(ÑÑÛËÎÊ), ÊÎÒÎÐÛÅ ÓÊÀÇÛÂÀÞÒ ÍÀ ÇÀÏÈÑÈ, È ÐÀÁÎÒÀÒÜ Ñ ÝÒÈÌÈ ÀÄÐÅÑÀÌÈ, ÍÅ ÏÅÐÅÌÅÙÀß ÃÐÎÌÎÇÄÊÈÅ ÇÀÏÈÑÈ. òÀÊÎÉ ÌÅÒÎÄ ÍÀÇÛÂÀÅÒÑß \dfn{ÑÎÐÒÈÐÎÂÊÎÉ ÒÀÁËÈÖÛ ÀÄÐÅÑÎÂ} \picture{ðÈÑ. 7. ñÎÐÒÈÐÎÂÊÀ ÑÏÈÑÊÀ.} (ÐÈÑ~ 6.). åÑËÈ ÊËÞ×È ÊÎÐÎÒÊÈÅ, À ÑÎÏÓÒÑÒÂÓÞÙÀß ÈÍÔÎÐÌÀÖÈß Â ÇÀÏÈÑßÕ ÂÅËÈÊÀ, ÒÎ ÄËß ÏÎÂÛØÅÍÈß ÑÊÎÐÎÑÒÈ ÊËÞ×È ÌÎÆÍÎ ÂÛÍÅÑÒÈ Â ÒÀÁËÈÖÓ ÀÄÐÅÑÎÂ; ÝÒÎ ÍÀÇÛÂÀÅÒÑß \dfn{ÑÎÐÒÈÐÎÂÊÎÉ ÊËÞ×ÅÉ}. äÐÓÃÈÅ ÑÕÅÌÛ ÑÎÐÒÈÐÎÂÊÈ ÈÑÏÎËÜÇÓÞÒ ÂÑÏÎÌÎÃÀÒÅËÜÍÎÅ ÏÎËÅ ÑÂßÇÈ, ÊÎÒÎÐÎÅ ÂÊËÞ×ÀÅÒÑß Â ÊÀÆÄÓÞ ÇÀÏÈÑÜ. ñÂßÇÈ ÎÁÐÀÁÀÒÛÂÀÞÒÑß ÒÀÊÈÌ ÎÁÐÀÇÎÌ, ×ÒÎ Â ÐÅÇÓËÜÒÀÒÅ ÂÑÅ ÇÀÏÈÑÈ ÎÊÀÇÛÂÀÞÒÑß ÑÂßÇÀÍÍÛÌÈ Â ËÈÍÅÉÍÛÉ ÑÏÈÑÎÊ,  ÊÎÒÎÐÎÌ ÊÀÆÄÀß ÑÂßÇÜ ÓÊÀÇÛÂÀÅÒ ÍÀ ÑËÅÄÓÞÙÓÞ ÏÎ ÏÎÐßÄÊÓ ÇÀÏÈÑÜ. ýÒÎ ÍÀÇÛÂÀÅÒÑß \dfn{ÑÎÐÒÈÐÎÂÊÎÉ ÑÏÈÑÊÀ} (ÐÈÑ. 7). %% 96 ïÎÑËÅ ÑÎÐÒÈÐÎÂÊÈ ÒÀÁËÈÖÛ ÀÄÐÅÑΠÈËÈ ÑÎÐÒÈÐÎÂÊÈ ÑÏÈÑÊÀ ÌÎÆÍÎ ÏÎ ÆÅËÀÍÈÞ ÐÀÑÏÎËÎÆÈÒÜ ÇÀÏÈÑÈ Â ÍÅÓÁÛÂÀÞÙÅÌ ÏÎÐßÄÊÅ. äËß ÝÒÎÃÎ ÈÌÅÅÒÑß ÍÅÑÊÎËÜÊÎ ÑÏÎÑÎÁÎÂ, ÒÐÅÁÓÞÙÈÕ ÄÎÏÎËÍÈÒÅËÜÍÎÉ ÏÀÌßÒÈ ÄËß ÕÐÀÍÅÍÈß ÂÑÅÃÎ ÎÄÍÎÉ ÇÀÏÈÑÈ (ÑÌ. ÓÏÐ. Ñ 10 ÏÎ 12); ÈËÈ ÆÅ ÌÎÆÍÎ ÏÐÎÑÒÎ ÏÅÐÅÌÅÑÒÈÒÜ ÇÀÏÈÑÈ Â ÍÎÂÓÞ ÎÁËÀÑÒÜ ÏÀÌßÒÈ, ÅÑËÈ ÎÍÀ ÌÎÆÅÒ ÂÌÅÑÒÈÒÜ ÂÑÅ ÝÒÈ ÇÀÏÈÑÈ. ïÎÑËÅÄÍÈÉ ÑÏÎÑÎÁ ÎÁÛ×ÍÎ ÂÄÂÎÅ ÁÛÑÒÐÅÅ ÏÅÐÂÎÃÎ, ÍÎ ÒÐÅÁÓÅÒ ÏÎ×ÒÈ Â ÄÂÀ ÐÀÇÀ ÁÎËÜØÅ ÏÀÌßÒÈ. âÎ ÌÍÎÃÈÕ ÏÐÈËÎÆÅÍÈßÕ ÂÎÂÑÅ ÍÅ ÎÁßÇÀÒÅËÜÍÎ ÏÅÐÅÌÅÙÀÒÜ ÇÀÏÈÑÈ, ÒÀÊ ÊÀÊ ÏÎËß ÑÂßÇÈ, ÊÀÊ ÏÐÀÂÈËÎ, ÂÏÎËÍÅ ÏÐÈÅÌËÅÌÛ ÄËß ÎÏÅÐÀÖÈÉ Ñ ÏÎÑËÅÄÎÂÀÒÅËÜÍÎÉ ÀÄÐÅÑÀÖÈÅÉ. âÑÅ ÌÅÒÎÄÛ ÑÎÐÒÈÐÎÂÊÈ, ÊÎÒÎÐÛÅ ÌÛ ÈÑÑËÅÄÓÅÌ "ÄÎÑÊÎÍÀËÜÍÎ", ÁÓÄÓÒ ÏÐÎÈËËÞÑÒÐÈÐÎÂÀÍÛ ×ÅÒÛÐÜÌß ÑÏÎÑÎÁÀÌÈ: ÏÎÑÐÅÄÑÒÂÎÌ \medskip \item{a)} ÑËÎÂÅÑÍÎÃÎ ÎÏÈÑÀÍÈß ÀËÃÎÐÈÒÌÀ, \item{b)} ÁËÎÊ-ÑÕÅÌÛ, \item{c)} ÏÐÎÃÐÀÌÌÛ ÄËß ÌÀØÈÍÛ \MIX, \item{d)} ÏÐÈÌÅÐÀ ÏÐÈÌÅÍÅÍÈß ÝÒÎÃÎ ÌÅÒÎÄÀ ÑÎÐÒÈÐÎÂÊÈ Ê ÇÀÄÀÍÍÎÌÓ ÌÍÎÆÅÑÒÂÓ ×ÈÑÅË. \medskip [â ÒÅÕ ÏÐÈÌÅÐÀÕ, ÃÄÅ ÝÒÎ ÓÌÅÑÒÍÎ, ÁÓÄÅÒ ÎÁÐÀÁÀÒÛÂÀÒÜÑß ÌÍÎÆÅÑÒÂÎ ÈÇ 16 ×ÈÑÅË, ÊÎÒÎÐÛÅ ÀÂÒÎÐ, ÏÎËÜÇÓßÑÜ ÍÀÁÎÐÎÌ ÄÅÑßÒÈ×ÍÛÕ ÈÃÐÀËÜÍÛÕ ÊÎÑÒÅÉ, ÂÛÁÐÀË ÑËÓ×ÀÉÍÛÌ ÎÁÐÀÇÎÌ 19 ÌÀÐÒÀ 1963 Ã.; ÑÐ. Ñ ÓÏÐ. 3.1--1 (Ñ).] èÇ ÑÎÎÁÐÀÆÅÍÈÉ ÓÄÎÁÑÒÂÀ ÏÐÎÃÐÀÌÌÛ ÄËß ÌÀØÈÍÛ \MIX\ ÁÓÄÓÒ, ÊÀÊ ÏÐÀÂÈËÎ, ÍÀÏÈÑÀÍÛ Â ÏÐÅÄÏÎËÎÆÅÍÈÈ, ×ÒÎ ÊËÞ× ×ÈÑËÎÂÎÉ È ×ÒÎ ÎÍ ÏÎÌÅÙÀÅÒÑß Â ÎÄÍÎÌ ÑËÎÂÅ; ÈÍÎÃÄÀ ÌÛ ÄÀÆÅ ÁÓÄÅÌ ÎÃÐÀÍÈ×ÈÂÀÒÜ ÇÍÀ×ÅÍÈß ÊËÞ×ÅÉ ÒÀÊ, ×ÒÎÁÛ ÎÍÈ ÇÀÍÈÌÀËÈ ËÈØÜ ×ÀÑÒÜ ÑËÎÂÀ. îÒÍÎØÅÍÈÅÌ ÏÎÐßÄÊÀ $<$ ÁÓÄÅÒ ÎÁÛ×ÍÎÅ ÀÐÈÔÌÅÒÈ×ÅÑÊÎÅ ÎÒÍÎØÅÍÈÅ ÏÎÐßÄÊÀ, À ÇÀÏÈÑÈ ÁÓÄÓÒ ÑÎÑÒÎßÒÜ ÈÇ ÎÄÍÎÃÎ ÊËÞ×À, ÁÅÇ ÑÎÏÓÒÑÒÂÓÞÙÅÉ ÈÍÔÎÐÌÀÖÈÈ. â ÝÒÈÕ ÏÐÅÄÏÎËÎÆÅÍÈßÕ ÏÐÎÃÐÀÌÌÛ ÏÎËÓ×ÀÞÒÑß ÊÎÐÎ×Å, ÏÐÎÙÅ ÄËß ÏÎÍÈÌÀÍÈß, È ÍÅ ÏÐÅÄÑÒÀÂËßÅÒ ÒÐÓÄÀ ÐÀÑÏÐÎÑÒÐÀÍÈÒÜ ÈÕ ÍÀ ÎÁÙÈÉ ÑËÓ×ÀÉ (ÍÀÏÐÈÌÅÐ, ÏÐÈÌÅÍßß ÑÎÐÒÈÐÎÂÊÓ ÒÀÁËÈÖ ÀÄÐÅÑÎÂ). âÌÅÑÒÅ Ñ \MIX-ÏÐÎÃÐÀÌÌÀÌÈ ÏÐÈÂÎÄÈÒÑß ÀÍÀËÈÇ ÂÐÅÌÅÍÈ ÂÛÏÎËÍÅÍÈß ÑÎÎÒÂÅÒÑÒÂÓÞÙÅÃÎ ÀËÃÎÐÈÒÌÀ ÑÎÐÒÈÐÎÂÊÈ. \section ñÎÐÒÈÐÎÂÊÀ ÏÎÄÑ×ÅÒÎÌ. ÷ÒÎÁÛ ÏÐÎÈËËÞÑÒÐÈÐÎÂÀÒÜ ÑÏÎÑÎÁ, ÊÎÒÎÐÛÌ ÌÛ ÁÓÄÅÌ ÈÇÓ×ÀÒÜ ÌÅÒÎÄÛ ÂÍÓÒÐÅÍÍÅÉ ÑÎÐÒÈÐÎÂÊÈ, ÐÀÑÑÌÎÒÐÈÌ ÈÄÅÞ "ÏÎÄÑ×ÅÒÀ", ÓÏÎÌßÍÓÒÓÞ Â ÍÀ×ÀËÅ ÝÒÎÃÎ ÏÀÐÀÃÐÀÔÀ. ýÒÎÒ ÏÐÎÑÒÎÉ ÌÅÒÎÄ ÎÑÍÎÂÀÍ ÍÀ ÒÎÌ, ×ÒÎ $j$-É ÊËÞ× Â ÎÊÎÍ×ÀÒÅËÜÍÎ ÓÏÎÐßÄÎ×ÅÍÍÎÉ ÏÎÑËÅÄÎÂÀÒÅËÜÍÎÑÒÈ ÏÐÅÂÛØÀÅÒ ÐÎÂÍÎ $(j-1)$ ÈÇ ÎÑÒÀËÜÍÛÕ ÊËÞ×ÅÉ. èÍÀ×Å ÃÎÂÎÐß, ÅÑËÈ ÈÇÂÅÑÒÍÎ, ×ÒÎ ÍÅÊÎÒÎÐÛÉ ÊËÞ× ÏÐÅÂÛØÀÅÒ ÐÎÂÍÎ 27 ÄÐÓÃÈÕ, ÒÎ ÏÎÑËÅ ÑÎÐÒÈÐÎÂÊÈ ÑÎÎÒÂÅÒÑÒÂÓÞÙÀß ÇÀÏÈÑÜ ÄÎËÆÍÀ ÇÀÍßÒÜ 28-Å ÌÅÑÒÎ. òÀÊÈÌ ÎÁÐÀÇÎÌ, ÈÄÅß ÑÎÑÒÎÈÒ Â ÒÎÌ, ×ÒÎÁÛ ÑÐÀÂÍÈÒÜ ÏÎÏÀÐÍÎ ÂÑÅ ÊËÞ×È È ÏÎÄÑ×ÈÒÀÒÜ, ÑÊÎËÜÊÎ ÈÇ ÍÈÕ ÌÅÍÜØÅ ÊÀÆÄÎÃÎ ÎÒÄÅËÜÍÎÃÎ ÊËÞ×À. %% 97 î×ÅÂÈÄÍÛÉ ÑÏÎÑÎÁ ÂÛÏÎËÍÈÒÜ ÑÐÀÂÍÅÍÈß--- $$ \hfill \hbox{((ÑÐÀÂÍÈÒÜ $K_j$ c $K_i$) ÏÐÈ $1\le j \le N$) ÏÐÈ $1\le i\le N$,} \hfill $$ ÍÎ ËÅÃÊÎ ÂÈÄÅÒÜ, ×ÒÎ ÁÎËÅÅ ÏÎËÎÂÈÍÛ ÝÒÈÕ ÄÅÉÑÒÂÈÉ ÈÇËÈØÍÈ, ÏÎÑÊÎËÜÊÓ ÍÅ ÍÓÆÍÎ ÑÐÀÂÍÈÂÀÒÜ ÊËÞ× ÑÀÌ Ñ ÑÎÁÎÉ È ÏÎÑËÅ ÑÐÀÂÍÅÍÈß $K_a$ Ñ $K_b$ ÓÆÅ ÍÅ ÍÀÄÎ ÑÐÀÂÍÈÂÀÒÜ $K_b$ Ñ $K_a$. ïÎÝÒÎÌÓ ÄÎÑÒÀÒÎ×ÍÎ $$ \hfill \hbox{((ÑÐÀÂÍÈÒÜ $K_j$ Ñ $K_i$) ÏÐÈ $1\le j\le i$) ÏÐÈ $1 < i \le N$.} \hfill $$ èÒÀÊ, ÏÐÈÕÎÄÈÌ Ê ÑËÅÄÓÞÙÅÌÓ ÀËÃÎÐÈÒÌÓ. \alg ñ.(ñÐÀÂÍÅÍÈÅ È ÏÎÄÑ×ÅÒ.) ýÒÎÒ ÀËÃÎÐÈÒÌ ÑÎÐÒÈÐÓÅÒ ÇÀÏÈÑÈ $R_1$,~\dots, $R_N$ ÏÎ ÊËÞ×ÀÌ $K_1$,~\dots, $K_N$, ÈÑÏÎËÜÇÓß ÄËß ÏÎÄÑ×ÅÒÀ ×ÈÑËÀ ÊËÞ×ÅÉ, ÌÅÍÜØÈÕ ÄÀÍÍÎÃÎ, ÂÑÏÎÌÎÃÀÒÅËÜÍÓÞ ÒÀÁËÈÖÓ $|COUNT|[1]$,~\dots, $|COUNT|[N]$. ïÎÑËÅ ÇÀÂÅÐØÅÍÈß ÀËÃÎÐÈÒÌÀ ÂÅËÈ×ÈÍÀ $|COUNT|[j]+1$ ÎÏÐÅÄÅËßÅÒ ÎÊÎÍ×ÀÒÅËÜÍÎÅ ÏÎËÎÆÅÍÈÅ ÇÀÏÈÑÈ $R_j$. \st[ñÁÐÎÑÈÒÜ Ñ×ÅÒ×ÈÊÈ.] óÑÒÀÍÎÂÈÒÜ $|COUNT|[1]$,~\dots, $|COUNT|[N]$ ÐÀÂÍÛÌÈ ÍÓËÞ. \st[öÈÊË ÏÎ $i$.] âÛÏÎËÍÈÒÜ ØÀà \stp{ç} ÏÐÈ $i=N$, $N-1$, \dots, 2; ÇÀÒÅÌ ÇÀÂÅÐØÈÒÜ ÐÀÁÎÒÓ ÀËÃÎÐÈÒÌÀ. \st[öÈÊË ÏÎ $j$.] âÛÏÎËÍÈÒÜ ØÀà \stp{4} ÏÐÈ $j=i -1$, $i-2$, \dots, 1. \st[ñÐÀÂÍÈÒÜ $K_i$, $K_j$.] åÑËÈ $K_i0$. &ENT1 & N & 1 &ñ2. öÈÊË ÏÎ $i$. &JMP & 1F & 1 2í &LDA & INPUT,1 & N-1 &LDX & COUNT,1 & N-1 3H &CMPA & INPUT,2 & A &C4. ñÐÀÂÍÈÒÜ $K_i$, $K_j$. &JGE & 4F & A &ïÅÐÅÕÎÄ, ÅÑËÈ $K_i\ge K_j$. &LD3 & COUNT,2 & B &$|COUNT|[j]$ &INC3 & 1 & B &$+1$ &ST3 & COUNT,2 & B &$\to |COUNT|[j]$ &JMP & 5F & B 4H &INCX & 1 & A-B &$|COUNT|[i]+1\to|COUNT|[i]$. 5H &DEC2 & 1 & A &ñ3.öÈÊË ÏÎ $j$. &J2P & 3B & A &STX & COUNT,1 & N-1 &DEC1 & 1 & N-1 1í &ENT2 & -1,1 & N &$N\ge i>j>0$. &J2P & 2B & N \endcode \progend âÐÅÌß ÐÀÁÎÒÛ ÝÒÎÉ ÏÐÎÃÐÀÌÌÛ ÐÀÂÍÎ $13N+6A+5B-4$ ÅÄÈÍÈÖ, ÃÄÅ $N$---×ÈÑËÎ ÇÀÏÈÑÅÉ, $A$---×ÈÑËÎ ÑÏÎÑÎÁΠÂÛÁÐÀÒÜ 2 ÏÐÅÄÌÅÒÀ ÈÇ $N$, Ò. Å. $\perm{N}{2}=(N^2-N)/2$, À $B$--- ×ÈÑËÎ ÏÀÐ ÈÍÄÅÊÑÎÂ, ÒÀÊÈÕ, ×ÒÎ $jK_i$. òÀÊÈÌ ÎÁÐÀÇÎÌ, $B$---\emph{×ÈÑËÎ ÈÍÂÅÐÑÈÉ} ÏÅÐÅÑÒÀÍÎÂÊÈ $K_1$, \dots, $K_N$; ÝÒÀ ÂÅËÈ×ÈÍÀ ÏÎÄÐÎÁÍÎ ÀÍÀËÈÇÈÐÎÂÀËÀÑÜ Â Ï.~5.1.1, È ÁÛËÎ ÍÀÉÄÅÍÎ [ÔÎÐÌÓËÛ (5.1.1--12,13)], ×ÒÎ ÄËß ÍÅÐÀÂÍÛÕ ÊËÞ×ÅÉ, ÐÀÑÏÎËÎÆÅÍÍÛÕ Â ÑËÓ×ÀÉÍÎÌ ÏÎÐßÄÊÅ, $$ B=\left(\min 0, \ave {(N^2-N\over 4}, \max{(N^2-N)\over 2}, \dev{\sqrt{N(N-1)(N+2.5)}\over 6}\right). $$ %% 99 ñËÅÄÎÂÀÒÅËÜÍÎ, ÂÛÏÎËÍÅÍÈÅ ÏÐÎÃÐÀÌÌÛ C ÇÀÍÈÌÀÅÒ ÎÒ~$3N^2+10N-4$ ÄÎ~$5.5N^2+7.5N-4$ ÅÄÈÍÈÖ ÂÐÅÌÅÍÈ, À ÑÐÅÄÍÅÅ ÂÐÅÌß ÐÀÁÎÒÛ ÍÀÕÎÄÈÒÑß ÏÎÑÅÐÅÄÈÍÅ ÌÅÆÄÓ ÝÒÈÌÈ ÄÂÓÌß ÃÐÀÍÈÖÀÌÈ. íÀÏÐÈÌÅÐ, ÄËß ÄÀÍÍÛÕ ÒÀÁË.~1 ÈÌÅÅÌ $N=16$, $A=120$, $B=41$, ÇÍÀ×ÈÒ, ÏÐÎÃÐÀÌÌÀ C ÎÒÑÎÐÒÈÐÓÅÒ ÈÕ ÇÀ ÂÐÅÌß $1129u$. ìÎÄÈÔÈÊÀÖÈÞ ÏÐÎÃÐÀÌÌÛ $C$, ÎÁËÀÄÀÞÙÓÞ ÍÅÑÊÎËÜÊÎ ÈÍÛÌÈ ÂÐÅÌÅÍÍÛÌÈ ÕÀÐÀÊÒÅÐÈÑÒÈÊÀÌÈ, ÑÌ.  ÓÏÐ.~5. ìÍÎÆÈÒÅËÜ $N^2$, ÊÎÒÎÐÛÌ ÎÏÐÅÄÅËßÅÒÑß ÂÐÅÌß ÐÀÁÎÒÛ, ÑÂÈÄÅÒÅËÜÑÒÂÓÅÒ Î ÒÎÌ, ×ÒÎ ÀËÃÎÐÈÒÌ C ÍÅ ÄÀÅÒ ÝÔÔÅÊÒÈÂÍÎÃÎ ÑÏÎÑÎÁÀ ÑÎÐÒÈÐÎÂÊÈ, ÊÎÃÄÀ $N$ ÂÅËÈÊÎ; ÏÐÈ ÓÄÂÎÅÍÈÈ ×ÈÑËÀ ÇÀÏÈÑÅÉ ÂÐÅÌß ÓÂÅËÈ×ÈÂÀÅÒÑß Â ×ÅÒÛÐÅ ÐÀÇÀ. ïÎÑÊÎËÜÊÓ ÝÒÎÒ ÌÅÒÎÄ ÒÐÅÁÓÅÒ ÑÐÀÂÍÅÍÈß ÂÑÅÕ ÏÀÐ ÊËÞ×ÅÉ $(K_i, K_j)$, ÒÎ ÍÅÒ Î×ÅÂÈÄÍÎÃÎ ÑÏÎÑÎÁÀ ÈÑÊËÞ×ÈÒÜ ÇÀÂÈÑÈÌÎÑÒÜ ÎÒ $N^2$, ÒÅÌ ÍÅ ÌÅÍÅÅ ÌÛ ÓÂÈÄÈÌ ÄÀËÜØÅ Â ÝÒÎÉ ÃËÀÂÅ, ×ÒÎ, ÏÎËÜÇÓßÑÜ "ÐÀÇÄÅËÅÍÈÅÌ È ÎÁÌÅÍÎÌ", ÌÎÆÍÎ ÑÍÈÇÈÒÜ ÏÎÐßÄÎÊ ÑÐÅÄÍÅÃÎ ÂÐÅÌÅÍÈ ÐÀÁÎÒÛ ÄÎ $N\log N$. àËÃÎÐÈÒÌ C ÈÍÒÅÐÅÑÅÍ ÄËß ÍÀÑ ÍÅ ÝÔÔÅÊÒÈÂÍÎÑÒÜÞ, À ÃËÀÂÍÛÌ ÎÁÐÀÇÎÌ ÑÂÎÅÉ ÏÐÎÑÒÎÒÎÉ; ÅÃÎ ÎÏÈÑÀÍÈÅ ÑËÓÆÈÒ ÏÐÈÌÅÐÎÌ ÒÎÃÎ ÑÒÈËß,  ÊÎÒÎÐÎÌ ÁÓÄÓÒ ÎÏÈÑÀÍÛ ÁÎËÅÅ ÑËÎÆÍÛÅ (È ÁÎËÅÅ ÝÔÔÅÊÒÈÂÍÛÅ) ÌÅÒÎÄÛ. ñÓÙÅÑÒÂÓÅÒ ÄÐÓÃÀß ÐÀÇÍÎÂÈÄÍÎÑÒÜ ÑÎÐÒÈÐÎÂÊÈ ÏÎÑÐÅÄÑÒÂÎÌ ÏÎÄÑ×ÅÒÀ, ÊÎÒÎÐÀß \emph{ÄÅÉÑÒÂÈÒÅËÜÍÎ} ÂÅÑÜÌÀ ÂÀÆÍÀ Ñ ÒÎ×ÊÈ ÇÐÅÍÈß ÝÔÔÅÊÒÈÂÍÎÑÒÈ; ÎÍÀ ÏÐÈÌÅÍÈÌÀ  ÎÑÍÎÂÍÎÌ Â ÒÎÌ ÑËÓ×ÀÅ, ÊÎÃÄÀ ÈÌÅÅÒÑß ÌÍÎÃÎ ÐÀÂÍÛÕ ÊËÞ×ÅÉ È ÂÑÅ ÎÍÈ ÏÎÏÀÄÀÞÒ Â ÄÈÀÏÀÇÎÍ $u\le K_j\le v$, ÃÄÅ ÇÍÀ×ÅÍÈÅ $(v-u)$ ÍÅÂÅËÈÊÎ. ýÒÈ ÏÐÅÄÏÎËÎÆÅÍÈß ÏÐÅÄÑÒÀÂËßÞÒÑß ÂÅÑÜÌÀ ÎÃÐÀÍÈ×ÈÒÅËÜÍÛÌÈ, ÍÎ ÍÀ,ÑÀÌÎÌ ÄÅËÅ ÌÛ ÓÂÈÄÈÌ ÍÅÌÀËÎ ÏÐÈËÎÆÅÍÈÉ ÝÒÎÉ ÈÄÅÈ; ÍÀÏÐÈÌÅÐ, ÅÑËÈ ÏÐÈÌÅÍÈÒÜ ÝÒÎÒ ÌÅÒÎÄ ËÈØÜ Ê ÑÒÀÐØÈÌ ÖÈÔÐÀÌ ÊËÞ×ÅÉ, À ÍÅ ÊÎ ÂÑÅÌ ÊËÞ×ÀÌ ÖÅËÈÊÎÌ, ÒÎ ÔÀÉË ÎÊÀÆÅÒÑß ×ÀÑÒÈ×ÍÎ ÎÒÑÎÐÒÈÐÎÂÀÍÍÛÌ, È ÁÓÄÅÒ ÓÆÅ ÑÐÀÂÍÈÒÅËÜÍÎ ÏÐÎÑÒÎ ÄÎÂÅÑÒÈ ÄÅËÎ ÄÎ ÊÎÍÖÀ. ÷ÒÎÁÛ ÏÎÍßÒÜ ÏÐÈÍÖÈÏ, ÏÐÅÄÏÎËÎÆÈÌ, ×ÒÎ ÂÑÅ ÊËÞ×È ËÅÆÀÒ ÌÅÆÄÓ~1 È~100. ïÐÈ ÏÅÐÂÎÌ ÏÐÎÑÌÎÒÐÅ ÔÀÉËÀ ÌÎÆÍÎ ÏÎÄÑ×ÈÒÀÒÜ, ÑÊÎËÜÊÎ ÈÌÅÅÒÑß ÊËÞ×ÅÉ, ÐÀÂÍÛÕ 1, 2, \dots, 100, À ÏÐÈ ÂÒÎÐÎÌ ÏÐÎÑÌÎÒÐÅ ÌÎÆÍÎ ÓÆÅ ÐÀÑÏÎËÀÃÀÒÜ ÇÀÏÈÑÈ Â ÑÎÎÒÂÅÒÑÒÂÓÞÙÈÕ ÌÅÑÒÀÕ ÎÁËÀÑÒÈ ÂÛÂÎÄÀ. â ÑËÅÄÓÞÙÅÌ ÀËÃÎÐÈÒÌÅ ÂÑÅ ÝÒÎ ÎÏÈÑÀÍÎ ÁÎËÅÅ ÏÎÄÐÎÁÍÎ. \picture{ðÈÑ. 9. àËÃÎÐÈÒÌ D: ÐÀÑÏÐÅÄÅËßÞÙÈÉ ÏÎÄÑ×ÅÒ.} %% 100 \bye