SVM-SMO推导

当固定了a3、a4…an之后，只有a1，a2为变量，由约束项使a1代表a2，得到只含一个变量的一元函数

再对只含一个变量的一元函数求导，得到a2：

再带回原式，得到a1，但此时a1_new、a2_new和a1_old、a2_old是有一定关系的：

注意到中含有yi即真实值，由此我们算得预测的值和真实值的误差Ei，将Ei带回等式

得到a_new和a_old的关系：

最后我们再看一下前面的约束条件： （所求出来的a要满足以下条件：）

为常数，下面用k表示
将两个约束条件以图的方式表现出来：

根据图所示，得到a的上界和下界：（所求的a要满足这个条件）