序列最小优化算法

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

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

其中，${\displaystyle C}$是SVM的参数，而${\displaystyle K({\mathbf{x}}_{\mathbf{i}},{\mathbf{x}}_{\mathbf{j}})}$是核函数。这两个参数都需要使用者制定。

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

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

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

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

对${\displaystyle {\mathrm{\alpha <!--\; \alpha \; -->}}_2}$求偏导以求得最大值，有

因此，可以得到

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

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

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

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

其中，${\displaystyle U}$和${\displaystyle V}$为${\displaystyle {\mathrm{\alpha <!--\; \alpha \; -->}}_2^{new}}$的下界和上界。特别地，有

这一约束的意义在于使得${\displaystyle {\mathrm{\alpha <!--\; \alpha \; -->}}_1^{new}}$和${\displaystyle {\mathrm{\alpha <!--\; \alpha \; -->}}_2^{new}}$均位于矩形域${\displaystyle \times <!--\; \times \; -->}$中。

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

的向量。而第二个向量可以选择使得${\displaystyle |E_1-<!--\; -\; -->E_2|}$最大的向量。

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