Аннотация:Алгебраический подход к распознаванию образов является одной из наиболее продуктивных технологий для синтеза корректных алгоритмов (которые не делают ошибок на контроле) на базе некорректных. Основы алгебраического подхода заложили работы академика РАН Ю.И. Журавлёва. Было показано, что корректный алгоритм представим в виде полинома над некорректными (эвристическими) алгоритмами. Открытыми оставались вопросы о критериях представления в виде «простых» полиномов, о классификации задач на «плохие»/«хорошие» с точки зрения подобных представлений. К настоящему времени эти задачи успешно решены самим Ю.И. Журавлёвым и его многочисленными учениками: В.Л. Матросовым, К.В. Рудаковым и др. Однако полученные критерии корректности не являются «простыми» и «интуитивно понятными»: они записаны в виде ограничений на признаковые пространства и геометрические свойства конфигураций объектов. На базе этих критериев невозможно перечислить все корректные задачи распознавания.
Поэтому перед дипломницей была поставлена цель – перечислить корректные задачи распознавания (хотя бы для признаковых пространств малых размерностей), получить геометрические критерии корректности простых полиномов. Эта цель была блестяще выполнена, все поставленные задачи были решены. Стоит также отметить, что в процессе исследования Т.С. Ховратович получила «красивые» эффектные доказательства некоторых теорем, а также построила нетривиальные «хорошие» геометрические конфигурации объектов распознавания.