Аннотация В данной работе представлено конструктивное доказательство различия классов P и NP, выполненное в рамках булевой схемной модели вычислений. В центре метода — функция из класса FNP, не обладающая полиномиально вычислимым обратным преобразованием, что позволяет строго отделить FNP от FP. Доказательство не опирается на вероятностные аргументы, криптографические предположения или эвристики. Оно основано на анализе свойств булевых схем, внутренней структуры функций и их схемной сложности...

Источник: Nuances of Programming Почему это интересно? Многие распределения вероятностей определяются с использованием гамма-функции, я перечислю лишь некоторые: гамма-распределение, бета-распределение, распределение Дирихле, распределение хи-квадрат, т-распределение Стьюдента и так далее.  Для специалистов по данным или инженеров и исследователей машинного обучения гамма-функция, вероятно, одна из наиболее широко используемых функций, потому что она участвует во множестве распределений. Эти распределения...