О множествах критерия распространения для строго мажоритарных булевых функций

Исследуется критерий распространения для строго мажоритарных симметрических булевых функций. С помощью аппарата полиномов Кравчука доказано, что критерию распространения для строго мажоритарных функций от $n$ переменных, где $\lfloor n/2 \rfloor$ нечётно, удовлетворяют векторы с весом Хэмминга, значение которого отличается от $n/2$ не более чем на $1/2$.