![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
vakПосчитал, теперь у меня есть полный список из 16143 монотонных функций шести аргументов. Прямо комбинаторный взрыв какой-то. Для семи аргументов должно быть 489996795, но я проверять не буду: нет уверенности, что пентиуму для вычислений хватит времени жизни вселенной. :)
Математика - царица наук. Как оказалось, последовательность 1,2,5,20,180,16143 давно известна и сводится к подсчёту количества абстрактных симплициальных комплексов из N неразмеченных элементов. Спасибо![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
spamsink и a_shen за подсказку.
Желающие приобщиться к суровой науке могут попытаться прорубить статью, которая всё объясняет.
Почему интересны именно функции с шестью входами? У них есть определённое практическое применение. Дело в том, что в последних семействах микросхем Xilinx FPGA используются именно шестивходовые программируемые матрицы (LUT6).
Математика - царица наук. Как оказалось, последовательность 1,2,5,20,180,16143 давно известна и сводится к подсчёту количества абстрактных симплициальных комплексов из N неразмеченных элементов. Спасибо
spamsink и a_shen за подсказку.Желающие приобщиться к суровой науке могут попытаться прорубить статью, которая всё объясняет.
Почему интересны именно функции с шестью входами? У них есть определённое практическое применение. Дело в том, что в последних семействах микросхем Xilinx FPGA используются именно шестивходовые программируемые матрицы (LUT6).
