\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