\input style í¾ °»³¾À¸Â¼ ²°¶µ½ ½µ ¾»Ìº¾ º°º ¿À¾Á¾¹ ¼µÂ¾´ Á¾À¸À¾²º¸, ½¾ ¸ ¿¾Â¾¼Ã, Ǿ ¾½ Ç°Á¾ ²ÁÂÀµÇ°µÂÁÏ º°º Ç°ÁÂÌ ´Àó¸Å °»³¾À¸Â¼¾² ¾±À°±¾Âº¸ Á¿¸Áº¾². Ò Â°±».~8 ¿¾º°·°½Ë ¿µÀ²Ëµ ½µÁº¾»Ìº¾ È°³¾² Á¾À¸À¾²º¸ ȵÁ½°´Æ°Â¸ ǸÁµ», ²Ë±À°½½ËÅ ½°¼¸ ´»Ï ¿À¸¼µÀ¾². \prog L.(ÒÁ°²º¸ ² Á¿¸Á¾º.) ßÀµ´¿¾»°³°µÂÁÏ, Ǿ º»ÎÇ~$K_j$ ÅÀ°½¸ÂÁÏ ² ¿¾»µ~$|INPUT|+j(0:3)$, a~$L_j$---² ¿¾»µ~$|INPUT|+j(4:5)$. ×½°Çµ½¸Ï Àµ³¸ÁÂÀ¾²: $|rI1|\equiv j$; $|rI2|\equiv p$; $|rI3|\equiv =q$; $|rA|(0:3)\equiv K$. \code KEY &EQU & 0:3 LINK &EQU & 4:5 START&ENT1 & N & 1 & L1. 渺» ¿¾~$j$, $j\asg N$. &ST1 & INPUT(LINK) & 1 & $L_0\asg N$. &STZ & INPUT+N(LINK)& 1 & $L_N\asg 0$. &JMP & 6F & 1 & ßµÀµÅ¾´ º üµ½Ìȵ½¸Î~$j$. 2H &LD2 & INPUT(LINK) & N-1 & L2. ãÁ°½¾²¸ÂÌ~$p$, $q$, $K$. $p\asg L_0$. &ENT3 & 0 & N-1 & $q\asg 0$. &LDA & INPUT,1 & N-1 & $K\asg K_j$. 3H &CMPA & INPUT,2(KEY) & B+N-1-A& L3. áÀ°²½¸ÂÌ~$K$, $K_p$. &JLE & 5F & B+N-1-A& K~L5, µÁ»¸~$K\le K_p$. 4H &ENT3 & 0,2 & B & L4. ßÀ¾´²¸½ÃÂÌ~$p$, $q$. $q\asg p$. &LD2 & INPUT,3(LINK)& B & $p\asg L_q$. &J2P & 3Ò & B & Ú L3, µÁ»¸~$p>0$. 5H &ST1 & INPUT,3(LINK)& N-1 & L5. ÒÁ°²¸ÂÌ ² Á¿¸Á¾º. $L_q\asg j$. &ST2 & INPUT,1(LINK)& N-1 & $L_j\asg p$. 6H &DEC1 & 1 & N &J1P & 2Ò & N & $N>j \ge 1$. \endcode \progend ÒÀµ¼Ï À°±¾ÂË Í¾¹ ¿À¾³À°¼¼Ë À°²½¾ $7B+14N-3A-6$~µ´¸½¸Æ, ³´µ~$N$---´»¸½° Ä°¹»°, $A$---ǸÁ»¾ ¿À°²¾Á¾À¾½½¸Å ¼°ºÁ¸¼Ã¼¾², °~$B$---ǸÁ»¾ ¸½²µÀÁ¸¹ ² ¸Áž´½¾¹ ¿µÀµÁ°½¾²ºµ. (áÀ. Á °½°»¸·¾¼ ¿À¾³À°¼¼Ë~S. ×°¼µÂ̵, Ǿ ¿À¾³À°¼¼°~L ½µ ¿µÀµ¼µÉ°µÂ ·°¿¸Á¸ ² ¿°¼Ï¸; ; ¼¾¶½¾ Á´µ»°ÂÌ, º°º ² ÿÀ.~5.2-12, ·°ÂÀ°Â¸² ´¾¿¾»½¸Âµ»Ì½¾ $20N$~µ´¸½¸Æ ²Àµ¼µ½¸.) ßÀ¾³À°¼¼°~S ÂÀµ±ÃµÂ $(9B+10N-3A-9)u$, ° °º º°º $B$~À°²½¾ ¿À¸¼µÀ½¾~${1\over 4}N^2$, ¾ ½µÂÀô½¾ ²¸´µÂÌ, Ǿ ·° Áǵ ´¾¿¾»½¸Âµ»Ì½¾³¾ ¿À¾ÁÂÀ°½Á²° ¿°¼Ï¸, ²Ë´µ»µ½½¾³¾ ¿¾´ ¿¾»Ï Á²Ï·¸, ô°»¾ÁÌ Áͺ¾½¾¼¸ÂÌ ¿À¸¼µÀ½¾ 22\% ²Àµ¼µ½¸ À°±¾ÂË. кºÃÀ°Â½¾ ¿À¾³À°¼¼¸ÀÃÏ, ¼¾¶½¾ Á±µÀµÇÌ µÉµ 22\% (Á¼.~ÿÀ.~33), ½¾ ²Àµ¼Ï À°±¾ÂË ²Áµ ¶µ ¾Á°½µÂÁÏ ¿À¾¿¾ÀƸ¾½°»Ì½Ë¼~$N^2$. \emph{ß¾´²µ´µ¼ ¸Â¾³ Á´µ»°½½¾¼Ã ´¾ Á¸Å ¿¾À.} ÜË ½°Ç°»¸ Á °»³¾À¸Â¼°~S---¿À¾Á¾³¾ ¸ µÁµÁ²µ½½¾³¾ °»³¾À¸Â¼° Á¾À¸À¾²º¸, º¾Â¾À˹ %%122 ²Ë¿¾»½ÏµÂ ¾º¾»¾ ${1\over4}N^2$ ÁÀ°²½µ½¸¹ ¸ ¾º¾»¾ ${1\over4}N^2$ ¿µÀµ¼µÉµ½¸¹. ÜË ÃÁ¾²µÀȵ½Á²¾²°»¸ µ³¾, À°ÁÁ¼¾ÂÀµ² ±¸½°À½Ëµ ²Á°²º¸, ¿À¸ º¾Â¾ÀËÅ ²Ë¿¾»½ÏµÂÁÏ ¾º¾»¾ $N\log_2N$ ÁÀ°²½µ½¸¹ ¸ ${1\over4}N^2$ ¿µÀµ¼µÉµ½¸¹. ݵÁº¾»Ìº¾ ¸·¼µ½¸² ÁÂÀúÂÃÀà ´°½½ËÅ, ¿À¸¼µ½¸² "´²Ãſõ²Ëµ ²Á°²º¸", Áüµ»¸ Á¾ºÀ°Â¸ÂÌ Ç¸Á»¾ ¿µÀµ¼µÉµ½¸¹ ´¾ ${1\over8}N^2$. ßÀ¸ Á¾À¸À¾²ºµ ¼µÂ¾´¾¼ èµ»»° "Á ñ˲°Îɸ¼ È°³¾¼" ǸÁ»¾ ÁÀ°²½µ½¸¹ ¸ ¿µÀµ¼µÉµ½¸¹ Á½¸¶°µÂÁÏ ¿À¸¼µÀ½¾ ´¾ $N^{1.3}$ ´»Ï µŠ·½°Çµ½¸¹ $N$, º¾Â¾À˵ ²ÁÂÀµÇ°ÎÂÁÏ ½° ¿À°ºÂ¸ºµ; ¿À¸ $N\to\infty$ ; ǸÁ»¾ ¼¾¶½¾ Á¾ºÀ°Â¸ÂÌ ´¾ ¿¾ÀÏ´º° $N(\log_2N)^2$. Ô°»Ì½µ¹Èµµ ÁÂÀµ¼»µ½¸µ ûÃÇȸÂÌ °»³¾À¸Â¼---¿Ãµ¼ ¿À¸¼µ½µ½¸Ï Á²Ï·°½½¾¹ ÁÂÀúÂÃÀË ´°½½ËÅ---¿À¸²µ»¾ ½°Á º ²Á°²º°¼ ² Á¿¸Á¾º, ¿À¸ º¾Â¾ÀËÅ ²Ë¿¾»½ÏµÂÁÏ ¾º¾»¾ ${1\over4}N^2$ ÁÀ°²½µ½¸¹, 0 ¿µÀµ¼µÉµ½¸¹ ¸ $2N$ ¸·¼µ½µ½¸¹ Á²Ï·µ¹. ܾ¶½¾ »¸ Á¾µ´¸½¸ÂÌ »ÃÇȸµ Á²¾¹Á²° ͸Š¼µÂ¾´¾², Á¾ºÀ°Â¸² ǸÁ»¾ ÁÀ°²½µ½¸¹ ´¾ ¿¾ÀÏ´º° $N\log N$, º°º ¿À¸ ±¸½°À½ËÅ ²Á°²º°Å, ¸ ¸Áº»ÎǸ² ¿À¸ ;¼ ¿µÀµ¼µÉµ½¸Ï ´°½½ËÅ, º°º ¿À¸ ²Á°²º°Å \picture{à¸Á. 13. ßÀ¸¼µÀ Áŵ¼Ë 㸻µÀ° ´»Ï ²Á°²¾º ² ´µÀµ²¾.} ² Á¿¸Á¾º? Þ²µÂ òµÀ´¸Âµ»Ì½Ë¹: ; ´¾Á¸³°µÂÁÏ ¿µÀµÅ¾´¾¼ º ´Àµ²¾²¸´½¾¹ ÁÂÀúÂÃÀµ. â°º°Ï ²¾·¼¾¶½¾ÁÂÌ ±Ë»° ²¿µÀ²Ëµ ¸ÁÁ»µ´¾²°½° ¾º¾»¾ 1957~³. Ô.~Ô¶.~㸻µÀ¾¼, º¾Â¾À˹ ¿Àµ´»¾¶¸» ¸Á¿¾»Ì·¾²°ÂÌ ´²Ãſõ²Ëµ ²Á°²º¸ ´¾ µŠ¿¾À, ¿¾º° ½µ ¿¾Ï²¸ÂÁÏ ½µ¾±Å¾´¸¼¾ÁÂÌ ¿µÀµ¼µÉ°ÂÌ ´°½½Ëµ. â¾³´° ²¼µÁ¾ ¾³¾, Ǿ±Ë ¸Å ¿µÀµ¼µÉ°ÂÌ, ²Á°²»ÏµÂÁÏ Ãº°·°Âµ»Ì ½° ½¾²ÃÎ ¾±»°ÁÂÌ ¿°¼Ï¸, ¸ ¾ ¶µ Á°¼Ë¹ ¼µÂ¾´ ÀµºÃÀÀµ½Â½¾ ¿À¸¼µ½ÏµÂÁÏ º¾ ²Áµ¼ Í»µ¼µ½Â°¼, º¾Â¾À˵ ½Ã¶½¾ ²Á°²¸ÂÌ ² ÍÂà ½¾²ÃÎ ¾±»°ÁÂÌ ¿°¼Ï¸. ÞÀ¸³¸½°»Ì½Ë¹ ¼µÂ¾´ 㸻µÀ° [Á¼. A. S. Douglas, {\sl Comp. J.,\/} {\bf 2} (1959), 5] ¿Àµ´Á°²»ÏµÂ Á¾±¾¹ Á»¾¶½ÃÎ º¾¼±¸½°Æ¸Î ¿¾Á»µ´¾²°Âµ»Ì½¾¹ ¸ Á²Ï·°½½¾¹ ¿°¼Ï¸ Á ÷»°¼¸ ¿µÀµ¼µ½½¾³¾ À°·¼µÀ°; ´»Ï ½°È¸Å ȵÁ½°´Æ°Â¸ ǸÁµ» ±Ë»¾ ±Ë ÁľÀ¼¸À¾²°½¾ ´µÀµ²¾, ¿¾º°·°½½¾µ ½° À¸Á.~13. н°»¾³¸Ç½ÃÎ, ½¾ ±¾»µµ ¿À¾ÁÂÃÎ Áŵ¼Ã ²Á°²º¸ ² ´µÀµ²¾ Á ¸Á¿¾»Ì·¾²°½¸µ¼ ±¸½°À½ËÅ ´µÀµ²Ìµ² ½µ·°²¸Á¸¼¾ %% 123 À°·À°±¾Â°» ¾º¾»¾ 1958~³. Ú.Ü.~ѵÀ½µÁ-Û¸ [Á¼. {\sl Comp. J.\/}, {\bf 3} (1960), 174, 184]. á°¼ ; ¼µÂ¾´ ¸ µ³¾ ¼¾´µÀ½¸·°Æ¸¸ ²µÁ̼° ²°¶½Ë º°º ´»Ï Á¾À¸À¾²º¸, °º ¸ ´»Ï ¿¾¸Áº°, ¿¾Í¾¼Ã ¿¾´À¾±½¾ ¾½¸ ¾±Áö´°ÎÂÁÏ ² ³».~ 6. Õɵ ¾´¸½ ¿ÃÂÌ Ã»ÃÇȸÂÌ ¿À¾ÁÂ˵ ²Á°²º¸---¿¾¿Ë°ÂÌÁÏ ²Á°²»ÏÂÌ ½µÁº¾»Ìº¾ Í»µ¼µ½Â¾² ¾´½¾²Àµ¼µ½½¾. ÕÁ»¸, ½°¿À¸¼µÀ, ¸¼µµÂÁÏ Ä°¹» ¸· 1000 Í»µ¼µ½Â¾² ¸ 998 ¸· ½¸Å öµ ¾ÂÁ¾À¸À¾²°½Ë, ¾ °»³¾À¸Â¼ S ²Ë¿¾»½¸Â µÉµ ´²° ¿À¾Á¼¾ÂÀ° Ä°¹»° (²Á°²¸² Á½°Ç°»° $R_{999}$, ° ¿¾Â¾¼ $R_{1000}$). Þǵ²¸´½¾, ¼¾¶½¾ Áͺ¾½¾¼¸ÂÌ ²Àµ¼Ï, µÁ»¸ Á½°Ç°»° ÁÀ°²½¸ÂÌ º»ÎǸ $K_{999}$ c $K_{1000}$ Ǿ±Ë ²ËÏÁ½¸ÂÌ, º¾Â¾À˹ ¸· ½¸Å ±¾»Ìȵ, ° ¿¾Â¾¼ ²Á°²¸ÂÌ ¸Å \emph{¾±°} ·° ¾´¸½ ¿À¾Á¼¾ÂÀ Ä°¹»°. Ú¾¼±¸½¸À¾²°½½°Ï ¾¿µÀ°Æ¸Ï °º¾³¾ À¾´° ÂÀµ±ÃµÂ ¾º¾»¾ $(2/3)N$ ÁÀ°²½µ½¸¹ ¸ ¿µÀµ¼µÉµ½¸¹ (ÁÀ. Á ÿÀ.~3.4.2--5) ²¼µÁ¾ ´²ÃÅ ¿À¾Á¼¾ÂÀ¾², ¿À¸¼µÀ½¾ ¿¾ $N/2$ ÁÀ°²½µ½¸¹ ¸ ¿µÀµ¼µÉµ½¸¹ º°¶´Ë¹. ؽ°Çµ ³¾²¾ÀÏ, ¾±Ëǽ¾ ±Ë²°µÂ ¿¾»µ·½¾ "³Àÿ¿¸À¾²°ÂÌ" ¾¿µÀ°Æ¸¸, º¾Â¾À˵ ÂÀµ±ÃΠ´»¸Âµ»Ì½¾³¾ ¿¾¸Áº°, Ǿ±Ë ¼¾¶½¾ ±Ë»¾ ²Ë¿¾»½¸ÂÌ ½µÁº¾»Ìº¾ ¾¿µÀ°Æ¸¹ ²¼µÁµ. ÕÁ»¸ ´¾²µÁ¸ ÍÂà ¸´µÎ ´¾ µµ µÁµÁ²µ½½¾³¾ ·°²µÀȵ½¸Ï, ¾ ¼Ë ·°½¾²¾ ¾ÂºÀ¾µ¼ ´»Ï Áµ±Ï Á¾À¸À¾²ºÃ ¿¾ÁÀµ´Á²¾¼ Á»¸Ï½¸Ï, ½°Á¾»Ìº¾ ²°¶½ÃÎ, Ǿ µ¹ ¿¾Á²Ïɵ½ ¾Â´µ»Ì½Ë¹ ¿Ã½ºÂ. \section á¾À¸À¾²º° Á ²ËǸÁ»µ½¸µ¼ °´ÀµÁ°. ⵿µÀÌ Ã¶ ¼Ë, ½µÁ¾¼½µ½½¾, ¸ÁǵÀ¿°»¸ ²Áµ ²¾·¼¾¶½Ëµ Á¿¾Á¾±Ë ÃÁ¾²µÀȵ½Á²¾²°ÂÌ ¼µÂ¾´ ¿À¾ÁÂËÅ ²Á°²¾º, ½¾ ´°²°¹Âµ ¿¾´Ã¼°µ¼ µÉµ! ßÀµ´Á°²Ìµ Áµ±µ, Ǿ ²°¼ ´°»¸ ǸÁÂ˹ »¸Á ±Ã¼°³¸ ¸ Á¾±¸À°ÎÂÁÏ ´¸ºÂ¾²°ÂÌ º°º¸µ-¾ Á»¾²°. Ò°È° ·°´°Ç°---·°¿¸Á°ÂÌ ¸Å ² °»Ä°²¸Â½¾¼ ¿¾ÀÏ´ºµ ¸ ²µÀ½ÃÂÌ »¸Á¾º Á ¾ÂÁ¾À¸À¾²°½½Ë¼ Á¿¸Áº¾¼ Á»¾². ãÁ»ËÈ°² Á»¾²¾ ½° ±Ãº²Ã Ð, ²Ë ±Ã´µÂµ ÁÂÀµ¼¸ÂÌÁÏ ·°¿¸Á°ÂÌ µ³¾ ±»¸¶µ º ²µÀŽµ¼Ã ºÀ°Î ÁÂÀ°½¸ÆË, ¾³´° º°º Á»¾²¾ ½° ±Ãº²Ã ï ±Ã´µÂ, ¿¾-²¸´¸¼¾¼Ã, ¿¾¼µÉµ½¾ ±»¸¶µ º ½¸¶½µ¼Ã ºÀ°Î ÁÂÀ°½¸ÆË ¸~Â.~´. н°»¾³¸Ç½Ë¹ Á¿¾Á¾± ¿À¸¼µ½ÏµÂÁÏ ¿À¸ À°ÁÁ°½¾²ºµ º½¸³ ½° ¿¾»ºµ ¿¾ Ä°¼¸»¸Ï¼ °²Â¾À¾², µÁ»¸ º½¸³¸ ±µÀÃÂÁÏ Á ¿¾»° ² Á»ÃÇ°¹½¾¼ ¿¾ÀÏ´ºµ: Á°²Ï º½¸³Ã ½° ¿¾»ºÃ, ²Ë ¾Æµ½¸²°µÂµ µµ º¾½µÇ½¾µ ¿¾»¾¶µ½¸µ, Á¾ºÀ°É°Ï °º¸¼ ¾±À°·¾¼ ǸÁ»¾ ½µ¾±Å¾´¸¼ËÅ ÁÀ°²½µ½¸¹ ¸ ¿µÀµ¼µÉµ½¸¹. (íÄĵºÂ¸²½¾ÁÂÌ ¿À¾ÆµÁÁ° ¿¾²ËÈ°µÂÁÏ, µÁ»¸ ½° ¿¾»ºµ ¸¼µµÂÁÏ ½µ¼½¾³¾ ±¾»Ìȵ ¼µÁ°, ǵ¼ ; °±Á¾»Î½¾ ½µ¾±Å¾´¸¼¾.) â°º¾¹ ¼µÂ¾´ ¼°È¸½½¾¹ Á¾À¸À¾²º¸ ²¿µÀ²Ëµ ¿Àµ´»¾¶¸»¸ ØÁ°°º ¸ ḽ³»Â¾½, [{\sl JACM\/}, {\bf 3} (1956), 169--174]; ¾½ ¿¾»ÃǸ» ´°»Ì½µ¹Èµµ À°·²¸Â¸µ ² À°±¾Âµ ÚÀ¾½¼Í»° ¸ â°À°À° [Proc. ACM Nat'l Conf., {\bf 21} (1966), 331--337]. á¾À¸À¾²º° Á ²ËǸÁ»µ½¸µ¼ °´ÀµÁ° ¾±Ëǽ¾ ÂÀµ±ÃµÂ ´¾¿¾»½¸Âµ»Ì½¾³¾ ¿À¾ÁÂÀ°½Á²° ¿°¼Ï¸ »¸±¾ ´»Ï ¾³¾, Ǿ±Ë ¾Á°²¸ÂÌ ´¾Á°¾ǽ¾ Á²¾±¾´½¾³¾ ¼µÁ° ¸ ½µ ´µ»°ÂÌ ¼½¾³¾ »¸È½¸Å ¿µÀµ¼µÉµ½¸¹, »¸±¾ ´»Ï ÅÀ°½µ½¸Ï ²Á¿¾¼¾³°Âµ»Ì½ËŠ°±»¸Æ, º¾Â¾À˵ ±Ë ¿¾·²¾»Ï»¸ ÃǸÂ˲°ÂÌ ½µÀ°²½¾¼µÀ½¾ÁÂÌ À°Á¿Àµ´µ»µ½¸Ï º»Îǵ¹. (á¼.\ Á¾À¸À¾²ºÃ À°Á¿Àµ´µ»ÏÎɸ¼ ¿¾´Áǵ¾¼ (°»³¾À¸Â¼~5.2D), %% 124 \bye