Аннотация:
В работе выделен класс полуколец, названных логическими полукольцами, которые можно использовать для поиска быстрых алгоритмов. Описана общая идея их использования и дана конкретная реализация этой идеи для построения быстрых алгоритмов распознавания свойств дискретных функций. В частности, построен алгоритм с битовой сложностью
$O(N^{\log_23}\log N\log\log N\log\log\log N)$ для распознавания полноты (относительно суперпозиции) системы частичных булевых функций, заданных векторами их значений.
Библиогр. 5.