Об оценке сложности расшифровки пороговых функций $k$-значной логики

Рассматривается задача нахождения коэффициентов линейного неравенства, разделяющего множества нулей и единиц пороговой функции $f(x)$ $k$-значной логики от $n$ переменных, при помощи вопросов "является ли $x$ нулем функции $f(x)$?" Показано, что существуют функции, для расшифровки которых требуется не менее $C_n\log_2^{n-2}k$ вопросов, где $C_n$ зависит только от $n$.