\documentstyle[12pt,russcorr]{article}
\renewcommand{\refname}{�������}
\hfuzz=1pt
\tolerance=1000
\emergencystretch=10pt

\begin{document}

\input amssym.def

``�㯨�����'' �襭�� �஡���� ������ � �஡���� ॣ��ਧ�樨
��⮬�⮢ �� ��᪮����� ��ॢ���.

$\phantom{aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa}$ ��.�.��筨�

������  �����  ����  �த��������   �㡫���樨~[1].   ��
�த��������㥬, ��� �।������� � [1] ��⮤ �㯨��� �ਬ������
��� �襭�� �஡����  ������  ��⮬�⭮��  ������⢠  ��ॢ쥢  �
��宦����� � ��� ॣ��୮�� ��ॢ�.  ��  �⮬  ����뢠����,  ��
����砥���  ``᫮������''   ॣ��୮��   ��ॢ�   $(n!)$   ����������
����⢥��� 㬥�����.

�ਢ���� �᭮��� ��।������.  ���ᬮ�ਬ  ����筮�  ��ॢ�,
�⮦���⢨� ��� ���設� � ᫮���� � ��䠢�� $\{$�,�$\}$:
\bigskip


\noindent ($\Lambda $ ������砥� ���⮥ ᫮��).

����� $\Sigma $ ---  �������  ��䠢��.  {\it ��ॢ��  �  ��䠢�� $\Sigma $},  ���
{\it $\Sigma$-��ॢ��, �������  ����筮�  ��ॢ�,  ���設�  ���ண�  ����祭�
�㪢���  �� $\Sigma$,  �.�.\ ��  ����  ��।�������  �⮡ࠦ����  ��
������⢠ ���設 ����筮�� ��ॢ� � $\Sigma $.

{\it ��⮬�� �� $\Sigma$-��ॢ���} ��������:\\
1) ������ ������⢮� $S$ {\it ���ﭨ�}: ���������⢠ $S'$ �㤥� ���뢠��
{\it �������ﭨﬨ}:\\
2) ������⢮� $S_{0}\subset S$ {\it ��砫���} ���ﭨ�:\\
3) {\it ⠡��楩  ���室��},  �.�.\ ���������⢮�  ������⢠ $S\times \Sigma \times S\times S$.
������� $\langle s,a,s',s''\rangle$ �⮣� ������⢠ �㤥� �।�⠢���� �奬��
\bigskip



\noindent �奬�, �ਭ�������� ⠡��� ���室�� ${\frak A}$, ���뢠���� {\it ���室��\/} ${\frak A}$:\\
4) ᯨ᪮� {\it ������⥫���\/} �������ﭨ�.

����� ��⮬�� ${\frak A}$  �� $\Sigma$-��ॢ� $D$ ���뢠���� �� $S$-��ॢ� $H$,
㤮���⢮���饥 ᫥���騬 ��� �ॡ������:  1)  ��७� $H$ ����祭
��砫�� ���ﭨ��, 2) �᫨ ���設� $x$ ����祭� � $D$ �㪢�� $a$,  �
���設� $x$, $x$�, $x$� ����� � $H$  ᮮ⢥��⢥���  ����⪨ $s$, $s'$, $s''$,  �
$\langle s,a,s',s''\rangle$ ���� ���室�� ${\frak A}$.  �����  ������,  ��⮬��  �����
����� ����� ������ ���  ��  �����  ��  ������  室�  ��  �����஬
$\Sigma$-��ॢ�.  �������  ��⮬��  ���ନ��஢����,  �᫨   ��   �����
�����⢥���� ��砫쭮� ���ﭨ�  �  ���  ⠡���  ���室��  ����
��䨪 ���� ��।������� �㭪樨  �� $S\times Sigma$  � $S\times S$.  �祢����,  ��
���ନ��஢����  ��⮬��  �����  �����⢥���   室   ��   ��
$\Sigma$-��ॢ�.

�����  ��।������  ����᪠�饣�  室�.   ��᪮����   ��⥬
�������  ����  ��᫥����⥫쭮��� $x_{0},x_{1},x_{2},\ldots$ ���設   ����筮��
��ॢ�  ⠪��,  �� $x_{0}={\frak A}$  � $x_{i+1}$  ---   ����   ��   ����   ���設,
�����।�⢥��� ᫥����� �� $x_{i}$. ����� $H$  ---  室  ${\frak A}$   �� $\Sigma$-��ॢ�.
�����   �������   ��᪮��筮��    ��� $x_{0},x_{1},\ldots$ ᮮ⢥�����
��᫥����⥫쭮��� ���ﭨ� $s_{0},s_{1},\ldots$,  ����묨  � $H$  ����祭�
���設� $x_{0},x_{1},\ldots$.  �������  {\it �।����   �������ﭨ��   ���}
$x_{0},x_{1},\ldots$ � $H$  ������⢮  ��  ���ﭨ�,  �����  ���������  �
��᫥����⥫쭮�� $s_{0},s_{1},\ldots$  ��᪮��筮   �����   ࠧ.   ��� $H$
���뢠���� {\it ����᪠�騬}, �᫨ �।���� �������ﭨ� ���  ��⥩
�  室� $H$  ������⥫��.  ��⮬��  {\it ����᪠��\/} $\Sigma$-��ॢ�,   �᫨
������� ����᪠�騩 室 ��⮬�� �� �⮬ $\Sigma$-��ॢ�.  {\it ������⢮�,
����᪠��� ��⮬�⮬ ${\frak A}$},  ���뢠����  ������⢮  ��� $\Sigma $-��ॢ쥢,
����᪠���� ${\frak A}$.

�����  ��।������  ॣ��୮��  ��ॢ�  �  ��䠢�� $\Sigma $.  ��
��।������  ����砥���  �  �������  ����筮��  ���ନ��஢������
�८�ࠧ���⥫� �� ᫮���. ������ �८�ࠧ���⥫�  ��  ᫮���  ---
�� ���ନ��஢���� ᨭ�஭�� ��⮬�� � ��室��. ��  �����  ���
��䠢�� --- �室��� � ��室���. ���⠢ ��।���  �㪢�  �室����
᫮��, �८�ࠧ���⥫� �뤠�� ���� �㪢�  ��  ��室����  ��䠢��.
�뤠���� �㪢� ������ ��  ���⥭���  �㪢�  �  ���ﭨ�.  �஬�
⮣�, �८�ࠧ���⥫� �뤠�� ���� ��室���  �㪢�  ��  ��  �⥭��
᫮��  (�㤥�  ���뢠��  ���  �㪢�  ��砫쭮�).  �����   ��ࠧ��,
������ �८�ࠧ���⥫� �������� �室�� �  ��室��  ��䠢�⠬�,
������⢮� ���ﭨ�, ��砫�� ���ﭨ�� �  ��砫쭮�  �㪢��  �
⠡��楩  ���室��.  ��ଠ�쭮,   ⠡���   ���室��   ---   ����
��।������� �㭪�� �� $S\times \Sigma $ � $S\times \Delta$, ��� $S$ --- ������⢮ ���ﭨ�,  �
$\Sigma$, $\Delta $ --- ᮮ⢥��⢥��� �室��� � ��室��� ��䠢���.

��।������ ॣ��୮�� $\Sigma $-��ॢ� ⠪���. ��ॢ�  �  ��䠢��
ॣ��୮, �᫨  �������  ������  �८�ࠧ���⥫�  �  �室��
��䠢�⮬ $\{$�,�$\}$ � ��室�� ��䠢�⮬ $\Sigma $,  �����,  ���⠢  ��
᫮�� $u$ �  ��䠢�� $\{$�,�$\}$,  �뤠��  �  ����⢥  ��᫥����  �㪢�
������ ���設� $u$ � �⮬ $\Sigma $-��ॢ�. ����⪠ ���� ��  �⮬   �㤥�
ࠢ�� ��砫쭮� �㪢�. �� ⠪�� �८�ࠧ���⥫� �㤥�  ���뢠��
��஦���騬  ��ॢ�.

������� 1. 1) {\it ������� ������, ��।����騩  ��  ��⮬���
�� ��ॢ���, ���� �� ����᪠���� �� ������⢮.} 2) {\it ��  �����⮥
��⮬�⭮�  ������⢮ $\Sigma$-��ॢ쥢  ᮤ�ন�   ॣ��୮�   ��ॢ�,
��祬, �᫨ ������⢮ ����᪠���� ��⮬�⮬ � $n$  ���ﭨﬨ,  �
�������訩  ��஦���騩  �८�ࠧ���⥫�   �����   ��   ����� $n!$
���ﭨ�. ��� �८�ࠧ���⥫� ����� ���� ��䥪⨢�� ����஥�  ��
��⮬���.}

��������������.  ���砫�      �������       ����⢮�����
�८�ࠧ���⥫�.  ���  �㦭� ���  �������  ��⮬��,  ����᪠�饣�
�����⮥ ������⢮, ����ந�� �८�ࠧ���⥫�, ��஦���騩 ��ॢ�,
����᪠����  ��⮬�⮬. ����஥���  �஢����  ����樥�  ��  ���
����७��� ���ﭨ� ��⮬��. �⮡� 㤠���  ����⨢��  ���室,
��  �㤥�  �����뢠��   �����   ��饥   �⢥ত����.   �⮡�   ���
���㫨஢���, ������ ����⨥ $\Sigma$-��ॢ�  �  �㯨����.  ����� $T$  ---
����筮�  ������⢮,  ����⭮�  � $\Sigma$  �  ���뢠����  ������⢮�
�㯨���. $\Sigma$-��ॢ�� � �㯨����  �� $T$  ���뢠����  ��  �����ॢ�
�������  ����୮�� ��ॢ�, �� ������ ���設�  ���ண�  ��室��  0
���  2  �த�������,  ��祬  ���設�  ��ࢮ��   ⨯�   (�㯨����
���設�)  ����祭�  ������⠬� $T$,  �  ���設�  ��ண�   ⨯�   ---
������⠬� $\Sigma$. ������ $\Sigma$-��ॢ�  ����,  �祢����, $\Sigma$-��ॢ��  �
�㯨����  �� $T$  ���  ���  ������⢠  �㯨��� $T$.  ��⮬��   ��
$\Sigma$-��ॢ��� � �㯨���� �� $T$ �⫨砥��� ��  ��⮬��  �� $\Sigma $-��ॢ���
������������ ���室�� ����
\bigskip



\noindent ��� ���� �� $p$, $q$ ��� ��� --- �㯨��. ��  ����,  ⠡���  ���室��  ---
���������⢮  ������⢠ $S\times \Sigma \times (S\bigcup T)\times (S\bigcup T)$.  ������⢮  ���ﭨ� $S$
������ �� ���ᥪ�����  �  ������⢮�  �㯨��� $T$.  ��������  室
��⮬�� � �㯨���� �� ��ॢ� $D$ � �㯨����, ��  ��  ��ॢ� $H$,
���஥ �����  �������  ��室�  �� $D$  ���⠭�����  ���ﭨ�  �
���㯨���� ���設� $D$, ᮣ��ᮢ����� � ⠡��楩 ���室�� � ⠪��,
��  �  ��୥  �⮨�  ��砫쭮�  ���ﭨ�.  ��  ����,  ���  ��
���㯨����� ���設� $x$ ��ॢ� $H$, �᫨ $a$ ---  ����⪠ $x$  �� $\Sigma$, $s$  ---
���ﭨ�,  �����  ����祭� $x$,  � $p$  � $q$  ---  ����⪨  �� $S\bigcup T$
ᮮ⢥��⢥��� ���設 $x$� � $x$�, � �⢥ઠ $\langle s,a,p,q\rangle$  �ਭ�������
⠡��� ���室��. ����� ��⮬�� ---  ����  ��砩  ��⮬��  �
�㯨���� (������⢮ �㯨��� $T$ ����).

����騬 ����⨥ ��஦������� ��ॢ� ��  ��ॢ��  �  �㯨����.
�८�ࠧ���⥫� � �室�� ��䠢�⮬ $\{$�,�$\}$ � ��室�� ��䠢�⮬ $\Sigma\bigcup T$
��஦���� $\Sigma$-��ॢ� $D$ � �㯨���� �� $T$, �᫨ ���⠢ �� ᫮�� $v$
� ��䠢�� $\{$�,�$\}$,  �८�ࠧ���⥫�  �뤠��  ������  ���設� $v$  �
��ॢ� $D$.

����樥� �� $n$ ��  �㤥�  �����뢠��  ᫥���饥  �⢥ত����.
�᫨ ��⮬�� ${\frak A}$  � �㯨����, ����騩 $n$ ���ﭨ�, ����᪠�� ���  ��
���� $\Sigma$-��ॢ� �  �㯨����,  �  ${\frak A}$   ����᪠��  ��ॢ�  �  �㯨����,
��஦������  �������  �८�ࠧ���⥫��  �  ��   �����   祬 $n!$
���ﭨﬨ. �㤥� ��� ��⪮��  ���뢠��  ��⮬���,  ����᪠�騥
������� ������⢠, ������묨.

���� ����樨. ���砩 ��⮬�� � ����� ���ﭨ��. ��� ���  ${\frak A}$
����᪠�� ��� �� ����  ��ॢ�,  ������⢮  ���室��  ${\frak A}$   ������.
������稬 �����⢥���� ���ﭨ� �१ $s$. ���ᬮ�ਬ ��� ����

1). �������  ���室  ����
\bigskip


\noindent ��� $t_{1}$, $t_{2}$  ---  �㯨��.\\
����� ${\frak A}$  ����᪠�� ��ॢ� � �㯨����
\bigskip



\noindent ��஦������ �८�ࠧ���⥫�� � ����� ���ﭨ��.

2). ���室�  �  ����  �㯨����  ������  ���.  �����  ��
����᪠�騩  室  ᮤ�ন�  ��᪮����  ����  �,   ᫥����⥫쭮,
�������ﭨ� $\{s\}$ ������⥫쭮. � ��ᬠ�ਢ����� ��砥 �������
���室  ������ �� ��� �����
\bigskip



\noindent ��� $t$ --- �㯨�.

���⢥��⢥���, ${\frak A}$  ����᪠�� ���� �� ��� ��ॢ쥢 � �㯨����
\bigskip




������ �� ��� ��ॢ쥢 ��஦������ �८�ࠧ���⥫�� �  �����
���ﭨ��.

��� ����樨. �����  ��⮬��  ${\frak A}$   �  �㯨����  �� $T$  ����� $n$
���ﭨ� $n\ge 2$. �㤥� ����� ���ﭨ� ���⠬� �� ����� $n$. �����
��ࠧ��, ��� ������� ���ﭨ� $k$ ����� ������� �  ���ﭨ� $k+1$.
�஬� ⮣� �����  �����,  ��  ��砫쭮�  ���ﭨ�  �����⢥���
(�.�.\ ������⢮, ����᪠���� ${\frak A}$,  ����  ��ꥤ�������  �������,
����᪠���� ��⮬�⠬�, ����砥�묨 �� ${\frak A}$   ��⠢������  �  ����⢥
��砫쭮�� ���� ������ ���ﭨ�). �㤥�  �����,  ��  ��砫쭮�
���ﭨ� --- �� 0.

��।���� ⥯��� $2n$ ��⮬�⮢ ${\frak B}_{0},\ldots,
{\frak B}_{n-1},{\frak C}_{0},\ldots,
{\frak C}_{n-1}$, �����
��  ������  ����� $(n-1)$  ���ﭨ�.

����� $k$ --- �����஥ ���ﭨ� ��⮬�� ${\frak A}$. ��।����  ������
��ॢ��� ���ﭨ� $k$ � �㯨�. � �ਬ������ � ${\frak A}$  ��� ���� ��⮬��  �
�㯨���� �� $T\bigcup \{k\}$  �  ������⢮�  ���ﭨ� $\{0,\ldots,
n-1\}\setminus \{k\}$.  ��
���室�� ${\frak A}$  㤠������ �� ���室� �  ���ﭨ�� $k$  �����,  �  ��
������⥫���   �������ﭨ�   ���ન������    �������ﭨ�,
ᮤ�ঠ騥 $k$.

��।���� ������ ����뢠��� ���ﭨ� $k$. �  �ਬ������  �
��⮬��� ${\frak A}$   ���  ����  ��⮬��  �  ⥬  ��  ������⢮�  �㯨���  �
������⢮� ���ﭨ� $\{0,\ldots,
n-1\}\setminus \{k\}$. ��  ���室��  ���ન������
�� ���室�, ����騥 $k$ ������  ���  �����,  �  ��  ������⥫���
�������ﭨ� ���ન������ �� �������ﭨ�, ᮤ�ঠ騥 $k$.

��⮬�� ${\frak B}_{k}$  ����砥���  ��  ${\frak A}$   ����뢠����  ���ﭨ� $k+1$,
�����⢥���� ��砫쭮� ���ﭨ� ${\frak B}_{k}$ --- �� $k$.  ��⮬��  ${\frak B}_{k}$  �������
$k$-�� ��ᮢ�� ।�樥� ${\frak A}$.

��⮬�� ${\frak C}_{k}$ ����砥��� �� ${\frak A}$  ��ॢ���� $k+1$ �  �㯨�  �  �������
��砫쭮��  ���ﭨ�  ��  ���ﭨ� $k$. ��⮬��  ${\frak C}_{k}$ ������� $k$-��
�㯨����� ।�樥� ${\frak A}$. ������ ��ᬮ�ਬ ��� ����.

������ 1. ������� ��ᮢ�� ।���, ����᪠���  �����⮥
������⢮ (�.�.\ ������� ��ᮢ�� ।���). ����� ��  �㤥�  ${\frak B}_{k}$.
��।���� ॣ��୮� $\Sigma $-��ॢ� � �㯨���� $T$, ����᪠����  ${\frak A}$.  �����
${\frak A'}$  --- ��⮬��, ����祭�� ��  ${\frak A}$   ��ॢ����  ���ﭨ� $k$  �  �㯨�.
�������, �� ${\frak A'}$  �� ����. ����⢨⥫쭮, ���쬥� �� $\Sigma $-��ॢ� $D$ �
�㯨���� �� $T$, ����᪠���� ${\frak A}$. �����㥬 ����᪠�騩 室  ${\frak A}$   �� $D$.
�����ॢ�� � ��୥� $v$ ��ॢ� $D$ (��� $v$  ---  �������  ���設� $D$),
�㤥�  ���뢠��  ������⢮  ���  ���設  ��ॢ� $D$  ���� $vu$ (���
$u\in \{$�,�$\}^{*}$), ����� � �� ����⪠��. �����ॢ� ��ॢ� $D$  �  ��୥� $v$
��।���� ���  ��ॢ� $D_{v}$,  ����砥���  ��  �����ॢ�  ��������
���設� $v$ ��୥�. ��ଠ�쭮, ��ॢ� $D_{v}$ ��⮨�  ��  ���設 $u$  ���
������ $vu$ �ਭ������� $D$, ��祬 ���設� $u$ ����祭� � ��ॢ� $D$ ⥬
�� ᨬ�����, �� � ���設� $vu$ � ��ॢ� $D$. ���� $H$  ��⮬��  ${\frak A}$   ��
��ॢ� $D$ �筮 ⠪ �� ᮯ��⠢����� 室 $H_{v}$ �� ��ॢ� $D_{v}$ ��⮬��,
����祭���� �� ${\frak A}$  ������� ��砫쭮�� ���ﭨ� ���ﭨ��,  �����
����祭� ���設� $v$ � 室� $H$. ��०�� � $D$ �����ॢ�� � ��୥� � ��
���設��, � ������ ����᪠�騩 室 ����� ���ﭨ� $k$, ����⨬ ��
���設� �㯨��� $k$ (�����  ����⪨  �� $\Sigma $,  �����  ��﫠  ⠬
࠭��).  ����祭��� $\Sigma $-��ॢ�  �   �㯨���� $T\bigcup \{k\}$   ����᪠����
��⮬�⮬ ${\frak A'}$.

�� ����⨢���� �।���������, ������� ��ॢ�  �  �㯨����
$T\bigcup \{k\}$,  ��஦������  �८�ࠧ���⥫��  � $(n-1)!$   ���ﭨ��   �
����᪠���� ${\frak A'}$.  ������稬  ��� $D_{1}$.  ��  �।���������  ����樨,
������� $\Sigma$-��ॢ� $D_{2}$ � �㯨���� �� $T$, ����᪠���� $k$-��  ��ᮢ��
।�樥� ${\frak A}$  � ��஦������ �८�ࠧ���⥫�� � $(n-1)!$  ���ﭨﬨ.
�������� $D_{2}$ �� ��� ���設�� $D_{1}$,  ����祭���  �㯨��� $k$,  ��ॢ
������ $k$ (⥯��� �� ���設� �⠫� ����祭� ����⪮� ���� ��ॢ�
$D_{2}$).  ����祭���   ��ॢ�  ������稬 $D_{3}$.  �����,  ��-�����, $D_{3}$
����᪠���� ${\frak A}$: ����᪠�騩  室  ����砥���  ᪫�����  ����᪠�饣�
室� ${\frak A'}$ � $k$-�� ��ᮢ�� ।�樨 �� $D_{1}$ � $D_{2}$. ����⢨⥫쭮, ��
��᪮���� ���� � ᪫����� 室� ���� 楫���� ����� � 室�  ${\frak A'}$  ��
$D_{1}$ �, ᫥����⥫쭮, ����� ������⥫�� �।��, ����  ��稭��  �
�����ண� ���� �������� � 室 $k$-�� ��ᮢ�� ।�樨  �� $D_{2}$  �,
᫥����⥫쭮, ⮦� ����� ������⥫�� �।��.

��-�����, $D_{3}$   ��஦������   �८�ࠧ���⥫��,   ����砥��
᪫����� �८�ࠧ���⥫��, ��஦����� $D_{1}$ � $D_{2}$:  �  ��  ���設��,
��� ���� �८�ࠧ���⥫� �뤠�� �㯨� $k$,  ����  �������  ��ன
�८�ࠧ���⥫�. ��᫮ ���ﭨ� ������ �८�ࠧ���⥫� ��  �����
$(n-1)!+(n-1)!\le n!$ (��᪮��� $n\ge 2$).

������ 2. �� ��ᮢ� ।�樨 �����. ������� ᭠砫�, �� �
�⮬ ��砥 {\it ������\/} �������ﭨ� $\{0,1,\ldots,
n-1\}$  ������⥫쭮  �
�� �㯨���� ।�樨 �������. �� �᫮��� ${\frak A}$   ����᪠��  �����஥
$\Sigma$-��ॢ� � �㯨���� �� $T$. ������稬 ��� $D$, �  ����᪠�騩  室  ��
�⮬ ��ॢ� ������稬 $H$. �������, �� $H$ ����� ��᪮����  ����  �
�।���� �������ﭨ�� $\{0,1,\ldots,
n-1\}$. ��᪮��� 0-��  ��ᮢ��
।���  ����,  �������  ���設� $H$  ����祭�  ���ﭨ��   1.
��᪮��� 1-��  ��ᮢ��  ।���  ����,  �������  ���設� $H$,
�ᯮ�������� ��� �⮩ ���設��, ����祭� ���ﭨ�� 2.  ����㦤��
����� ⠪�� �� ��ࠧ��, �� ������ ���� � $H$,  ��室�騩  ��  横��
��᪮��筮  �����  ࠧ  �१  ��  ���ﭨ�  ${\frak A}$.  ��᪮��� $H$  ---
����᪠�騩  室,  �  ��������  ����  �����  �।����   ������⢮
$\{0,\ldots,n-1\}$, �� ��������, �� ������ �������ﭨ� ������⥫쭮.

�������, �� �� �㯨����� ।��� ������. ���쬥�  ��
���ﭨ� $k$ ��⮬�� ${\frak A}$. ���쬥� ��ॢ� $D_{v}$, ��� $v$  ---  ��  ⠪��
���設�, �� ����᪠�騩 室 $H$  ��室��  �  �⮩  ���設�  �१
���ﭨ� $k$. ��०�� �  ��ॢ� $D_{v}$  ��  �����ॢ��  �  ���ﬨ  �
���設��, � ������ 室 $H$  ��室�� � ���ﭨ� $(k+1)$;  ᠬ�  ��
���設�  ����⨬  �㯨��� $(k+1)$ (�����   ����襩��   ����⪨).
����祭��� $\Sigma $-��ॢ�  �  �㯨����  �� $T\bigcup \{k+1\}$   ����᪠���� $k$-�
�㯨����� ।�樥�.

������  ����ந�  ॣ��୮� $\Sigma $-��ॢ�  �  �㯨����   �� $T$,
����᪠���� ${\frak A}$. �� �।��������� ����樨 ������ �㯨����� ।���
${\frak B}_{k}$ ����᪠��  �����஥  ॣ��୮� $\Sigma $-��ॢ� $D_{k}$  �  �㯨����  ��
$T\bigcup \{ k+1\}$,  ��஦������  �८�ࠧ���⥫��  � $(n-1)$!   ���ﭨﬨ.
����ந� �� ��ॢ쥢 $D_{0},\ldots,D_{n-1}$ �᪮��� ��ॢ� � �㯨����  �� $T$,
����᪠���� ${\frak A}$. ���쬥� $D_{0}$; �ਪ���� � ���設��, ����祭�� �㯨���
1, ��ॢ� $D_{1}$; ��⥬ � ����祭���� ��ॢ� � ���設��  �  �㯨���  2
�ਪ���� ��ॢ� $D_{2}$ � �.�.\ �� 横�� ��⭮�  �᫮  ࠧ.  ������稬
����祭��� $\Sigma $-��ॢ� � �㯨���� �� $T$ �१ $D$. ������ �������, �� ${\frak A}$
����᪠�� $D$ � �� $D$ ॣ��୮.

�������, �� ��ॢ� $D$ ����᪠���� ${\frak A}$. ����ந� ����᪠�騩 室
${\frak A}$  �� $D$. ��� �⮣� ��� ������� $k$ ��䨪��㥬  ����᪠�騩  室 $k$-�
�㯨�����  ।�樨  �� $D_{k}$  �  �ਬ����  �  �⨬  室��   ��   ��
��᫥����⥫쭮��� ����権 ᪫����, �� � � ��ॢ�� $D_{0},\ldots,D_{n-1}$.
����稢訩�� 室 ������稬 �१ $H$. ��  ��᪮����  ����  � $H$
���� ��稭�� � �����ண� ���� 楫���� ����� �  ����᪠�饬  室�
�����ன  �㯨�����  ।�樨,  �  �����  �����   ������⥫��
�।��, ���� ��室�� �� 横�� ��᪮��筮 ����� ࠧ  �१  ��砫�
����᪠��� 室�� ������ �㯨����� ।�樨, �,  �����,  ��室��
��᪮��筮 ����� ࠧ �१ ������ ���ﭨ�, ᫥����⥫쭮,  �����
�।����  ������⢮  ���  ���ﭨ�,   ���஥   ��   �����������
������⥫쭮.

��ॢ� $D$ ॣ��୮, ��᪮���  ��஦������  �८�ࠧ���⥫��,
����祭��  ᪫�����  �८�ࠧ���⥫��,  ��஦����� $D_{0},\ldots,D_{n-1}$.
��᫮ ���ﭨ� ������ �८�ࠧ���⥫� ࠢ�� $n\times (n-1)!=n!$.

������ ������� �㭪�~1 ⥮६� � ��䥪⨢��� ���� �㭪�~2.

�ॡ���� ����ந�� ������ �ᯮ�������� ������, �� ���襬
����� ��騩 ������. ��� ������,  ��  ��⮬���  �  �㯨����  ${\frak A}$
�ᯮ�����, ���� �� ����᪠���� �� ������⢮.  ������  ����
४��ᨢ��.  ��  ४��ᨢ���  �맮���   㬥��蠥���   ������⢮
��ﭨ� ��⮬��.

������ 1.  ��⮬��  �����  ����  ���ﭨ�.  �  �⮬   ��砥
ᬮ�ਬ, ���� �� ������⢮ ���室��. �᫨ ����,  �  �  ��⮬��
����᪠��  ���⮥  ������⢮.  �᫨  ��  ����,  ᬮ�ਬ, ����  ��
���室  �  ����  �㯨����  ������.  �᫨  ����,  �  ����᪠����
������⢮ ������. �᫨ ���, � �� ���室� ����� ��� �� ���� ��
�㯨�  (�.�.\ ���ﭨ�  0)  ������,   ᫥����⥫쭮,  ����᪠����
������⢮   ������   ⮣��   �   ⮫쪮   ⮣��,   �����   ������
�������ﭨ�  ������⥫쭮.   �   ��砥   ��������   ��⮬��
�८�ࠧ���⥫�, ��஦���騩 ��ॢ�, ��ந���  �祢����  ��ࠧ��.

������ 2. ����� ��⮬��  ${\frak A}$   ����� $n\ge 2$  ���ﭨ�.  �ॡ����
���᭨��, ����᪠�� �� �� �����⮥ ������⢮.  ���砫�  �஢��塞,
������� �� ������� ��ᮢ��  ।���  (��  ��������,  �.�.\ ��
।�樨 ����� $(n-1)$ ���ﭨ�). �᫨ �������  ��ᮢ��  ।���
�������, ᪠��� $k$-��, �  �஢�ઠ  ������  ᢮�����  �  �஢�થ
������ ��⮬�� ${\frak A'}$, ����祭���� ��  ${\frak A}$   ��ॢ����  ���ﭨ� $k$  �
�㯨�. ����⢨⥫쭮, ${\frak A}$  �� ���� ⮣�� � ⮫쪮 ⮣��, ����� ${\frak A'}$  ��
����. ��᪮��� ${\frak A'}$ ����� $(n-1)$  ����७���  ���ﭨ�,  ��  �����
�஢����, ���� �� ${\frak A'}$.

����� �� ��ᮢ� ।�樨 �����. �� ������⥫��⢠  ��ண�
�㭪�  ⥮६�  ᫥���,  �� ⮣�� �᫨ ${\frak A}$   �� ����,  �   ������
�������ﭨ� ������⥫쭮 � �� �㯨���� ।�樨 �������.  ��
⮣�  ��  ������⥫��⢠  ᫥���,  ��  �  ���⭮,  �᫨  ������
�������ﭨ� ������⥫쭮 � �� �㯨���� ।�樨 �������,  �
� ${\frak A}$  �� ����. ���⮬� ��� �����筮  �஢����  ������  �㯨�����
।�権 (��� ����� �� $(n-1)$ ���ﭨ�) � ������⥫쭮��� �������
�������ﭨ�.  ��஦���騩  �८�ࠧ���⥫�  ��ந���  �祢����
��ࠧ�� �� �८�ࠧ���⥫� ��� ��⮬�⮢ ${\frak A'}$, �㯨����� �  ��ᮢ��
।�権.

������⥫��⢮ ⥮६� �����祭�.

�������, ��  �業��  ⥮६�~1  ��  �����  ����  ����⢥���
���襭�.

������� 2. {\it ������� ����⠭� $c>0$ ⠪��,  ��  ���  ��� $n$
�������  �����⮥   ������⢮ $\{0,1\}$-��ॢ쥢,   ����᪠����
������� ��⮬�⮬ � $cn$ ���ﭨﬨ � ��  ᮤ�ঠ饥  ॣ��୮��
$\{0,1\}$-��ॢ�,  ��஦�������  �८�ࠧ���⥫��  �  �����,  祬 $n!$
���ﭨﬨ.}

��������������. ����騬   ����⨥   ����筮��   ��ॢ�  ��  ������ $n$-�筮��
��ॢ� (��� ��ॢ� ��⢫���� $n$). ��������, �� ����筮� $\Sigma $-��ॢ� ---
�� �⮡ࠦ���� �� ������⢠ ��� ᫮� � ����筮�  ��䠢�� $\{$�,�$\}$
�� ������⢮ $\Sigma $.  �������  ��  ��ࠧ��, $n$-�筮� $\Sigma $-��ॢ�  ---  ��
�⮡ࠦ���� �� ������⢠ ��� ᫮� � ��䠢�� $\{1\ldots 
n\}$ �� ������⢮
$\Sigma$. �᫨ $a_{1}a_{2}a_{3}\ldots a_{k}\ldots$ ($a_{k}\in \{1\ldots
n\}$) --- ���� � $n$-�筮� ��ॢ�, � $a_{k}$
�㤥� ���뢠�� ���ࠢ������ ��� $k$-��  ����.  �祢����  ��ࠧ��
���������  ������  ��⮬��  �   �८�ࠧ���⥫�,   ��஦���饣�
$n$-�筮� ��ॢ�.

���砫� �� ��� ������� ����ࠫ쭮�� �᫠ $n$ ����ந� �����⮥
������⢮ $n$-����  ��ॢ쥢  �  ��䠢�� $\Sigma=\{1\ldots
n\}$,  ����᪠����
�������  ��⮬�⮬   � $cn$   ���ﭨﬨ    (��⮬��   ��������
���ନ��஢����),   �   ��   ᮤ�ঠ饥   ��ॢ�,   ��஦�������
�८�ࠧ���⥫�� � �����,  祬 $n!$  ���ﭨﬨ.  ��⥬  ��  �⮣�
������⢠ $n$-���� $\Sigma$-��ॢ쥢   ����ந�   ������⢮   �������
$\{0,1\}$-��ॢ쥢 �  ⥬  ��  ᢮��⢮�;  ��  �⮬  ������⥫��⢮  �
���������.

��।����   ������⢮  ��ॢ쥢  $M$,  㪠���  �  �����  ��砥
�ந����쭮� $n$-�筮� $\Sigma$-��ॢ� $D$ ����� � $M$.  ���쬥�  �ந������
���� � $D$. ������稬 ��� ���ࠢ����� $n_{1},n_{2},n_{3},\ldots n_{k},\ldots$,
� ����⪨
���設 �⮣� ��� $p_{0},p_{1},p_{2},\ldots,p_{k},\ldots$ (��稭�� �  ����⪨  ����);
$p_{k}$ �㤥� ���뢠�� ����⪮� $k$-�� ����. ����� $N$  ---  ��  �।��쭮�
������⢮   ���ࠢ�����   ������   ���ᮢ   (�.�.\ ���ࠢ�����,
���������� ��᪮��筮 ����� ࠧ ��  ������  �����),  � $P$  ---
�।��쭮� ������⢮ ����⮪ ���� ���ᮢ.

������� ����  �ࠢ����,  �᫨  �������訩  ������� $P$ (��
����⢥���� 㯮�冷祭�� $\Sigma=\{1\ldots
n\}$) ࠢ�� �������� ������⮢ $N$
(�.�. $\max P=|N|$). ��� ���, ��ॢ� $D$ �ਭ������� $M$,  �᫨  ��  ���
��� �ࠢ����.

�������, �� $M$ ������. ��� �⮣�  ���襬  �८�ࠧ���⥫�  �
$2n!$ ���ﭨﬨ, ��஦���騩 �����஥ $n$-�筮� $\Sigma$-��ॢ�,  ��⥬
�������,  ��  ���   �ਭ������� $M$.   ����   ��᫥����⥫쭮���
���ࠢ����� $n_{1},n_{2},n_{3},\ldots n_{k},\ldots$,
�८�ࠧ���⥫� �� ������ ���⭮�
蠣�  ������  ⠪  ���뢠����   ``��᫥����⥫쭮���   ��᫥����
�宦����� ���ࠢ����� ������ ���ᮢ''. �� ��᫥����⥫쭮��� ��
�६� �㤥� ࠢ�� �����ன  ����⠭����  ������⢠  ���ࠢ�����.
���砫� �� ��᫥����⥫쭮��� ࠢ��, ᪠��� $(1,2,\ldots,n)$, �  ��⥬
��᫥  �⥭��  ��।����  ���ࠢ�����  ���⭮��  ���� $n_{2k+1}$  �
��᫥����⥫쭮���� �ந�室�� ⠪��  �८�ࠧ������:  ���⠭���
���ࠢ����� ��६�頥��� � ��砫�  ��᫥����⥫쭮��  (�  �०���
��� �宦����� � ��᫥����⥫쭮��� ��ࠥ���). ��  ������  蠣��
�८�ࠧ���⥫� �뤠�� �� ����� ����� ������, ᪠��� 1. ��।����
������, �뤠������ �८�ࠧ���⥫�� �� �⭮� 蠣� $2k+2$. ����� $l$
--- ����� ���������� ��砫� ��᫥����⥫쭮�� �� �८�ࠧ������ ��
�।��饬  (���⭮�)  蠣�,  �.�.\ $l$   ����   �����   �宦�����
���ࠢ����� $n_{2k+1}$ � ��᫥����⥫쭮��� �� �� �८�ࠧ������. �����
�뤠������ �� 蠣� $2k+2$ ����⪠ � ���� $l$.

���    ������⥫��⢠    ⮣�,    ��    ��஦������     �⨬
�८�ࠧ���⥫�� ��ॢ� �ਭ������� $M$,  �����筮  ��������,  ��
��  ����,  ࠧ��祭��  �८�ࠧ���⥫��,  �ࠢ����.  �����㥬
�������  ����.  ����� $N$  ---  �।��쭮�  ������⢮   ���ࠢ�����
������ ���ᮢ �⮣� ���. �����  ��  �⥭��  ���ࠢ�����  �⮣�
���,  ��稭��  �  �����ண�  ����   ��砫�   ��᫥����⥫쭮��
��᫥���� �宦����� ����� $|N|$ �㤥� 楫���� ������ ��  ������⮢
$N$,  �  �����  ����⪨,  �뤠�����  �८�ࠧ���⥫��   ��   ����
�ॢ��室��� $|N|$. � ��㣮� ��஭�, ⠪ ��� ������ ���ࠢ����� �� $N$
����砥���  ��᪮��筮   �����   ࠧ,   ���ࠢ�����   ���饥   �
��᫥����⥫쭮�� ��᫥����  �宦�����  �� $|N|$-��  ����,  �㤥�
��᪮��筮   �����   ࠧ   ��६������   �   ��砫�,   �   �����
�८�ࠧ���⥫� ��᪮��筮 ����� ࠧ �㤥� �뤠���� ������ $|N|$.

�������,  ��  $M$  ����᪠����  �������   ��⮬�⮬   � $cn$
���ﭨﬨ. ��� ��⮬�� ����� ���ﭨ� ���� ⨯��: ����  ⨯
--- �� ������ ���ﭨ� ��� ������� ���ࠢ����� � ��ன  ⨯  ---  ��
������ ���ﭨ� ��� ������ �㪢� �� $\Sigma$. �.�.\ �ᥣ� $2n$  ���ﭨ�.
�� ���� �����  ��⮬��  ������ᨬ�  ��  ��⢫����  ���室��  �
���ﭨ�, ᮮ⢥�����饥 ���⠭��� ����⪥. �� ������  蠣��
������ᨬ�  ��  ����⪨  ��⮬��  ��室��  �  ���ﭨ�,   ࠢ���
���ࠢ�����. ��砫쭮� ���ﭨ� --- �� ���ﭨ�  ��ண�  ⨯�.
������⥫�� �������ﭨ� --- �, � ������  ���ᨬ�  ���ﭨ�
��ண� ⨯� ࠢ�� ��� ���ﭨ� ��ࢮ�� ⨯�.

������� �� ��⨢����, �� �� ���� �८�ࠧ���⥫� �����  祬
� $n!$  ���ﭨﬨ  ��  ��஦����  ��ॢ�  ��  $M$.  �����⨬  ${\frak B}$    ---
�८�ࠧ���⥫� � �����, 祬 $n!$ ���ﭨﬨ, ��஦���騩 ��ॢ� ��
$M$.  ����� $\Pi=(v_{1},\ldots,
v_{n})$  ---   �������   ����⠭����   ������⢠
���ࠢ����� (�� ��ॡ�६ �� $n!$ ࠧ����� ����⠭����).  ���쬥�
᫮��
$$
s_{\Pi}=(\ldots ((v_{1}^{n!}v_{2})^{n!}\ldots v_{n})^{n!}.
$$

�㤥� ���뢠�� ᫮�� $((\ldots
(v_{1}^{n!}v_{2})^{n!}\ldots v_{i-1})^{n!}v_{i}$  ������ $i$-��
�஢��. ����� ���� $i$-�� �஢�� ��⠢��� �� $n!$  ������ $(i-1)$-��
�஢�� � �㪢� $v_{i}$, ��祬 ᠬ� $s_{\Pi}$ ��⠢����  �� $n!$  ������ $n$-��
�஢��. �����⨬ �८�ࠧ���⥫� ${\frak B}$  �� ᫮�� $s_{\Pi}$, ������� �� �室  ${\frak B}$
�㪢� ᫮�� $s_{\Pi}$ �� ������ 蠣�� �, ᪠���  1,  ��  ����  蠣��.
�����, ��稭�� � �⮣� ����, ᫮�� ``������� ᫮�� �� �室 ${\frak B}$'' ���
``�����⨬ ${\frak B}$  �� ᫮��''  ����  �������,  ��  ${\frak B}$   �⠥�  ᫮��  ��
������ 蠣�� � �㪢� 1  ��  ����.  ��ᬮ�ਬ  ��  ���ﭨ�  �
������ ��室���� �८�ࠧ���⥫�  ��।  ���⥭���  ������ $n$-��
�஢��. ��᪮��� ������ � $s_{\Pi}$ �����, 祬  ���ﭨ�  �  ${\frak B}$,  � $s_{\Pi}$
��������  ���  �宦�����  ����� $n$-��  �஢��  ��।  ���⥭���
������ ${\frak B}$  ��室���� � ����� �  ⮬  ��  ���ﭨ�.  ������稬  ��
���ﭨ� $s_{n}$, � �� ��� �宦����� � $s_{\Pi }$ ������� �⬥祭�묨. ������
�����⨬ ${\frak B}$  � ���ﭨ� $s_{n}$ �� ����� $n$-�� �஢��.  �����  ��������
��� �宦����� ����� $(n-1)$-�� �஢��, ��।  ���⥭���  ������  ${\frak B}$
��室���� � ����� � ⮬  ��  ���ﭨ�.  ������稬  ��  ���ﭨ�
$s_{n-1}$, � ��� ��  �宦�����  ����� $(n-1)$-��  �஢��  �  ������  ��
�⬥祭��� �宦����� ����� $n$-�� �஢�� ⮦�  �������  �⬥祭�묨.
����� ��ࠧ��, ������� ���� �⬥祭��� �宦����� ����� $(n-1)$-��
�஢�� � $s_{\Pi }$. ����ਢ ��� ��楤��� $n$ ࠧ,  ��  ����稬  �����஥
���ﭨ� $s_{1}$ � $2^{n}$  �⬥祭���  �宦�����  �����  1-��  �஢�� $v_{1}$.
�����⠢�� ����⠭���� $\Pi$ ����祭��� ���ᠭ��  ��ࠧ��  ���ﭨ�
$s_{1}$. ��᪮��� ����⠭���� �����,  祬  ���ﭨ�,  ��������  ���
����⠭���� $\Pi $ � $\Pi'$ � ����� � ⥬ �� ���ﭨ�� $s_{1}$. �����㥬 ����
⠪�� ���� $\Pi$ � $\Pi'$. ����� $\Pi=(v_{1}\ldots v_{n})$, $\Pi'=(v'_{1}\ldots
v'_{n})$.  ����� $i$  ---
��ࢮ� ���� ᫥��, �� ���஬ ࠧ������� $\Pi$ � $\Pi'$.

�������, �� ᫮�� $s_{\Pi }$ �����  ���᫮��, ᮤ�ঠ饥  ��  �㪢�
$\{v_{1}\ldots v_{i}\}$ � ⮫쪮 �� � ⠪��, �� �� �⥭�� $s_{\Pi}$ �८�ࠧ���⥫� ${\frak B}$
��室���� � ���ﭨ� $s_{1}$ ��। ��砫��  �⥭��  ���᫮��  �  ��᫥
���� �⥭�� ���᫮��. ����⢨⥫쭮, ��ᬮ�ਬ ��  �⬥祭���
�宦����� ����� $(i+1)$-�� �஢��, � ��� ��ᬮ�ਬ  ���  �⬥祭���
�宦����� ����� $(i)$-�� �஢�� $((\ldots
(v^{N}_{1}v_{2})^{N}\ldots v^{N}_{i-1})v_{i}$. � ������  ��
���  ����  �宦�����  ���쬥�  ��  ������  �⬥祭����  �宦�����
(���) ����� 1-��  �஢�� $v_{1}$. ���᫮�� ����� ���� �宦������ $v_{1}$
(������ $v_{1}$) � �ࠢ� �宦������ $v_{1}$ (�᪫��� $v_{1}$) � �㤥� �᪮��,
��᪮��� ��� ᮤ�ন� �� �㪢� $\{v_{1}\ldots
v_{i}\}$ � ⮫쪮 ��, �  �  ᨫ�
�⬥祭���� �宦����� $v_{1}$,  ��।  �  ��᫥  �⥭��  �⮣�  ᫮��
�८�ࠧ���⥫� ${\frak B}$  ��室���� � ���ﭨ� $s_{1}$.  ����஥����  ���᫮��
������稬 $W$. ��������� ��ࠧ�� ����ந� ���᫮�� $W'$ ᫮�� $s_{\Pi'}$.

������ ���쬥� �� ᫮�� $x$, ���⠢ ���஥, ${\frak B}$  ��室��  �
���ﭨ� $s_{1}$. ���ᬮ�ਬ �� ᢥ��᫮�� (ᢥ��᫮��� � ��䠢�� $\Sigma $
���뢠���� �� ��᪮��筠� ��᫥����⥫쭮��� �㪢 $\Sigma$):\\
$xwww\ldots$\\
$xw'w'w'\ldots$\\
$xww'ww'\ldots$\\
������ �� ��� ��� ᢥ��᫮� ������ � $n$-�筮� ��ॢ�  ��᪮����
���� (ᢥ��᫮�� $a_{0}a_{1}a_{2}\ldots$   ������    ��    ��।������    ����
$\Lambda,a_{0},a_{0}a_{1},a_{0}a_{1}a_{2},\ldots$).

�� �⥭�� �८�ࠧ���⥫�� ${\frak B}$  ��� �� ��� ᢥ��᫮�, ��।
���⥭���  �������  ����� $w$  ��� $w'$,  �祢����  ${\frak B}$   ��室����  �
���ﭨ� $s_{1}$. ����� $P$ � $P'$ --- ������⢠ ���� ����⮪,  �뤠������
${\frak B}$  �� �⥭�� ᮮ⢥�ᢥ��� $w$ � $w'$.

����� $P$ �㤥� �।���� ������⢮� ���� ����⮪ �� �⥭��
��ࢮ�� ᢥ��᫮��, $P'$ ---  ��ண�,  � $P\bigcup P'$ --- ���쥣�.  ��  �⮬
�।����    ������⢠    ���ࠢ�����     ࠢ��     ᮮ⢥�ᢥ���
$\{v_{1}\ldots v_{i}\},\{v'_{1}\ldots v'_{i}\}$ � $\{v_{1}\ldots
v_{i}\}\bigcup \{v'_{1}\ldots v'_{i}\}=\{v_{1}\ldots v_{i-1},v_{i},v'_{i}\}$.

���⮬�      ��       ����砥� $\max P=i$, $\max P'=i$,
$\max(P\bigcup P')=|\{v_{1}\ldots v_{i-1},v_{i},v'_{i}\}|=i+1$, �� ���� ��⨢��稥�.

�⠪, ��  ����ந��  �����⮥  ������⢮  $M$ $\{1\ldots n\}$-��ॢ쥢
��⢫���� $n$,  ����᪠����  ���ନ��஢����   ��⮬�⮬   � $cn$
���ﭨﬨ, � �� ᮤ�ঠ饥 ��ॢ�, ��஦������� �८�ࠧ���⥫��
� ����� 祬 $n!$ ���ﭨﬨ.  ������  ����ந�  ������⢮  �������
$\{0,1\}$-��ॢ쥢 � �⨬� ᢮��⢠��. �᭮, ��  �����筮  ��������
������  �業��  ��� $n$,  ������  �⥯��ﬨ  2.  ���⮬�  �㤥�
�����, �� $n=2^{k}$. ��� ������� $n$-�筮�� ��ॢ� $D$ � ��䠢�� $\{1\ldots n\}$
��।���� ���  ``�������'' $\tilde D$  ---  ����筮� $\{0,1\}$-��ॢ�.  ��ॢ� $\tilde D$
����ந� � ��� �⠯�: ᭠砫� ����ந� ����୮� $\{1\ldots n\}$-��ॢ� $\bar D$, �
��⥬ ��� �८�ࠧ㥬 � $\tilde D$.

��ॢ� $\bar D$  ����砥���  �� $D$  ᫥���騬  �८�ࠧ�������:  ���
��ࠫ���쭮 �� �ᥬ ���� �� ����, �� �����塞 �����ॢ� � ��୥�
� ������ ������饩��  ���設�  ��  �����  ��ॢ�  ��  ᫥���饬�
�ࠢ���. �����ॢ�
\bigskip



\noindent ��� $T_{1}\ldots T_{n}$ --- �����ॢ�� � ���ﬨ � �뭮���� ���設�,  ����祭���
$a$, �����塞 �� ��ॢ�
\bigskip



������  ��  ����୮� $\{1\ldots n\}$-��ॢ� $D'$   �८�ࠧ㥬   �
����୮� $\{0,1\}$-��ॢ� $D$ ᫥���騬 ��ࠧ��. ����� ��稭��  �� ����
��� ������ ���設� $v$ �����ॢ� � ��୥�  � $v$  �����塞  ��  �����
�����ॢ� �� �ࠢ���:
\bigskip



\noindent ��� $D_{1}$, $D_{2}$ --- ������� $\{1\ldots n\}$-��ॢ�� �� ��ॢ�
\bigskip



\noindent ��� $\varepsilon_{1}\ldots \varepsilon_{k}$ --- ������ ��� �㪢� $a$ (��  �����஬  䨪�஢�����
����஢���� ������⮢ $\{1\ldots n\}$ �����묨 ᫮���� ����� $k$),  � $D_{0}$  ---
����୮� ��ॢ� ࠧ��祭��� ������ ��ﬨ.

��।���� �� $\tilde M = \{\tilde D\mid D\in M\}$. ����㤭� ��������, ��  ������⢮
$\tilde M$  �ᯮ�������  ���ନ��஢����  ��⮬�⮬  � $cn$  ���ﭨﬨ.
������⥫��⢮ ������ �業�� $n!$ �祢���� ��ࠧ��  ��७�����  ��
�� $\tilde M$. ���६� ��������.

\medskip
\centerline{����������}

[1]~��.�.��筨�. ���� �� ��᪮�����  ��ॢ���  �  ��⮬���  �
�㯨����. ����� ������⥫��⢮  ࠧ�訬���  �������᪮�  ⥮ਨ
���� ᫥�������//�����⨪� � ���ଠ⨪�, 1985, ${\rm N}^{\circ}$ 24, ���.16-40.

\end{document}

