SVM для линейно неразделимой выборки (пример)
Материал из MachineLearning.
(→Теорема Мерсера) |
м (→Литература) |
||
Строка 118: | Строка 118: | ||
* Cortes C., Vapnik V. Support Vector Networks. | * Cortes C., Vapnik V. Support Vector Networks. | ||
- | {{ | + | {{ЗаданиеВыполнено|Павел Сечин|В.В.Стрижов|28 мая 2010}} |
[[Категория:Учебные материалы]] | [[Категория:Учебные материалы]] | ||
[[Категория:Классификация]] | [[Категория:Классификация]] | ||
[[Категория:Линейные классификаторы]] | [[Категория:Линейные классификаторы]] |
Версия 08:24, 5 мая 2010
SVM (Support Vector Machine, машина опорных векторов) — алгоритм машинного обучения, предложенный В. Н. Вапником. Парадигмой машины опорных векторов можно считать выбор наиболее близких к границе классов объектов из обучающего набора, «опорных векторов», по которым и строится опорная гиперплоскость.
Изначально алгоритм позволял строить линейный классификатор с помощью минимизации ширины полосы раздела классов. Позднее были предложены методы обобщения алгоритма на случай линейно неразделимой выборки (например, введения штрафа за ошибки в функционал качества).
В данной статье приведен пример решения этой задачи для линейно неразделимой выборки с использованием функции ядра (в англоязычной литературе приём носит название kernel trick).
Содержание |
Постановка задачи линейной классификации
Задана выборка , где -признаковое описание i-го объекта, - идентификатор класса, которому принадлежит i-ый объект. В случае двух классов считаем, что (это позволяет пользоваться функцией sgn в описании классификатора).
Требуется построить классификатор вида , где - скалярное произведение, а - вектор и число, характеризующий данный классификатор. Можно говорить о том, что -веса признаков, - порог принятия решения.
Если для данной выборки существуют такие, что не ошибается на обучающей выборке, то она называется линейно разделимой. В противном случае, выборка называется линейно неразделимой.
Описание алгоритма
Линейно разделимая выборка
Если выборка линейно разделима, то существует бесконечно много линейных классификаторов, не ошибающихся на ней. В алгоритме SVM максимизируется расстояние от опорной гиперплоскости до обоих классов.
Отнормируем вектор нормали к разделяющей гиперплоскости и порог принятия решения так, чтобы выполнялось условие . Это всегда можно сделать, поскольку, во-первых, умножение на положительную константу не меняет классификатора, а, во-вторых, требование минимального расстояния от гиперплоскости до классов гарантирует нам, что плоскость находится на равном расстоянии от классов.
Нетрудно показать, что при такой нормировке ширина разделяющей полосы может быть представлена в виде: . Максимизация этой величины равносильна минимизации нормы вектора нормали. Таким образом, параметры линейного классификатора определяются из задачи квадратичного программирования:
Линейно неразделимая выборка
Для линейно неразделимой выборки данная оптимизационная задача не будет иметь решения. Не отказываясь от принципа максимальности зазора, можно видоизменить задачу следующим образом. Разрешим существование неправильно классифицированных объектов, но за каждвый такой объект будем штрафовать:
Используя аппарат функций Лагранжа, переходя к двойственной задаче, можно показать эквивалентность этой задачи и следующей.
При этом выполняются соотношения .
Решив эту оптимизационную задачу, то есть, найдя вектор , классифицируем i-ый объект следующим образом:
- В этом случае объект классифицировался правильно(т.к. ). Но, что важнее, вектор опорной гиперплоскости не зависит от данного объекта. Его можно исключить из выборки, и алгоритм SVM построит ту же самую разделяющую гиперплоскость. Такие объекты называются периферийными.
- Объект классифицируется правильно и лежит точно на границе разделяющей полосы. Данные объекты называются опорными граничными.
- Данный объект может находить как в граничной полосе со стороны своего класса, так и классифицироваться неправильно. Данные объекты называются опорными нарушителями.
Объекты последних двух типов и называются опорными векторами. Разделяющая гиперплоскость зависит только от них, что является одним из главных преимуществ SVM. Можно ожидать, что этих векторов будет не очень много, и оставит только их в памяти, алгоритм классификации ничуть не изменится.
Заметим, что на практике оптимизационная задача решается не абсолютно точно. В следствии чего периферийные объекты (представляющие собой вырожденный случай распределения параметров) почти не встречаются. Для каждого объекта вычисляется не равное нулю, но для большинства объектов их значение мало "в среднем". Поэтому не составляет труда отсеять периферийные объекты.
Важно отметить также, что решение двойственной задачи квадратичного программирования единственно, т.к. функционал является выпуклым и множество ограничений является выпуклым.
Таким образом, решив задачу (1), вычислим . Медиана здесь вычисляется именно из практических соображений неточного решения оптимизационной задачи. Теоретически все значения в множестве, по которому берется среднее, равны. Параметры разделяющей гиперплоскости построены.
Спрямляющее пространство и функции ядра
Описание объекта никогда не может считаться полным, если мы работаем с задачами реального мира. Перейдём к новому описанию выборки, основываясь на её данном признаковом представлении, и в этом новом описании будем вычислять скалярное произведение. В новом пространстве (называемом спрямляющим пространством), если оно большей размерности, выборка может оказаться линейно разделимой. Вычисление разделяющей гиперплоскости в спрямляющем пространстве может привести к удовлетворительному результату в исходном представлении. Однако, этого никто гарантировать не может, и более того, выбор ядра для данной практической задачи является нерешенной теоретической проблемой.
Приведенные рассуждения можно записать формальным образом.
, где X - исходное пространство, а H - гильбертово пространство. Описание заменяется описанием . Тогда скалярное произведение заменяется новым скалярным произведением .
Однако заметим, что параметры задачи (1) (которую мы и хотим решить) зависят только от попарных скалярных произведений описаний объектов выборки. Это означает, что,в принципе, нам не требуется знать новые описания объектов, а только вычислять скалярное произведение между ними. Естественным образом введём следующее определение.
Функция называется ядром, если существует такое преобразование и . В качестве ядра, конечно, подойдёт не любая функция, на вопрос о требованиях к ней отвечает
Теорема Мерсера
Функция двух переменных является ядром тогда и только тогда, когда она
- симметрична, то есть ;
- неотрицательно определена, то есть .
В данном примере мы ограничились ядрами:
- , где d - натуральный параметр (в вычислительном эксперименте называется Poly)
- , где d - натуральный параметр (в вычислительном эксперименте называется FullPoly)
- , где - положительные параметры (однако, не совсем произвольные) (в вычислительном эксперименте называется Sigmoidal)
- Данное ядро отвечает классической нейронной сети с сигмоидными функциями активации.
- , где (в вычислительном эксперименте называется RBF)
- Данное ядро отвечает нейронной сети с радиальными базисными функциями.
Вычислительный эксперимент
Работа алгоритма изучалась на двух выборках: сгенерированной вручную и канонической выборкой ирисов.
Нормальные распределения
Справа на рисунке приведена сгенерированная выборка, состоящая из двух классов по 30 объектов в каждом.Алгоритм запускался на данной выборке с разными ядрами, используя процедуру скользящего контроля. Для каждого из типов ядер, описанных выше, для набора значений параметров изучалось количество ошибок на обучающей выборке и на контрольной. Приведенные результаты изображены на графике, где одним цветом обозначены ядра одного типа, но с разными параметрами. По оси абсцисс - процент ошибок на обучающей выборке, по оси ординат - на контрольной.
Справа приведен увеличенный участок этого изображения, на котором отмечены только точки, отвечающие ядру с сигмоидальной активацией.Очевидно, выделяется точка, находящаяся ближе всех к началу координат. Разделяющая прямая, построенная с помощью этого ядра изображена ниже.
Ирисы Фишера
Ирисы Фишера являются одним из наиболее популярных примеров данных для задачи классификации. Это связано, в первую очередь, с тем, что количество признаков всего 5 и все они численные, а классов всего лишь 3. При этом два из классов линейно отделимы от третьего, но линейно неразделимы между собой. В данном примере для наглядности изображения данных на плоскости были взяты только два признака двух линейно неразделимых классов ирисов. Ниже приведена обучающая выборка.
Алгоритм запускался по той же схеме, что и для синтетических данных. Результаты приведены на следующем графике:
Было выбрано ядро, находящееся ближе всего к нулю на данном графике (в смысле евклидового расстояния). Алгоритм с данным ядром строит для ирисов Фишера следующую разделающую гиперплоскость:
Исходный код
Код MATLAB можно скачать здесь: [1]
Смотри также
- Машина опорных векторов
- Функция ядра
- Теорема Мерсера
- Линейный классификатор
- Искусственная нейронная сеть
- Численные методы обучения по прецедентам (практика, В.В. Стрижов)
- SVM для линейно разделимой выборки (пример)
Литература
- Воронцов К.В. Лекции по линейным алгоритмам классификации
- Вапник В.Н., Червоненкис А.Я. Теория распознавания образов. Статистические проблемы обучения. - Москва, "Наука", 1974.
- Cortes C., Vapnik V. Support Vector Networks.
Данная статья была создана в рамках учебного задания.
См. также методические указания по использованию Ресурса MachineLearning.ru в учебном процессе. |