序列最小优化算法

Template:Infobox Algorithm 序列最小优化算法（Template:Lang en, SMO）是一种用于解决支持向量机训练过程中所产生优化问题的算法。SMO由微软研究院的Template:Link-en于1998年发明，目前被广泛使用于SVM的训练过程中，并在通行的SVM库LIBSVM中得到实现。 1998年，SMO算法发表在SVM研究领域内引起了轰动，因为先前可用的SVM训练方法必须使用复杂的方法，并需要昂贵的第三方二次规划工具。而SMO算法较好地避免了这一问题。

问题定义

Template:Main SMO算法主要用于解决支持向量机目标函数的最优化问题。考虑数据集$({𝐱}_{\mathrm{𝟏}},y_1),\dots ,({𝐱}_{𝐧},y_n)$的二分类问题，其中${𝐱}_{𝐢}$是输入向量，$y_i\in \{-1,1\}$是向量的类别标签，只允许取两个值。一个软间隔支持向量机的目标函数最优化等价于求解以下二次规划问题的最大值：

$W=\underset{\alpha }{\max }\sum _{i=1}^n{\alpha }_i-\frac{1}{2}\sum _{i=1}^n\sum _{j=1}^n{y}_i{y}_{j}K(x_i,x_j){\alpha }_i{\alpha }_j,$

满足：

$0\le {\alpha }_i\le C,\text{ for }i=1,2,\dots ,n,$

$\sum _{i=1}^n{y}_i{\alpha }_i=0,$

其中，$C$是SVM的参数，而$K({𝐱}_{𝐢},{𝐱}_{𝐣})$是核函数。这两个参数都需要使用者制定。

算法

SMO是一种解决此类支持向量机优化问题的迭代算法。由于目标函数为凸函数，一般的优化算法都通过梯度方法一次优化一个变量求解二次规划问题的最大值，但是，对于以上问题，由于限制条件$\sum _{i=1}^n{y}_i{\alpha }_i=0$存在，当某个${\alpha }_i$从${\alpha }_i^{old}$更新到${\alpha }_i^{new}$时，上述限制条件即被打破。为了克服以上的困难，SMO采用一次更新两个变量的方法。

数学推导

假设算法在某次更新时更新的变量为${\alpha }_1$和${\alpha }_2$，则其余变量都可以视为常量。为了描述方便，规定

$K_{ij}=K({𝐱}_{𝐢},{𝐱}_{𝐣}),f({𝐱}_{𝐢})=\sum _{j=1}^n{y}_j{\alpha }_j{K}_{ij}+b,$

$v_i=f({𝐱}_{𝐢})-\sum _{j=1}^2{y}_j{\alpha }_j{K}_{ij}-b$

因而，二次规划目标值可以写成

$\begin{array}{ccc}W({\alpha }_1,{\alpha }_2)& =& \sum _{i=1}^n{\alpha }_i-\frac{1}{2}\sum _{i=1}^n\sum _{j=1}^n{y}_i{y}_{j}K(x_i,x_j){\alpha }_i{\alpha }_j\\ & =& {\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\\ & & -y_1{\alpha }_1{v}_1-y_2{\alpha }_2{v}_2+\text{constant}\end{array}$

由于限制条件$\sum _{i=1}^n{y}_i{\alpha }_i=0$存在，将${\alpha }_3,\dots ,{\alpha }_n,y_3,\dots ,y_n$看作常数，则有${\alpha }_1{y}_1+{\alpha }_2{y}_2=C$成立（$C$为常数）。由于$y_i\in \{-1,1\}$，从而${\alpha }_1=\gamma -s{\alpha }_2$（$\gamma$为变量$y_{1}C$，$s=y_1{y}_2$）。取${\alpha }_2$为优化变量，则上式又可写成

$\begin{array}{ccc}W({\alpha }_2)& =& \gamma -s{\alpha }_2+{\alpha }_2-\frac{1}{2}{K}_{11}(\gamma -s{\alpha }_2{)}^2-\frac{1}{2}{K}_{22}{\alpha }_2^2\\ & & -s{K}_{12}(\gamma -s{\alpha }_2){\alpha }_2-y_1(\gamma -s{\alpha }_2)v_1-y_2{\alpha }_2{v}_2+\text{constant}\end{array}$

对${\alpha }_2$求偏导以求得最大值，有

$\begin{array}{ccc}\frac{\partial W({\alpha }_2)}{\partial {\alpha }_2}& =& -s+1+s{K}_{11}\gamma -K_{11}{\alpha }_2-K_{22}{\alpha }_2+2K_{12}{\alpha }_2-s{K}_{12}\gamma \\ & & +y_2{v}_1-y_2{v}_2=0\end{array}$

因此，可以得到

${\alpha }_2^{new}=\frac{y_2(y_2-y_1+y_1\gamma (K_{11}-K_{12})+v_1-v_2)}{K_{11}+K_{22}-2K_{12}}$

规定误差项$E_i=f({𝐱}_i)-y_i$，取$\gamma ={\alpha }_1^{old}+s{\alpha }_2^{old}$，并规定$K=K_{11}+K_{22}-2K_{12}$，上述结果可以化简为

${\alpha }_2^{new}={\alpha }_2^{old}+\frac{y_2(E_1-E_2)}{K}$

再考虑限制条件$0⩽{\alpha }_i⩽C$，$({\alpha }_1,{\alpha }_2)$的取值只能为直线${\alpha }_1{y}_1+{\alpha }_2{y}_2=\gamma$落在$[0,C]\times [0,C]$矩形中的部分。因此，具体的SMO算法需要检查${\alpha }_2^{new}$的值以确认这个值落在约束区间之内。

算法框架

SMO算法是一个迭代优化算法。在每一个迭代步骤中，算法首先选取两个待更新的向量，此后分别计算它们的误差项，并根据上述结果计算出${\alpha }_2^{new}$和${\alpha }_1^{new}$。最后再根据SVM的定义计算出偏移量$𝐛$。对于误差项而言，可以根据${\alpha }_1^{new}$、${\alpha }_2^{new}$和$b$的增量进行调整，而无需每次重新计算。具体的算法如下：

1 随机数初始化向量权重${\alpha }_i$，并计算偏移$b$
2 初始化误差项$E_i$
3 选取两个向量作为需要调整的点
4 令${\alpha }_2^{new}={\alpha }_2^{old}+\frac{y_2(E_1-E_2)}{K}$
5 如果${\alpha }_2^{new}>V$
6     令${\alpha }_2^{new}=V$
7 如果${\alpha }_2^{new}<U$
8     令${\alpha }_2^{new}=U$
9 令${\alpha }_1^{new}={\alpha }_1^{old}+y_1{y}_2({\alpha }_2^{old}-{\alpha }_2^{new})$
10 利用更新的${\alpha }_1^{new}$和${\alpha }_2^{new}$修改$E_i$和$b$的值
11 如果达到终止条件，则停止算法，否则转3

其中，$U$和$V$为${\alpha }_2^{new}$的下界和上界。特别地，有

$U=\{\begin{array}{cc}\max \{0,{\alpha }_2^{old}-{\alpha }_1^{old}\}& y_1{y}_2=-1\\ \max \{0,{\alpha }_1^{old}+{\alpha }_2^{old}-C\}& y_1{y}_2=1\end{array},V=\{\begin{array}{cc}\min \{C,C+{\alpha }_2^{old}-{\alpha }_1^{old}\}& y_1{y}_2=-1\\ \min \{C,{\alpha }_2^{old}+{\alpha }_1^{old}\}& y_1{y}_2=1\end{array}$

这一约束的意义在于使得${\alpha }_1^{new}$和${\alpha }_2^{new}$均位于矩形域$[0,C]\times [0,C]$中。

优化向量选择方法

可以采用启发式的方法选择每次迭代中需要优化的向量。第一个向量可以选取不满足支持向量机KKT条件的向量，亦即不满足

$y_{i}f({𝐱}_i)\{\begin{array}{cc}>1& {\alpha }_i=0\\ =1& 0<{\alpha }_1<C\\ <1& {\alpha }_i=C\end{array}$

的向量。而第二个向量可以选择使得$|E_1-E_2|$最大的向量。

终止条件

SMO算法的终止条件可以为KKT条件对所有向量均满足，或者目标函数$W(\alpha )$增长率小于某个阈值，即

$\frac{W({\alpha }^{t+1})-W({\alpha }^t)}{W({\alpha }^t)}<T$

参见

• 支持向量机
• 核方法
• Template:Le
• Template:Le
• 预测分析