ИСТИНА

Актуальность темы. В начале 1970х годов Ю.И. Журавлёвым была описана модель алгоритмов вычисления оценок (АВО) для решения задач распознавания. Каждый алгоритм модели являлся суперпозицией распознающего оператора и решающего правила. Распознающий оператор строил матрицу оценок принадлежности контрольных объектов (которые алгоритм должен классифицировать) классам. Решающее правило на основе этой матрицы классифицировало контрольные объекты. В АВО были отражены многие эвристические методы, применявшиеся при решении прикладных задач, и модель стала весьма универсальным языком описания алгоритмов распознавания. В конце 1970х годов Ю.И. Журавлёвым был предложен алгебраический подход к решению задач распознавания: корректный алгоритм (который не делает ошибок на контрольный выборке) было предложено искать в виде алгебраического выражения над некорректными (эвристическими) алгоритмами. Над распознающими операторами были введены операции сложения, умножения на константу и умножения как операции над матрицами оценок, которые они получают (умножение проводилось поэлементно). При фиксированном решающем правиле эти операции индуцировали операции над алгоритмами распознавания. Множество всех полиномов степени не выше k над алгоритмами некоторой модели было названо алгебраическим замыканием k-й степени этой модели (при – линейным замыканием). Для модели кусочно-линейных решающих поверхностей и АВО было доказано, что существует и в явном виде выписывается корректный алгоритм-полином над некорректными алгоритмами. Основное достижение алгебраического подхода – строгое доказательство «чисто алгебраическими» методами того, что в теории распознавания возможно построение «хороших» алгоритмов на базе «плохих». Позже в рамках алгебраического подхода К.В. Рудакову удалось создать язык для описания и исследования задач преобразования информации – теорию локальных и универсальных ограничений. Исследования модели АВО, в основном, были сконцентрированы на оптимизации алгоритмов и алгебраических выражений над ними. Строились корректные алгоритмы из алгебраических замыканий, но не изучалось множество всех алгоритмов, т.е. упускался важный объект исследования: алгебраические замыкания. До настоящего времени они не были даже достаточно детально описаны, чтобы анализировать, есть ли в них «хорошие» алгоритмы, как их синтезировать и т.д. Технику анализа алгебраических конструкций в рамках классической теории удалось построить В.Л. Матросову для решения фундаментальной задачи о теоретическом обосновании надёжности алгоритмических построений в алгебраическом подходе. С её помощью удалось решить несколько важных проблем, связанных с корректностью алгебраических замыканий (возможностью получить операторами замыкания произвольную матрицу оценок в рассматриваемой задаче распознавания). Эти результаты поставили, в определённом смысле, более сложные проблемы: нахождения «наглядных» критериев корректности, получения пониженных оценок степени корректного алгебраического замыкания, описания всех задач, разрешимых алгоритмами из алгебраического замыкания конечной степени. Поэтому актуальным было проведение исследований, с помощью которых будут эффективно описаны алгебраические замыкания и решены перечисленные выше проблемы. Цель работы – разработка теории, позволяющей детально описать и исследовать алгебраические замыкания модели алгоритмов распознавания, основанных на вычислении оценок, в том числе для описания всех задач, разрешимых алгоритмами из алгебраического замыкания конечной степени, и получения неулучшаемых оценок степени корректного замыкания, как меры сложности алгебраических конструкций. На защиту выносятся следующие результаты, полученные для введённой в работе обобщённой модели АВО (справедливые и для классической модели): 1. Предложена теория систем эквивалентностей для описания и исследования алгебраических замыканий конечных степеней. Каждой задаче распознавания сопостовляется система эквивалентностей, по которой строятся характеристическая матрица и матрица попарных l1-расстояний, в терминах которых описываются алгебраические замыкания модели. Переходу к алгебраическому замыканию фиксированной степени при этом соответствуют специальные преобразования матриц. 2. Получены новые критерии корректности алгебраического замыкания конечной степени и критерии разрешимости задач алгоритмами из этого замыкания. Критерии позволяют описывать разделяющие поверхности алгоритмов алгебраических замыканий в пространстве контрольных объектов. Найдены новые семейства корректных полиномов. 3. Получена неулучшаемая в общем случае оценка степени корректного алгебраического замыкания модели АВО. Для важных частных случаев получены пониженные оценки (например, для задачи распознавания с непересекающимися классами и подмоделей модели АВО). 4. Исследовано пополнение линейного замыкания множества полиномов ограниченной степени над АВО операциями нормировки и деления. Нормировка рассмотрена при различных способах её определения: по сумме, максимуму, отрезку. Получены формулы для размерности соответствующих замыканий и критерии корректности. Показана представимость замыканий в стандартной форме (в алгебраических выражениях нет вложений новых операций). 5. Исследовано понятие корректности модели относительно семейства решающих правил. Получены общие критерии реализации классификации алгоритмом из линейного замыкания произвольной модели с решающим правилом, на которое накладываются требования частичной монотонности. Рассмотрены специальные требования: построчная монотонность, постолбцовая монотонность, реализация классификаций из заданного множества. Показано, что последнее требование следует накладывать в задаче с непересекающимися классами. 6. Исследована k-сингулярность конечной системы точек (неполнота размерности пространства значений полиномов ограниченной степени над столбцами матрицы попарных l1-расстояний этой системы). Полностью описаны все k-сингулярные системы. Найдены новые критерии вырожденности матрицы попарных l1-расстояний конечной системы точек. Научная новизна. Все результаты (1) – (6) являются новыми. Теория (1) является обобщением техник К.В. Рудакова и В.Л. Матросова. В диссертации впервые получены метрические критерии корректности и разрешимости (2), которые, в отличие от критериев В.Л. Матросова (1981 г.), допускают простую геометрическую интерпретацию в терминах исходной задачи. Впервые (более чем за 20 лет с момента постановки) полностью решена проблема описания всех задач, для которых некорректно алгебраическое замыкание фиксированной степени. Примеры таких задач (без описания всего множества) были найдены В.Л. Матросовым (1981 г.) и Т.В. Плохониной (1985 г.). Результаты (1) – (2) позволили продемонстрировать связь алгебраических замыканий АВО с некоторыми современными моделями (SVM, линейной регрессией и т.д.). Впервые доказано, что классические полиномы Ю.И. Журавлёва образуют базис в алгебраическом замыкании конечной степени. Оценки степени корректного алгебраического замыкания были получены многими авторами (Ю.И. Журавлёвым – 1977 г., В.Л. Матросовым – 1985 г., Т.Н. Плохониной – 1987 г.). К.В. Рудаков получил неулучшаемую оценку для одной модели, содержащей все алгоритмы АВО (1989 г.). В диссертации впервые (более чем за 25 лет исследований) получена неулучшаемая оценка для модели АВО, зависящая от числа классов и длины контрольной выборки (3). Операции нормировки и деления (4) до настоящего времени не исследовались. Впервые найдены «естественные» операции, которые значительно упрощают критерии корректности, не делая их вырожденными. Исследования корректности относительно семейства решающих правил (5) ранее не проводились. Впервые обосновано понятие «корректность модели» и выделен класс задач, в которых необходимо использовать неклассические понятия корректности. Постановка задачи о k-сингулярности (6) является обобщением проблемы теории интерполяции о критерии вырожденности матрицы попарных l1-расстояний. Проблема вытекает из серии работ И. Шёнберга (I.J. Schoenberg, 1937 – 1938 гг.), но впервые решена только в 1993 г. Л. Рейдом (L. Reid) и З. Саном (X. Sun). В диссертации не только получены новые критерии, но и решены смежные задачи, связанные с приложениями в алгебраическом подходе к распознаванию. В работе впервые рассмотрено обобщение модели АВО на случай произвольного способа задания объектов, впервые исследована модель с обобщением Ю.И. Журавлёва и А.А. Докукина (связанным с учётом удалённости классифицируемого объекта от объектов рассматриваемого класса и близости к объектам других классов). Методика исследования: методы алгебраического подхода к решению задач распознавания, теории булевых функций, теории систем линейных неравенств, комбинаторики, теории графов, линейной алгебры, теории метрик и разрезов. Практическая ценность. Работа носит теоретический характер. Для иллюстрации возможных практических применений в третьей части приложения описаны прикладные задачи, при решении которых использовались результаты диссертации. Разработанный автором алгоритм классификации сигналов занял первое место (из 20) на Международном соревновании «Ford Classification Challenge» в рамках конгресса «World Congress on Computational Intelligence» (WCCI 2008, Hong Kong, China), показав результат 100% верных ответов. Апробация работы. Основные результаты работы и отдельные её части докладывались на научном семинаре кафедры математических методов прогнозирования факультета ВМК МГУ (2009 г.); научном семинаре «Алгебрологические методы в задачах классификации и прогнозирования» (МГУ, ВМК, 1999 – 2000, 2003 – 2009 гг.); научном семинаре «Дискретный анализ» (МГУ, ВМК, 2003 г.); научном семинаре «Дискретная математика и математическая кибернетика» (МГУ, ВМК, 2008 г.); Ломоносовских чтениях (МГУ, ВМК, 2008 – 2009 г.); Международных научных конференциях «Интеллектуализация обработки информации – 2000, 2006, 2008» (Симферополь, Крымский НЦ НАН Украины, ТНУ) [11], [15], [19]; 7 й и 8-й Международных конференциях «Дискретные модели в теории управляющих систем» (Москва, 2006, 2009 гг.) [13]; 15-й Международной конференции «Проблемы теоретической кибернетики» (Казань, 2008 г.) [18]; 19-й Крымской осенней математической школе-симпозиуме KROMSH (Украина, Крым, Ласпи-Батилиман, 2008 г.); 12-й и 13-й Всероссийских конференциях «Математические методы распознавания образов» (Москва, 2005, 2007 гг.) [12], [17]. Материалы работы легли в основу обязательного кафедрального курса «Алгоритмы, модели, алгебры» для студентов 317 группы ф-та ВМК МГУ и спецкурса «Эффективное представление алгоритмов из алгебраических замыканий» для студентов ф-та ВМК МГУ. Личный вклад. Все результаты получены автором лично и не имеют пересечений с его кандидатской диссертацией. Все публикации по теме работы выполнены без соавторов. Публикации. Основные результаты диссертации описаны в 10 статьях журналов из перечня ВАК по специальности 01.01.09: четырёх сообщениях журнала «Доклады Академии наук» [1], [7] – [9], шести статьях «Журнала вычислительной математики и математической физики» [2] – [6], [10]. Результаты диссертации описаны также в статье журнала «Искусственный интеллект» [16], обзорной статье журнала «Таврический вестник информатики и математики» [20], учебном пособии [14], трудах конференции [13] и докладах конференций [11], [12], [15], [17] – [19]. Описания отдельных результатов включались в ежегодные научные отчёты ф-та ВМК МГУ, отчёты по проектам РФФИ, грантам Президента для молодых кандидатов и научных школ, программам научных исследований Президиума РАН и ОМН РАН. Структура и объём работы. Диссертация состоит из оглавления, введения, нулевого параграфа (с перечнем основных обозначений), шести глав, разбитых на параграфы (всего 28 параграфов), списка литературы (129 наименований), приложения (3 части). Используется тройная нумерация теорем, лемм, формул, примеров и рисунков: через точку указывается номер главы, номер параграфа и порядковый номер в этом параграфе. Основной текст занимает 258 страниц, приложение – 34 страницы.