\input style
\chapnotrue
\chapno=6
\subchno=2
\subsubchno=2
%% 536
\subsubchap{၀������������� �������}
⎋��� ��� ��������� ���� �������� ������� � ������ ��������� ������� 
������� ������ ��� ��������� �������� ������, �� ��� �� ���������� 
�������� ����������� �������� ����������� ������. ��������, �� ����� �� 
��������� ��������, ������� � ����� ������ ���� ����������� ������, ��,
 � ���������, ��� ������ �� ������. ������ ������ ������� � �������� 
������ ����� ���� � ������������� ������ ������ ���, ����� ����� ��� ���� 
���������, ������, $5N\log_2N$. �� ����� � �������� ���������� ������ 
������������� �� ����� $\sqrt{N/2}$ �������������.

����� ���������� ������� �������� ����������� �������� ������ ������ ���� 
������� � 1962~�. ����� ���������� ������������---�.~�.~����������-�������� 
� �. �. �������� [{\sl ��� ����\/}, {\bf 146} (1962), 263--266]. 
�� ����� ������� ���� ���� �������������� ����� �� ���� � 
������� �� ���������� ����� $O(\log N)$ �������� ��� ������ �� ������ ��� 
��� ������� ��������. � ���������� �� ������, ��� ���� ������ 
����� �������� � ������ ������ ������������� ������������ �������� 
\emph{�������} ����� $N$, ������ ������ �� ��������� �������� ������� ���� 
$O(\log N)$ ������ �������:
\medskip
\item{i)} ����� ������� �� ������� �����.
\item{ii)} ��� ������ $k$ ����� $k$-� �������.
\item{iii)} �������� � ������������ ����� �������. 
\item{iv)} ㄀���� ������������ �������.
\medskip
\noindent ���� ��� �������� ������� ������� ���������������� ������������, 
�� �������� (i) � (ii) ����� ������������, �� �������� (iii) � (iv) 
������ ������� $N$ �����; � ������ �������, ��� ������������� ���������� 
������������ ���������� �������� (iii) � (iv), � (i) � (ii) ��������� 
������� $N$ �����. ������������� �������� ������� � ���� ������ ��������� 
������� \emph{��� ������} �������� �� $O(\log N)$ �����. ����� ����� 
������������ ���������� ����������� ������ ����������� ��������; 
��������, �������� ������������ (���������) ������ �� $�$ ��������� �� 
������� �� $N$ ��������� �� $O(\log (�+N))$ �����.

�����, ������ ��� ��� ������������ ���������� ��� ���������� 
"���������������� �������". ���������� ����� ������ �������� 
���������������� ��������---������ ������� �� ���� ���; �� ��������� � ���� 
��� ������ ������� ������������� ������ ������� �����������. �� ���������� 
�������������� ���� ��������� � ���������������� ��������! ���� 
��������� �� ���. ������ ������������� ��������, �� ��� ����� �������������
%% 537
����������� ����� �������������, �� ����� ��������������� �����. 
����� ����, ���������������� ������� ������ ���� ��� ���������� ������� 
$N$; ���. ���� ���� ����������� ��������, ��������� $20\log_2N$ ������ 
�������, � ������������� ��������, ��������� $2N$ ������ �������, �� ��� 
$N<1024$ ������� ������������ ������������� �����. � ������ �������, $N$ 
�� ������ ���� ������� ������; ���������������� ������� �������� ������� 
������� ��� �������� ������ �� \emph{����������} ������, � � �.~6.2.4 �� 
������ ������ ������ ��� ������� ������ � ������ ��������.   ��� �� 
�������� ������� ���������� ������ ���������� ��� ������ � ������, 
���������������� ������� ���������� ��� ����� �������.

\dfn{������} ������ ������������ ��� ��� ���������� �������, ��� 
������������, ����� ���� �� ����� �� �������� ����.
\picture{20. ၀������������� �������� ������}
�������� ������ ���������� \dfn{����������������}; ���� ������ ������ 
��������� ������� ���� ���������� �� ������ ������� ��������� �� ����� ��� 
�� $\pm1$. �� ���.~20 �������� ���������������� ������ � 17 ����������� 
������ � ������� 5; \dfn{���������� ������������������} ����������� 
������ ������� ���� ������� $+$, $\cdot$ ��� $-$, ��� �������� �������� 
����� ������� � ������ �����������, ������ $+1$, $0$ ��� $-1$ 
��������������. 䈁��������� ������ �� ���.~8 (�~6.2.1) �������� ������ 
���������������� �������� ������� ������ 5, ������� ������ 12 ���������� 
�����; ����������� ����������� ������������������ ����� $-1$. 
"������������ ������" �� ���.~10 (�.~6.2.2) \emph{��} ��������������, ��� 
��� ���������� ����� |AQUARIUS| � |GEMINI| �� ������������� �������� 
������������.

풎 ����������� ������������������ ������������ ����� ���������� ����� 
\emph{������������} ��������� ��������� (��� ������� ���� ������� 
����������� �� ���� ������� �������)
%% 538
� \emph{�������������} ��������� ���������. ������� ������� ��������, 
��� ������ ����� ����������� �� ������������� ���������������� ������? 
�����������, ��� ����� ��� ���������� ���� .������� �� �������� ������� 
����� ��� �� 45\%.

\proclaim ⅎ���� �. (�. �. ��������-�������� � �. �. ������). 
������ ����������������� ������ � $N$ ����������� ������ ��������� ����� 
$\log_2(N+1)$ � $1.4404 \log_2(N+ 2)-0.328$.

\proof\ �������� ������ ������ $h$, ��������, �� ����� ��������� ����� ��� 
$2^h$ ������� �����; ������� $N+1\le 2^h$, �.�. 
$h\ge \lceil \log_2(N+1)\rceil$.

璎�� ����� ������������ �������� $h$, �������� ������ ��-�������: ������ 
����������� ����� ����� � ���������������� ������ ������ $h$? ����� 
$T_h$--- ����� ������ � ���������� ��������� ����������� �����; ����� ���� 
��������� �����, �������� �����, ����� ������ $h-1$, � ������---��� $h-1$, 
��� $h-2$. � ���� ����������� $T_h$ ����� �������, ��� ����� ��������� 
����� ���� $T_{h-1}$, � ������---$T_{h-2}$.  �� �������, ����� ���� 
���������������� �������� ������ $h$ ���������� ���������� ����� ����� 
\emph{������������ ������} ������� $h+1$. (�. ����������� �������� 
䈁������ � �.~6.2.1.) ����,
$$
N\ge F_{h+2}-1 > \phi^{h+2}/\sqrt{5}-2,
$$
� ��������� ��������� ���������� ��� ��, ��� ��������� �� ������� 4.5.3F. \proofend

�� �����, ��� ����� � ���������������� ������ ��������� ����� 25 ���������,
 ������ ���� ������ ������� �� �� ������� ���� $F_{27}-1= 196417$ �����.

���������� ������, ��� ����������, ����� ����� ���� ����������� � 
���������������� ������ ����������� ��������� 6.2.2�. ������ �� ���.~20 
�������� ����������������, ���� ����� ���� ������ ����� ������ �� ����� 
\leaf{4}, \leaf{5}, \leaf{�}, \leaf{7}, \leaf{10} ��� \leaf{13}, �� 
� ������ ������� ����������� ��������� �������������. ␓������ 
���������, ���� ������� ���� � ����������� ������������������ $+1$, 
������ ��������� �������� ����� ������� ���������� ����, ��� ���� 
���������� ������������������ ����� $-1$ � ����. ���������� ����� 
���������. ����� ������, ���, � ��������, ��� ��������� ���� ��� ������:
\picture{ዓ��� ������� � ���-������}
%% 539
(������ "������" ������ ����� ��������, ��������� ������� ��� ��������� 
������������ ������������ ���.) �������� ���������������� $\alpha$, 
$\beta$, $\gamma$, $\delta$ ���������� ���������� � ���������������� 
��������. ዓ��� 1 ����� �����, ���� ����� ������� �������� ������ 
������� ��������� ���� $B$ �~$h$ ��~$h+1$, � ������ 2---����� ����� ������� 
����������� ������ ������ ��������� ���� $B$. �� ������ ������ �� ����� 
���� $h=0$ (� ����� ��� ���� $X$ �������� ����� �����), ���� ���� $X$ 
����� ��� ��������� � ���������������� �������� $(h-1, h)$ ��� $(h,h--l).$

������� �������������� ��������������� ������ � ����� �������, �������� � 
�� �� ����� ������������ ������� ����� $A$, $B$ � $X$.
\picture{��������}
� ������ 1 �� ������ ������������ ������ ������, ���������� $\beta$ � 
$A$ ������ $B$. 풎 �������������� ������� ���������� �������������� 
������ � �������������� �������, ����� �� �������� $\alpha (\beta\gamma)$ 
�� $(\alpha\beta)\gamma$. � ������ 2 ��� ������������� ������:
������� $(X,B)$ �������������� �������, ����� $(A,X)$---������. � ����� 
������� ����� �������� � ������ ���� ��������� ������. ����� ����� ������� 
����� ������ $h+2$, � �������� �� ��, ��� � �� ������� ��������; 
�������������, ����� ������, ������������� ��� ����� $A$ (���� ������� 
�������), �������� ����������������.
\picture{������ ���. 20, ���������������� ����� ������� ������ ����� R}

%% 540

��������, ���� �� ��������� ����� ���� �� ����� \leaf{17} (���.~20), �� 
����� �������� ������� ���������������� ������, ������������ �� ���.~21 
(������ 1). ��������, ��� ��������� �� ����������� ������������������ ����������.

������ ���� ��������� ������� ����� ����������� ���������� ���������. �� 
������ ������ ��� ���������������� ����� �� ��������, ��� ��� ���������� 
���������� ����, ������� ����� ��������� ��������. ���� ���������� 
��������, � �������, ��������� � ��������� ��������, �� ��������� ��� 
�����, ��������� ��� ���� � ��������.

\alg �.(�����, � �������� �� ����������������� ������.) ������� ������� 
�������, ���������� ���������������� �������� ������. �������� ��������� 
���������� ����� ������� ��������� $K$. ���� $K$ � ������� ���, � 
���������� ����� � ������ ����������� ����� ����, ���������� $K$. ��� 
������������� ������������ ������������ ������.

�������������� (��� � � ��������� 6.2.2�), ��� ���� �������� ���� |KEY|, 
|LLINK| � |RLINK|. ����� ����, ������� ����� ����
|B(P)| = ���������� ������������������ ���� |NODE(P)|, �. �. �������� 
����� ������� � ������ �����������; ��� ���� ������ �������� $+1$, $0$ 
���~$-1$. �� ������ |HEAD| ���������� ����������� �������� ����; |RLINK 
(HEAD)| ��������� �� ������ ������, a |LLINK (HEAD)| ������������ ��� 
�������� ������ ������ ������. ��� ������� ��������� ������ �� ����� 
��������, �� ������ �� ������� ��� ��������� ������������, 
������������� ����. �� ������������, ��� ������ \emph{�������}, 
�.~�. ��� |RLINK (HEAD)\NE \NULL|.

� ����� �������� �������� � ��������� ������������ ����������� 
|LINK (�, �)| ��� ������� |LLINK (�)| ��� $�=-1$ � ��� ������� |RLINK (�)| 
��� $a=+1$.

\st[��������� ���������.] 㑒������� $|�|\asg |HEAD|$, 
$|S|\asg |P|\asg |RLINK (HEAD)|$. [㊀��������� ���������� |P| ����� ��������� 
���� �� ������; |S| ����� ��������� �� �����, ��� ����� ������������� 
������������; |T| ������ ��������� �� ���� |S|.]

\st[᐀������.] ���� $K<|KEY(P)|$, �� ������� �� \stp{3}; 
���� $K>|KEY(P)|$, �� ������� �� \stp{4}; ���� $K=|KEY(P)|$, ����� ������ ��������.
\st[考 �����.] 㑒������� $|Q|\asg |LLINK (�)|$. ���� $|Q|=|\NULL|$, ��������� 
$|Q|\Asg|AVAIL|$ � $|LLINK(P)|\asg|Q|$; ����� ���� �� \stp{5}. � ��������� 
������, ���� $|B(Q)|\NE|0|$, ���������� $|T|\asg|�|$ � $|S| \asg |Q|$. �������, 
���������� $|P|\asg|Q|$ � ��������� �� \stp{2}.

\st[考 ������.] 㑒������� $|Q|\asg |RLINK (�)|$. ���� $|Q|=|\NULL|$, ��������� 
$|Q|\Asg|AVAIL|$ � $|RLINK (�)|\asg |Q|$; ����� ���� �� \stp{5}.

%% 541
� ��������� ������, ���� $|B|(|Q|)\NE 0$, ���������� $|�|\asg |�|$ � $|S|\asg |Q|$. 
�������, ���������� |P\asg Q| � ��������� �� \stp{2}. (��������� ����� 
����� ���� ����� ���������� � ��������� ������ ���� \stp{3}.)

\st[�������.] (�� ������ ��� ������������ ����� ���� |NODE (Q)| � ������; 
������ ��� ���� ��������� � ��������� ���������.) 㑒�������    
$|KEY|(|Q|)\asg |K|$, 
$|LLINK(Q)|\asg |RLINK(Q)|\asg\NULL$, $|B(Q)|\asg 0$. 

\st[������������� ����������� ������������������.] (⅏��� ������� ���������� 
������������������ ����� |S| � |Q| ����� �������� �� $\pm1$.) ���� 
$K<|KEY(S)|$, ���������� 
$|R|\asg |P| \asg |LLINK(S)|$;  � ��������� ������ ���������� 
$|R|\asg |�| \asg |RLINK(S)|$. ����� ����� 0 ��� ����� ��� ��������� ��������� 
��������, ���� |P| �� ������ ������ |Q|: ���� $K<|KEY(P)|$, ���������� 
$|B(P)|\asg -1$ � $|P|\asg |LLINK(P)|$;
���� $K > |KEY(P)|$, ���������� $|B(P)|\asg +1$  � $|P|\asg |RLINK (�)|$. (���� 
$K= |KEY(�)|$, ������, $|P|=|Q|$, � ����� ������� � ���������� ����.)

\st[�������� ������������������.] ���� $K<|KEY (S)|$, ���������� 
$a\asg -1$; � ��������� ������ $a\asg +1$. ⅏��� �������� ��� ������:

\medskip
\item{i)} ���� $|� (S)| = 0$ (������ ����� ����), ���������� 
$|� (S)|\asg a$, $|LLIN� (HEAD)| \asg  |LLIN�(HEAD)| + 1$; �������� 
��������.

\item{ii} ���� $|B(S)|=-a$ (������ ����� ����� ����������������),
���������� $|B(S)|\asg 0$; �������� ��������. 

\item{iii)} ���� $|B(S)|=a$ (������ ��������� ���� ����������������), 
��� $|B(R)|=a$ ���� �� \stp{8}, ��� $|B(R)|=-a$ ���� �� \stp{9}.
\medskip

\noindent(ዓ��� (iii) ������������� ��������, ������������ �� ��������� (1), 
��� $a=+1$; |S| � |R| ��������� ��������������
�� ���� $A$ � $B$, a $|LINK|(-a, |S|)$ ��������� �� $\alpha$ � �.�.) 

\st[����������� �������.] 㑒������� $|P|\asg |R|$, 
$|LINK| (a, |S|)\asg |LINK|(-a, |R|)$, $|LINK|(-a, |R|)\asg |S|$, 
$|B|(|S|)\asg |B|(|R|)\asg 0$. ������� �� \stp{10}.
\st[���������� �������.] 㑒������� $|P|\asg |LINK|(-a, |R|)$, $|LINK|(-a, 
|R|)\asg |LINK|(a, |P|)$, $|LINK|(a, |P|)\asg |R|$, $|LINK|(a, 
|S|)\asg |LINK|(-a, |P|)$,  $|LINK|(-a, |P|)\asg |S|$. ⅏��� ����������
$$
(|B|(|S|), |B|(|R|))\asg \cases{
(-a, 0), & ���� $|B|(|P|)=a$;\cr
( 0, 0), & ���� $|B|(|P|)=0$;\cr
(0, a),  & ���� $|B|(|P|)=-a$;\cr
}
\eqno(3)
$$
����� $|B|(|P|)\asg 0$. 

\st[��������� �����.] [�� ��������� ������������� 
�������������� �� (1) � (2), |P| ��������� �� ����� ������,
%% 542
� |�|---�� ���� ������� �����.] ���� $|S|=|RLINK(T)|$, �� ����������   
$|RLINK(T)|\asg |P|$;   �   ���������   ������ $|LLINK(T)|\asg |P|$. 
\algend

풎� �������� �������� �������, �� ����������� �� ��� ������� �����: ���� 
�1--�4 (�����), ���� �5--�7 (������� ������ ����), ���� �8--�10 
(������������ ������, ���� ��� �����).
\picture{22. ����� � �������� �� ����������������� ������}

�� �����, ��� ��� ������ ��������� ��������� ����� $C\log N$ ������ 
������� ��� ��������� $C$, �� ����� �����, ��� ����� $N$ ������� 
������������ ���������������� �������, ����� ������� �������� $C$. 
������ ��������� \MIX-��������� ��������� ������� � ������� ����� �������.
\prog �.(����� � �������� �� ����������������� ������.) 풀 ���������� 
��������� � ���������� ��������� ������ ����� ������:
\picture{䎐��� ���� ���-������}
%% 543
$|rA|\equiv K$, $|rI1|\equiv|P|$, $|rI2|\equiv |Q|$, $|rI3|\equiv |R|$, 
$|rI4|\equiv S$, $|rI5|\equiv |�|$. ��������� ��� ����� �7--�9 �����������,
 ��� ��� �������� $a$ � ����� ���� � ��������� �� ����������.
\code
B     &EQU   &0:1
LLINK &EQU   &2:3
RLINK &EQU   &4:5
START &LDA   &�              &   1      &A1. ��������� ���������.
      &ENT5  &HEAD           &   1      &$|�|\asg |HEAD|$.
      &LD2   &0,5 (RLINK)    &   1      &$|Q|\asg |RLINK(HEAD)|$.
      &JMP   &2F             &   1      &�� �2 � $|S|\asg |P| \asg |Q|$
4�    &LD2   &0,1 (RLINK)    &  �2      &�4. 考 ������. $|Q|\asg |RLINK(P)|$
      &J2Z   &5F             &  �2      &�� �5, ���� $|Q|=\NULL$.
1�    &LDX   &0,2 (�)        &  C-1     &$|rX|\asg |B(Q)|$.
      &JXZ   &*+3            &  C-1     &�������, ���� $|B(Q)|=0$.
      &ENT5  &0,1            &  D-1     &$|T|\asg |P|$.
2H    &ENT4  &0,2            &  D       &$|S|\asg |Q|$.
      &ENT1  &0,2            &  �       &$|P|\asg |Q|$.
      &CMPA  &1,1            &  �       &�2. ᐀������.
      &JG    &4�             &  �       &�� �4,���� $K>|KEY(P)|$.
      &JE    &SUCCESS        &  �1      &�����, ���� $�=|KEY(�)|$.
      &LD2   &0,1 (LLINK)    & C1-S     &A3. 考 �����. $|Q|\asg |LLINK(�)|$.
      &J2NZ  &1�             & C1-S     &�������, ���� $|Q|\ne\NULL$.
\noalign{20--29 5� (����������� ����� ������ 14---23 ��������� 6.2.2 �)   �5. �������.}
6H    &CMPA  &1,4            & 1-S      &A6. Koppe��. �������. ���������.
      &JL    &*+3            & 1-S      &�������, ���� $K< |KEY(S)|$.
      &LDS   &0,4 (RLINK)    &  E       &$|R|\asg |RLINK(S)|$.
      &J��   &*+2            &  E
      &LD3   &0,4 (LLINK)    & 1-S-E    &$|R|\asg |LLINK(S)|$.
      &ENT1  &0,3            & 1-S      &$|P|\asg |R|$.
      &ENTX  &-1             & 1-S      &$|rX|\asg -1$.
      &JMP   &1F             & 1-S      &�� ���� ���������.
4�    &JE    &7F             &F2+1-S    &�� �7, ���� $K=|KEY(P)|$.
      &STX   &0,1 (1:1)      &  F2      &$|B(P)|\asg +1$ (�� ��� $+0$).
      &LD1   &0,1 (RLINK)    &  F2      &$|P|\asg |RLINK(P)|$.
1�    &CMPA  &1,1            &F+1-S
      &JGE   &4B             &F+1-S     &�������, ���� $� \ge |KEY (P)|$.
      &STX   &0,1 (�)        &  F1      &$|�(�)|\asg -1$.
      &LD1   &0,1 (LLINK)    &  F1      &$|P|\asg |LLINK(P)|$.
      &JMP   &1B             &  F1      &�� ���� ���������.
7�    &LD2   &0,4(B)         & 1-S      &A7. �������� ���������. $|rI2|\asg |B(S)|$.
      &STZ   &0,4 (�)        & 1-S      &$|B(S)|\asg 0$.
      &CMPA  &1,4            &1-S
      &JG    &A7R            &1-S       &�� $a=+1$ ������������,  ���� $K>|KEY(S)|$.
\twocols
A7L & J2P  & DONE       & A7R  & J2N  & DONE       & 1-S & �����, ���� $|rl2|=-a$.
    & J2Z  & 7F         &      & J2Z  & 6F         & G+J & �������, ���� |B(S)| ��� �����.
    & ENT1 & 0,3        &      & ENT1 & 0,3        & G   & $|P|\asg|R|$.
    & LD2  & 0,3(�)     &      & LD2  & 0,3(�)     & G   & $|rI2|\asg |B(R)|$.
    & J2N  & A8L        &      & J2P  & A8R        & G   & ��. A8, ���� $|rI2|=a$.
A9L & LD1  & 0,3(RLINK) & A9R  & LD1  & 0,3(LLINK) & H   & A9. ���������� �������.
    & LDX  & 0,1(LLINK) &      & LDX  & 0,1(RLINK) & H   & $|LINK|(a, |P|\asg |LINK|(-a, |R|))$
    & STX  & 0,3(RLINK) &      & STX  & 0,3(LLINK) & H   & $\rasg |LINK|(-a, |R|)$.
    & ST3  & 0,1(LLINK) &      & ST3  & 0,1(RLINK) & H   & $|LINK|(a, |P|)\asg|R|$.
    & LD2  & 0,1(B)     &      & LD2  & 0,1(B)     & H   & $|rI2|\asg|B|(|P|)$.
    & LDX  & T1,2       &      & LDX  & T2,2       & H   & $-a$, $0$ ���~$0$
    & STX  & 0,1(B)     &      & STX  & 0,4(B)     & H   & $\rasg |B|(|S|)$.
    & LDX  & T2,2       &      & LDX  & T1,2       & H   & $0$, $0$ ���~$a$
    & STX  & 0,3(B)     &      & STX  & 0,3(B)     & H   & $\rasg |B|(|R|)$
A8L & LDX  & 0,1(RLINK) & A8R  & LDX  & 0,1(LLINK) & G   & A8. ����������� �������.
    & STX  & 0,4(LLINK) &      & STX  & 0,4(RLINK) & G   & $|LINK|(a, |S|)\asg |LINK|(-a, |P|)$.
    & ST4  & 0,1(RLINK) &      & ST4  & 0,1(LLINK) & G   & $|LINK|(-a, |P|)\asg|S|$.
    & JMP  & A8R1       & A8R1 & STZ  & 0,1(B)     & G   & $|B|(|P|)\asg 0$. 
\endtwocols
A10  & ��4 & 0,5(RLINK)   & G   & A10. ��������� �����.
     & JNE  & *+3          & G   & �������, ���� $|RLINK|(|T|)\ne |S|$.
     & ST1  & 0,5(RLINK)   & G2  & $|RLINK|(|T|)\asg|P|$.
     & JMP  & DONE         & G2  & �����.
     & ST1  & 0,5(LLINK)   & G1  & $|LLINK|(|T|)\asg|P|$.
     & JMP  & DONE         & G1  & �����.
     & CON  & +1
T1   & CON  & 0            &     &  ���� ���~(3).
T2   & CON  & 0
     & CON  & -1
6H   & ENTX & +1           & J2  & $|rX|\asg +1$.                        
7H   & STX  & 0,4(B)       & J   & $|B|(|S|)\asg a$.
     & LDX  & HEAD(LLINK) & J   & $|LLINK|(|HEAD|)$.
     & INCX & 1            & J   & $+1$
     & STX  & HEAD(LLINK)  & J   & $\rasg |LLINK|(|HEAD|)$.
DONE & EQU  & *            & 1-S & ������� ���������.
\endcode
\progend

\section ������ ������� � ���������������� ������.  [爒�����, �� 
��������������  �����������, ����� ����� ������� � �������~(10).] 璎�� 
��������� ����� ������ ���������~A, ����� ������� �������� �� ��������� �������:
\itemize
\li ኎���� ��������� ������������ �� ����� ������?
\li ��� ������ ���� �� ����� ����� ���������� ����~|S| �~|Q|?
(����� �������, ������� ����� ���������� ������������� � ����~A6?)
\li ��� ����� ����� ����������� ����������� ��� ���������� �������?
\itemend
\noindent ���������������� ��������~A, �������� ������� ������� ������ 
������� ������, �� ���, ����������, ���������� ������� �������. �� ��� ��� 
�� ������� ������������ �������, ��� ����� ���� �������� � �������, 
��������� �� �������� �������� �������, ������ ���� �������� ��������� 
���������� ������������ ����������.

%% 545

\bye
