Datawhale组队学习之西瓜书task5

第六章 支持向量机

6.1 SVM基本型

6.1.1 基本型

给定训练样例集 D = { ( x 1 , y 1 ) , ( x 2 , y 2 ) , ⋯   , ( x m , y m ) } , y i ∈ { − 1 , + 1 } D=\{(\boldsymbol x_1,y_1),(\boldsymbol x_2,y_2),\cdots,(\boldsymbol x_m,y_m)\},y_i\in\{-1,+1\} D={(x1​,y1​),(x2​,y2​),⋯,(xm​,ym​)},yi​∈{−1,+1}，我们可用超平面来划分特征（类似感知机），特征空间中的超平面方程为：
$$\begin{array}{r}{\mathbf{w}}^{\mathbf{T}}\mathbf{x}+b=0\end{array}$$
我们称距离超平面最近的几个训练样本点为支持向量（support vector），规定支持向量满足$y_i({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_i+b)=1$，两个异类支持向量到超平面的距离之和称为间隔（margin）：
$$\begin{array}{r}\gamma =\frac{2}{||\mathbf{w}||}\end{array}$$
如下图所示，红线就是我们想找的超平面：

支持向量机（Support Vector Machine，SVM）的目标就是找到间隔最小的超平面：
$$\begin{array}{rl}\underset{\mathbf{w},b}{\min }& \frac{2}{||\mathbf{w}||}\\ \text{s.t.}& y_i({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_i+b)⩾1,i=1,2,\cdots ,m\end{array}$$

为方便求解，我们取上式的等价形式：
$$\begin{array}{rl}\underset{\mathbf{w},b}{\min }& \frac{1}{2}||\mathbf{w}|{|}^2\\ \text{s.t.}& y_i({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_i+b)⩾1,i=1,2,\cdots ,m\end{array}$$
这就是支持向量机的基本型。

6.1.2 求解SVM

显而易见，支持向量机是一个凸优化问题，因此有多种方法进行求解，这里为了方便引出后续概念，采用拉格朗日对偶（lagrange duality）方法进行求解。

关于拉格朗日对偶相关的凸优化内容问题，请点击这里。

经证明，支持向量机是一个强对偶问题，因此原问题的最小值就是对偶问题（dual problem）的最大值。

经计算，可以得到对偶问题：
$$\begin{array}{rl}\underset{\mathbf{\alpha }}{\max }& \sum _{i=1}^m{\alpha }_i-\frac{1}{2}\sum _{i=1}^m\sum _{j=1}^m{\alpha }_i{\alpha }_j{y}_i{y}_j{\mathbf{x}}_i^{\mathbf{T}}{\mathbf{x}}_j\\ \text{s.t.}& \sum _{i=1}^m{\alpha }_i{y}_i=0\\ & {\alpha }_i⩾0,i=1,2,\cdots ,m\end{array}$$
其KKT条件为：
$$\begin{array}{r}\{\begin{array}{c}{\alpha }_i⩾0\\ y_i({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_i+b)-1⩾0\\ {\alpha }_i(y_i({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_i+b)-1)=0\end{array}\end{array}$$
求解该对偶问题，得到模型：
$$f(\mathbf{x})=\sum _{i=1}^m{\alpha }_i{y}_i{\mathbf{x}}_i^{\mathbf{T}}{\mathbf{x}}_i+b$$
显然，对于支持向量机来说，大部分的训练样本都不需要保留，最终结果仅与支持向量有关（因为其对应$\alpha \ne 0$）。

在求解方法上，可采用SMO等算法，这里不做详细展开。

6.2 核函数

若数据集在特征空间内非线性可分，则仅使用SVM基本型无法解决问题。

对于此问题，可将样本从原始空间映射到一个更高维的特征空间，使得样本在新特征空间内线性可分。（线性回归：像，太像了）

首先给出一条定理：如果原始空间是有限维，则一定存在一个高维特征空间使样本线性可分

令$\varphi (\mathbf{x})$表示将$\mathbf{x}$映射后的特征向量，定义核函数（kernel function）$\kappa ({\mathbf{x}}_i,{\mathbf{x}}_j)=\varphi ({\mathbf{x}}_i{)}^{\mathbf{T}}\varphi ({\mathbf{x}}_j)$

则模型可写为
$$f(\mathbf{x})=\sum _{i=1}^m{\alpha }_i{y}_i\kappa ({\mathbf{x}}_i,{\mathbf{x}}_j)+b$$
只要一个对称函数所对应的核矩阵（kernel matrix）半正定，则它就可以当作核函数使用，换而言之，任何一个核函数都隐式地定义了一个再生核希尔伯特空间（RKHS）。

其中，核矩阵$\mathbf{K}$为：
$$\mathbf{K}=\left(\begin{array}{ccccc}\kappa ({\mathbf{x}}_1,{\mathbf{x}}_1)& \cdots & \kappa ({\mathbf{x}}_1,{\mathbf{x}}_j)& \cdots & \kappa ({\mathbf{x}}_1,{\mathbf{x}}_m)\\ ⋮& \ddots & ⋮& \ddots & ⋮\\ \kappa ({\mathbf{x}}_i,{\mathbf{x}}_1)& \cdots & \kappa ({\mathbf{x}}_i,{\mathbf{x}}_j)& \cdots & \kappa ({\mathbf{x}}_i,{\mathbf{x}}_m)\\ ⋮& \ddots & ⋮& \ddots & ⋮\\ \kappa ({\mathbf{x}}_m,{\mathbf{x}}_1)& \cdots & \kappa ({\mathbf{x}}_m,{\mathbf{x}}_j)& \cdots & \kappa ({\mathbf{x}}_m,{\mathbf{x}}_m)\end{array}\right)$$
但是我们一般不知道什么样的核函数是好用的，如果核函数的选择不合适，则很可能导致性能不佳。

在选择核函数方面，就需要一些经验指导了，下表列出了一些常用核函数：

人们发展出一系列基于核函数的学习方法，统称为核方法（kernel methods），最常见的便是将核函数引入线性学习器，使其拓展为非线性学习器。

6.3 软间隔

显然，SVM不允许有任何一个错误样本，但这在现实生活中显然是不常见的。

因此我们允许SVM在某些样本上出错，即允许某些样本不满足约束，但在最大化间隔的同时，不满足约束的样本应该尽量少。

对优化目标进行改进：
$$\begin{array}{rl}\underset{\mathbf{w},b}{\min }& \frac{1}{2}||\mathbf{w}|{|}^2+C\sum _{i=1}^{m}l(y_i({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_i+b)-1)\end{array}$$
式中$C>0$是一个常数，$l$是损失函数，常采用以下三种形式：
$$\begin{array}{rl}& \text{hinge损失}:l_{\text{hinge}}(z)=\max (0,1-z)\\ & 指数损失:l_{\text{exp}}(z)=\exp (-z)\\ & 对率损失:l_{\text{log}}(z)=\log (1+\exp (-z))\end{array}$$
使用hinge损失，引入松弛变量解得（具体求解过程略，请参考西瓜书与南瓜书）：
$$\begin{array}{rl}\underset{\mathbf{w},b,{\xi }_i}{\min }& \frac{1}{2}||\mathbf{w}|{|}^2+C\sum _{i=1}^m{\xi }_i\\ \text{s.t.}& y_i({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_i+b)⩾1-{\xi }_i\\ & {\xi }_i⩾0,i=1,2,\cdots ,m\end{array}$$
上式即为软间隔支持向量机，相对的，6.1节中得到的SVM为硬间隔支持向量机。

更一般的，可以将优化目标写为这种形式：
$$\begin{array}{rl}\underset{f}{\min }& \Omega (f)+C\sum _{i=1}^{m}l(f({\mathbf{x}}_i),y_i)\end{array}$$
其中前一项称为结构风险（structural risk），表述了我们希望获得具有何种性质的模型，后一项称为经验风险（empirical tisk），用于描述模型与训练数据的契合程度。

从降低过拟合角度分析，可将前一项称为正则化项，$C$称为正则化常数，常用向量范数当作正则化项。

6.4 支持向量回归

支持向量回归（Support Vector Regression，SVR）类似线性回归，但仅当$f(\mathbf{x})$与$y$之间的差别绝对值大于$ϵ$时才计算损失。

形象来说，就是把一条线变成了一根带子，如图：

因此，SVR的优化目标为：
$$\begin{array}{rl}\underset{\mathbf{w},b}{\min }\frac{1}{2}||\mathbf{w}|{|}^2+C\sum _{i=1}^m{l}_{ϵ}(f({\mathbf{x}}_i& )-y_i)\\ l_{ϵ}(z)=\{\begin{array}{ll}0& \text{ if }|z|⩽ϵ\\ |z|-ϵ,& \text{ otherwise }\end{array}& \end{array}$$
其中$l_{ϵ}$称为$ϵ$-不敏感损失函数

形式上来说，SVR类似软间隔支持向量机，因此可以采用类似的办法求解，这里不作具体展开。

同样的，SVR也可以引入特征映射与核函数。

---

参考资料

周志华：《机器学习》

维基百科

Datawhale：【吃瓜教程】《机器学习公式详解》（南瓜书）与西瓜书公式推导直播合集

Lauer：【凸优化笔记6】-拉格朗日对偶（Lagrange duality）、KKT条件