本章编程作业及代码实现部分见:Python实现支持向量机
在本节课中,我将介绍一些大间隔分类背后的数学原理。这会让你对支持向量机中的优化问题,以及如何得到大间距分类器,产生更好的直观理解。
首先,让我来给大家复习一下关于向量内积的知识。假设我有两个向量, 和 ,我将它们写在这里。两个都是二维向量,我们看一下, 的结果。 也叫做向量 和 之间的内积。由于是二维向量,我可以将它们画在这个图上。我们说,这就是向量 即在横轴上,取值为某个 ,而在纵轴上,高度是某个 作为 的第二个分量。现在,很容易计算的一个量就是向量 的范数。 表示 的范数,即 的长度,即向量 的欧几里得长度。根据毕达哥拉斯定理, ,这是向量 的长度,它是一个实数。现在你知道了这个的长度是多少了。我刚刚画的这个向量的长度就知道了。
回头来看向量 ,因为我们想计算内积。 是另一个向量,它的两个分量 和 是已知的。向量 可以画在这里,现在让我们来看看如何计算 和 之间的内积。这就是具体做法,我们将向量 投影到向量 上,我们做一个直角投影,或者说一个90度投影将其投影到 上,接下来我度量这条红线的长度。我称这条红线的长度为 ,因此 就是长度,或者说是向量 投影到向量 上的量,我将它写下来, 是 投影到向量 上的长度,因此可以将 ,或者说 的长度。这是计算内积的一种方法。如果你从几何上画出 的值,同时画出 的范数,你也会同样地计算出内积,答案是一样的。另一个计算公式是: 就是 这个一行两列的矩阵乘以 。因此可以得到 。根据线性代数的知识,这两个公式会给出同样的结果。顺便说一句, 。因此如果你将 和 交换位置,将 投影到 上,而不是将 投影到 上,然后做同样地计算,只是把 和 的位置交换一下,你事实上可以得到同样的结果。申明一点,在这个等式中 的范数是一个实数, 也是一个实数,因此 就是两个实数正常相乘。
最后一点,需要注意的就是 值, 事实上是有符号的,即它可能是正值,也可能是负值。我的意思是说,如果 是一个类似这样的向量, 是一个类似这样的向量, 和 之间的夹角大于90度,则如果将 投影到 上,会得到这样的一个投影,这是 的长度,在这个情形下我们仍然有 是等于 乘以 的范数。唯一一点不同的是 在这里是负的。在内积计算中,如果 和 之间的夹角小于90度,那么那条红线的长度 是正值。然而如果这个夹角大于90度,则 将会是负的。就是这个小线段的长度是负的。如果它们之间的夹角大于90度,两个向量之间的内积也是负的。这就是关于向量内积的知识。我们接下来将会使用这些关于向量内积的性质试图来理解支持向量机中的目标函数。
这就是我们先前给出的支持向量机模型中的目标函数。为了讲解方便,我做一点简化,仅仅是为了让目标函数更容易被分析。
我接下来忽略掉截距,令 ,这样更容易画示意图。我将特征数 置为2,因此我们仅有两个特征 ,现在我们来看一下目标函数,支持向量机的优化目标函数。当我们仅有两个特征,即 时,这个式子可以写作: ,我们只有两个参数 。你可能注意到括号里面的这一项是向量 的范数,或者说是向量 的长度。我的意思是如果我们将向量 写出来,那么我刚刚画红线的这一项就是向量 的长度或范数。这里我们用的是之前学过的向量范数的定义,事实上这就等于向量 的长度。
当然你可以将其写作 ,如果 ,那就是 的长度。在这里我将忽略 ,这样来写 的范数,它仅仅和 有关。但是,数学上不管你是否包含,其实并没有差别,因此在我们接下来的推导中去掉 不会有影响这意味着我们的目标函数是等于 。因此支持向量机做的全部事情,就是极小化参数向量 范数的平方,或者说长度的平方。
现在我将要看看这些项:
更深入地理解它们的含义。给定参数向量
给定一个样本
,这等于什么呢?在前一页幻灯片上,我们画出了在不同情形下,
的示意图,我们将会使用这些概念,
和
就类似于
和
。
让我们看一下示意图:我们考察一个单一的训练样本,我有一个正样本在这里,用一个叉来表示这个样本 ,意思是在水平轴上取值为 ,在竖直轴上取值为 。这就是我画出的训练样本。尽管我没有将其真的看做向量。它事实上就是一个始于原点,终点位置在这个训练样本点的向量。现在,我们有一个参数向量我会将它也画成向量。我将 画在横轴这里,将 画在纵轴这里,那么内积 将会是什么呢?
使用我们之前的方法,我们计算的方式就是我将训练样本投影到参数向量 ,然后我来看一看这个线段的长度,我将它画成红色。我将它称为 用来表示这是第 个训练样本在参数向量 上的投影。根据我们之前幻灯片的内容,我们知道的是 将会等于 乘以向量 的长度或范数。这就等于 。这两种方式是等价的,都可以用来计算 和 之间的内积。
这里表达的意思是:这个
或者
的,约束是可以被
这个约束所代替的。因为
,将其写入我们的优化目标。我们将会得到没有了约束,
而变成了
。
需要提醒一点,我们之前曾讲过这个优化目标函数可以被写成等于 。
现在让我们考虑下面这里的训练样本。现在,继续使用之前的简化,即 ,我们来看一下支持向量机会选择什么样的决策界。这是一种选择,我们假设支持向量机会选择这个决策边界。这不是一个非常好的选择,因为它的间距很小。这个决策界离训练样本的距离很近。我们来看一下为什么支持向量机不会选择它。
对于这样选择的参数
,可以看到参数向量
事实上是和决策界是90度正交的,因此这个绿色的决策界对应着一个参数向量
这个方向,顺便提一句
的简化仅仅意味着决策界必须通过原点
。现在让我们看一下这对于优化目标函数意味着什么。
比如这个样本,我们假设它是我的第一个样本
,如果我考察这个样本到参数
的投影,投影是这个短的红线段,就等于
,它非常短。类似地,这个样本如果它恰好是
,我的第二个训练样本,则它到
的投影在这里。我将它画成粉色,这个短的粉色线段是
,即第二个样本到我的参数向量
的投影。因此,这个投影非常短。
事实上是一个负值,
是在相反的方向,这个向量和参数向量
的夹角大于90度,
的值小于0。
我们会发现这些
将会是非常小的数,因此当我们考察优化目标函数的时候,对于正样本而言,我们需要
,但是如果
在这里非常小,那就意味着我们需要
的范数非常大.因为如果
很小,而我们希望
,令其实现的唯一的办法就是这两个数较大。如果
小,我们就希望
的范数大。类似地,对于负样本而言我们需要
。我们已经在这个样本中看到
会是一个非常小的数,因此唯一的办法就是
的范数变大。但是我们的目标函数是希望找到一个参数
,它的范数是小的。因此,这看起来不像是一个好的参数向量
的选择。
相反的,来看一个不同的决策边界。比如说,支持向量机选择了这个决策界,现在状况会有很大不同。如果这是决策界,这就是相对应的参数 的方向,因此,在这个决策界之下,垂直线是决策界。使用线性代数的知识,可以说明,这个绿色的决策界有一个垂直于它的向量 。现在如果你考察你的数据在横轴 上的投影,比如这个我之前提到的样本,我的样本 ,当我将它投影到横轴 上,或说投影到 上,就会得到这样 。它的长度是 ,另一个样本,那个样本是 。我做同样的投影,我会发现, 的长度是负值。你会注意到现在 和 这些投影长度是长多了。如果我们仍然要满足这些约束, >1,则因为 变大了, 的范数就可以变小了。因此这意味着通过选择右边的决策界,而不是左边的那个,支持向量机可以使参数 的范数变小很多。因此,如果我们想令 的范数变小,从而令 范数的平方变小,就能让支持向量机选择右边的决策界。这就是支持向量机如何能有效地产生大间距分类的原因。
看这条绿线,这个绿色的决策界。我们希望正样本和负样本投影到 的值大。要做到这一点的唯一方式就是选择这条绿线做决策界。这是大间距决策界来区分开正样本和负样本这个间距的值。这个间距的值就是 等等的值。通过让间距变大,即通过这些 等等的值,支持向量机最终可以找到一个较小的 范数。这正是支持向量机中最小化目标函数的目的。
以上就是为什么支持向量机最终会找到大间距分类器的原因。因为它试图极大化这些
的范数,它们是训练样本到决策边界的距离。最后一点,我们的推导自始至终使用了这个简化假设,就是参数
。
这个的作用是: 的意思是我们让决策界通过原点。如果你令 不是0的话,含义就是你希望决策界不通过原点。我将不会做全部的推导。实际上,支持向量机产生大间距分类器的结论,会被证明同样成立,证明方式是非常类似的,是我们刚刚做的证明的推广。
之前说过,即便 不等于0,支持向量机要做的事情都是优化这个目标函数对应着 值非常大的情况,但是可以说明的是,即便 不等于0,支持向量机仍然会找到正样本和负样本之间的大间距分隔。
回顾我们之前讨论过可以使用高级数的多项式模型来解决无法用直线进行分隔的分类问题:
为了获得上图所示的判定边界,我们的模型可能是
的形式。
我们可以用一系列的新的特征 来替换模型中的每一项。例如令: …得到 。然而,除了对原有的特征进行组合以外,有没有更好的方法来构造 ?我们可以利用核函数来计算出新的特征。
给定一个训练样本
,我们利用
的各个特征与我们预先选定的地标(landmarks)
的近似程度来选取新的特征
。
例如:
其中: ,为实例 中所有特征与地标 之间的距离的和。上例中的 就是核函数,具体而言,这里是一个高斯核函数(Gaussian Kernel)。 注:这个函数与正态分布没什么实际上的关系,只是看上去像而已。
这些地标的作用是什么?如果一个训练样本 与地标 之间的距离近似于0,则新特征 近似于 ,如果训练样本 与地标 之间距离较远,则 近似于 。
假设我们的训练样本含有两个特征[
],给定地标
与不同的
值,见下图:
图中水平面的坐标为
,
而垂直坐标轴代表
。可以看出,只有当
与
重合时
才具有最大值。随着
的改变
值改变的速率受到
的控制。
在下图中,当样本处于洋红色的点位置处,因为其离
更近,但是离
和
较远,因此
接近1,而
,
接近0。因此
,因此预测
。同理可以求出,对于离
较近的绿色点,也预测
,但是对于蓝绿色的点,因为其离三个地标都较远,预测
。
这样,图中红色的封闭曲线所表示的范围,便是我们依据一个单一的训练样本和我们选取的地标所得出的判定边界,在预测时,我们采用的特征不是训练样本本身的特征,而是通过核函数计算出的新特征
。
在上一节我们讨论了核函数这个想法,以及怎样利用它去实现支持向量机的一些新特性。在这一节我将补充一些缺失的细节,并简单的介绍一下怎么在实际中使用应用这些想法。
如何选择地标?
我们通常是根据训练集的数量选择地标的数量,即如果训练集中有
个样本,则我们选取
个地标,并且令:
。这样做的好处在于:现在我们得到的新特征是建立在原有特征与训练集中所有其他特征之间距离的基础之上的,即:
下面我们将核函数运用到支持向量机中,修改我们的支持向量机假设为:
• 给定 ,计算新特征 ,当 时,预测 ,否则反之。
相应地修改代价函数为: ,
在具体实施过程中,我们还需要对最后的正则化项进行些微调整,在计算
时,我们用
代替
,其中
是根据我们选择的核函数而不同的一个矩阵。这样做的原因是为了简化计算。
理论上讲,我们也可以在逻辑回归中使用核函数,但是上面使用 来简化计算的方法不适用与逻辑回归,因此计算将非常耗费时间。
在此,我们不介绍最小化支持向量机的代价函数的方法,你可以使用现有的软件包(如liblinear,libsvm等)。在使用这些软件包最小化我们的代价函数之前,我们通常需要编写核函数,并且如果我们使用高斯核函数,那么在使用之前进行特征缩放是非常必要的。
另外,支持向量机也可以不使用核函数,不使用核函数又称为线性核函数(linear kernel),当我们不采用非常复杂的函数,或者我们的训练集特征非常多而样本非常少的时候,可以采用这种不带核函数的支持向量机。
下面是支持向量机的两个参数 和 的影响:
较大时,相当于 较小,可能会导致过拟合,高方差;
较小时,相当于 较大,可能会导致低拟合,高偏差;
较大时,可能会导致低方差,高偏差;
较小时,可能会导致低偏差,高方差。
目前为止,我们已经讨论了SVM比较抽象的层面,在这个视频中我将要讨论到为了运行或者运用SVM。你实际上所需要的一些东西:支持向量机算法,提出了一个特别优化的问题。但是就如在之前的视频中我简单提到的,我真的不建议你自己写软件来求解参数 ,因此由于今天我们中的很少人,或者其实没有人考虑过自己写代码来转换矩阵,或求一个数的平方根等我们只是知道如何去调用库函数来实现这些功能。同样的,用以解决SVM最优化问题的软件很复杂,且已经有研究者做了很多年数值优化了。因此你提出好的软件库和好的软件包来做这样一些事儿。然后强烈建议使用高优化软件库中的一个,而不是尝试自己落实一些数据。有许多好的软件库,我正好用得最多的两个是liblinear和libsvm,但是真的有很多软件库可以用来做这件事儿。你可以连接许多你可能会用来编写学习算法的主要编程语言。
在高斯核函数之外我们还有其他一些选择,如:
多项式核函数(Polynomial Kernel)
字符串核函数(String kernel)
卡方核函数( chi-square kernel)
直方图交集核函数(histogram intersection kernel)
等等…
这些核函数的目标也都是根据训练集和地标之间的距离来构建新特征,这些核函数需要满足Mercer’s定理,才能被支持向量机的优化软件正确处理。
多类分类问题
假设我们利用之前介绍的一对多方法来解决一个多类分类问题。如果一共有 个类,则我们需要 个模型,以及 个参数向量 。我们同样也可以训练 个支持向量机来解决多类分类问题。但是大多数支持向量机软件包都有内置的多类分类功能,我们只要直接使用即可。
尽管你不去写你自己的SVM的优化软件,但是你也需要做几件事:
1、是提出参数 的选择。我们在之前的视频中讨论过误差/方差在这方面的性质。
2、你也需要选择内核参数或你想要使用的相似函数,其中一个选择是:我们选择不需要任何内核参数,没有内核参数的理念,也叫线性核函数。因此,如果有人说他使用了线性核的SVM(支持向量机),这就意味这他使用了不带有核函数的SVM(支持向量机)。
从逻辑回归模型,我们得到了支持向量机模型,在两者之间,我们应该如何选择呢?
下面是一些普遍使用的准则:
为特征数, 为训练样本数。
(1)如果相较于 而言, 要大许多,即训练集数据量不够支持我们训练一个复杂的非线性模型,我们选用逻辑回归模型或者不带核函数的支持向量机。
(2)如果 较小,而且 大小中等,例如 在 1-1000 之间,而 在10-10000之间,使用高斯核函数的支持向量机。
(3)如果 较小,而 较大,例如 在1-1000之间,而 大于50000,则使用支持向量机会非常慢,解决方案是创造、增加更多的特征,然后使用逻辑回归或不带核函数的支持向量机。
值得一提的是,神经网络在以上三种情况下都可能会有较好的表现,但是训练神经网络可能非常慢,选择支持向量机的原因主要在于它的代价函数是凸函数,不存在局部最小值。
参考资料: 吴恩达机器学习课程;黄海广机器学习课程笔记