Аннотация:Работа Замиры Ниязовой посвящена проблеме расшифровки дискретных функций. Исследуемый класс функций представляет собой класс арифметических сумм булевских монотонных конъюнкций, т.е. функций определенных на булевом кубе, но принимающем значения из расширенного натурального ряда.
Замира предложила интересный алгоритм расшифровки исследуемых функций, оценила сложность предлагаемого алгоритма, и тем самым получила верхнюю оценку для функции сложности шенноновского типа. Мощностная нижняя оценка, доказанная в работе, показывает, что предложенный алгоритм оптимален по порядку в случае, когда число нижних единиц не меняется с ростом числа переменных функции. З.Ниязова предложила также алгоритм ответов на запросы для случая малого числа переменных, дающий нижнюю оценку сложности, совпадающую с верхней.
Полученные результаты интересны, математически трудные и их следует опубликовать в открытой печати.