机器学习算法与Python实践之（四）支持向量机（SVM）实现

朱雀 2022-07-24 10:12 2阅读 0赞

[zouxy09@qq.com][zouxy09_qq.com]

[http://blog.csdn.net/zouxy09][http_blog.csdn.net_zouxy09]

机器学习算法与Python实践这个系列主要是参考[《机器学习实战》][Link 1]这本书。因为自己想学习Python，然后也想对一些机器学习算法加深下了解，所以就想通过Python来实现几个比较常用的机器学习算法。恰好遇见这本同样定位的书籍，所以就参考这本书的过程来学习了。

在这一节我们主要是对支持向量机进行系统的回顾，以及通过Python来实现。由于内容很多，所以这里分成三篇博文。第一篇讲SVM初级，第二篇讲进阶，主要是把SVM整条知识链理直，第三篇介绍Python的实现。SVM有很多介绍的非常好的博文，具体可以参考本文列出的参考文献和推荐阅读资料。在本文中，定位在于把集大成于一身的SVM的整体知识链理直，所以不会涉及细节的推导。网上的解说的很好的推导和书籍很多，大家可以进一步参考。

**目录**

一、引入

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

三、Dual优化问题

3.1、对偶问题

3.2、SVM优化的对偶问题

四、松弛向量与软间隔最大化

五、核函数

六、多类分类之SVM

6.1、“一对多”的方法

6.2、“一对一”的方法

七、KKT条件分析

八、SVM的实现之SMO算法

8.1、坐标下降算法

8.2、SMO算法原理

8.3、SMO算法的Python实现

九、参考文献与推荐阅读

**八、SVM的实现之SMO算法**

终于到SVM的实现部分了。那么神奇和有效的东西还得回归到实现才可以展示其强大的功力。SVM有效而且存在很高效的训练算法，这也是工业界非常青睐SVM的原因。

前面讲到，SVM的学习问题可以转化为下面的对偶问题：

![SouthEast][]

需要满足的KKT条件：

![SouthEast 1][]

也就是说找到一组αi可以满足上面的这些条件的就是该目标的一个最优解。所以我们的优化目标是找到一组最优的αi\*。一旦求出这些αi\*，就很容易计算出权重向量**w**\*和b，并得到分隔超平面了。

这是个凸二次规划问题，它具有全局最优解，一般可以通过现有的工具来优化。但当训练样本非常多的时候，这些优化算法往往非常耗时低效，以致无法使用。从SVM提出到现在，也出现了很多优化训练的方法。其中，非常出名的一个是1982年由Microsoft Research的John C. Platt在论文《Sequential Minimal Optimization: A Fast Algorithm for TrainingSupport Vector Machines》中提出的Sequential Minimal Optimization序列最小化优化算法，简称SMO算法。SMO算法的思想很简单，它将大优化的问题分解成多个小优化的问题。这些小问题往往比较容易求解，并且对他们进行顺序求解的结果与将他们作为整体来求解的结果完全一致。在结果完全一致的同时，SMO的求解时间短很多。在深入SMO算法之前，我们先来了解下坐标下降这个算法，SMO其实基于这种简单的思想的。

**8.1、坐标下降（上升）法**

假设要求解下面的优化问题：

![SouthEast 2][]

在这里，我们需要求解m个变量αi，一般来说是通过梯度下降（这里是求最大值，所以应该叫上升）等算法每一次迭代对所有m个变量αi也就是**α**向量进行一次性优化。通过误差每次迭代调整**α**向量中每个元素的值。而坐标上升法（坐标上升与坐标下降可以看做是一对，坐标上升是用来求解max最优化问题，坐标下降用于求min最优化问题）的思想是每次迭代只调整一个变量αi的值，其他变量的值在这次迭代中固定不变。

![SouthEast 3][]

最里面语句的意思是固定除αi之外的所有αj(i不等于j)，这时W可看作只是关于αi的函数，那么直接对αi求导优化即可。这里我们进行最大化求导的顺序i是从1到m，可以通过更改优化顺序来使W能够更快地增加并收敛。如果W在内循环中能够很快地达到最优，那么坐标上升法会是一个很高效的求极值方法。

用个二维的例子来说明下坐标下降法：我们需要寻找f(x,y)=x2\+xy+y2的最小值处的(x\*, y\*)，也就是下图的F\*点的地方。

![SouthEast 4][]

假设我们初始的点是A（图是函数投影到xoy平面的等高线图，颜色越深值越小），我们需要达到F\*的地方。那最快的方法就是图中黄色线的路径，一次性就到达了，其实这个是牛顿优化法，但如果是高维的话，这个方法就不太高效了（因为需要求解矩阵的逆，这个不在这里讨论）。我们也可以按照红色所指示的路径来走。从A开始，先固定x，沿着y轴往让f(x, y)值减小的方向走到B点，然后固定y，沿着x轴往让f(x, y)值减小的方向走到C点，不断循环，直到到达F\*。反正每次只要我们都往让f(x, y)值小的地方走就行了，这样脚踏实地，一步步走，每一步都使f(x, y)慢慢变小，总有一天，皇天不负有心人的。到达F\*也是时间问题。到这里你可能会说，这红色线比黄色线贫富差距也太严重了吧。因为这里是二维的简单的情况嘛。如果是高维的情况，而且目标函数很复杂的话，再加上样本集很多，那么在梯度下降中，目标函数对所有αi求梯度或者在牛顿法中对矩阵求逆，都是很耗时的。这时候，如果W只对单个αi优化很快的时候，坐标下降法可能会更加高效。

**8.2、SMO算法**

SMO算法的思想和坐标下降法的思想差不多。唯一不同的是，SMO是一次迭代优化两个α而不是一个。为什么要优化两个呢？

![SouthEast 5][]

我们回到这个优化问题。我们可以看到这个优化问题存在着一个约束，也就是

![SouthEast 6][]

假设我们首先固定除α1以外的所有参数，然后在α1上求极值。但需要注意的是，因为如果固定α1以外的所有参数，由上面这个约束条件可以知道，α1将不再是变量（可以由其他值推出），因为问题中规定了：

![SouthEast 7][]

因此，我们需要一次选取两个参数做优化，比如αi和αj，此时αi可以由αj和其他参数表示出来。这样回代入W中，W就只是关于αj的函数了，这时候就可以只对αj进行优化了。在这里就是对αj进行求导，令导数为0就可以解出这个时候最优的αj了。然后也可以得到αi。这就是一次的迭代过程，一次迭代只调整两个拉格朗日乘子αi和αj。SMO之所以高效就是因为在固定其他参数后，对一个参数优化过程很高效（对一个参数的优化可以通过解析求解，而不是迭代。虽然对一个参数的一次最小优化不可能保证其结果就是所优化的拉格朗日乘子的最终结果，但会使目标函数向极小值迈进一步，这样对所有的乘子做最小优化，直到所有满足KKT条件时，目标函数达到最小）。

总结下来是：

重复下面过程直到收敛\{

（1）选择两个拉格朗日乘子αi和αj；

（2）固定其他拉格朗日乘子αk(k不等于i和j)，只对αi和αj优化w(**α**);

（3）根据优化后的αi和αj，更新截距b的值；

那训练里面这两三步骤到底是怎么实现的，需要考虑什么呢？下面我们来具体分析下：

**（1）选择αi和αj：**

我们现在是每次迭代都优化目标函数的两个拉格朗日乘子αi和αj，然后其他的拉格朗日乘子保持固定。如果有N个训练样本，我们就有N个拉格朗日乘子需要优化，但每次我们只挑两个进行优化，我们就有N(N-1)种选择。那到底我们要选择哪对αi和αj呢？选择哪对才好呢？想想我们的目标是什么？我们希望把所有违法KKT条件的样本都纠正回来，因为如果所有样本都满足KKT条件的话，我们的优化就完成了。那就很直观了，哪个害群之马最严重，我们得先对他进行思想教育，让他尽早回归正途。OK，那我们选择的第一个变量αi就选违法KKT条件最严重的那一个。那第二个变量αj怎么选呢？

我们是希望快点找到最优的N个拉格朗日乘子，使得代价函数最大，换句话说，要最快的找到代价函数最大值的地方对应的N个拉格朗日乘子。这样我们的训练时间才会短。就像你从广州去北京，有飞机和绿皮车给你选，你选啥？（就算你不考虑速度，也得考虑下空姐的感受嘛，别辜负了她们渴望看到你的期盼，哈哈）。有点离题了，anyway，每次迭代中，哪对αi和αj可以让我更快的达到代价函数值最大的地方，我们就选他们。或者说，走完这一步，选这对αi和αj代价函数值增加的值最多，比选择其他所有αi和αj的结合中都多。这样我们才可以更快的接近代价函数的最大值，也就是达到优化的目标了。再例如，下图，我们要从A点走到B点，按蓝色的路线走c2方向的时候，一跨一大步，按红色的路线走c1方向的时候，只能是人类的一小步。所以，蓝色路线走两步就迈进了成功之门，而红色的路线，人生曲折，好像成功遥遥无期一样，故曰，选择比努力更重要！

![SouthEast 8][]

真啰嗦！说了半天，其实就一句话：为什么每次迭代都要选择最好的αi和αj，就是为了更快的收敛！那实践中每次迭代到底要怎样选αi和αj呢？这有个很好听的名字叫启发式选择，主要思想是先选择最有可能需要优化（也就是违反KKT条件最严重）的αi，再针对这样的αi选择最有可能取得较大修正步长的αj。具体是以下两个过程：

**1）第一个变量αi的选择：**

SMO称选择第一个变量的过程为外层循环。外层训练在训练样本中选取违法KKT条件最严重的样本点。并将其对应的变量作为第一个变量。具体的，检验训练样本(xi, yi)是否满足KKT条件，也就是：

![SouthEast 9][]

该检验是在ε范围内进行的。在检验过程中，外层循环首先遍历所有满足条件0<αj<C的样本点，即在间隔边界上的支持向量点，检验他们是否满足KKT条件，然后选择违反KKT条件最严重的αi。如果这些样本点都满足KKT条件，那么遍历整个训练集，检验他们是否满足KKT条件，然后选择违反KKT条件最严重的αi。

优先选择遍历非边界数据样本，因为非边界数据样本更有可能需要调整，边界数据样本常常不能得到进一步调整而留在边界上。由于大部分数据样本都很明显不可能是支持向量，因此对应的α乘子一旦取得零值就无需再调整。遍历非边界数据样本并选出他们当中违反KKT 条件为止。当某一次遍历发现没有非边界数据样本得到调整时，遍历所有数据样本，以检验是否整个集合都满足KKT条件。如果整个集合的检验中又有数据样本被进一步进化，则有必要再遍历非边界数据样本。这样，不停地在遍历所有数据样本和遍历非边界数据样本之间切换，直到整个样本集合都满足KKT条件为止。以上用KKT条件对数据样本所做的检验都以达到一定精度ε就可以停止为条件。如果要求十分精确的输出算法，则往往不能很快收敛。

对整个数据集的遍历扫描相当容易，而实现对非边界αi的扫描时，首先需要将所有非边界样本的αi值（也就是满足0<αi<C）保存到新的一个列表中，然后再对其进行遍历。同时，该步骤跳过那些已知的不会改变的αi值。

**2）第二个变量αj的选择：**

**（2）优化αi和αj：**

选择这两个拉格朗日乘子后，我们需要先计算这些参数的约束值。然后再求解这个约束最大化问题。

首先，我们需要给αj找到边界L<=αj<=H，以保证αj满足0<=αj<=C的约束。这意味着αj必须落入这个盒子中。由于只有两个变量(αi, αj)，约束可以用二维空间中的图形来表示，如下图：

![SouthEast 10][]

不等式约束使得(αi,αj)在盒子\[0, C\]x\[0, C\]内，等式约束使得(αi, αj)在平行于盒子\[0, C\]x\[0, C\]的对角线的直线上。因此要求的是目标函数在一条平行于对角线的线段上的最优值。这使得两个变量的最优化问题成为实质的单变量的最优化问题。由图可以得到，αj的上下界可以通过下面的方法得到：

![SouthEast 11][]

我们优化的时候，αj必须要满足上面这个约束。也就是说上面是αj的可行域。然后我们开始寻找αj，使得目标函数最大化。通过推导得到αj的更新公式如下：

![SouthEast 12][]

这里Ek可以看做对第k个样本，SVM的输出与期待输出，也就是样本标签的误差。

![SouthEast 13][]

而η实际上是度量两个样本i和j的相似性的。在计算η的时候，我们需要使用核函数，那么就可以用核函数来取代上面的内积。

得到新的αj后，我们需要保证它处于边界内。换句话说，如果这个优化后的值跑出了边界L和H，我们就需要简单的裁剪，将αj收回这个范围：

![SouthEast 14][]

最后，得到优化的αj后，我们需要用它来计算αi：

![SouthEast 15][]

到这里，αi和αj的优化就完成了。

**（3）计算阈值b：**

优化αi和αj后，我们就可以更新阈值b，使得对两个样本i和j都满足KKT条件。如果优化后αi不在边界上（也就是满足0<αi<C，这时候根据KKT条件，可以得到yigi(xi)=1，这样我们才可以计算b），那下面的阈值b1是有效的，因为当输入xi时它迫使SVM输出yi。

![SouthEast 16][]

同样，如果0<αj<C，那么下面的b2也是有效的：

![SouthEast 17][]

如果0<αi<C和0<αj<C都满足，那么b1和b2都有效，而且他们是相等的。如果他们两个都处于边界上（也就是αi=0或者αi=C，同时αj=0或者αj=C），那么在b1和b2之间的阈值都满足KKT条件，一般我们取他们的平均值b=(b1+b2)/2。所以，总的来说对b的更新如下：

![SouthEast 18][]

每做完一次最小优化，必须更新每个数据样本的误差，以便用修正过的分类面对其他数据样本再做检验，在选择第二个配对优化数据样本时用来估计步长。

**（4）凸优化问题终止条件：**

SMO算法的基本思路是：如果说有变量的解都满足此最优化问题的KKT条件，那么这个最优化问题的解就得到了。因为KKT条件是该最优化问题的充分必要条件（证明请参考文献）。所以我们可以监视原问题的KKT条件，所以所有的样本都满足KKT条件，那么就表示迭代结束了。但是由于KKT条件本身是比较苛刻的，所以也需要设定一个容忍值，即所有样本在容忍值范围内满足KKT条件则认为训练可以结束；当然了，对于对偶问题的凸优化还有其他终止条件，可以参考文献。

**8.3、SMO算法的Python实现**

**8.3.1、Python的准备工作**

我使用的Python是2.7.5版本的。附加的库有Numpy和Matplotlib。而Matplotlib又依赖dateutil和pyparsing两个库，所以我们需要安装以上三个库。前面两个库还好安装，直接在官网下对应版本就行。但我找后两个库的时候，就没那么容易了。后来发现，其实对Python的库的下载和安装可以借助pip工具的。这个是安装和管理Python包的工具。感觉它有点像ubuntu的apt-get，需要安装什么库，直接下载和安装一条龙服务。

首先，我们需要到pip的官网：[https://pypi.python.org/pypi/pip][https_pypi.python.org_pypi_pip]下载对应我们python版本的pip，例如我的是pip-1.4.1.tar.gz。但安装pip需要另一个工具，也就是setuptools，我们到[https://pypi.python.org/pypi/setuptools/\#windows][https_pypi.python.org_pypi_setuptools_windows]下载ez\_setup.py这个文件回来。然后在CMD命令行中执行：（注意他们的路径）

\#python ez\_setup.py

这时候，就会自动下载.egg等等文件然后安装完成。

然后我们解压pip-1.4.1.tar.gz。进入到该目录中，执行：

\#python setup.py install

这时候就会自动安装pip到你python目录下的Scripts文件夹中。我的是C:\\Python27\\Scripts。

在里面我们可以看到pip.exe，然后我们进入到该文件夹中：

\#cd C:\\Python27\\Scripts

\#pip install dateutil

\#pip install pyparsing

这样就可以把这些额外的库给下载回来了。非常高端大气上档次！

**8.3.2、SMO算法的Python实现**

在代码中已经有了比较详细的注释了。不知道有没有错误的地方，如果有，还望大家指正（每次的运行结果都有可能不同，另外，感觉有些结果似乎不太正确，但我还没发现哪里出错了，如果大家找到有错误的地方，还望大家指点下，衷心感谢）。里面我写了个可视化结果的函数，但只能在二维的数据上面使用。直接贴代码：

**SVM.py**

**\[python\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  \#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#  
2.  \# SVM: support vector machine  
3.  \# Author : zouxy  
4.  \# Date   : 2013-12-12  
5.  \# HomePage : http://blog.csdn.net/zouxy09  
6.  \# Email  : zouxy09@qq.com  
7.  \#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#  
8.    
9.  **from** numpy **import** \*  
10. **import** time  
11. **import** matplotlib.pyplot as plt   
12.   
13.   
14. \# calulate kernel value  
15. **def** calcKernelValue(matrix\_x, sample\_x, kernelOption):  
16.     kernelType = kernelOption\[0\]  
17.     numSamples = matrix\_x.shape\[0\]  
18.     kernelValue = mat(zeros((numSamples, 1)))  
19.       
20.     **if** kernelType == 'linear':  
21.         kernelValue = matrix\_x \* sample\_x.T  
22.     **elif** kernelType == 'rbf':  
23.         sigma = kernelOption\[1\]  
24.         **if** sigma == 0:  
25.             sigma = 1.0  
26.         **for** i **in** xrange(numSamples):  
27.             diff = matrix\_x\[i, :\] - sample\_x  
28.             kernelValue\[i\] = exp(diff \* diff.T / (-2.0 \* sigma\*\*2))  
29.     **else**:  
30.         **raise** NameError('Not support kernel type! You can use linear or rbf!')  
31.     **return** kernelValue  
32.   
33.   
34. \# calculate kernel matrix given train set and kernel type  
35. **def** calcKernelMatrix(train\_x, kernelOption):  
36.     numSamples = train\_x.shape\[0\]  
37.     kernelMatrix = mat(zeros((numSamples, numSamples)))  
38.     **for** i **in** xrange(numSamples):  
39.         kernelMatrix\[:, i\] = calcKernelValue(train\_x, train\_x\[i, :\], kernelOption)  
40.     **return** kernelMatrix  
41.   
42.   
43. \# define a struct just for storing variables and data  
44. **class** SVMStruct:  
45.     **def** \_\_init\_\_(self, dataSet, labels, C, toler, kernelOption):  
46.         self.train\_x = dataSet \# each row stands for a sample  
47.         self.train\_y = labels  \# corresponding label  
48.         self.C = C             \# slack variable  
49.         self.toler = toler     \# termination condition for iteration  
50.         self.numSamples = dataSet.shape\[0\] \# number of samples  
51.         self.alphas = mat(zeros((self.numSamples, 1))) \# Lagrange factors for all samples  
52.         self.b = 0  
53.         self.errorCache = mat(zeros((self.numSamples, 2)))  
54.         self.kernelOpt = kernelOption  
55.         self.kernelMat = calcKernelMatrix(self.train\_x, self.kernelOpt)  
56.   
57.           
58. \# calculate the error for alpha k  
59. **def** calcError(svm, alpha\_k):  
60.     output\_k = float(multiply(svm.alphas, svm.train\_y).T \* svm.kernelMat\[:, alpha\_k\] + svm.b)  
61.     error\_k = output\_k - float(svm.train\_y\[alpha\_k\])  
62.     **return** error\_k  
63.   
64.   
65. \# update the error cache for alpha k after optimize alpha k  
66. **def** updateError(svm, alpha\_k):  
67.     error = calcError(svm, alpha\_k)  
68.     svm.errorCache\[alpha\_k\] = \[1, error\]  
69.   
70.   
71. \# select alpha j which has the biggest step  
72. **def** selectAlpha\_j(svm, alpha\_i, error\_i):  
73.     svm.errorCache\[alpha\_i\] = \[1, error\_i\] \# mark as valid(has been optimized)  
74.     candidateAlphaList = nonzero(svm.errorCache\[:, 0\].A)\[0\] \# mat.A return array  
75.     maxStep = 0; alpha\_j = 0; error\_j = 0  
76.   
77.     \# find the alpha with max iterative step  
78.     **if** len(candidateAlphaList) > 1:  
79.         **for** alpha\_k **in** candidateAlphaList:  
80.             **if** alpha\_k == alpha\_i:   
81.                 **continue**  
82.             error\_k = calcError(svm, alpha\_k)  
83.             **if** abs(error\_k - error\_i) > maxStep:  
84.                 maxStep = abs(error\_k - error\_i)  
85.                 alpha\_j = alpha\_k  
86.                 error\_j = error\_k  
87.     \# if came in this loop first time, we select alpha j randomly  
88.     **else**:             
89.         alpha\_j = alpha\_i  
90.         **while** alpha\_j == alpha\_i:  
91.             alpha\_j = int(random.uniform(0, svm.numSamples))  
92.         error\_j = calcError(svm, alpha\_j)  
93.       
94.     **return** alpha\_j, error\_j  
95.   
96.   
97. \# the inner loop for optimizing alpha i and alpha j  
98. **def** innerLoop(svm, alpha\_i):  
99.     error\_i = calcError(svm, alpha\_i)  
100.   
101.     \#\#\# check and pick up the alpha who violates the KKT condition  
102.     \#\# satisfy KKT condition  
103.     \# 1) yi\*f(i) >= 1 and alpha == 0 (outside the boundary)  
104.     \# 2) yi\*f(i) == 1 and 0<alpha< C (on the boundary)  
105.     \# 3) yi\*f(i) <= 1 and alpha == C (between the boundary)  
106.     \#\# violate KKT condition  
107.     \# because y\[i\]\*E\_i = y\[i\]\*f(i) - y\[i\]^2 = y\[i\]\*f(i) - 1, so  
108.     \# 1) if y\[i\]\*E\_i < 0, so yi\*f(i) < 1, if alpha < C, violate!(alpha = C will be correct)   
109.     \# 2) if y\[i\]\*E\_i > 0, so yi\*f(i) > 1, if alpha > 0, violate!(alpha = 0 will be correct)  
110.     \# 3) if y\[i\]\*E\_i = 0, so yi\*f(i) = 1, it is on the boundary, needless optimized  
111.     **if** (svm.train\_y\[alpha\_i\] \* error\_i < -svm.toler) **and** (svm.alphas\[alpha\_i\] < svm.C) **or**\\  
112.         (svm.train\_y\[alpha\_i\] \* error\_i > svm.toler) **and** (svm.alphas\[alpha\_i\] > 0):  
113.   
114.         \# step 1: select alpha j  
115.         alpha\_j, error\_j = selectAlpha\_j(svm, alpha\_i, error\_i)  
116.         alpha\_i\_old = svm.alphas\[alpha\_i\].copy()  
117.         alpha\_j\_old = svm.alphas\[alpha\_j\].copy()  
118.   
119.         \# step 2: calculate the boundary L and H for alpha j  
120.         **if** svm.train\_y\[alpha\_i\] != svm.train\_y\[alpha\_j\]:  
121.             L = max(0, svm.alphas\[alpha\_j\] - svm.alphas\[alpha\_i\])  
122.             H = min(svm.C, svm.C + svm.alphas\[alpha\_j\] - svm.alphas\[alpha\_i\])  
123.         **else**:  
124.             L = max(0, svm.alphas\[alpha\_j\] + svm.alphas\[alpha\_i\] - svm.C)  
125.             H = min(svm.C, svm.alphas\[alpha\_j\] + svm.alphas\[alpha\_i\])  
126.         **if** L == H:  
127.             **return** 0  
128.   
129.         \# step 3: calculate eta (the similarity of sample i and j)  
130.         eta = 2.0 \* svm.kernelMat\[alpha\_i, alpha\_j\] - svm.kernelMat\[alpha\_i, alpha\_i\] \\  
131.                   - svm.kernelMat\[alpha\_j, alpha\_j\]  
132.         **if** eta >= 0:  
133.             **return** 0  
134.   
135.         \# step 4: update alpha j  
136.         svm.alphas\[alpha\_j\] -= svm.train\_y\[alpha\_j\] \* (error\_i - error\_j) / eta  
137.   
138.         \# step 5: clip alpha j  
139.         **if** svm.alphas\[alpha\_j\] > H:  
140.             svm.alphas\[alpha\_j\] = H  
141.         **if** svm.alphas\[alpha\_j\] < L:  
142.             svm.alphas\[alpha\_j\] = L  
143.   
144.         \# step 6: if alpha j not moving enough, just return       
145.         **if** abs(alpha\_j\_old - svm.alphas\[alpha\_j\]) < 0.00001:  
146.             updateError(svm, alpha\_j)  
147.             **return** 0  
148.   
149.         \# step 7: update alpha i after optimizing aipha j  
150.         svm.alphas\[alpha\_i\] += svm.train\_y\[alpha\_i\] \* svm.train\_y\[alpha\_j\] \\  
151.                                 \* (alpha\_j\_old - svm.alphas\[alpha\_j\])  
152.   
153.         \# step 8: update threshold b  
154.         b1 = svm.b - error\_i - svm.train\_y\[alpha\_i\] \* (svm.alphas\[alpha\_i\] - alpha\_i\_old) \\  
155.                                                     \* svm.kernelMat\[alpha\_i, alpha\_i\] \\  
156.                              - svm.train\_y\[alpha\_j\] \* (svm.alphas\[alpha\_j\] - alpha\_j\_old) \\  
157.                                                     \* svm.kernelMat\[alpha\_i, alpha\_j\]  
158.         b2 = svm.b - error\_j - svm.train\_y\[alpha\_i\] \* (svm.alphas\[alpha\_i\] - alpha\_i\_old) \\  
159.                                                     \* svm.kernelMat\[alpha\_i, alpha\_j\] \\  
160.                              - svm.train\_y\[alpha\_j\] \* (svm.alphas\[alpha\_j\] - alpha\_j\_old) \\  
161.                                                     \* svm.kernelMat\[alpha\_j, alpha\_j\]  
162.         **if** (0 < svm.alphas\[alpha\_i\]) **and** (svm.alphas\[alpha\_i\] < svm.C):  
163.             svm.b = b1  
164.         **elif** (0 < svm.alphas\[alpha\_j\]) **and** (svm.alphas\[alpha\_j\] < svm.C):  
165.             svm.b = b2  
166.         **else**:  
167.             svm.b = (b1 + b2) / 2.0  
168.   
169.         \# step 9: update error cache for alpha i, j after optimize alpha i, j and b  
170.         updateError(svm, alpha\_j)  
171.         updateError(svm, alpha\_i)  
172.   
173.         **return** 1  
174.     **else**:  
175.         **return** 0  
176.   
177.   
178. \# the main training procedure  
179. **def** trainSVM(train\_x, train\_y, C, toler, maxIter, kernelOption = ('rbf', 1.0)):  
180.     \# calculate training time  
181.     startTime = time.time()  
182.   
183.     \# init data struct for svm  
184.     svm = SVMStruct(mat(train\_x), mat(train\_y), C, toler, kernelOption)  
185.       
186.     \# start training  
187.     entireSet = True  
188.     alphaPairsChanged = 0  
189.     iterCount = 0  
190.     \# Iteration termination condition:  
191.     \#   Condition 1: reach max iteration  
192.     \#   Condition 2: no alpha changed after going through all samples,  
193.     \#                in other words, all alpha (samples) fit KKT condition  
194.     **while** (iterCount < maxIter) **and** ((alphaPairsChanged > 0) **or** entireSet):  
195.         alphaPairsChanged = 0  
196.   
197.         \# update alphas over all training examples  
198.         **if** entireSet:  
199.             **for** i **in** xrange(svm.numSamples):  
200.                 alphaPairsChanged += innerLoop(svm, i)  
201.             **print** '---iter:%d entire set, alpha pairs changed:%d' % (iterCount, alphaPairsChanged)  
202.             iterCount += 1  
203.         \# update alphas over examples where alpha is not 0 & not C (not on boundary)  
204.         **else**:  
205.             nonBoundAlphasList = nonzero((svm.alphas.A > 0) \* (svm.alphas.A < svm.C))\[0\]  
206.             **for** i **in** nonBoundAlphasList:  
207.                 alphaPairsChanged += innerLoop(svm, i)  
208.             **print** '---iter:%d non boundary, alpha pairs changed:%d' % (iterCount, alphaPairsChanged)  
209.             iterCount += 1  
210.   
211.         \# alternate loop over all examples and non-boundary examples  
212.         **if** entireSet:  
213.             entireSet = False  
214.         **elif** alphaPairsChanged == 0:  
215.             entireSet = True  
216.   
217.     **print** 'Congratulations, training complete! Took %fs!' % (time.time() - startTime)  
218.     **return** svm  
219.   
220.   
221. \# testing your trained svm model given test set  
222. **def** testSVM(svm, test\_x, test\_y):  
223.     test\_x = mat(test\_x)  
224.     test\_y = mat(test\_y)  
225.     numTestSamples = test\_x.shape\[0\]  
226.     supportVectorsIndex = nonzero(svm.alphas.A > 0)\[0\]  
227.     supportVectors      = svm.train\_x\[supportVectorsIndex\]  
228.     supportVectorLabels = svm.train\_y\[supportVectorsIndex\]  
229.     supportVectorAlphas = svm.alphas\[supportVectorsIndex\]  
230.     matchCount = 0  
231.     **for** i **in** xrange(numTestSamples):  
232.         kernelValue = calcKernelValue(supportVectors, test\_x\[i, :\], svm.kernelOpt)  
233.         predict = kernelValue.T \* multiply(supportVectorLabels, supportVectorAlphas) + svm.b  
234.         **if** sign(predict) == sign(test\_y\[i\]):  
235.             matchCount += 1  
236.     accuracy = float(matchCount) / numTestSamples  
237.     **return** accuracy  
238.   
239.   
240. \# show your trained svm model only available with 2-D data  
241. **def** showSVM(svm):  
242.     **if** svm.train\_x.shape\[1\] != 2:  
243.         **print** "Sorry! I can not draw because the dimension of your data is not 2!"  
244.         **return** 1  
245.   
246.     \# draw all samples  
247.     **for** i **in** xrange(svm.numSamples):  
248.         **if** svm.train\_y\[i\] == -1:  
249.             plt.plot(svm.train\_x\[i, 0\], svm.train\_x\[i, 1\], 'or')  
250.         **elif** svm.train\_y\[i\] == 1:  
251.             plt.plot(svm.train\_x\[i, 0\], svm.train\_x\[i, 1\], 'ob')  
252.   
253.     \# mark support vectors  
254.     supportVectorsIndex = nonzero(svm.alphas.A > 0)\[0\]  
255.     **for** i **in** supportVectorsIndex:  
256.         plt.plot(svm.train\_x\[i, 0\], svm.train\_x\[i, 1\], 'oy')  
257.       
258.     \# draw the classify line  
259.     w = zeros((2, 1))  
260.     **for** i **in** supportVectorsIndex:  
261.         w += multiply(svm.alphas\[i\] \* svm.train\_y\[i\], svm.train\_x\[i, :\].T)   
262.     min\_x = min(svm.train\_x\[:, 0\])\[0, 0\]  
263.     max\_x = max(svm.train\_x\[:, 0\])\[0, 0\]  
264.     y\_min\_x = float(-svm.b - w\[0\] \* min\_x) / w\[1\]  
265.     y\_max\_x = float(-svm.b - w\[0\] \* max\_x) / w\[1\]  
266.     plt.plot(\[min\_x, max\_x\], \[y\_min\_x, y\_max\_x\], '-g')  
267.     plt.show()

测试的数据来自[这里][Link 2]。有100个样本，每个样本两维，最后是对应的标签，例如：

3.542485 1.977398          -1

3.018896 2.556416          -1

7.551510 -1.580030         1

2.114999 -0.004466         -1

……

测试代码中首先加载这个数据库，然后用前面80个样本来训练，再用剩下的20个样本的测试，并显示训练后的模型和分类结果。测试代码如下：

**test\_SVM.py**

**\[python\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

运行结果如下：

**\[python\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  step 1: load data...  
2.  step 2: training...  
3.  \---iter:0 entire set, alpha pairs changed:8  
4.  \---iter:1 non boundary, alpha pairs changed:7  
5.  \---iter:2 non boundary, alpha pairs changed:1  
6.  \---iter:3 non boundary, alpha pairs changed:0  
7.  \---iter:4 entire set, alpha pairs changed:0  
8.  Congratulations, training complete! Took 0.058000s!  
9.  step 3: testing...  
10. step 4: show the result...  
11. The classify accuracy **is**: 100.000%

训练好的模型图：

![SouthEast 19][]

**九、参考文献与推荐阅读**

\[1\] JerryLead的博客，作者根据斯坦福的讲义给出了流畅和通俗的推导：[SVM系列][SVM]。

\[2\]嘉士伯的[SVM入门系列][SVM 1]，讲得很好。

\[3\] pluskid的[支持向量机系列][Link 3]，非常好。其中关于dual问题推导非常赞。

\[4\] Leo Zhang的[SVM学习系列][SVM 2]，博客中还包含了很多其他的机器学习算法。

\[5\] v\_july\_v的[支持向量机通俗导论（理解SVM的三层境界）][SVM 3]。结构之法算法之道blog。

\[6\] 李航的[《统计学习方法》][Link 4]，清华大学出版社

\[7\] [SVM学习——Sequential Minimal Optimization][SVM 2]

\[8\] [SVM算法实现（一）][SVM 4]

\[9\] Sequential Minimal Optimization: A FastAlgorithm for Training Support Vector Machines

\[10\] [SVM --从“原理”到实现][SVM --]

\[11\] [支持向量机入门系列][Link 5]

\[12\][SVM的各个版本及其多种语言实现代码合集][SVM 5]

\[13\] [Karush-Kuhn-Tucker(KKT) conditions][Karush-Kuhn-Tucker_KKT_ conditions]

\[14\] [深入理解拉格朗日乘子法（Lagrange Multiplier) 和KKT条件][Lagrange Multiplier_ _KKT]

[zouxy09_qq.com]: mailto:zouxy09@qq.com
[http_blog.csdn.net_zouxy09]: http://blog.csdn.net/zouxy09
[Link 1]: http://www.manning.com/pharrington/
[SouthEast]: /images/20220722/b169a34bd9cb49239ee78441a81b1564.png
[SouthEast 1]: /images/20220722/e2bf5146ce254ed5b40eb5665c7b5f52.png
[SouthEast 2]: /images/20220722/7d6b9789c97947d18a6f59364f1d5cf3.png
[SouthEast 3]: /images/20220722/5017c48fb209445999039a1346acbce5.png
[SouthEast 4]: /images/20220722/ae4dcb95c01a4c2ca379b87bbb6590f3.png
[SouthEast 5]: /images/20220722/bcec9b120aa74d68933af1542e66bc75.png
[SouthEast 6]: /images/20220722/0fa6b97592ff436e8d40912bd7aaa1a3.png
[SouthEast 7]: /images/20220722/4ee790322f2e487586ba872f0b2ac606.png
[SouthEast 8]: /images/20220722/275d9299bcec430cb7e8815aef54b01e.png
[SouthEast 9]: /images/20220722/7ca709cbefc84cf69f3674a5a8b67abb.png
[SouthEast 10]: /images/20220722/843798a428bb492db6c370fe0c5b3b63.png
[SouthEast 11]: /images/20220722/3a9d1247ed9646a19db68e1ee53a6de4.png
[SouthEast 12]: /images/20220722/6adf96973a344ccb856a89cb2de32567.png
[SouthEast 13]: /images/20220722/1fbcc0a1f3564a80910b50afb519bdc1.png
[SouthEast 14]: /images/20220722/4483bded193240d8ac1c9cf0a0157ef5.png
[SouthEast 15]: /images/20220722/cad5131ec6e144ca85839d4a07763f26.png
[SouthEast 16]: /images/20220722/e788d85026ec4364b8aca02bf1d6ea17.png
[SouthEast 17]: /images/20220722/c6fbc4d47d0f4a1b935f0417f67ea392.png
[SouthEast 18]: /images/20220722/0ff3ca225a0d47e79ed1051d7bb300ed.png
[https_pypi.python.org_pypi_pip]: https://pypi.python.org/pypi/pip
[https_pypi.python.org_pypi_setuptools_windows]: https://pypi.python.org/pypi/setuptools/#windows
[view plain]: http://blog.csdn.net/zouxy09/article/details/17292011#
[CODE]: https://code.csdn.net/assets/CODE_ico.png
[CODE_CODE]: https://code.csdn.net/snippets/110138
[ico_fork.svg]: https://code.csdn.net/assets/ico_fork.svg
[ico_fork.svg 1]: https://code.csdn.net/snippets/110138/fork
[Link 2]: http://download.csdn.net/detail/zouxy09/6706145
[SouthEast 19]: /images/20220722/5ec0ac281bd7498b96d4789ed44a920f.png
[SVM]: http://www.cnblogs.com/jerrylead/archive/2011/03/13/1982639.html
[SVM 1]: http://www.blogjava.net/zhenandaci/archive/2008/06/20/209446.html
[Link 3]: http://blog.pluskid.org/?page_id=683
[SVM 2]: http://www.cnblogs.com/vivounicorn/archive/2011/06/01/2067496.html
[SVM 3]: http://blog.csdn.net/v_july_v/article/details/7624837
[Link 4]: http://www.amazon.cn/%E7%BB%9F%E8%AE%A1%E5%AD%A6%E4%B9%A0%E6%96%B9%E6%B3%95-%E6%9D%8E%E8%88%AA/dp/B007TSFMTA
[SVM 4]: http://blog.csdn.net/techq/article/details/6171688
[SVM --]: http://blog.csdn.net/dark_scope/article/details/16902033
[Link 5]: http://blog.csdn.net/vivihe0/article/details/7019826
[SVM 5]: http://www.cs.cornell.edu/people/tj/svm_light/svm_struct.html
[Karush-Kuhn-Tucker_KKT_ conditions]: http://www.onmyphd.com/?p=kkt.karush.kuhn.tucker
[Lagrange Multiplier_ _KKT]: http://blog.csdn.net/xianlingmao/article/details/7919597