Аннотация:
Построены специальные модели алгоритмических многочленов над множеством алгоритмов вычисления оценок. Данные модели являются корректными над $\mathbf Z(m,q)$ и имеют квадратичные (по размерности признакового пространства) оценки емкости. Ограничение на пространство параметров таких моделей позволяет с помощью модификации метода «следов» получить оценки емкости, не зависящие от показателя степени корректного алгебраического замыкания алгоритмов. Дана оценка длины обучающей выборки, достаточная для построения оптимального алгоритма с заданным качеством.