0%

统计学习方法(七)支持向量机

SVM是一种二分类模型,其基本模型是定义在特征空间上的间隔最大的线性分类器,间隔最大使其区别于感知机。

SVM包括Kernel trick,使其成为实质上的非线性分类器,SVM的学习策略是间隔最大化,学习算法是求解凸二次规划的最优化算法。

SVM包括三种模型:线性可分SVM、线性SVM、非线性SVM。

7.1 线性可分SVM与硬间隔最大化

线性可分SVM

对于二分类问题,线性可分SVM假设输入空间与特征空间的元素一一对应。

给定训练集

假设训练数据集是线性可分的(见2.2)

通过间隔最大化或等价地求解相应的凸二次规划问题学习得到的分离超平面为

相应的分类决策函数

称为线性可分SVM。

函数间隔和几何间隔

对于给定的训练集T和超平面,定义超平面关于样本点的函数间隔为

定义超平面关于训练集T的函数间隔为

函数间隔可以表示分类预测的正确性及确信度,但成比例地改变参数时,超平面没有改变,函数间隔却成比例地改变,因此需要定义几何间隔。

某一实例点与超平面的距离为

其中范数,如果实例点在超平面负的一侧,取负值即可。

因此定义几何间隔为

函数间隔和几何间隔满足如下关系

间隔最大化

SVM学习的基本想法是,求解能够划分训练集并且几何间隔最大的分离超平面。

对于线性可分的训练集,线性可分分离超平面有无穷多个,但集合间隔最大的分离超平面是唯一的。

下面考虑如何求解最大间隔分离超平面,表示为下面的约束最优化问题

利用几何间隔和函数间隔的关系

,注意到最大化与最小化是等价的,由此将问题转化为

这就是一个凸二次规划问题。

凸优化问题

凸优化问题是指约束最优化问题

其中,都是上连续可微的凸函数,约束函数上的仿射函数。

是二次函数,且约束函数是仿射函数时,凸优化问题称为凸二次规划问题。

可以证明,最大间隔分离超平面是存在且唯一的。

支持向量和间隔边界

在线性可分情况下,训练集中的样本点与分离超平面距离最近的,称为支持向量。

支持向量满足等式

定义超平面

显然,在上的点就是支持向量,这两个超平面成为间隔边界。。

注意到这两个超平面平行,并且没有实例点落在其中,由此形成一条长带。

两个超平面之间的距离成为间隔,它依赖于分离超平面的法向量,等于

在决定分离超平面时,只有支持向量起作用。如果在间隔边界以外移动其他实例点,甚至去掉这些点,超平面是不会改变的。

因为支持向量的决定性作用,所以讲这种分类模型称为支持向量机。

支持向量的个数一般很少,所以SVM由很少的“重要的”训练样本确定。

学习的对偶算法

利用拉格朗日对偶性,通过求解对偶问题得到原始问题的最优解。这样做的优点,一是对偶问题往往更容易求解;二是自然引入核函数,从而推广到非线性分类问题。

首先构造拉格朗日函数

根据对偶性,原始问题的对偶问题是

分别求偏导数并令其等于0。

由此得到

将其代入原函数

对其求极大值

也即

原始问题(7.1)转化为求解对偶问题(7.2)

假设为对偶最优化问题的解,则原始问题的解可通过如下关系求得

由此求得分离超平面和分类决策函数

对于线性可分问题,上述学习算法是完美的,但现实问题中,样本中会出现噪声或特异点,此时需要更一般的学习算法。

7.2 线性SVM与软间隔最大化

线性SVM

线性可分SVM的学习方法,对于线性不可分训练数据是不适用的,需要修改硬间隔最大化,使其成为软间隔最大化。

通常情况是,训练数据中有一些特异点(outlier),去除这些点后,剩下的样本点组成的集合是线性可分的。

通过引入松弛变量

这样,目标函数变成

这里,C称为惩罚参数,使间隔尽量大,同时误分类点的个数尽量小。

由此,线性SVM的学习问题变成如下凸二次规划问题

学习的对偶算法

通过拉格朗日函数,可以推导出(7.3)的对偶问题即为

支持向量

在线性不可分的情况下,将对偶问题(7.4)的解中对应于的样本点的实例称为支持向量。

,则,支持向量恰好落在间隔边界上。

,分类正确,支持向量落在间隔边界与分离超平面之间。

,则支持向量在分离超平面上。

,分类错误,支持向量位于分离超平面误分一侧。

合页损失函数

线性SVM还有另外一种解释,就是最小化以下目标函数

其中第一项是经验损失,使用到了合页损失函数

当样本点正确分类,并且函数间隔大于1时,损失为0,否则计算损失。

线性SVM原始最优化问题(7.3)等价于最优化问题

事实上,记

满足原问题约束条件

,则等价于

即与原问题等价。

7.3 非线性SVM与核函数

Kernel trick

对于一些问题,需要利用非线性模型才能很好地进行分类。

给定训练集T,如果能用中的一个超曲面将正负例正确分开,则成为非线性可分问题。

非线性问题往往不容易求解,所以常采用非线性变换,将其转化为线性问题。

设原空间为,新空间为,定义映射

经过变换,原空间变为新空间,原空间中的椭圆变换成为新空间中的直线

核函数

是输入空间,为特征空间,如果存在映射

使得

则称为核函数,为映射函数。

Kernel trick的想法是,在学习与预测中只定义,而不显式定义映射函数。

通常,直接计算比较容易,而通过映射函数计算并不容易。

应用

注意到,在线性SVM的对偶问题(7.4)中,目标函数和决策函数都只设计输入实例与实力之间的内积,可以用核函数来代替,此时对偶问题的目标函数成为

分类决策函数成为

正定核

是对称函数,则为正定核函数的充要条件是对应的Gram矩阵:

是半正定矩阵。

常见核函数

多项式核函数

对应的SVM是一个p次多项式分类器,此时分类决策函数为

高斯核函数

字符串核函数

非线性SVM

给定非线性分类训练集,通过核函数与软间隔最大化,或凸二次优化,学习得到的分类决策函数

称为非线性SVM,其中是正定核函数。

7.4 序列最小最优化算法

已知SVM的学习问题可以形式化为求解凸二次规划问题,这样的凸二次规划问题具有全局最优解,但是当训练样本容量很大时,常见的最优化算法变得非常低效。

序列最小最优化(SMO)算法,就是高效实现SVM学习的一种算法。

SMO算法求解如下问题:

TO BE COMPLETED