\input style
%% 60

т ЗАКЛЮЧЕНИЕ ЭТОГО ПУНКТА РАССМОТРИМ СВОЙСТВА ОТРЕЗКОВ В СЛУЧАЕ, КОГДА В 
ПЕРЕСТАНОВКЕ ДОПУСКАЮТСЯ ОДИНАКОВЫЕ ЭЛЕМЕНТЫ. сЕСЧИСЛЕННЫЕ ПАСЬЯНСЫ, 
КОТОРЫМ ПОСВЯЩАЛ СВОИ ДОСУГИ ЗНАМЕНИТЫЙ АМЕРИКАНСКИЙ АСТРОНОМ 19-ГО ВЕКА 
ёАЙМОН эЬЮКОМБ, ИМЕЮТ НЕПОСРЕДСТВЕННОЕ ОТНОШЕНИЕ К ИНТЕРЕСУЮЩЕМУ НАС 
ВОПРОСУ. юН БРАЛ КОЛОДУ КАРТ И СКЛАДЫВАЛ ИХ В ОДНУ СТОПКУ ДО ТЕХ ПОР, 
ПОКА ОНИ ШЛИ В НЕУБЫВАЮЩЕМ ПОРЯДКЕ ПО СТАРШИНСТВУ; КАК ТОЛЬКО СЛЕДУЮЩАЯ 
КАРТА ОКАЗЫВАЛАСЬ МЛАДШЕ ПРЕДЫДУЩЕЙ, ОН НАЧИНАЛ НОВУЮ СТОПКУ. юН ХОТЕЛ 
НАЙТИ ВЕРОЯТНОСТЬ ТОГО, ЧТО В РЕЗУЛЬТАТЕ ВСЯ КОЛОДА ОКАЖЕТСЯ РАЗЛОЖЕННОЙ В 
ЗАДАННОЕ КОЛИЧЕСТВО СТОПОК.

чАДАЧА ёАЙМОНА эЬЮКОМБА СОСТОИТ, СЛЕДОВАТЕЛЬНО, В НАХОЖДЕНИИ 
РАСПРЕДЕЛЕНИЯ ВЕРОЯТНОСТЕЙ ДЛЯ ОТРЕЗКОВ СЛУЧАЙНОЙ ПЕРЕСТАНОВКИ 
МУЛЬТИМНОЖЕСТВА. т ОБЩЕМ СЛУЧАЕ ОТВЕТ ДОВОЛЬНО СЛОЖЕН (СМ. УПР.~12), ХОТЯ 
МЫ УЖЕ ВИДЕЛИ, КАК РЕШАТЬ ЗАДАЧУ В ЧАСТНОМ СЛУЧАЕ, КОГДА ВСЕ КАРТЫ 
РАЗЛИЧНЫ ПО СТАРШИНСТВУ. ьЫ УДОВЛЕТВОРИМСЯ ЗДЕСЬ ВЫВОДОМ ФОРМУЛЫ ДЛЯ 
\emph{СРЕДНЕГО} ЧИСЛА СТОПОК В ЭТОМ ПАСЬЯНСЕ.

яУСТЬ ИМЕЕТСЯ $m$ РАЗЛИЧНЫХ ТИПОВ КАРТ И КАЖДАЯ ВСТРЕЧАЕТСЯ РОВНО $p$ РАЗ. 
эАПРИМЕР, В ОБЫЧНОЙ КОЛОДЕ ДЛЯ БРИДЖА $m=13$, А $p=4$, ЕСЛИ ПРЕНЕБРЕГАТЬ 
РАЗЛИЧИЕМ МАСТИ. чАМЕЧАТЕЛЬНУЮ СИММЕТРИЮ ОБНАРУЖИЛ В ЭТОМ СЛУЧАЕ 
я.~р.~ьАК-ьАГОН [Combinatory Analysis (Cambridge, 1915), ТОМ~1, 
СТР.~212--213]: ЧИСЛО ПЕРЕСТАНОВОК С $k+1$~ОТРЕЗКАМИ РАВНО ЧИСЛУ 
ПЕРЕСТАНОВОК С $mp-p-k+1$~ОТРЕЗКАМИ. ¤ТО СООТНОШЕНИЕ ЛЕГКО ПРОВЕРИТЬ 
ПРИ~$p=1$ (ФОРМУЛА (7)), ОДНАКО ПРИ $p > 1$ ОНО КАЖЕТСЯ ДОВОЛЬНО НЕОЖИДАННЫМ.

ьОЖНО ДОКАЗАТЬ ЭТО СВОЙСТВО СИММЕТРИИ, УСТАНОВИВ ВЗАИМНО ОДНОЗНАЧНОЕ 
СООТВЕТСТВИЕ МЕЖДУ ПЕРЕСТАНОВКАМИ, ТАКОЕ, ЧТО КАЖДОЙ ПЕРЕСТАНОВКЕ С 
$k+1$ ОТРЕЗКАМИ СООТВЕТСТВУЕТ ДРУГАЯ, С $mp-p-k+1$~ОТРЕЗКАМИ. ьЫ 
НАСТОЙЧИВО РЕКОМЕНДУЕМ ЧИТАТЕЛЮ САМОМУ ПОПРОБОВАТЬ НАЙТИ ТАКОЕ 
СООТВЕТСТВИЕ, ПРЕЖДЕ ЧЕМ ДВИГАТЬСЯ ДАЛЬШЕ.

ъАКОГО-НИБУДЬ ОЧЕНЬ ПРОСТОГО СООТВЕТСТВИЯ НА УМ НЕ ПРИХОДИТ; 
ДОКАЗАТЕЛЬСТВО ьАК-ьАГОНА ОСНОВАНО НА ПРОИЗВОДЯЩИХ ФУНКЦИЯХ, А НЕ НА 
КОМБИНАТОРНОМ ПОСТРОЕНИИ. юДНАКО УСТАНОВЛЕННОЕ ЇОАТОЙ СООТВЕТСТВИЕ 
(ТЕОРЕМА~5.1.2т) ПОЗВОЛЯЕТ УПРОСТИТЬ ЗАДАЧУ, ТАК КАК ТАМ УТВЕРЖДАЕТСЯ 
СУЩЕСТВОВАНИЕ ВЗАИМНО ОДНОЗНАЧНОГО СООТВЕТСТВИЯ МЕЖДУ ПЕРЕСТАНОВКАМИ С 
$k+1$~ОТРЕЗКАМИ И ПЕРЕСТАНОВКАМИ, В ДВУСТРОЧНОМ ПРЕДСТАВЛЕНИИ КОТОРЫХ 
СОДЕРЖИТСЯ РОВНО
$k$~СТОЛБЦОВ $y\atop x$, ТАКИХ, ЧТО $x<y$.

яУСТЬ ДАНО МУЛЬТИМНОЖЕСТВО $\{p\cdot 1, p\cdot2, \ldots, p\cdot m\}$; 
РАССМОТРИМ ПЕРЕСТАНОВКУ С ДВУСТРОЧНЫМ ОБОЗНАЧЕНИЕМ
$$
\pmatrix{
1 & \ldots & 1 & 2 & \ldots & 2& \ldots & m & \ldots & m\cr
x_{11} & \ldots & x_{1p} &x_{21} & \ldots & x_{2p} &\ldots &x_{m1} & \ldots & x_{mp}\cr
}.
\eqno(32)
$$
%% 61
\bye