\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