拉格朗日乘子法 - KKT条件 - 对偶问题
支持向量机 (一)： 线性可分类 svm
支持向量机 (二)： 软间隔 svm 与 核函数
支持向量机 (三)： 优化方法与支持向量回归
软间隔最大化（线性不可分类svm）
上一篇求解出来的间隔被称为 “硬间隔(hard margin）“，其可以将所有样本点划分正确且都在间隔边界之外，即所有样本点都满足 (y_{i}(oldsymbol{w}^{ op} oldsymbol{x}_{i}+b) geqslant 1) 。
但硬间隔有两个缺点：1. 不适用于线性不可分数据集。 2. 对离群点（outlier）敏感。
比如下图就无法找到一个超平面将蓝点和紫点完全分开：
下图显示加入了一个离群点后，超平面发生了很大的变动，最后形成的间隔变得很小，这样最终的泛化效果可能不会太好。
为了缓解这些问题，引入了 “软间隔（soft margin）”，即允许一些样本点跨越间隔边界甚至是超平面。如下图中一些离群点就跨过了间隔边界。
于是为每个样本点引入松弛变量 (large{xi_i})，优化问题变为：
由上式可以看出：
-
离群点的松弛变量值越大，点就离间隔边界越远。
-
所有没离群的点松弛变量都等于0，即这些点都满足 (y_{i}left(oldsymbol{w}^{ op} oldsymbol{x}_{i}+b ight) geqslant 1) 。
-
(C > 0) 被称为惩罚参数，即为 scikit-learn 中的 svm 超参数C。当C设的越大，意味着对离群点的惩罚就越大，最终就会有较少的点跨过间隔边界，模型也会变得复杂。而C设的越小，则较多的点会跨过间隔边界，最终形成的模型较为平滑。
该优化问题的求解方法与前篇类似，为每条约束引入拉格朗日乘子： (alpha_i geqslant 0, ; eta_i geqslant 0) ，((1.1)) 式的拉格朗日函数为：
其对偶问题为： $$ egin{aligned} max_{oldsymbol{alpha}, oldsymbol{eta}}min_{oldsymbol{w},b,oldsymbol{xi}} &;; mathcal{L}(oldsymbol{w}, b, oldsymbol{xi}, oldsymbol{alpha}, oldsymbol{eta}) \[1ex] ext{s.t.} &;; alpha_i geq 0, quad i=1,2, ldots m \[1ex] & ;;eta_i geq 0, quad i = 1,2, ldots m end{aligned} ag{1.3} $$
上式内层对 ((oldsymbol{w}, b, oldsymbol{xi})) 的优化属于无约束优化问题，则令偏导为零：
将 ((1.4) sim (1.6)) 式代入 ((1.2)) 式得：
又由 ((1.6)) 式： (eta_i = C - alpha_i geqslant 0) ，因而 (0 leqslant alpha_i leqslant C) ，于是最后的优化问题化简为：
与硬间隔 svm 一样，软间隔 svm 的超平面参数 ((oldsymbol{w}, b)) 同样由支持向量决定，然而对于软间隔 svm 中支持向量的讨论是一件比较搞脑子的事情，因为可分类的情况众多，下面进行详细讨论。不过首先回顾一下前文中硬间隔 svm 的支持向量 —— 就两种情况： (1) (alpha_i > 0, ;y_i(oldsymbol{w}^{ op}oldsymbol{x}_i + b) = 1) ，表示在间隔边界上的样本为支持向量； (2) (alpha_i = 0, ; y_i(oldsymbol{w}^{ op}oldsymbol{x}_i + b) > 1) ，不是支持向量。
对于软间隔 svm ，推导其支持向量需要的仍然是 ((1.3)) 式最优解的 KKT 条件：
下面分情况讨论：
((1) ;; alpha_i = 0)， 由 ((1.4)) 式 (oldsymbol{w} = sumlimits_{i=1}^m alpha_iy_ioldsymbol{x}_i = 0) ，不是支持向量。
((2) ;\, 0 < alpha_i < C implies (1.11)式:; eta_i > 0 implies (1.13)式:; xi_i = 0 implies (1.12)式:; y_i(oldsymbol{w}^{ op}oldsymbol{x}_i + b) = 1) ，该样本在间隔边界上。 为什么不会出现 (xi_i > 0) 的情况？ 回顾 [拉格朗日乘子法 - KKT条件 - 对偶问题] 第二节 KKT 条件：
因而若 ((1.13)) 式中拉格朗日乘子 (eta_i > 0) ，则 (xi_i = 0) 。
((3) ;; alpha_i = C implies (1.11) 式:; eta_i = 0 implies (1.13)式:; xi_i > 0 implies)
有了上述讨论后，我们来看软间隔 svm 如何得到最终的参数 ((oldsymbol{w}, b)) 。其中 (oldsymbol{w}) 和硬间隔一样由 ((1.4)) 式得出，而 (b) 的情况则不同。选择一个支持向量 ((oldsymbol{x}_s, y_s)) 使得 (alpha_i > 0) ，则由 ((1.12)) 式并利用 (y_s^2 =1) ：
现在由于 (b) 还未求出，所以我们不知道超平面的具体样貌，如果选择了一个 (xi_s > 0) 的支持向量，就无法得知 (xi_s) 的具体值是多少 (由 (1.12) 式: (xi_s = 1 - y_i(oldsymbol{w}^{ op}oldsymbol{x}_i + b)) )，也就无法求出 (b) 。因此这里需要使 (xi_s = 0) 才能求出 (b) ，由上文讨论可知只有 (0 < alpha_s < C) ，即样本在间隔边界上时，(xi_s = 0) 。因而不同于硬间隔 svm， 软间隔求 (b) 选择的支持向量不是任一支持向量，而是必须满足条件的支持向量，这其实是一种人为制定的求 (b) 的规则。
当然也可以对此类支持向量求平均得到 (b)：
其中 (SV_{<C}) 表示满足 (0 < alpha_s<C) 的支持向量。
核函数（非线性svm）
前面展示的硬间隔和软间隔 svm 主要是用于处理线性分类问题，然而现实中很多分类问题是非线性的，如下图所示，无论怎样一个线性超平面都无法很好地将样本点分类：
所以在此引入核函数（kernel function），构造非线性svm，如下图所示，左图使用的是多项式核函数，右图使用的是高斯核函数，二者均能将样本点很好地分类：
核函数的主要作用是将样本从原始空间映射到一个更高维的特征空间，使得样本在这个特征空间内线性可分。下图显示原来在二维空间不可分的两类样本点，在映射到三维空间后变为线性可分 :
但回到原来的二维空间中，决策边界就变成非线性的了：
核函数是如何将原始空间映射到高维的特征空间的？ 下面先举个例子：
假设做一个2维到3维的映射，(large{Phi}: ;mathbb{R}^2 longrightarrow mathbb{R}^3)
求 (phi(oldsymbol{a})) 和 (phi(oldsymbol{b})) 的内积：
可以看出转换后向量的内积等于原向量内积的平方，即 (phi ( extbf{a})^T phi( extbf{b}) = ( extbf{a}^T extbf{b})^2) 。
函数 (kappa( extbf{a}, extbf{b}) = ( extbf{a}^T extbf{b})^2) 被成为二次多项核函数，于是如果想计算高维特征空间的内积 (phi( extbf{a})^T phi( extbf{b}))，我们只需计算核函数，即原向量内积的平方 (( extbf{a}^T extbf{b})^2) 就可以了。这样做的好处有：
-
将样本点由原始空间映射到高维空间后，有大概率使原来线性不可分的问题变为线性可分。
-
核函数的计算是在低维特征空间计算的，它避免了在高维特征空间下计算内积的超高计算量。
下图也能看出在原始空间和高维空间下计算量的巨大差异：
接下来对问题作正式的定义： 数据在原始特征空间 (mathbb{R}^d) 不是线性可分的，则希望通过一个映射 (large{Phi}: ;mathbb{R}^d longrightarrow mathbb{R}^ ilde{d}) ，使得数据在新的特征空间 (mathbb{R}^ ilde{d}) 中线性可分，则软间隔 svm 基本型变为：
找到一个核函数 (mathcal{K} (oldsymbol{x}_i, oldsymbol{x}_j) = phi(oldsymbol{x}_i)^{ op} phi(oldsymbol{x}_j)) ，则相应的对偶型转化为核函数型：
这样使得计算复杂度由 (mathcal{O}( ilde{d})) 降为 (mathcal{O} (d)) 。求解后的分离超平面为：
其中 (SV) 代表所有支持向量的集合。这样我们就能以较小的计算量解决非线性分类问题，甚至都不需要知道低维空间的数据是怎样映射到高维空间的，只需要在原来的低维空间计算核函数就行了。
常见核函数比较：
| 名称&emsp | 形式 &emsp&emsp&emsp&emsp&emsp | 优点 | 缺点 |
|---|---|---|---|
| 线性核 | (kappa(oldsymbol{x}_i, oldsymbol{x}_j) = oldsymbol{x}_i^{ op}oldsymbol{x}_j) | 速度快，可解释性强。 | 无法解决非线性可分问题。 |
| 多项式核 | (kappa(oldsymbol{x}_i, oldsymbol{x}_j) = (lambda \, oldsymbol{x}_i^{ op}oldsymbol{x}_j + eta)^d) | 比线性核更一般，(d) 直接描述了被映射空间的复杂度。 | 参数多 (有 (lambda, eta, d) 要选)，且当 (d) 很大时会导致计算不稳定。 |
| RBF 核 | (kappa(oldsymbol{x}_i, oldsymbol{x}_j) = ext{exp} left(- frac{|oldsymbol{x}_i- oldsymbol{x}_j|^2}{2 sigma^2} ight)) | 只有一个参数，无计算不稳定问题，拟合能力强。 | 可解释性差，计算慢，易过拟合。 |
由于 RBF 核是目前最主流的核函数，所以在这里以其举例介绍：
RBF 核函数全称径向基函数 (Radial Basis Function)，其表达式 (kappa(oldsymbol{x}_i, oldsymbol{x}_j) = ext{exp} left(- frac{||oldsymbol{x}_i- oldsymbol{x}_j||^2}{2 sigma^2}
ight)) 亦可写为 (kappa(oldsymbol{x}_i, oldsymbol{x}_j) = ext{exp} (- gamma||oldsymbol{x}_i- oldsymbol{x}_j||^2)) ，范围为 ((0, 1]) ，其中 (gamma = frac{1}{2sigma^2}) 。
RBF 核可理解为两个样本点的相似程度，若两点 ((oldsymbol{x}_i, oldsymbol{x}_j)) 的相似程度很大，则距离 (||oldsymbol{x}_i - oldsymbol{x}_j||^2) 越小，使得 ( ext{exp} (- gamma||oldsymbol{x}_i- oldsymbol{x}_j||^2)) 越大，这意味着高斯核具有“局部（local）”特征，只有相对邻近的样本点会对测试点的分类产生较大作用。 (gamma > 0)，即为 scikit-learn 中的 svm 超参数 (gamma)，(gamma) 越大，意味着两个点只有相当接近时才会被判为相似，这样决策边界会变得较为扭曲，容易过拟合，因为只取决于较少的几个样本点。相反，(gamma) 越小，大量的点被判为近似，在模型中起了作用，因而导致模型变得简单，容易欠拟合。
RBF 核还有个吸引人的特性，那就是可以从原始空间映射到无限维特征空间，下面举例说明式如何做到的： 设 (sigma = sqrt{frac12}) ，则 RBF 核的转换如下 (两种颜色分别表示 (oldsymbol{x}_i) 和 (oldsymbol{x}_j) 对应的部分)：
因而映射的无限维空间为 (phi(oldsymbol{x}) = ext{exp}(-||oldsymbol{x}||^2) egin{bmatrix} 1 \ sqrt{frac{2}{1!}}x \ sqrt{frac{2^2}{2!}}x^2 \ vdots \ sqrt{frac{x^infty}{infty!}}x^infty end{bmatrix})
上面的 ((2.2)) 式到 ((2.3)) 式使用了 (e^x) 的泰勒展开，泰勒公式的简单解释就是用多项式函数去逼近原函数，因为用多项式函数往往求解更加容易，而多项式中各项的系数则为原函数在某一点的n阶导数值除以n阶乘。
已知函数 (f(x)) 在 (x=x_0) 处 (n) 阶可导，那么：
例如，(x_0 = 0, ;; f(x) = e^x)时，(e^x = sumlimits_{n=0}^{infty}frac{x^n}{n!} = 1+x+frac{x^2}{2!} + frac{x^3}{3!} + cdots) ， 明白了这个后相信不难理解上面 RBF 核的推导。
/