Расшифровка пороговых функций $k$-значной логики

Рассматривается класс пороговых функций $k$-значной логики от $n$ переменных. Под расшифровкой функции из этого класса понимается процедура из последовательности вопросов о значении функции в точке, после завершения которой функция восстанавливается в остальных точках. Доказано, что при любом фиксированном $n$ существует алгоритм расшифровки любой пороговой функции $k$-значной логики, который использует не более $C_n\log^n(k+1)$ вопросов о значении функции в точке, где $C_n$ – константа, зависящая только от $n$.
Библиогр. 15