Полиномиальный алгоритм для распознавания принадлежности реализованной полиномом функции $k$-значной логики предполным классам самодвойственных функций

Исследуются свойства полиномов по модулю $k$ самодвойственных функций $k$-значной логики (если $k$ — простое число). Доказано, что существует алгоритм, который с полиномиальной временной сложностью устанавливает, принадлежит ли функция $k$-значной логики, реализованная полиномом по модулю $k$, предполному классу самодвойственных функций.