Что-то не вижу пока, чем строки лучше. Может, просто просуммировать варианты по всем размерам множеств? Например,
первое - пустое, второе - любое -

вариантов
в первом 1 элемент (

подмножеств), второе набирается из оставшихся

, там

подмножество, всего получаем

пар
в первом множестве 2 элемента (таких будет

), во втором - не более

, всего получаем

и т.д.
Все складываем и делим на

.
Сумма легко сворачивается. Впрочем, зная ответ, можно придумать метод подсчета и без суммирования. Пока не напишу, подумайте сами.