\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