\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$ рпюфй ъбрпмоео. Ьфб уиенб фтевхеф дпчпмшоп умпцопк уйуфенщ рпчптпфпч, фбл лбл дмс чуфбчлй пдопзп опчпзп ьменеофб нпцеф рпфтевпчбфшус пуопчбфемшобс ретеуфтпклб детечб; Мбодбхьт йуипдйм йъ ртедрпмпцеойс, юфп рпйул ртйипдйфус ртпйъчпдйфш зптбъдп юбэе чуфбчпл й хдбмеойк. Еумй жбкм итбойфус об дйуле й счмсефус пвRелфпн утбчойфемшоп тедлйи чуфбчпл й хдбмеойк, фп дмс езп ртедуфбчмеойс рпдипдйф фтеихтпчоечпе детечп, зде ретчщк хтпчеош тбъчефчмеойс пртедемсеф, лблпк гймйодт вхдеф йурпмшъпчбфшус, умедхаэйк хтпчеош тбъчефчмеойс пртедемсеф уппфчефуфчхаэха дптпцлх об ьфпн гймйодте, б фтефйк хтпчеош упдетцйф упвуфчеооп %% 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