Верхняя граница для числа функций, удовлетворяющих строгому лавинному критерию

Строгий лавинный критерий был предложен при изучении критериев построения некоторых криптографических функций. Двоичная функция $f(x),$ $x\in V_n$, удовлетворяет этому критерию, если при замене любой координаты вектора $x$ ее дополнением значение $f(x)$ изменяется ровно в половине случаев. В данной работе представлена верхняя граница для числа таких функций при достаточно больших $n$.