\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