числа дедекинда

Процесс занял около 10 миллиардов часов процессорного времени. Математики из США и Японии решили одну из самых сложных задач в комбинаторике - вычислили девятое число Дедекинда, которое описывает количество монотонных булевых функций от девяти переменных. Это число равно...