\input style %% 562 »¸¾½Ã, ¸Å ±Ã´µÂ ¿À¸¼µÀ½¾ 20. ݾ µÁ»¸ À°·´µ»¸ÂÌ ´µÀµ²¾ ½° "ÁÂÀ°½¸ÆË" ¿¾ 7 ÷»¾² ² º°¶´¾¹, º°º ¿¾º°·°½¾ ¿Ã½ºÂ¸À¾¼ ½° À¸Á.~29, ¸ µÁ»¸ ² º°¶´Ë¹ ¼¾¼µ½Â ²Àµ¼µ½¸ ´¾ÁÂÿ½° »¸ÈÌ ¾´½° ÁÂÀ°½¸Æ°, ¾ ¿¾ÂÀµ±ÃµÂÁÏ ¿À¸¼µÀ½¾ ² ÂÀ¸ À°·° ¼µ½Ìȵ ¾±À°Éµ½¸¹, Â. µ. ¿¾¸Áº ÃÁº¾À¸ÂÁÏ ² ÂÀ¸ À°·°! ÓÀÿ¿¸À¾²º° ÷»¾² ² ÁÂÀ°½¸ÆË, ¿¾ ÁÃɵÁ²Ã, ¿Àµ¾±À°·ÃµÂ ±¸½°À½Ëµ ´µÀµ²ÌÏ ² ¾ºÂ°À½Ëµ, À°·²µÂ²»ÏÎɸµÁÏ ² º°¶´¾¹ ÁÂÀ°½¸Æµ-÷»µ ½° 8 ¿Ãµ¹. ÕÁ»¸ ´¾¿ÃÁ¸¼Ë ÁÂÀ°½¸ÆË ±¾»ÌȸŠÀ°·¼µÀ¾², À°·²µÂ²»ÏÎɸµÁÏ ½° 128 ¿Ãµ¹ ¿¾Á»µ º°¶´¾³¾ ¾±À°Éµ½¸Ï º ´¸ÁºÃ, ¾ ¼¾¶½¾ ½°Å¾´¸ÂÌ ÂÀµ±Ãµ¼Ë¹ º»ÎÇ ² °±»¸Æµ ¸· ¼¸»»¸¾½° Í»µ¼µ½Â¾², ¿À¾Á¼¾ÂÀµ² »¸ÈÌ ÂÀ¸ ÁÂÀ°½¸ÆË. ܾ¶½¾ ¿¾Á¾Ͻ½¾ ÅÀ°½¸ÂÌ º¾À½µ²ÃÎ ÁÂÀ°½¸Æà ²¾ ²½ÃÂÀµ½½µ¹ ¿°¼Ï¸; ¾³´° ¿¾ÂÀµ±ÃÎÂÁÏ »¸ÈÌ ´²° ¾±À°Éµ½¸Ï º ´¸ÁºÃ, žÂÏ ² »Î±¾¹ ¼¾¼µ½Â ²Àµ¼µ½¸ ²¾ ²½ÃÂÀµ½½µ¹ ¿°¼Ï¸ ±Ã´µÂ ½µ ±¾»µµ 254 º»Îǵ¹. షüµµÂÁÏ, ½µ Á»µ´ÃµÂ ´µ»°ÂÌ ÁÂÀ°½¸ÆË ¾Çµ½Ì ±¾»Ìȸ¼¸, °º º°º À°·¼µÀË ²½ÃÂÀµ½½µ¹ ¿°¼Ï¸ ¾³À°½¸Çµ½Ë ¸ ǵ½¸µ ±¾»Ìȵ¹ ÁÂÀ°½¸ÆË ·°½¸¼°µÂ ±¾»Ìȵ ²Àµ¼µ½¸. ßÀµ´¿¾»¾¶¸¼, ½°¿À¸¼µÀ, Ǿ ǵ½¸µ ÁÂÀ°½¸ÆË, ´¾¿ÃÁº°Îɵ¹ À°·²µÂ²»µ½¸µ ½° $m$ ¿Ãµ¹, ·°½¸¼°µÂ $72.5+0.05m$ ¼Á. ÒÀµ¼Ï ½° ²½ÃÂÀµ½½ÎÎ ¾±À°±¾ÂºÃ º°¶´¾¹ ÁÂÀ°½¸ÆË Á¾Á°²¸Â ¾º¾»¾ $a+b\log m$ ¼Á, ³´µ $a$ ¼°»¾ ¿¾ ÁÀ°²½µ½¸Î Á $72.5$, °º Ǿ ¿¾»½¾µ ²Àµ¼Ï, ÂÀµ±ÃÎɵµÁÏ ½° ¿¾¸Áº ² ±¾»ÌȾ¹ °±»¸Æµ, ¿À¸¼µÀ½¾ ¿À¾¿¾ÀƸ¾½°»Ì½¾ $\log N$, ü½¾¶µ½½¾¼Ã ½° $$ (72.5 + 0.05m)/\log m +b. $$ í° ²µ»¸Ç¸½° ´¾Á¸³°µÂ ¼¸½¸¼Ã¼° ¿À¸ $m\approx350$; ² ´µ¹Á²¸Âµ»Ì½¾Á¸ ; ¼¸½¸¼Ã¼ ¾Çµ½Ì "ȸÀ¾º". ×½°Çµ½¸Ï, ¾Çµ½Ì ±»¸·º¸µ º ¾¿Â¸¼°»Ì½¾¼Ã, ´¾Á¸³°ÎÂÁÏ ¿À¸ $m$ ¾Â~200 ´¾~500. Ý° ¿À°ºÂ¸ºµ ¿¾»Ãǵ½¸µ ¿¾´¾±½¾³¾ ´¸°¿°·¾½° žÀ¾È¸Å ·½°Çµ½¸¹ $m$ ·°²¸Á¸Â ¾Â Å°À°ºÂµÀ¸Á¸º ¸Á¿¾»Ì·Ãµ¼ËÅ ²½µÈ½¸Å ·°¿¾¼¸½°ÎɸŠÃÁÂÀ¾¹Á² ¸ ¾Â ´»¸½Ë ·°¿¸Áµ¹ ² °±»¸Æµ. ã. Ø. Û°½´°ÃÍÀ [{\sl IEE Trans.\/}, {\bf EC-12} (1963), 863--871] ¿Àµ´»¾¶¸» ÁÂÀ¾¸ÂÌ $m$-°À½Ëµ ´µÀµ²ÌÏ Á»µ´ÃÎɸ¼ ¾±À°·¾¼: À°·¼µÉ°ÂÌ Ã·»Ë ½° ÃÀ¾²½µ $l+1$, »¸ÈÌ µÁ»¸ ÃÀ¾²µ½Ì $l$ ¿¾Ç¸ ·°¿¾»½µ½. í° Áŵ¼° ÂÀµ±ÃµÂ ´¾²¾»Ì½¾ Á»¾¶½¾¹ Á¸Áµ¼Ë ¿¾²¾À¾Â¾², °º º°º ´»Ï ²Á°²º¸ ¾´½¾³¾ ½¾²¾³¾ Í»µ¼µ½Â° ¼¾¶µÂ ¿¾ÂÀµ±¾²°ÂÌÁÏ ¾Á½¾²°Âµ»Ì½°Ï ¿µÀµÁÂÀ¾¹º° ´µÀµ²°; Û°½´°ÃÍÀ ¸Áž´¸» ¸· ¿Àµ´¿¾»¾¶µ½¸Ï, Ǿ ¿¾¸Áº ¿À¸Å¾´¸ÂÁÏ ¿À¾¸·²¾´¸ÂÌ ³¾À°·´¾ ǰɵ ²Á°²¾º ¸ ô°»µ½¸¹. ÕÁ»¸ Ä°¹» ÅÀ°½¸ÂÁÏ ½° ´¸Áºµ ¸ ϲ»ÏµÂÁÏ ¾±®µºÂ¾¼ ÁÀ°²½¸Âµ»Ì½¾ Àµ´º¸Å ²Á°²¾º ¸ ô°»µ½¸¹, ¾ ´»Ï µ³¾ ¿Àµ´Á°²»µ½¸Ï ¿¾´Å¾´¸Â ÂÀµÅÃÀ¾²½µ²¾µ ´µÀµ²¾, ³´µ ¿µÀ²Ë¹ ÃÀ¾²µ½Ì À°·²µÂ²»µ½¸Ï ¾¿Àµ´µ»ÏµÂ, º°º¾¹ Ƹ»¸½´À ±Ã´µÂ ¸Á¿¾»Ì·¾²°ÂÌÁÏ, Á»µ´ÃÎɸ¹ ÃÀ¾²µ½Ì À°·²µÂ²»µ½¸Ï ¾¿Àµ´µ»ÏµÂ Á¾¾Â²µÂÁ²ÃÎÉÃÎ ´¾À¾¶ºÃ ½° ;¼ Ƹ»¸½´Àµ, ° ÂÀµÂ¸¹ ÃÀ¾²µ½Ì Á¾´µÀ¶¸Â Á¾±Á²µ½½¾ %% 563 ·°¿¸Á¸. â°º¾¹ ¼µÂ¾´ ½°·Ë²°µÂÁÏ \dfn{¸½´µºÁ½¾-¿¾Á»µ´¾²°Âµ»Ì½¾¹} ¾À³°½¸·°Æ¸µ¹ Ä°¹»° [ÁÀ. {\sl JACM\/}, {\bf 16} (1969), 569--571]. à. ÜÎ½Æ ¸ à. ã·³°»¸Á [Proc. Princeton Conf. on Inf. Sciences and Systems, 4 (1970), 345--349] ¿Àµ´»¾¶¸»¸ ¼¾´¸Ä¸º°Æ¸Î °»³¾À¸Â¼° 6.2.2â, ³´µ ²Áµ ²Á°²º¸ ¿¾À¾¶´°Î ÷»Ë, ¿À¸½°´»µ¶°É¸µ ¾¹ ¶µ ÁÂÀ°½¸Æµ, Ǿ ¸ ¸Å ¿Àµ´ÈµÁ²µ½½¸º (µÁ»¸ ¾»Ìº¾ ; ²¾·¼¾¶½¾); µÁ»¸ ÁÂÀ°½¸Æ° ¿¾»½¾ÁÂÌÎ ·°½Ï°, ·°²¾´¸ÂÁÏ ½¾²°Ï ÁÂÀ°½¸Æ° (µÁ»¸ °º¾²°Ï ¸¼µµÂÁÏ). ßÀ¸ ½µ¾³À°½¸Çµ½½¾¼ º¾»¸ÇµÁ²µ ÁÂÀ°½¸Æ ¸ Á»ÃÇ°¹½¾¼ ¿¾ÀÏ´ºµ ¿¾ÁÂÿ°ÎɸŠ´°½½ËÅ ÁÀµ´½µµ ǸÁ»¾ ¾±À°Éµ½¸¹, º ´¸ÁºÃ, º°º ¼¾¶½¾ ¿¾º°·°ÂÌ, ¿À¸±»¸¶µ½½¾ À°²½¾ $H_N/(H_m-1)$, Ǿ »¸ÈÌ ½µ¼½¾³¸¼ ±¾»Ìȵ ǸÁ»° ¾±À°Éµ½¸¹ ² Á»ÃÇ°µ ½°¸»ÃÇȵ³¾ ²¾·¼¾¶½¾³¾ $m$-°À½¾³¾ ´µÀµ²° (Á¼. ÿÀ.~10). \section B-´µÀµ²ÌÏ. Ò 1970~³. à. Ñ͹µÀ ¸ í. Ü°º-ÚÀ͹ [{\sl Acta Informatica\/}, (1972), 173--189] ¸ ½µ·°²¸Á¸¼¾ ¾Â ½¸Å ¿À¸¼µÀ½¾ ² ¾ ¶µ ²Àµ¼Ï Ü. Ú°Ãļ°½ [½µ¾¿Ã±»¸º¾²°½¾] ¿Àµ´»¾¶¸»¸ ½¾²Ë¹ ¿¾´Å¾´ º ²½µÈ½µ¼Ã ¿¾¸ÁºÃ ¿¾ÁÀµ´Á²¾¼ Á¸»Ì½¾ ²µÂ²ÏɸÅÁÏ ´µÀµ²Ìµ². ØÅ ¸´µÏ ¾Á½¾²Ë²°µÂÁÏ ½° ¿¾´²¸¶½¾Á¸ ½¾²¾³¾ ¸¿° ÁÂÀúÂÃÀ ´°½½ËÅ, ½°·²°½½ËÅ \dfn{B-´µÀµ²Ìϼ¸}, ¸ ¿¾·²¾»ÏµÂ ¿À¾¸·²¾´¸ÂÌ ¿¾¸Áº ¸»¸ ¸·¼µ½ÏÂÌ ±¾»ÌȾ¹ Ä°¹» Á "³°À°½Â¸À¾²°½½¾¹" ÍÄĵºÂ¸²½¾ÁÂÌÎ ² ½°¸Åôȵ¼ Á»ÃÇ°µ, ¸Á¿¾»Ì·ÃÏ ¿À¸ ;¼ ÁÀ°²½¸Âµ»Ì½¾ ¿À¾ÁÂ˵ °»³¾À¸Â¼Ë. \dfn{B-´µÀµ²¾¼ ¿¾ÀÏ´º° $m$} ½°·Ë²°µÂÁÏ ´µÀµ²¾, ¾±»°´°Îɵµ Á»µ´ÃÎɸ¼¸ Á²¾¹Á²°¼¸: \medskip \item{i)} Ú°¶´Ë¹ ÷µ» ¸¼µµÂ ½µ ±¾»µµ $m$ Á˽¾²µ¹. \item{ii)} Ú°¶´Ë¹ ÷µ», ºÀ¾¼µ º¾À½Ï ¸ »¸ÁÂ̵², ¸¼µµÂ ½µ ¼µ½µµ $m/2$ Á˽¾²µ¹. \item{iii)} Ú¾Àµ½Ì, µÁ»¸ ¾½ ½µ »¸ÁÂ, ¸¼µµÂ ½µ ¼µ½µµ 2 Á˽¾²µ¹. \item{iv)} ÒÁµ »¸ÁÂÌÏ À°Á¿¾»¾¶µ½Ë ½° ¾´½¾¼ ÃÀ¾²½µ ¸ ½µ Á¾´µÀ¶°Â ¸½Ä¾À¼°Æ¸¸. \item{v)} ݵ»¸Á¾²¾¹ ÷µ» Á $k$ Á˽¾²Ìϼ¸ Á¾´µÀ¶¸Â $k-1$ º»Îǵ¹. \medskip \noindent (Ú°º ¸ ¾±Ëǽ¾, »¸ÁÂ---º¾½Æµ²¾¹ ÷µ», à ½µ³¾ ½µÂ ¿Àµµ¼½¸º¾². â°º º°º »¸ÁÂÌÏ ½µ Á¾´µÀ¶°Â ¸½Ä¾À¼°Æ¸¸, ¸Å ¼¾¶½¾ À°ÁÁ¼°ÂÀ¸²°ÂÌ º°º ²½µÈ½¸µ ÷»Ë, º¾Â¾ÀËÅ ² ´µ¹Á²¸Âµ»Ì½¾Á¸ ½µÂ ² ´µÀµ²µ, °º Ǿ $\NULL$---; ú°·°Âµ»Ì ½° »¸ÁÂ.) Ý° À¸Á.~30 ¿¾º°·°½¾ B-´µÀµ²¾ ¿¾ÀÏ´º° 7. Ú°¶´Ë¹ ÷µ» (ºÀ¾¼µ º¾À½Ï ¸ »¸ÁÂ̵²) ¸¼µµÂ ¾Â~$\lceil 7/2\rceil$ ´¾~7 ¿Àµµ¼½¸º¾² ¸ Á¾´µÀ¶¸Â 3, 4, 5 ¸»¸ 6 º»Îǵ¹. Ú¾À½µ²¾¹ ÷µ» ¼¾¶µÂ Á¾´µÀ¶°ÂÌ ¾Â~1 ´¾~6 º»Îǵ¹ (² ´°½½¾¼ Á»ÃÇ°µ 2). ÒÁµ »¸ÁÂÌÏ ½°Å¾´ÏÂÁÏ ½° ÂÀµÂ̵¼ ÃÀ¾²½µ. ×°¼µÂ̵, Ǿ (a) º»ÎǸ À°Á¿¾»¾¶µ½Ë ² ²¾·À°Á°Îɵ¼ ¿¾ÀÏ´ºµ Á»µ²° ½°¿À°²¾, µÁ»¸ ¸Á¿¾»Ì·¾²°ÂÌ µÁµÁ²µ½½¾µ ¾±¾±Éµ½¸µ ¿¾½ÏÂ¸Ï Á¸¼¼µÂÀ¸Ç½¾³¾ ¿¾ÀÏ´º°, ¸ (b) º¾»¸ÇµÁ²¾ »¸ÁÂ̵² À¾²½¾ ½° µ´¸½¸Æà ±¾»Ìȵ º¾»¸ÇµÁ²° º»Îǵ¹. B-´µÀµ²ÌÏ ¿¾ÀÏ´º° 1 ¸~2, ¾Çµ²¸´½¾, ½µ¸½ÂµÀµÁ½Ë; ¿¾Í¾¼Ã ¼Ë À°ÁÁ¼¾ÂÀ¸¼ »¸ÈÌ Á»ÃÇ°¹ $m\ge 3$. ×°¼µÂ̵, Ǿ (3-2)-´µÀµ²ÌÏ, %% 564 \picture{à¸Á. 30. B-´µÀµ²¾ ¿¾ÀÏ´º° 7} %% 565 ¾¿Àµ´µ»µ½½Ëµ ² º¾½Æµ ¿.~6.2.3, ϲ»ÏÎÂÁÏ B-´µÀµ²Ìϼ¸ ¿¾ÀÏ´º° 3; ¸ ¾±À°Â½¾, B-´µÀµ²¾ ¿¾ÀÏ´º° 3 µÁÂÌ (3-2)-´µÀµ²¾. ã·µ», Á¾´µÀ¶°É¸¹ $j$ º»Îǵ¹ ¸ $j+1$ ú°·°Âµ»µ¹, ¼¾¶½¾ ¿Àµ´Á°²¸ÂÌ ² ²¸´µ \picture{ã·µ» B-´µÀµ²°} ³´µ $K_1