Да, именно про неё.
Итак, для приведённых

вероятность в знаменателе получается соответственно

,

и

. (Перебрал.) Похоже, нужно просто найти рекуррентное выражение (и далее) для числителей этих дробей. Если я не очень понятно выразился, эти числители равны

.
Завтра я и сам попробую вывести, если лень не вернётся!
-- Вт фев 28, 2012 01:43:22 --Добавляем к множеству один элемент, и появляется несколько новых пар из непересекающихся подмножеств. Рассмотрим только новые, старые мы уже должны были узнать. В одном из них должен быть новый элемент, а в другом не должен (а то они будут пересекающиеся). Пусть для определённости новый элемент в

. (С ним в

мы получим такое же количество пар в силу симметрии.) Он может как добавляться к уже существующим парам, найденным в прошлый раз (было

— будет и

), так и создать вполне определённое количество совсем новых пар вида

.
Может быть, я даже всё сейчас и учёл на ходу.
UPD: Последняя вероятность была неверная. Исправил.
-- Вт фев 28, 2012 01:45:52 --Ну, число в знаменателе вероятности понятно откуда. Удачи! Интересно посмотреть, что там будет с рекуррентностью. Пошёл спать.