maxal писал(а):
AD писал(а):
По-моему, где-то я слышал, что это открытый вопрос.

Но, может быть, я и путаю - давно это было.
все верно, вопрос открытый
http://www.research.att.com/~njas/sequences/A000372
+1
У меня друг на четвёртом курсе считал

в дипломной работе, для чего писал какую-то прогу, которая целых два часа эти вычисления и производила.

количество монотонных

-местных булевых функций

количество порядковых идеалов в

-мерном кубе

количество элементов свободной дистрибутивной решётки с

образующими

количество различных днф от

переменных (без операции отрицания).
Задача точного вычисления

вроде бы даже имеет важное практическое значение для каких-то там сетей. Проблема нахождения формулы для

известна как "проблема Дедекинда", ей более ста лет
