Показано, что в задаче распознавания образов с двумя непересекающимися классами матрицы оценок близости объектов описываются некоторой метрикой. При этом переход к алгебраическому замыканию модели распознающих операторов конечной степени соответствует применению специального преобразования над этой метрикой. Доказано, что корректный алгоритм минимальной степенной сложности может быть найден в виде полинома специального вида. Получен простой критерий проверки реализации классификации.
