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

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

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

, там 

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

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

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

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

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

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