\input style %%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