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

Доказано существование переборного алгоритма распознавания алгебраических булевых пороговых функций путём нахождения верхних оценок абсолютных значений модуля и коэффициентов линейной формы. Оценка для модуля имеет вид $ (n+3)^{(n+5)/2}/{2^{n+2}}$, а сложность алгоритма — O$(({{n}/{2}})^{n^2})$.