\input style %% !! Òáúïâòáôøóñ, çäå M é sM? \ex[×Í20] Ðõóôø~$S$---íîïöåóô÷ï é~$\cM$---óï÷ïëõðîïóôø åçï ðïäíîïöåóô÷. Ðòåäðïìïöéí, þôï~$p$---æõîëãéñ, úáäáîîáñ îá íîïöåóô÷áè éú~$\cM$, ðòéîéíáàýáñ îá îéè äåêóô÷éôåìøîùå úîáþåîéñ, é þôï $p(M)$~ïâïúîáþáåô ÷åòïñôîïóôø ôïçï, þôï "óìõþáêîï" ÷ùâòáîîùê üìåíåîô éú~$S$ ðòéîáäìåöéô~$M$. Ïâïâýéôå ïðòåäåìåîéñ~× é~D ôáë, þôïâù ðïìõþéôø èïòïûåå ïðòåäåìåîéå ðïîñôéñ $k\hbox{-òáóðòåäåìåîîïê}$ ðïóìåäï÷áôåìøîïóôé~$\$ üìåíåîôï÷ íîïöåóô÷á~$S$ ðï ïôîïûåîéà ë òáóðòåäåìåîéà ÷åòïñôîïóôåê~$p$. \rex[×Í30] (Çåòíáî ×åêìø.) Ðïëáöéôå, þôï ðïóìåäï÷áôåìøîïóôø~$\$ $k\hbox{-òáóðòåäåìåîá}$ îá~$[0, 1)$ ÷ ôïí é ôïìøëï ôïí óìõþáå, ëïçäá \EQ{ \lim_{N\to\infty}{1\over N}\sum_{0\le n < N} \exp(2\pi i(c_1U_n+\cdots+c_kU_{n+k-1}))=0 } äìñ ëáöäïçï íîïöåóô÷á ãåìùè þéóåì~$c_1$, $c_2$,~\dots, $c_k$, çäå îå ÷óå~$c_j$ ïäîï÷òåíåîîï òá÷îù îõìà. \ex[Í34] Ðïëáöéôå, þôï $b\hbox{-éþîáñ}$ ðïóìåäï÷áôåìøîïóôø~$\$ $k\hbox{-òáóðòåäåìåîá}$ ÷ ôïí é ôïìøëï ôïí óìõþáå, ëïçäá ÷óå ðïóìåäï÷áôåìøîïóôé~$\$ \emph{òá÷îïíåòîï òáóðòåäåìåîù} ðòé õóìï÷éé, þôï~$c_1$, $c_2$,~\dots, $c_k$ ñ÷ìñàôóñ ãåìùíé þéóìáíé ó~$\îïä(c_1,~\ldots, c_k)=1$. \ex[Í30] Ðïëáöéôå, þôï ðïóìåäï÷áôåìøîïóôø~$\$ $k\hbox{-òáóðòåäåìåîá}$ îá~$[0,1)$ ÷ ôïí é ôïìøëï ôïí óìõþáå, ëïçäá ÷óå ðïóìåäï÷áôåìøîïóôé~$\$ \emph{òá÷îïíåòîï òáóðòåäåìåîù} ðòé õóìï÷éé, þôï~$c_1$, $c_2$,~\dots, $c_k$---îåëïôïòùå ãåìùå þéóìá, îå òá÷îùå îõìà ïäîï÷òåíåîîï. \ex[×Í20] Ðïóìåäï÷áôåìøîïóôø îáúù÷áåôóñ "âåìïê ðïóìåäï÷áôåìøîïóôøà", åóìé ÷óå ëïüææéãéåîôù ðïóìåäï÷áôåìøîïê ëïòòåìñãéé òá÷îù îõìà, ô.~å.\ åóìé óïïôîïûåîéå éú óìåäóô÷éñ~S óðòá÷åäìé÷ï ðòé \emph{÷óåè}~$k\ge1$. (Ëáë ÷éäîï éú óìåäóô÷éñ~S, $\infty\hbox{-òáóðòåäåìåîîáñ}$ ðïóìåäï÷áôåìøîïóôø ñ÷ìñåôóñ âåìïê.) Ðïëáöéôå, þôï åóìé $[0,1)\hbox{-ðïóìåäï÷áôåìøîïóôø}$ òá÷îïíåòîï òáóðòåäåìåîá, ôï ïîá ñ÷ìñåôóñ âåìïê ôïçäá é ôïìøëï ôïçäá, ëïçäá \EQ{ \lim_{n\to\infty}{1\over n}\sum_{0\le j < n} (U_j-1/2)(U_{j+k}-1/2)=0 \rem{ðòé ÷óåè~$k\ge 1$.} } \ex[×Í34] (Äö. Æòüîëìéî.) Ïðòåäåìåîîáñ ÷ ðòåäùäõýåí õðòáöîåîéé âåìáñ ðïóìåäï÷áôåìøîïóôø, âåúõóìï÷îï, íïöåô îå âùôø óìõþáêîïê. Ðõóôø $U_0$, $U_1$,~\dots{} åóôø $\infty\hbox{-òáóðòåäåìåîîáñ}$ ðïóìåäï÷áôåìøîïóôø. Ïðòåäåìéí ðïóìåäï÷áôåìøîïóôø $V_0$, $V_1$,~\dots{} óìåäõàýéí ïâòáúïí: \EQ{ \eqalignter{ (V_{2n-1}, V_{2n})&=(U_{2n-1}, U_{2n}), & \rem{åóìé $(U_{2n-1}, U_{2n})\in G$,}\cr (V_{2n-1}, V_{2n})&=(U_{2n}, U_{2n-1}), & \rem{åóìé $(U_{2n-1}, U_{2n})\notin G$},\cr } } çäå~$G$---íîïöåóô÷ï~$\set{(x,y) \mid x-(1/2)\le y \le x \ror x+(1/2)\le y}$. Ðïëáöéôå, þôï (a)~$V_0$, $V_1$,~\dots{} åóôø òá÷îïíåòîï òáóðòåäåìåîîáñ é âåìáñ ðïóìåäï÷áôåìøîïóôø, (b)~$\Pr(V_n>V_{n+1})=5/8$. (Ïôóàäá ÷éäîá óìáâïóôø ôåóôá ðïóìåäï÷áôåìøîïê ëïòòåìñãéé.) \ex[×Í49] Ðõóôø~$\$---òá÷îïíåòîï òáóðòåäåìåîîáñ âåìáñ ðïóìåäï÷áôåìøîïóôø. Ñ÷ìñåôóñ ìé þéóìï~$5/8$ ÷ ðòåäùäõýåí õðòáöîåîéé îáéâïìøûéí ÷ïúíïöîùí úîáþåîéåí ÷åìéþéîù~$\Pr(V_n>V_{n+1})$? \rex[Í24] Éóðïìøúõñ ðïóìåäï÷áôåìøîïóôø~\eqref[11], ðïóôòïêôå $3\hbox{-òáóðòåäåìåîîõà}$ îá~$[0,1)$ ðïóìåäï÷áôåìøîïóôø, äìñ ëïôïòïê~$\Pr(U_{2n}\ge1/2)=3/4$. \ex[×Í34] Ðõóôø $X_0$, $X_1$, \dots{} åóôø $(2k)\hbox{-òáóðòåäåìåîîáñ}$ ä÷ïéþîáñ ðïóìåäï÷áôåìøîïóôø. Ðïëáöéôå, þôï \EQ{ \Prsup(X_{2n}=0)\le 1/2+\perm{2k-1}{k}\bigg/2^{2k}. } %% 192 \rex[Í39] Ðïóôòïêôå $(2k)\hbox{-òáóðòåäåìåîîõà}$ ä÷ïéþîõà ðïóìåäï÷áôåìøîïóôø, äìñ ëïôïòïê óðòá÷åäìé÷ï òá÷åîóô÷ï \EQ{ \Pr(X_{2n}=0)=1/2+\perm{2k-1}{k}\bigg/ 2^{2k}. } (Ïôóàäá óìåäõåô, þôï îåòá÷åîóô÷ï ÷ ðòåäùäõýåí õðòáöîåîéé îåìøúñ õìõþûéôø.) \ex[Í30] Ðïëáöéôå, þôï óõýåóô÷õåô ðïóìåäï÷áôåìøîïóôø îá~$[0,1)$ õäï÷ìåô÷ïòñàýáñ ïðòåäåìåîéà~R5, îï ôáëáñ, þôï~$\nu_n/n\ge 1/2$ äìñ ÷óåè~$n>0$, çäå $\nu_n$~åóôø þéóìï ôåè~$j$---"óìõþáêîáñ" $b\hbox{-éþîáñ}$ ðïóìåäï÷áôåìøîïóôø ÷ óíùóìå ïðòåäåìåîéñ~R5 é~$\cR$---÷ùþéóìéíïå ðòá÷éìï ðïóôòïåîéñ ðïäðïóìåäï÷áôåìøîïóôé, ëïôïòïå ïðòåäåìñåô âåóëïîåþîõà ðïäðïóìåäï÷áôåìøîïóôø~$\\cR$. Ðïëáöéôå, þôï üôá ðïäðïóìåäï÷áôåìøîïóôø îå ôïìøëï $1\hbox{-òáóðòåäåìåîá}$, îï é "óìõþáêîá" ÷ óíùóìå ïðòåäåìåîéñ~R5. \ex[×Í24] Ðõóôø~$\$ é~$\$---âåóëïîåþîùå, îå éíåàýéå ïâýéè üìåíåîôï÷ ðïäðïóìåäï÷áôåìøîïóôé ðïóìåäï÷áôåìøîïóôé~$\$. (Üôï úîáþéô, þôï $r_0$~åóôø óïóôá÷îáñ ðïäðïóìåäï÷áôåìøîïóôø, äìñ ëïôïòïê~$t_0$---ä÷ïéþîáñ ðïóìåäï÷áôåìøîïóôø, ëïôïòáñ ñ÷ìñåôóñ "óìõþáêîïê" ÷ óíùóìå ïðòåäåìåîéñ~R6. Ðïëáöéôå, þôï ðïóìåäï÷áôåìøîïóôø~$\$ îá~$[0,1)$, óìåäõàýéí ïâòáúïí ïðòåäåìåîîáñ ÷ ä÷ïéþîïê úáðéóé: \EQ{ \eqalign{ U_0&=0.X_0\cr U_1&=0.X_1X_2\cr U_2&=0.X_3X_4X_5\cr U_3&=0.X_6X_7X_8X_9\cr \ldots\cr } } ñ÷ìñåôóñ óìõþáêîïê ÷ óíùóìå ïðòåäåìåîéñ~R6. \ex[Í48] Óõýåóô÷õàô ìé ðïóìåäï÷áôåìøîïóôé, õäï÷ìåô÷ïòñàýéå ïðòåäåìåîéà~R4, îï îå~R5? \ex[Í50] (Á.~Î.~Ëïìíïçïòï÷.) Ðõóôø úáäáîù~$N$, $n$ é~$\varepsilon$. Îáêôé îáéíåîøûåå þéóìï áìçïòéôíï÷ ÷ íîïöåóô÷å~$A$, ôáëéè, þôïâù îå óõýåóô÷ï÷áìé $(n,\varepsilon)\hbox{-óìõþáêîùå}$ ðï ïôîïûåîéà ë~$A$ ä÷ïéþîùå ðïóìåäï÷áôåìøîïóôé äìéîù~$N$. (Åóìé îåìøúñ ðïìõþéôø ôïþîùå æïòíõìù, íïöîï ìé îáêôé áóéíðôïôéþåóëéå æïòíõìù? Çìá÷îïå ÷ üôïê úáäáþå---ïðòåäåìéôø, îáóëïìøëï âìéúëá ÷åìéþéîá~\eqref[35] ë "îáéìõþûåê ÷ïúíïöîïê".) \ex[×Í45] (Ë.~Òïô.) Ðõóôø~$\$---ðïóìåäï÷áôåìøîïóôø îá~$[0,1)$ é~$\nu_n(u)$---þéóìï îåïôòéãáôåìøîùè ãåìùè þéóåì~$j$ îá~$[0,1)$ éíååô íåóôï îåòá÷åîóô÷ï \EQ{ \abs{\nu_n(u)-un}>c\sqrt{\log N} } äìñ îåëïôïòùè~$n$ é~$u$, ôáëéè, þôï~$0\le n < N$, $0\le u < 1$. (Äòõçéíé óìï÷áíé, îéëáëáñ ðïóìåäï÷áôåìøîïóôø îá~$[0,1)$ îå íïöåô âùôø \emph{óìéûëïí} òá÷îïíåòîï òáóðòåäåìåîîïê.) %% 193 \subchap{×Ù×ÏÄÙ} % 3.6 × üôïê çìá÷å íù úáôòïîõìé âïìøûïê ëòõç ÷ïðòïóï÷: ëáë ÷ùòáâáôù÷áôø óìõþáêîùå þéóìá, ëáë ðòï÷åòñôø éè, ëáë éè ðòåïâòáúï÷ù÷áôø é ëáë ðïìõþáôø ó÷ñúáîîùå ó îéíé ôåïòåôéþåóëéå òåúõìøôáôù. Ïóîï÷îïê ÷ïðòïó, ëïôïòùê, îá÷åòîïå, ÷ïúîéëîåô ðï ðòïþôåîéé üôïê çìá÷ù õ âïìøûéîóô÷á þéôáôåìåê, íïöîï óæïòíõìéòï÷áôø óìåäõàýéí ïâòáúïí: "Ëáëï÷ öå òåúõìøôáô ÷óåê üôïê ôåïòéé? Çäå ðòïóôïê é ëáþåóô÷åîîùê äáôþéë, ëïôïòùê ñ íïç âù éóðïìøúï÷áôø ÷ ó÷ïéè ðòïçòáííáè ëáë îáäåöîùê éóôïþîéë óìõþáêîùè þéóåì?" Éú ÷óåçï íáôåòéáìá, éúìïöåîîïçï ÷ üôïê çìá÷å, óìåäõåô, þôï "îáéìõþûéê" é "ðòïóôåêûéê" äáôþéë óìõþáêîùè þéóåì ðïìõþáåôóñ óìåäõàýéí ïâòáúïí. × îáþáìå ðòïçòáííù õóôáîï÷éôå ðåòåíåîîõà~$X$ òá÷îïê îåëïôïòïíõ ãåìïíõ úîáþåîéà~$X_0$. Üôá ðåòåíåîîáñ~$X$ äïìöîá éóðïìøúï÷áôøóñ ôïìøëï äìñ ðïòïöäåîéñ óìõþáêîùè þéóåì. Ëáë ôïìøëï äìñ òáâïôù ðòïçòáííù ðïôòåâõåôóñ óìåäõàýåå óìõþáêîïå þéóìï, îõöîï õóôáîï÷éôø \EQ[1]{ X\asg(aX+c) \bmod m } é éóðïìøúï÷áôø îï÷ïå úîáþåîéå~$X$ ÷ ëáþåóô÷å óìõþáêîïê ÷åìéþéîù. Ðòé ÷ùâïòå $X_0$, $a$, $c$ é~$m$ îåïâèïäéíï óïâìàäáôø îåëïôïòùå ðòá÷éìá é éóðïìøúï÷áôø óìõþáêîùå þéóìá ïóíùóìåîîï, òõëï÷ïäóô÷õñóø óìåäõàýéíé ðòéîãéðáíé. {\medskip\narrower \item{i)}Þéóìï~$X_0$ íïöåô âùôø ðòïéú÷ïìøîùí. Åóìé ðï ðòïçòáííå äåìáåôóñ îåóëïìøëï ðòïóþåôï÷ é ëáöäùê òáú öåìáôåìåî òáúìéþîùê éóôïþîéë óìõþáêîùè þéóåì, ðòéó÷ïêôå~$X_0$ ðïóìåäîåå úîáþåîéå~$X$, ðïìõþåîîïå ÷ï ÷òåíñ ðòåäùäõýåçï ðòïóþåôá, éìé (åóìé üôï âïìåå õäïâîï) õóôáîï÷éôå~$X_0$ òá÷îùí ôåëõýåíõ íïíåîôõ ÷òåíåîé é ëáìåîäáòîïê äáôå. \item{ii)}Þéóìï~$m$ äïìöîï âùôø ÷åìéëï. Õäïâîï ÷ùâéòáôø åçï òá÷îùí òáúíåòõ óìï÷á ÷ùþéóìéôåìøîïê íáûéîù, ðïóëïìøëõ ðòé üôïí üææåëôé÷îï ÷ùþéóìñåôóñ~$(aX+c)\bmod m$. ×ïðòïóù, ó÷ñúáîîùå ó ÷ùâïòïí~$m$, âïìåå ðïäòïâîï òáúâéòáàôóñ ÷ ð.~3.2.1.1. Úîáþåîéå~$(aX+c)\bmod m$ óìåäõåô ÷ùþéóìñôø \emph{ôïþîï,} âåú ïûéâïë ïëòõçìåîéñ. \item{iii)}Åóìé $m$~ðòåäóôá÷ìñåô óïâïê óôåðåîø ä÷ïêëé (ô.~å.\ åóìé éóðïìøúõåôóñ íáûéîá, òáâïôáàýáñ ÷ ä÷ïéþîïê óéóôåíå óþéóìåîéñ), ÷ùâåòéôå~$a$ ôáëéí, þôïâù~$a\bmod8=5$. Åóìé $m$~åóôø óôåðåîø~$10$ (ô.~å.\ éóðïìøúõåôóñ íáûéîá, òáâïôáàýáñ ÷ äåóñôéþîïê óéóôåíå óþéóìåîéñ), ÷ùâåòéôå~$a$ ôáëéí, þôïâù~$a\bmod 200=21$. %% 194 Ðòé ôáëïí ÷ùâïòå ÷åìéþéîù~$a$, ðòé õóìï÷éé, þôï $c$~÷ùâéòáåôóñ ïðéóáîîùí îéöå óðïóïâïí, çáòáîôéòõåôóñ, þôï äáôþéë óìõþáêîùè þéóåì äáóô ÷óå $m$~÷ïúíïöîùè òáúìéþîùè úîáþåîéê~$X$ ðòåöäå, þåí ïîé îáþîõô ðï÷ôïòñôøóñ (óí.~ð.~3.2.1.2), é, ëòïíå ôïçï, çáòáîôéòõåôóñ ÷ùóïëáñ "íïýîïóôø" (óí.~ð.~3.2.1.3). \item{iv)}Íîïöéôåìø~$a$ äïìöåî ðòå÷ïóèïäéôø ÷åìéþéîõ~$\sqrt{m}$, öåìáôåìøîï, þôïâù ïî âùì âïìøûå~$m/100$, îï íåîøûå~$m-\sqrt{m}$. Ðïóìåäï÷áôåìøîïóôø òáúòñäï÷ ÷ ä÷ïéþîïí éìé äåóñôéþîïí ðòåäóôá÷ìåîéé~$a$ \emph{îå} äïìöîá éíåôø ðòïóôïçï, òåçõìñòîïçï ÷éäá. Ðï üôïíõ ðï÷ïäõ óí., îáðòéíåò, ð.~3.2.1.3 é õðò.~3.2.1.3-8. Ìõþûå ÷óåçï ÷ ëáþåóô÷å üôïçï íîïöéôåìñ ÷ùâòáôø îáõäáþõ îåëïôïòõà ðïóôïñîîõà, îáðòéíåò, \EQ[2]{ a=3141592621. } (Üôá ðïóôïñîîáñ õäï÷ìåô÷ïòñåô ïâïéí õóìï÷éñí éú~(iii).) ×ùóëáúáîîùè óïïâòáöåîéê ïâùþîï âù÷áåô äïóôáôïþîï äìñ ðïìõþåîéñ õäï÷ìåô÷ïòéôåìøîïçï íîïöéôåìñ, ïäîáëï, åóìé äáôþéë óìõþáêîùè þéóåì, éóðïìøúõåôóñ éîôåîóé÷îï, íîïöéôåìø~$a$, ëòïíå ôïçï, óìåäõåô ÷ùâéòáôø ôáë, þôïâù õäï÷ìåô÷ïòñìóñ "Óðåëôòáìøîùê ôåóô" (ð.~3.3.4). \item{v)}Ðïóôïñîîáñ~$c$ äïìöîá âùôø òá÷îá îåþåôîïíõ þéóìõ (ëïçäá $m$~åóôø óôåðåîø ä÷ïêëé) é ëòïíå ôïçï îå äïìöîá âùôø ëòáôîïê~$5$ (ëïçäá $m$~åóôø óôåðåîø~$10$). Öåìáôåìøîï ÷ùâéòáôø~$c$ ôáëéí ïâòáúïí, þôïâù ïôîïûåîéå~$c/m$ âùìï âù ðòéâìéúéôåìøîï òá÷îï ÷åìéþéîå, ðòé÷åäåîîïê ÷ ð.~3.3.3, óïïôîïûåîéå~\eqref[41]. \item{vi)}Íåîåå úîáþéíùå (ðòá÷ùå) òáúòñäù~$X$ îå ïþåîø èïòïûé ó ôïþëé úòåîéñ óìõþáêîïóôé, ðïüôïíõ ðòé éóðïìøúï÷áîéé þéóìá~$X$ ïóîï÷îõà òïìø äïìöîù éçòáôø îáéâïìåå úîáþéíùå òáúòñäù. ×ïïâýå çï÷ïòñ, ìõþûå òáóóíáôòé÷áôø~$X$ ëáë óìõþáêîõà äòïâø~$X/m$ ÷ éîôåò÷áìå íåöäõ~$0$ é~$1$, ô.~å.\ ðòåäóôá÷ìñôø~$X$ ó äåóñôéþîïê ôïþëïê óìå÷á, þåí ëáë óìõþáêîïå ãåìïå þéóìï; òáóðïìïöåîîïå íåöäõ~$0$ é~$m-1$. Äìñ ôïçï, þôïâù ðïìõþéôø óìõþáêîïå ãåìïå þéóìï, òáóðïìïöåîîïå íåöäõ~$0$ é~$k-1$, óìåäõåô õíîïöéôø~$X$ îá~$k$ é ïôâòïóéôø ìéûîéå òáúòñäù (óí.\ îáþáìï ð.~3.4.2). \medskip} × üôéè ûåóôé "ðòá÷éìáè" úáëìàþåîï ÷óå îáéâïìåå ÷áöîïå éú ôïçï, þôï îõöîï úîáôø ï óìõþáêîùè þéóìáè, ðïìõþáåíùè îá ÷ùþéóìéôåìøîïê íáûéîå. Ë óïöáìåîéà, ÷ úîáþéôåìøîïê þáóôé íáôåòéáìá, ïðõâìéëï÷áîîïçï ë íïíåîôõ îáðéóáîéñ üôïê çìá÷ù, òåëïíåîäõåôóñ éóðïìøúï÷áôø äáôþéëé, ÷ ëïôïòùè îáûé ðòá÷éìá îáòõûáàôóñ. ×ï íîïçéè óôáôøñè éíåàôóñ ÷áöîùå ôåïòåôéþåóëéå òåúõìøôáôù ðï ÷ùòáâïôëå óìõþáêîùè þéóåì, ïäîáëï ðòåäìáçáåíùå ÷ îéè ëïîëòåôîùå íåôïäù îåóï÷åòûåîîù, þôï âùìï ïâîáòõöåîï éè á÷ôïòáíé óìéûëïí ðïúäîï. ×ïúíïöîï, þôï é òåëïíåîäõåíùå îáíé äáôþéëé óìõþáêîùè þéóåì %% 195 ÷ âõäõýåí âõäõô ðòéúîáîù îåõäï÷ìåô÷ïòéôåìøîùíé. Íù îáäååíóñ, þôï üôïçï îå ðòïéúïêäåô, ïäîáëï ðòïûìïå õþéô îáó ïóôïòïöîïóôé. Îáéâïìåå âìáçïòáúõíîï âùìï âù ðïóôõðáôø ôáë: ðòåöäå þåí ÷óåòøåú ïôîïóéôøóñ ë òåúõìøôáôáí òáóþåôá ðï ðòïçòáííáí, éóðïìøúõàýéí íåôïä Íïîôå-Ëáòìï, óìåäõåô óþéôáôø ðï ëòáêîåê íåòå ä÷áöäù, éóðïìøúõñ óï÷åòûåîîï òáúìéþîùå éóôïþîéëé óìõþáêîùè þéóåì. Ôáëïê ðïäèïä îå ôïìøëï çáòáîôéòõåô õóôïêþé÷ïóôø òåúõìøôáôï÷, îï é ëïîôòïìéòõåô ëáþåóô÷ï äáôþéëá. (Ìàâïê äáôþéë óìõþáêîùè þéóåì âõäåô äá÷áôø ðìïèéå òåúõìøôáôù ðï ëòáêîåê íåòå ÷ ïäîïí ëìáóóå ðòéìïöåîéê.) Èïôñ ìéîåêîùå ëïîçòõüîôîùå ðïóìåäï÷áôåìøîïóôé, áîáìïçéþîùå ïðéóáîîùí úäåóø, ïâùþîï ñ÷ìñàôóñ õäï÷ìåô÷ïòéôåìøîùí éóôïþîéëïí óìõþáêîùè þéóåì, ÷ ð.~3.3.4 (óí.~(3.3.4-13)) õëáúáîï ÷áöîïå ïçòáîéþåîéå éè ëáþåóô÷á. Éú õðò.~3.3.4-27 óìåäõåô, þôï ìéîåêîùå ëïîçòõüîôîùå ðïóìåäï÷áôåìøîïóôé îå çïäñôóñ äìñ òáóþåôï÷ ðï íåôïäõ Íïîôå-Ëáòìï ó "÷ùóïëéí òáúòåûåîéåí". Åóìé ôòåâõåôóñ âïìøûáñ îåúá÷éóéíïóôø óìõþáêîùè þéóåì, îåïâèïäéíï éóðïìøúï÷áôø íåôïäù ð.~3.2.2. Ðòå÷ïóèïäîùê óðéóïë ìéôåòáôõòù, ïðõâìéëï÷áîîùê ðï üôïíõ ÷ïðòïóõ äï 1962~ç., óïäåòöéôóñ ÷ óôáôøå Ô.~Èáìäá é Á.~Äïâåììá "Random Number Generators" ({\sl SIAM Review,\/} {\bf 4} (1962), 230--254). × ó÷ñúé ó üôéí îáí îå îõöîï ðòé÷ïäéôø óóùìëé îá òáîîéå ðõâìéëáãéé, ëòïíå ôåè, ëïôïòùå õöå õðïíñîõôù ÷ üôïê çìá÷å. Óòåäé òáâïô, ðïñ÷é÷ûéèóñ ðïóìå 1962~ç., ïóïâåîîï óìåäõåô ïôíåôéôø óôáôøà Í.~Íáëìáòåîá é Äö.~Íáòóáìøé "Uniform random Generators" ({\sl JACM,\/} {\bf 12} (1965), 83--89), ðïôïíõ þôï ÷ îåê ÷ðåò÷ùå õëáúáîù îåäïóôáôëé ìéîåêîùè ëïîçòõüîôîùè äáôþéëï÷ ó îåðòá÷éìøîï ÷ùâòáîîùíé íîïöéôåìñíé. × üôïê öå óôáôøå âùì ðòåäìïöåî áìçïòéôí~3.2.2Í. Üôï èïòïûéê íåôïä, ëïôïòùê úîáþéôåìøîï õìõþûáåô ëáþåóô÷ï äáôþéëá é ôòåâõåô ôïìøëï ÷ä÷ïå âïìøûåçï ÷òåíåîé óþåôá. Íîïçéå úáäáþé, úáôòïîõôùå ÷ îáóôïñýåê çìá÷å, òáóóíáôòé÷áàôóñ ÷ ëîéçå Â.~Ñîóóïîá "Random Number Generators" (Stockholm, Almqvist and Wiksell, 1966). × ëîéçå Äö.~Èáííåòóìé é~Ä.~Èüîäóëïíâá "Monte Carlo Methods" (London, Methuen, 1964) ðïäòïâîï éúõþáåôóñ ðòéíåîåîéå óìõþáêîùè þéóåì ÷ ÷ùþéóìéôåìøîùè íåôïäáè. × üôïê ëîéçå ðïëáúáîï, þôï üææåëôé÷îïóôø íîïçéè þéóìåîîùè íåôïäï÷ ÷ïúòáóôáåô, åóìé éóðïìøúï÷áôø "ë÷áúéóìõþáêîùå" þéóìá, óðåãéáìøîï ðïäïâòáîîùå äìñ òåûåîéñ ïðòåäåìåîîïê úáäáþé (é îå ïâñúáôåìøîï õäï÷ìåô÷ïòñàýéå óôáôéóôéþåóëéí ôåóôáí, ï ëïôïòùè íù ðéóáìé). × ðòé÷åäåîîùè îéöå õðòáöîåîéñè éíåàôóñ îåëïôïòùå éîôåòåóîùå ðòïåëôù ðòïçòáíí, éóðïìøúõàýéè óìõþáêîùå þéóìá. ×ïúíïöîï, þôï áîáìïçéþîùå ðòïåëôù ðòéäõô ÷ çïìï÷õ þéôáôåìà. Ðï ëòáêîåê íåòå ïäéî äáôþéë óìõþáêîùè þéóåì éíååôóñ ðïþôé ÷ ìàâïê èïòïûåê ðòïçòáííå. %% 196 \excercises \ex[21] Îáðéûéôå ðïäðòïçòáííõ äìñ íáûéîù~\MIX{} óï óìåäõàýéíé èáòáëôåòéóôéëáíé: \descrtable{ ×ùúï÷: & |JMP RANDI|\cr Óïóôïñîéå ðòé ÷èïäå:& $|rA|=k$, ðïìïöéôåìøîïå ãåìïå~$ < 5000$\cr Óïóôïñîéå ðòé ÷ùèïäå: & $|rA|\asg \hbox{óìõþáêîïå ãåìïå} Y$, $1\le Y \le k$, ëáöäïå ãåìïå úîáþåîéå òá÷îï÷åòïñôîï, $|rX|=?$; ôòéççåò ðåòåðïìîåîéñ óâòïûåî.\cr } (Éóðïìøúõêôå íåôïä, ðòåäìïöåîîùê ÷ üôïí ðáòáçòáæå, îï ÷ïúøíéôå~$c=1$.) \rex[21] Îåëïôïòùå ïðáóáìéóø, þôï ÷ùþéóìéôåìøîùå íáûéîù óï ÷òåíåîåí âõäõô õðòá÷ìñôø íéòïí. Éè õóðïëáé÷áàô úáñ÷ìåîéåí, þôï íáûéîá îå íïöåô óäåìáôø îéþåçï äåêóô÷éôåìøîï îï÷ïçï, ðïóëïìøëõ ïîá ÷óåçï ìéûø ÷ùðïìîñåô ëïíáîäù ó÷ïåçï èïúñéîá, ðòïçòáííéóôá. Ìåäé Ìá÷ìåêó\note{1}% {Óí.\ ôïí~1, óôò.~25.---{\sl Ðòéí. ðåòå÷.\/}} ðéóáìá ÷ 1844~ç.: "Áîáìéôéþåóëáñ íáûéîá îå ðòéôñúáåô îá \emph{éúïâòåôåîéå} þåçï-ìéâï. Ïîá íïöåô äåìáôø ÷óå ôï, \emph{þôï íù óõíååí åê ðòéëáúáôø}". Íîïçéå æéìïóïæù òáú÷é÷áìé üôõ íùóìø. Ïâäõíáêôå üôï õô÷åòöäåîéå, éíåñ ÷ ÷éäõ äáôþéëé óìõþáêîùè þéóåì. \ex[32] "Éçòá ÷ ëïóôé". Îáðéûéôå ðòïçòáííõ, ëïôïòáñ íïäåìéòõåô âòïóáîéå ä÷õè ëïóôåê, îá ëáöäïê éú ëïôïòùè ó òá÷îïê ÷åòïñôîïóôøà ÷ùðáäáàô úîáþåîéñ~$1$, $2$,~\dots{}, $6$. Åóìé ðòé ðåò÷ïí âòïóáîéé ïâýáñ óõííá òá÷îá~$7$ éìé~$11$, éçòá óþéôáåôóñ ÷ùéçòáîîïê, åóìé ïîá òá÷îá~$2$, $3$ éìé~$12$---ðòïéçòáîîïê. Ðòé ìàâïê äòõçïê óõííå (îáúï÷åí üôõ óõííõ "óôòåìëïê") ðòïäïìöáêôå âòïóáîéñ, ðïëá îå ÷ùðáäåô~$7$ (ðòïéçòùû) éìé ïðñôø ðïìõþéôóñ "óôòåìëá" (÷ùéçòùû). Óùçòáêôå äåóñôø éçò. Òåúõìøôáôù ëáöäïçï âòïóáîéñ ëïóôåê óìåäõåô îáðåþáôáôø ÷ ÷éäå~$mn$, çäå~$m$ é~$n$---ãéæòù îá ä÷õè ëïóôñè, óîáâäé÷ óïïô÷åôóô÷õàýéíé ëïííåîôáòéñíé ÷òïäå "úíåéîùå çìáúá" é~ô.~ð. \ex[40] "Óïìéôåò" (ðáóøñîó). Îåëïôïòùå ôòáôñô äòáçïãåîîïå ÷òåíñ îá òáóëìáäù÷áîéå ðáóøñîóá "óïìéôåò". ×ïúíïöîï, þôï á÷ôïíáôéëá ÷ôïòçîåôóñ é ÷ üôõ ïâìáóôø. Îáðéûéôå ðòïçòáííõ, ëïôïòáñ (a)~ôáóõåô óíïäåìéòï÷áîîõà ëïìïäõ ëáòô, (b)~òáóëìáäù÷áåô ëáëïê-ìéâï ïâùþîùê ðáóøñîó "óïìéôåò", ïóîï÷ù÷áñóø îá ðïìõþåîîïí ðïòñäëå ëáòô ÷ ëïìïäå, (c)~ðåþáôáåô òåúõìøôáô éçòù, ïôëõäá âõäåô ÷éäîï, îáóëïìøëï ðòïçòáííá âùìá âìéúëá ë õóðåèõ. Óìåäõåô óùçòáôø îåóëïìøëï éçò. Íïöîï óäåìáôø ôáë, þôïâù ðï ôòåâï÷áîéà ðòïçòáííá îáþéîáìá "íïûåîîéþáôø". \ex[46] \emph{Íïäåìéòï÷áîéå ìéôåòáôõòîïçï ô÷ïòþåóô÷á ó ðïíïýøà ÷ùþéóìéôåìøîïê íáûéîù.} 26~ïëôñâòñ 1960~ç.\ ðï ôåìå÷éúéïîîïê ðòïçòáííå~CBS ðïëáúù÷áìáóø ðåòåäáþá, ïúáçìá÷ìåîîáñ "Äõíáàýáñ íáûéîá", ÷ ëïôïòïê, ÷ þáóôîïóôé, éóðïìøúï÷áìéóø ä÷å îåâïìøûéå ðøåóù ÷ óôéìå ÷åóôåòî, óïóôá÷ìåîîùå ðòé ðïíïýé ðòïçòáííù äìñ Ü×Í. Îéöå ðòé÷ïäñôóñ ä÷á üôéè óãåîáòéñ ÷ ôïí ÷éäå, ÷ ëïôïòïí éè ÷ùäáìá íáûéîá. \tvscript Óãåîáòéê 1. (Òå÷ïìø÷åò ÷ ðòá÷ïê òõëå; äåîøçé ÷ ìå÷ïê òõëå; óôáëáî îá óôïìå; âõôùìëá îá óôïìå; ëïâõòá îá çòáâéôåìå; òå÷ïìø÷åò ûåòéæá ÷ ðòá÷ïê òõëå ûåòéæá; ëïâõòá ûåòéæá îá ûåòéæå.) \body ÇÒÁÂÉÔÅÌØ& (Çòáâéôåìø úá ïëîïí.) Éäåô ë ä÷åòé; ïôëòù÷áåô ä÷åòø; ðòïèïäéô ÷ ä÷åòø; úáëòù÷áåô ä÷åòø; éäåô ÷ õçïì; ëìáäåô äåîøçé ÷ õçìõ; éäåô ë óôïìõ; ëìáäåô òå÷ïìø÷åò îá óôïì; óáäéôóñ é îåò÷îéþáåô; óéäéô úá óôïìïí; âåòåô óôáëáî (ðõóôïê) ðòá÷ïê òõëïê; óôá÷éô óôáëáî îá óôïì; âåòåô âõôùìëõ ðòá÷ïê òõëïê; îáìé÷áåô; óôá÷éô âõôùìëõ îá óôïì; âåòåô óôáëáî ðòá÷ïê òõëïê; ðøåô éú óôáëáîá; óôá÷éô óôáëáî îá óôïì; âåòåô âõôùìëõ ðòá÷ïê òõëïê; óéäñô úá óôïìïí; óéäéô úá óôïìïí; éäåô ÷ õçïì; éäåô ë ïëîõ; éäåô ë óôïìõ; óôá÷éô âõôùìëõ îá óôïì; óáäéôóñ é îåò÷îéþáåô; óéäéô úá óôïìïí; óéäéô é îåò÷îéþáåô; éäåô ë ïëîõ; éäåô ë óôïìõ; âåòåô óôáëáî ðòá÷ïê òõëïê.\cr %% 197 ÛÅÒÉÆ & (Ûåòéæ úá ïëîïí.) ×éäéô çòáâéôåìñ; (çòáâéôåìø ÷éäéô ûåòéæá);\cr ÇÒÁÂÉÔÅÌØ& Óôá÷éô óôáëáî îá óôïì; âåòåô òå÷ïìø÷åò ðòá÷ïê òõëïê; ðòï÷åòñåô òå÷ïìø÷åò.\cr ÛÅÒÉÆ& Öäåô; ïôëòù÷áåô ä÷åòø; ÷éäéô çòáâéôåìñ; (çòáâéôåìø ÷éäéô ûåòéæá); ðòïèïäéô ÷ ä÷åòø.\cr ÇÒÁÂÉÔÅÌØ& Éäåô ë ïëîõ; ãåìéôóñ; óôòåìñåô; ÌÅÇËÏ ÒÁÎÉÔ ÛÅÒÉÆÁ.\cr ÛÅÒÉÆ& Éäåô ë ïëîõ; ãåìéôóñ; óôòåìñåô; ÐÒÏÍÁÈÉ×ÁÅÔÓÑ, éäåô ë ä÷åòé; éäåô ë ïëîõ.\cr ÇÒÁÂÉÔÅÌØ& Éäåô ë ä÷åòé; ãåìéôóñ; ãåìéôóñ.\cr ÛÅÒÉÆ& Ãåìéôóñ; óôòåìñåô; ÐÒÏÍÁÈÉ×ÁÅÔÓÑ.\cr ÇÒÁÂÉÔÅÌØ& Óôòåìñåô; ÌÅÇËÏ ÒÁÎÉÔ ÛÅÒÉÆÁ.\cr ÛÅÒÉÆ& Éäåô ë ä÷åòé; ãåìéôóñ; óôòåìñåô; ÐÒÏÍÁÈÉ×ÁÅÔÓÑ; ðòïèïäéô ÷ ä÷åòø; ãåìéôóñ.\cr ÇÒÁÂÉÔÅÌØ& Ãåìéôóñ; óôòåìñåô; ÐÒÏÍÁÈÉ×ÁÅÔÓÑ; ãåìéôóñ; óôòåìñåô; ÐÒÏÍÁÈÉ×ÁÅÔÓÑ.\cr ÛÅÒÉÆ& Óôòåìñåô; ÐÒÏÍÁÈÉ×ÁÅÔÓÑ; éäåô ë ïëîõ; ãåìéôóñ; óôòåìñåô; ÐÒÏÍÁÈÉ×ÁÅÔÓÑ. \cr ÇÒÁÂÉÔÅÌØ& Ãåìéôóñ; óôòåìñåô; ÐÒÏÍÁÈÉ×ÁÅÔÓÑ; ãåìéôóñ; óôòåìñåô, ÐÒÏÍÁÈÉ×ÁÅÔÓÑ; ãåìéôóñ; óôòåìñåô; ÌÅÇËÏ ÒÁÎÉÔ ÛÅÒÉÆÁ.\cr ÛÅÒÉÆ& Ãåìéôóñ; óôòåìñåô; ÔÏÞÎÏ ÐÏÐÁÄÁÅÔ × ÇÒÁÂÉÔÅÌÑ.\cr ÇÒÁÂÉÔÅÌØ& Òïîñåô òå÷ïìø÷åò; çòáâéôåìø õíéòáåô.\cr ÛÅÒÉÆ& Ëìáäåô òå÷ïìø÷åò ÷ ëïâõòõ; éäåô ë óôïìõ; âåòåô óôáëáî (ðõóôïê) ðòá÷ïê òõëïê; âåòåô ìå÷ïê òõëïê óôáëáî éú ðòá÷ïê òõëé; âåòåô âõôùìëõ ðòá÷ïê òõëïê; îáìé÷áåô; óôá÷éô âõôùìëõ îá óôïì; âåòåô ðòá÷ïê òõëïê óôáëáî éú ìå÷ïê òõëé; ðøåô éú óôáëáîá; âåòåô ìå÷ïê òõëïê óôáëáî éú ðòá÷ïê òõëé; âåòåô âõôùìëõ ðòá÷ïê òõëïê; îáìé÷áåô; óôá÷éô âõôùìëõ îá óôïì; âåòåô ðòá÷ïê òõëïê óôáëáî éú ìå÷ïê òõëé; ðøåô éú óôáëáîá; óôá÷éô óôáëáî îá óôïì; éäåô ÷ õçïì; âåòåô äåîøçé ðòá÷ïê òõëïê; éäåô ë ä÷åòé, ðòïèïäéô ÷ ä÷åòø; úáëòù÷áåô ä÷åòø. ÚÁÎÁ×ÅÓ.\cr \endtvscript \tvscript Óãåîáòéê~2. (Òå÷ïìø÷åò ÷ ðòá÷ïê òõëå; äåîøçé ÷ ìå÷ïê òõëå; óôáëáî îá óôïìå; âõôùìëá îá óôïìå; ëïâõòá îá çòáâéôåìå; òå÷ïìø÷åò ûåòéæá ÷ ðòá÷ïê òõëå ûåòéæá; ëïâõòá ûåòéæá îá ûåòéæå.) %% 197 \body ÇÒÁÂÉÔÅÌØ& (Çòáâéôåìø úá ïëîïí.) Éäåô ë ä÷åòé; ïôëòù÷áåô ä÷åòø; ðòïèïäéô ÷ ä÷åòø; úáëòù÷áåô ä÷åòø; éäåô ÷ õçïì; ëìáäåô äåîøçé ÷ õçìõ; éäåô ë ïëîõ; ëìáäåô òå÷ïìø÷åò õ ïëîá; ïâìïëáþé÷áåôóñ é óíïôòéô ÷ ïëîï; ïâìïëáþé÷áåôóñ é óíïôòéô ÷ ïëîï, éäåô ÷ õçïì; óþéôáåô äåîøçé; éäåô ë óôïìõ; âåòåô óôáëáî (ðõóôïê) ðòá÷ïê òõëïê; âåòåô ìå÷ïê òõëïê óôáëáî éú ðòá÷ïê òõëé; âåòåô âõôùìëõ ðòá÷ïê òõëïê; îáìé÷áåô; óôá÷éô âõôùìëõ îá óôïì; âåòåô ðòá÷ïê òõëïê óôáëáî éú ìå÷ïê òõëé; ðøåô éú óôáëáîá; óôá÷éô óôáëáî îá óôïì; âåòåô âõôùìëõ ðòá÷ïê òõëïê; îáìé÷áåô; éäåô ÷ õçïì; óôá÷éô âõôùìëõ ÷ õçìõ; éäåô ë ïëîõ; âåòåô òå÷ïìø÷åò ðòá÷ïê òõëïê; ðòï÷åòñåô òå÷ïìø÷åò; ëìáäåô òå÷ïìø÷åò ÷ ëïâõòõ; éäåô ë óôïìõ; âåòåô óôáëáî ðòá÷ïê òõëïê; ðøåô éú óôáëáîá; éäåô ë ïëîõ; óôá÷éô óôáëáî õ ïëîá.\cr ÛÅÒÉÆ& (Ûåòéæ úá ïëîïí.) ×éäéô çòáâéôåìñ; (çòáâéôåìø ÷éäéô ûåòéæá); éäåô ë ä÷åòé.\cr ÇÒÁÂÉÔÅÌØ& Âåòåô òå÷ïìø÷åò éú ëïâõòù ðòá÷ïê òõëïê; ðòï÷åòñåô òå÷ïìø÷åò, éäåô ë ä÷åòé; ðòï÷åòñåô òå÷ïìø÷åò; ëìáäåô òå÷ïìø÷åò õ ä÷åòé.\cr ÛÅÒÉÆ& Ïôëòù÷áåô ä÷åòø; ÷éäéô çòáâéôåìñ; (çòáâéôåìø ÷éäéô ûåòéæá); ðòïèïäéô ÷ ä÷åòø; éäåô ë ïëîõ.\cr ÇÒÁÂÉÔÅÌØ& Âåòåô òå÷ïìø÷åò ðòá÷ïê òõëïê.\cr ÛÅÒÉÆ& Éäåô ë óôïìõ.\cr ÇÒÁÂÉÔÅÌØ& Ãåìéôóñ; óôòåìñåô; ÐÒÏÍÁÈÉ×ÁÅÔÓÑ; ãåìéôóñ; óôòåìñåô; ÔÏÞÎÏ ÐÏÐÁÄÁÅÔ × ÛÅÒÉÆÁ; ðòïäõ÷áåô óô÷ïì; ëìáäåô òå÷ïìø÷åò ÷ ëïâõòõ.\cr ÛÅÒÉÆ&Òïîñåô òå÷ïìø÷åò; ûåòéæ õíéòáåô.\cr ÇÒÁÂÉÔÅÌØ& Éäåô ÷ õçïì; âåòåô äåîøçé ðòá÷ïê òõëïê; éäåô ë ä÷åòé; ðòïèïäéô ÷ ä÷åòø; úáëòù÷áåô ä÷åòø. ÚÁÎÁ×ÅÓ.\cr \endtvscript Åóìé ÷îéíáôåìøîï ðòïþéôáôø óãåîáòéé, íïöîï úáíåôéôø, þôï ïîé ðïìîù îáðòñöåîîïçï äòáíáôéúíá. Ðòïçòáííá äïóôáôïþîï ôïþîï ïðòåäåìñìá, çäå îáèïäéôóñ ëáöäïå äåêóô÷õàýåå ìéãï, þôï ïîï äåòöéô ÷ òõëáè é ô.~ä.\ Äåêóô÷éñ áëôåòï÷ óìõþáêîù é ðïäþéîñàôóñ ïðòåäåìåîîùí ÷åòïñôîïóôñí, ÷åòïñôîïóôø îåòáúõíîùè äåêóô÷éê ÷ïúòáóôáåô ÷ úá÷éóéíïóôé ïô ôïçï, óëïìøëï ÷ùðéôï ÷éóëé é óëïìøëï òáú äåêóô÷õàýåå ìéãï âùìï òáîåîï. Þéôáôåìø íïöåô éúõþéôø ðòé÷åäåîîùå óãåîáòéé äìñ ôïçï, þôïâù ÷ùñ÷éôø äòõçéå ó÷ïêóô÷á ðòïçòáííù. Òáúõíååôóñ, äáöå ìõþûéå óãåîáòéé ðòéèïäéôóñ ðåòåäåìù÷áôø, ðòåöäå þåí ðïóôá÷éôø, é ôåí âïìåå üôï îåïâèïäéíï óäåìáôø óï óãåîáòéåí, îáðéóáîîùí îåïðùôîùí á÷ôïòïí. Îéöå ðòé÷åäåîù óãåîáòéé ÷ ôïí ÷éäå, ÷ ëïôïòïí éè éóðïìøúï÷áìé ÷ ôåìå÷éúéïîîïê ðåòåäáþå (ËÐ---ëòõðîùê ðìáî, ÓÐ-óòåäîéê ðìáî, ÄÐ---äáìøîéê ðìáî). \tvscript Óãåîáòéê 1. Íõúùëá. \body ÓÐ.& Çòáâéôåìø óíïôòéô ÷ ïëîï èéöéîù.\cr ËÐ.& Ìéãï çòáâéôåìñ.\cr ÓÐ.& Çòáâéôåìø ÷èïäéô ÷ èéöéîõ.\cr ËÐ.& Çòáâéôåìø ÷éäéô îá óôïìå âõôùìëõ ÷éóëé.\cr ËÐ.& Ûåòéæ óîáòõöé èéöéîù.\cr ÓÐ.& Çòáâéôåìø ÷éäéô ûåòéæá.\cr ÄÐ.& Ûåòéæ ÷ ä÷åòîïí ðòïåíå ÷éäåî îáä ðìåþïí çòáâéôåìñ, ïâá è÷áôáàôóñ úá ëïâõòù.\cr ÓÐ.& Ûåòéæ ÷ùè÷áôù÷áåô òå÷ïìø÷åò.\cr ÄÐ.& Óôòåìñåô, ðïðáäáåô ÷ çòáâéôåìñ.\cr ÓÐ.& Ûåòéæ âåòåô íåûëé ó äåîøçáíé.\cr ÓÐ.& Çòáâéôåìø ûáôáåôóñ.\cr ÓÐ.& Çòáâéôåìø õíéòáåô. Ðùôáåôóñ ðïóìåäîéê òáú ÷ùóôòåìéôø ÷ ûåòéæá, ðáäáåô îá óôïì.\cr ÓÐ.& Ûåòéæ ÷ùèïäéô éú ä÷åòé ó äåîøçáíé.\cr %% 199 ÓÐ.& Ôåìï çòáâéôåìñ, îåðïä÷éöîï ìåöáýåå îá óôïìå. Ëáíåòá ä÷éçáåôóñ îáúáä. (Óíåè.)\cr \endtvscript \tvscript Óãåîáòéê 2. Íõúùëá. \body ËÐ.& Ïëîï. Ðïñ÷ìñåôóñ çòáâéôåìø.\cr ÓÐ.& Çòáâéôåìø ÷èïäéô ÷ èéöéîõ ó ä÷õíñ íåûëáíé äåîåç.\cr ÓÐ.& Çòáâéôåìø ëìáäåô íåûëé ó äåîøçáíé îá âïþëõ.\cr ËÐ.& Çòáâéôåìø ÷éäéô îá óôïìå ÷éóëé.\cr ÓÐ. & Çòáâéôåìø îáìé÷áåô óåâå ÷éóëé. Îáþéîáåô óþéôáôø äåîøçé. Óíååôóñ.\cr ÓÐ. & Ûåòéæ óîáòõöé èéöéîù.\cr ÓÐ. & ×éä þåòåú ïëîï.\cr ÓÐ. & Çòáâéôåìø ÷éäéô ûåòéæá þåòåú ïëîï.\cr ÄÐ. & Ûåòéæ ÷èïäéô ÷ èéöéîõ. È÷áôáåôóñ úá òå÷ïìø÷åò. ×ùóôòåì.\cr ËÐ. & Ûåòéæ. Ëïòþéôóñ ïô âïìé.\cr ÓÐ. & Ûåòéæ, ûáôáñóø éäåô ë óôïìõ, þôïâù ÷ùðéôø, \dots{} ðáäáåô íåòô÷ùê.\cr ÓÐ. & Çòáâéôåìø õèïäéô éú èéöéîù ó íåûëáíé äåîåç% % !!! òáúïâòáôøóñ, ëõäá äå÷áàôóñ óîïóëé éú ÷îõôòåîîåê ÷åòôéëáìøîïê íïäù \note{}{\copyright~1962 by Columbia Broadcasting System, Inc. All Rights Reserved. Used by permission. Äìñ äáìøîåêûéè óðòá÷ïë óí. J.~E.~Pfeiffer, The Thinking Machine (New York: J. B. Lippincott, 1962).}.\cr \endtvscript ×ùûåéúìïöåîîïå ìàâåúîï óïïâýéìé á÷ôïòõ Ô.~×õìæ, ðïóôáîï÷ýéë ôåìå÷éúéïîîïê ðòïçòáííù, ðòåäìïöé÷ûéê éäåà îáðéóáîéñ îåâïìøûïê ðøåóù ó ðïíïýøà Ü×Í, á ôáëöå Ä.~Òïóó é~X.~Íïòó, ëïôïòùå îáðéóáìé é ïôìáäéìé ðòïçòáííõ. Âåú óïíîåîéñ, õ þéôáôåìñ ÷ïúîéëîõô ó÷ïé óïïâòáöåîéñ ï ôïí, ëáë âù ïî íïç îáðéóáôø ðòïçòáííõ íïäåìéòï÷áîéñ ìéôåòáôõòîïçï ô÷ïòþåóô÷á. Üôï é åóôø ãåìø äáîîïçï õðòáöîåîéñ. %% 200 \chapter{Áòéæíåôéëá} %% 4 \epigraph ×÷éäõ ôïçï þôï îåô îéþåçï âïìåå èìïðïôîïçï ÷ íáôåíáôéþåóëïê ðòáëôéëå (ï ÷ïúìàâìåîîùå óôõäåîôù-íáôåíáôéëé!), îéþåçï ôáëïçï, þôï âïìåå äïóáöäáìï âù é íåûáìï ÷ùþéóìéôåìà, þåí ÷ùðïìîñåíùå îáä âïìøûéíé þéóìáíé õíîïöåîéå, äåìåîéå, éú÷ìåþåîéå ë÷áäòáôîùè é ëõâéþåóëéè ëïòîåê, ëïôïòùå óïðòñöåîù ïâùþîï ó íáóóïê ôòõäîï ïâîáòõöé÷áåíùè ïûéâïë, ñ óôáì òáúíùûìñôø îáä ôåí, ëáëïå îáäåöîïå é õäïâîïå óòåäóô÷ï íïçìï âù õóôòáîéôø üôé ðïíåèé. \signed Äöïî Îåðåò (1614) \epigraph Ôåòðåôø îå íïçõ óëìáäù÷áôø. Îåô âïìøûåê ïûéâëé, þåí îáúù÷áôø áòéæíåôéëõ ôïþîïê îáõëïê. Óõýåóô÷õàô~\dots{} ôáêîùå úáëïîù, õðòá÷ìñàýéå þéóìáíé, ðïóôéþø ëïôïòùå íïöåô ìéûø õí ôéðá íïåçï. Îáðòéíåò, åóìé ÷ù îáèïäéôå óõííõ, óëìáäù÷áñ þéóìá óôïìâéëïí óîáþáìá óîéúõ ÷÷åòè, á úáôåí ó÷åòèõ ÷îéú, ÷ù ÷óåçäá ðïìõþáåôå òáúîùê òåúõìøôáô. \signed Çïóðïöá Ìá Ôõû (19~÷.) \epigraph Îå íïçõ ðòåäóôá÷éôø óåâå, þôïâù ëïíõ-îéâõäø ðïôòåâï÷áìïóø ÷ùðïìîñôø õíîïöåîéå óï óëïòïóôøà $40\ 000$ éìé äáöå $4\ 000$~ïðåòáãéê ÷ þáó; ôáëïå òáäéëáìøîïå éúíåîåîéå, ëáë ðåòåèïä ë ÷ïóøíåòéþîïê óéóôåíå, îå óìåäõåô îá÷ñúù÷áôø ÷óåíõ þåìï÷åþåóô÷õ òáäé îåóëïìøëéè ìéþîïóôåê. \signed Æ.~X.~Õüêìó (1936) Ïóîï÷îáñ ãåìø üôïê çìá÷ù---ôýáôåìøîïå òáóóíïôòåîéå þåôùòåè %% !!! bugfix ïóîï÷ùè => ïóîï÷îùè ïóîï÷îùè äåêóô÷éê áòéæíåôéëé: óìïöåîéñ, ÷ùþéôáîéñ, õíîïöåîéñ é äåìåîéñ. Íîïçéå óþéôáàô áòéæíåôéëõ ôòé÷éáìøîïê ÷åýøà, ëïôïòïê ïâõþáàô äåôåê ÷ ûëïìå é äåêóô÷éñ ëïôïòïê ÷ùðïìîñàô íáûéîù, îï, ëáë íù õ÷éäéí, áòéæíåôéëá---üôï õ÷ìåëáôåìøîùê ðòåäíåô, éíåàýéê íîïçï éîôåòåóîùè áóðåëôï÷. Áòéæíåôéëá ìåöéô ÷ ïóîï÷å óôïìø âïìøûïçï þéóìá íáûéîîùè ðòéìïöåîéê, þôï ÷áöîï óáíùí äïóëïîáìøîùí ïâòáúïí éóóìåäï÷áôø üææåëôé÷îùå íåôïäù ÷ùþéóìåîéê ó þéóìáíé. Áòéæíåôéëá---üôï îá óáíïí äåìå öé÷áñ é ÷óå åýå âùóôòï òáú÷é÷áàýáñóñ ïâìáóôø îáõëé, óùçòá÷ûáñ ÷áöîõà òïìø ÷ íéòï÷ïê éóôïòéé. × üôïê çìá÷å íù ðòïáîáìéúéòõåí áìçïòéôíù ÷ùðïìîåîéñ áòéæíåôéþåóëéè ïðåòáãéê îáä íîïçéíé ôéðáíé ÷åìéþéî, ôáëéíé, ëáë þéóìá "ó ðìá÷áàýåê ôïþëïê", ïþåîø âïìøûéå þéóìá, äòïâé (òáãéïîáìøîùå þéóìá), íîïçïþìåîù é óôåðåîîùå òñäù; íù ïâóõäéí ôáëöå ó÷ñúáîîùå ó üôéí ÷ïðòïóù, ôáëéå, ëáë ðòåïâòáúï÷áîéå éú ïäîïê óéóôåíù óþéóìåîéñ ÷ äòõçõà, òáúìïöåîéå þéóåì îá íîïöéôåìé é ÷ùþéóìåîéå íîïçïþìåîï÷. %% 201 \bye