支持向量机SVM之-SMO算法

序列最小最优化算法

序列最小最优化算法（sequential minimal optimization，简称SMO）是由Platt在1998年提出，用于解决多变量的凸优化问题。当变量个数很多的时候，一般的最优化算法通常无法有效求解最优解。此时，SMO算法的作用就会体现的淋漓尽致。针对多变量的最优解问题，SMO算法通过从变量集中选取两个变量，剩余的变量视为常量来计算局部最优解，然后再以递进的方式求出全局最优解。

SMO算法需要解决的最优化问题：$$\underset{\alpha }{\min }\frac{1}{2}\sum _{i=1}^N\sum _{j=1}^N{\alpha }_i{\alpha }_j{y}_i{y}_{j}K(x_i,x_j)-\sum _{i=1}^N{\alpha }_i$$$$s.t.\sum _{i=1}^N{\alpha }_i{y}_i=0$$ $$0\le {\alpha }_i\le C,i=1,2,...,N$$其中，目标函数的变量为$({\alpha }_1,{\alpha }_2,...,{\alpha }_N)$，每一个实例$(x_i,y_i)$对应一个${\alpha }_i$。

SMO算法是一种启发式算法，其基本思路是：如果所有变量的解都满足此最优化问题的KKT条件，那么这个最优化问题的解就得到了。因此KKT条件是该最优化问题的充分必要条件。SMO算法的目标是求解满足KKT条件的$({\alpha }_1,{\alpha }_2,...,{\alpha }_N)$。方法是选择两个变量，固定其他变量，针对这两个变量构建一个二次规划的子问题。这个二次规划子问题关于这两个变量的解更接近原始二次规划问题的解，因为这会使得原始二次规划问题的目标函数值变得更小。二次规划子问题有两个变量，一个是主动变量，其为违反KKT条件最严重的那一个，另一个被动变量，由主动变量依据约束条件自动确定。如此，SMO算法将原问题不断分解为子问题并对子问题求解，进而达到求解原问题的目的。

对子问题进行求最优解时，假设${\alpha }_1,{\alpha }_2$为两个变量，固定${\alpha }_3,{\alpha }_4,...,{\alpha }_N$，其满足的约束条件为：$${\alpha }_1{y}_1+{\alpha }_2{y}_2=-\sum _{i=3}^N{\alpha }_i{y}_i=\zeta$$当更新其中一个变量${\alpha }_2$时，相应的${\alpha }_1$也会自动更新，进而求出子问题的最优解。

两个变量二次规划

假设${\alpha }_1,{\alpha }_2$为两个变量，固定${\alpha }_3,{\alpha }_4,...,{\alpha }_N$，那么SMO的最优化问题的子问题表达为：$$\underset{{\alpha }_1,{\alpha }_2}{\min }W({\alpha }_1,{\alpha }_2)=\frac{1}{2}{K}_{11}{\alpha }_1^2+\frac{1}{2}{K}_{22}{\alpha }_2^2+y_1{y}_2{K}_{12}{\alpha }_1{\alpha }_2-({\alpha }_1+{\alpha }_2)+y_1{\alpha }_1\sum _{i=3}^N{y}_i{\alpha }_i{K}_{i1}+y_2{\alpha }_2\sum _{i=3}^N{y}_i{\alpha }_i{K}_{i2}$$$$s.t.{\alpha }_1{y}_1+{\alpha }_2{y}_2=-\sum _{i=3}^N{\alpha }_i{y}_i=\zeta$$$$0\le {\alpha }_i\le C,i=1,2$$其中，$K_{ij}=K(x_i,x_j),i,j=1,2,...,N$，$\zeta$为常数。

为了解决两个变量的最优化问题，首先分析约束条件，找出变量满足的取值范围，并在此范围内求解最优解。

依据变量的上述等式约束和不等式约束，${\alpha }_1,{\alpha }_2$都在$[0,C]$范围内，并且${\alpha }_1,{\alpha }_2$满足的直线平行于盒子范围的对角线。如果$y_1≠y_2$时，则$L=max(0,{\alpha }_2^{old}-{\alpha }_1^{old}),H=min(C,C+{\alpha }_2^{old}-{\alpha }_1^{old})$；如果$y_1=y_2$时，则$L=max(0,{\alpha }_2^{old}+{\alpha }_1^{old}-C),H=min(C,{\alpha }_2^{old}+{\alpha }_1^{old})$。计算的新解${\alpha }_1^{new},{\alpha }_2^{new}$必须满足$[L,H]$这一范围，即$L\le {\alpha }_2^{new}\le H$，接下来两个变量的最优化问题实质上是单变量的最优化问题，因为上述的等式约束，不妨考虑为变量${\alpha }_2$的最优化问题。

首先求沿着约束方向不考虑取值范围时的${\alpha }_2$的最优解${\alpha }_2^{new,unc}$；然后再求剪辑后${\alpha }_2$的解${\alpha }_2^{new}$。在此之前，先计算每个实例$x_i$的误差$$g(x)=\sum _{i=1}^N{\alpha }_i{y}_{i}K(x_i,x)+b$$$$E_i=g(x_i)-y_i=(\sum _{i=1}^N{\alpha }_i{y}_{i}K(x_i,x)+b)-y_i,i=1,2$$上式中，$g(x_i)$为实例$x_i$的预测值，$E_i$为实例$x_i$的误差。

最优化问题沿着约束方向不考虑取值范围的解为：$${\alpha }_2^{new,unc}={\alpha }_2^{old}+\frac{y_2(E_1-E_2)}{\eta }$$那么，这个公式是怎么推导出来的呢？接下来就是推导公式的详细步骤：$$v_i=\sum _{j=3}^N{\alpha }_j{y}_{j}K(x_i,x_j)=g(x_i)-\sum _{j=1}^2{\alpha }_j{y}_{j}K(x_i,x_j)-b,i=1,2$$目标函数可写成$$W({\alpha }_1,{\alpha }_2)=\frac{1}{2}{K}_{11}{\alpha }_1^2+\frac{1}{2}{K}_{22}{\alpha }_2^2+y_1{y}_2{K}_{12}{\alpha }_1{\alpha }_2-({\alpha }_1+{\alpha }_2)+y_1{\alpha }_1{v}_1+y_2{\alpha }_2{v}_2$$由${\alpha }_1{y}_1=\zeta -{\alpha }_2{y}_2$及$y_i^2=1$，可将${\alpha }_1$表示为$${\alpha }_1=(\zeta -{\alpha }_2{y}_2)y_1$$代入到上式中，得到只要一个变量${\alpha }_2$的目标函数$$W({\alpha }_2)=\frac{1}{2}{K}_{11}(\zeta -{\alpha }_2{y}_2{)}^2+\frac{1}{2}{K}_{22}{\alpha }_2^2+y_2{K}_{12}(\zeta -{\alpha }_2{y}_2){\alpha }_2-(\zeta -{\alpha }_2{y}_2)y_1-{\alpha }_2+v_1(\zeta -{\alpha }_2{y}_2)+y_2{v}_2{\alpha }_2$$对${\alpha }_2$求导数$$\frac{\partial W}{\partial {\alpha }_2}=K_{11}{\alpha }_2+K_{22}{\alpha }_2-2K_{12}{\alpha }_2-K_{11}\zeta y_2+K_{12}\zeta y_2+y_1{y}_2-1-v_1{y}_2+y_2{v}_2$$令其为0，即$$\begin{gathered} (K_{11}+K_{22}-2K_{12}){\alpha }_2=y_2(y_2-y_1+\zeta K_{11}-\zeta K_{12}+v_1-v_2) \\ =y_2\left[y_2-y_1+\zeta K_{11}-\zeta K_{12}+(g(x_i)-\sum _{j=1}^2{y}_j{\alpha }_j{K}_{1j}-b)-(g(x_2-\sum _{j=1}^2{y}_j{\alpha }_j{K}_{2j}-b)\right] \end{gathered}$$将$\zeta ={\alpha }_1^{old}{y}_1+{\alpha }_2^{old}{y}_2$代入，得到$$\begin{array}{rl}(K_{11}+K_{22}-2K_{12}){\alpha }_2^{new,unc}& =y_2((K_{11}+K_{22}-2K_{12}){\alpha }_2^{old}{y}_2+y_2-y_1+g(x_1)-g(x_2))\\ & =(K_{11}+K_{22}-2K_{12}){\alpha }_2^{old}+y_2(E_1-E_2)\end{array}$$令$\eta =K_{11}+K_{22}-2K_{12}$代入，得到$${\alpha }_2^{new,unc}={\alpha }_2^{old}+\frac{y_2(E_1-E_2)}{\eta }$$

然后，经过范围的约束得到的新解为
$${\alpha }_2^{new}=\{\begin{array}{l}H,{\alpha }_2^{new,unc}>H\\ {\alpha }_2^{new,unc},L\le {\alpha }_2^{new,unc}\le H\\ L,{\alpha }_2^{new,unc}<L\end{array}$$
由${\alpha }_2^{new}$计算得到${\alpha }_1^{new}={\alpha }_1^{old}+y_1{y}_2({\alpha }_2^{old}-{\alpha }_2^{new})$

计算截距b和误差$E_i$

每次完成两个变量的更新优化后，都要重新计算截距b。当$0<{\alpha }_1^{new}<C$时，由KKT条件可知：$$\sum _{i=1}^N{\alpha }_i{y}_i{K}_{i1}+b=y_1$$于是得到：$$b_1^{new}=y_1-\sum _{i=3}^N{\alpha }_i{y}_i{K}_{i1}-{\alpha }_1^{new}{y}_1{K}_{11}-{\alpha }_2^{new}{y}_2{K}_{21}$$由$E_1$的定义：$$E1=\sum _{i=3}^N{\alpha }_i{y}_i{K}_{i1}-{\alpha }_1^{old}{y}_1{K}_{11}-{\alpha }_2^{old}{y}_2{K}_{21}+b^{old}-y_1$$将上式代入到$E_1$中得到：$$b_1^{new}=-E_1-y_1{K}_{11}({\alpha }_1^{new}-{\alpha }_1^{old})-y_2{K}_{21}({\alpha }_2^{new}-{\alpha }_2^{old})+b^{old}$$同理，如果$0<{\alpha }_2^{new}<C$，那么$$b_2^{new}=-E_2-y_1{K}_{12}({\alpha }_1^{new}-{\alpha }_1^{old})-y_2{K}_{22}({\alpha }_2^{new}-{\alpha }_2^{old})+b^{old}$$如果${\alpha }_1^{new},{\alpha }_2^{new}$是0或者C，那么$b^{new}=\frac{b_1^{new}+b_2^{new}}{2}$。

更新$b^{new}$之后，还要更新对应的$E_i$：$$E_i^{new}=\sum _{j=1}^N{y}_j{\alpha }_{j}K(x_i,x_j)+b^{new}-y_i$$

SMO算法

输入：线性可分训练集$T=\left\{(x_1,y_1),(x_2,y_2),...,(x_N,y_N)\right\}$，其中，$x_i\in \mathcal{X}=R^n,y_i\in \mathcal{Y}=\left\{+1，-1\right\},i=1,2,...,N$，精度$\epsilon$
输出：近似解$\alpha$

• 取初值${\alpha }^{(0)}=0$，令k=0
• 选取优化变量${\alpha }_1^{(k)},{\alpha }_2^{(k)}$，解析求解两个变量的最优化问题，求得最优解${\alpha }_1^{(k+1)},{\alpha }_2^{(k+1)}$，更新$\alpha$为${\alpha }^{(k+1)}$
• 若在精度$\epsilon$范围内满足停止条件$$\sum _{i=1}^N{\alpha }_i{y}_i=0$$$$0\le {\alpha }_i\le C,i=1,2,...,N$$$$y.g(x_i)=\{\begin{array}{l}\ge 1,\left\{x_i|{\alpha }_i=0\right\}\\ =1,\left\{x_i|0<{\alpha }_i<C\right\}\\ \le 1,\left\{x_i|{\alpha }_i=C\right\}\end{array}$$其中$$g(x_i)=\sum _{j=1}^N{\alpha }_j{y}_{j}K(x_i,x_j)+b$$则转到下一步，否则令k=k+1，转到第2步；
• 取$\alpha ={\alpha }^{(k+1)}$

变量的选择

1. 第一个变量的选择
   KKT条件：$${\alpha }_i=0\iff y_{i}g(x_i)\ge 1$$$$0<{\alpha }_i<C\iff y_{i}g(x_i)=1$$$${\alpha }_i=C\iff y_{i}g(x_i)\le 1$$SMO选择第1个变量的过程称为外层循环。外层循环在训练样本中选取违反KKT条件最严重的样本点，并将其对应的变量作为第1个变量。该检验是在$\epsilon$范围内进行的。检验过程中，外层循环首先遍历所有满足条件的$0<{\alpha }_i<C$的样本点，检验它们是否满足KKT条件。如果这些样本点都不满足KKT条件，那么遍历整个训练集，检验它们是否满足KKT条件。
2. 第2个变量的选择
   SMO选择第2个变量的过程称为内层循环。假设外层循环找到第1个变量${\alpha }_1$，现在在内层循环中找到第2个变量${\alpha }_2$。第2个变量的选择标准是使$|{\alpha }_1-{\alpha }_2|$有足够大的变化。因为${\alpha }_2^{new}$是依赖于$|{\alpha }_1-{\alpha }_2|$，选择一个${\alpha }_2$，使得$|{\alpha }_1-{\alpha }_2|$尽可能的大，从而加快计算速度。如果$E_1$是正的，那么选择最小的$E_i$作为$E_2$；如果$E_1$是负的，那么选择最大的$E_i$作为$E_2$。

参考文献

• 李航 《统计学习方法》