统计学习方法 感知机

统计学习方法 感知机

读李航的《统计学习方法》时，关于感知机的笔记。

感知机（perceptron）是一种二元分类的线性分类模型，属于判别模型，是 NN 和 SVM 的基础。

模型定义

感知机：输入空间 $\mathcal{X}\subseteq {\mathbb{R}}^n$ ，输出空间是 $\mathcal{Y}=\{1,-1\}$ ；输入 $x\in \mathcal{X}$ 表示实例的特征向量，输出 $y\in \mathcal{Y}$ 表示实例的类别。由输入空间到输出空间的如下函数：
$$f(x)=\text{sign}(w\cdot x+b)$$
称为感知机。其中 $w\in {\mathbb{R}}^n$ 称为权重，$b\in \mathbb{R}$ 称为偏置。

线性方程 $w\cdot x+b$ 对应特征空间 ${\mathbb{R}}^n$ 中的一个超平面 $S$ ，位于两边的点（特征向量）则被分为正、负两类：

学习策略

当训练数据是完全线性可分的，我们则可以找到一个超平面将正负类的数据完全分开。但数据不完全线性可分时，我们则要定义损失函数，找到一个感知机使得损失函数极小化。（但其实即使完全线性可分，也要定义损失函数，不然怎么学习 [乐.jpg]）

很容易想到用分类错误的点的总数作为损失函数，但是这样对 $w$ 和 $b$ 就不是连续可导的了，不好优化。所以我们选择所有误分类点到超平面 $S$ 的总距离作为损失函数。

空间中任意一点 $x_0\in {\mathbb{R}}^n$ 到超平面 $S$ 的距离为：
$$\text{dis}(x_0,S)=\frac{1}{||w||}|w\cdot x_0+b|$$

• $||w||$ 是 $w$ 的 $L_2$ 范数；

其次，对于误分类的数据 $(x_i,y_i)$ 来说，$y_i$ 与 $f(x)$ 符号相反，因此：
$$-y_i(w\cdot x_i+b)>0$$
我们利用这个大于零的性质，可以将误分类点到超平面的距离表示为（因为 $y_i$ 只有可能是正负 1，所以乘上去也不会改变距离的大小）：
$$\text{dis}(x_0,S)=-\frac{1}{||w||}{y}_i(w\cdot x_i+b)$$
因此，所有误分类点到超平面 $S$ 的距离之和：
$$-\frac{1}{||w||}\sum _{x_i\in M}{y}_i(w\cdot x_i+b)$$

• $M$ 为被误分类点的集合；

这里不考虑 $\frac{1}{||w||}$ ，即得到感知机的损失函数：
$$L(w,b)=-\sum _{x_i\in M}{y}_i(w\cdot x_i+b)$$
去掉 $\frac{1}{||w||}$ 对损失函数的优化至关重要，$y_i(w\cdot x_i+b)$ 被称为样本点的函数间隔，在 SVM 中会涉及到。

学习算法

感知机学习算法的原始形式和对偶形式与第7支待向量机学习法的原始形式和偶形式相对应。

原始算法

给定一个训练数据集：
$$T=\{(x_1,y_1),(x_2,y_2),\cdots ,(x_N,y_N)\}$$
其中 $x_i\in \mathcal{X}={\mathbf{R}}^n$ ，$y_i\in \mathcal{Y}=\{-1,1\}$ ，$i=1,2,\cdots ,N$ ，求参数 $w$ 和 $b$ ，使得以下损失函数极小化：
$$\underset{w,b}{\min }L(w,b)=-\sum _{x_i\in M}{y}_i(w\cdot x_i+b)$$
我们采用随机梯度下降法来学习参数 $w$ 和 $b$ ，梯度为：
$$\begin{array}{rl}{\nabla }_{w}L(w,b)=& -\sum _{x_i\in M}{y}_i{x}_i\\ {\nabla }_{b}L(w,b)=& -\sum _{x_i\in M}{y}_i\end{array}$$
但学习的时候并不是一次使 $M$ 中所有的误分类点都梯度下降，而是一次随机选取一个误分类点使其梯度下降。

算法：感知机学习算法的原始形式

输入：训练数据集 $T$ ，学习率 $\eta$ （$0<\eta \le 1$）；

输出：$w$ ，$b$ ，感知机模型 $f(x)=\text{sign}(w\cdot x+b)$ ；

1. 选取初值 $w_0$ 和 $b_0$ ；
2. 在训练集中选取数据 $(x_i,y_i)$ ；
3. 若 $y_i(w\cdot x_i+b)\le 0$ ：

$$\begin{array}{rl}w\leftarrow & w+\eta y_i{x}_i\\ b\leftarrow & b+\eta y_i\end{array}$$

4. 若当前训练集中仍有误分类点，则跳转至 2. ，否则结束；

对偶算法

我们前面对误分类点修改参数时的形式为：
$$\begin{array}{rl}w\leftarrow & w+\eta y_i{x}_i\\ b\leftarrow & b+\eta y_i\end{array}$$
因此，我们可以认为模型参数是训练样本值的线性组合，即最后学习到的 $w$ 和 $b$ 可以表示为：
$$\begin{array}{c}w=\sum _{i=1}^N{\alpha }_i{y}_i{x}_i\\ b=\sum _{i=1}^N{\alpha }_i{y}_i\end{array}$$
这里 ${\alpha }_i\ge 0$ （$i=1,2,\cdots ,N$）。

算法：感知机学习算法的对偶形式

输入：训练数据集 $T$ ，学习率 $\eta$ （$0<\eta \le 1$）；

输出：$\alpha$ ，$b$ ，感知机模型 $f(x)=\text{sign}(\sum _{j=1}^N{\alpha }_j{y}_j{x}_j\cdot x+b)$ ；

1. 初始化：$\alpha \leftarrow 0$ ，$b\leftarrow 0$ ；
2. 在训练集中选取数据 $(x_i,y_i)$ ；
3. 若 $y_i(\sum _{j=1}^N{\alpha }_j{y}_j{x}_j\cdot x+b)\le 0$ ，

$$\begin{array}{rl}{\alpha }_i\leftarrow & {\alpha }_i+\eta \\ b\leftarrow & b+\eta y_i\end{array}$$

4. 若当前训练集中仍有误分类点，则跳转至 2. ，否则结束；

为了方便，可以预先将训练集中的实例间的内积计算出来并以矩阵的形式存储，即 Gram 矩阵：
$$\mathbf{G}=[x_i\cdot x_j{]}_{N\times N}$$

学习算法的收敛性

当数据集不可分时，显然上述算法会震荡。现在证明，对于线性可分数据集，感知机学习算法原始形式收敛，即经过有限次迭代就可以得到一个将数据集完全正确划分的分离超平面及感知机模型。

为了数学推导方面，我们将偏置 $b$ 放入权重向量 $w$ ，记作 $\hat{w}=[w^t,b{]}^T$ 。同样将输入向量进行增广，得到 $\hat{x}=[x^T,1{]}^T$ ，显然：
$$\hat{w}\cdot \hat{x}=w\cdot x+b$$
Th 2.1（Novikoff） 设训练数据集 $T$ 是线性可分的，则：

1. 存在满足条件 $||{\hat{w}}_{opt}||=1$ 的超平面 ${\hat{w}}_{opt}\cdot \hat{x}=0$ 将训练数据集完全正确分开，且存在 $\gamma >0$ ，对所有 $i=1,2,\cdots ,N$ ，都有：

$$y_i({\hat{w}}_{opt}\cdot {\hat{x}}_i)=y_i(w_{opt}\cdot x_i+b_{opt})\ge \gamma$$

2. 令 $R=\underset{1\le i\le N}{\max }||{\hat{x}}_i||$ ，则感知机算法在训练数据集上的误分类次数 $k$ 满足：

$$k\le {\left(\frac{R}{\gamma }\right)}^2$$

证明：第一点较为简单。因为训练数据集线性可分，因此存在超平面 $(w_{opt},b_{opt})$ 可将数据集完全正确分开。只要令：
$$\gamma =\underset{i}{\min }\{y_i(w_{opt}\cdot x_i+b_{opt})\}$$
就有：
$$y_i({\hat{w}}_{opt}\cdot {\hat{x}}_i)=y_i(w_{opt}\cdot x_i+b_{opt})\ge \gamma$$
现在来看第二点，看起来还蛮神奇的。感知机算法从 ${\hat{w}}_0=0$ 开始，记每一次迭代得到的参数为 ${\hat{w}}_k$ 。第 $k$ 个参数下，记 $(x_i,y_i)$ 是被误分类的实例，则条件是：
$$y_i({\hat{w}}_{k-1}\cdot {\hat{x}}_i)=y_i(w_{k-1}\cdot x_i+b_{k-1})\le 0$$
$w$ 和 $b$ 的更新是：
$$\begin{array}{rl}{w}_k\leftarrow & w_{k-1}+\eta y_i{x}_i\\ b_k\leftarrow & b_{k-1}+\eta y_i\end{array}$$
即：
$${\hat{w}}_k={\hat{w}}_{k-1}+\eta y_i{\hat{x}}_i$$
下面证明两个不等式：

① 由于我们是从 ${\hat{w}}_0=0$ 开始的，因此迭代过程中的参数应当从小到大越来越接近 ${\hat{w}}_{opt}$ ，即 $w_k$ 与 $w_{opt}$ 的内积越来越大：
$$\begin{array}{rl}{\hat{w}}_k\cdot {\hat{w}}_{opt}=& {\hat{w}}_{k-1}\cdot {\hat{w}}_{opt}+\eta y_i{\hat{w}}_{opt}\cdot {\hat{x}}_i\\ \ge & {\hat{w}}_{k-1}\cdot {\hat{w}}_{opt}+\eta \gamma \\ \ge & {\hat{w}}_{k-2}\cdot {\hat{w}}_{opt}+2\eta \gamma \\ \ge & \cdots \\ \ge & k\eta \gamma \end{array}$$

• 第二个大于等于是因为，我们已经假设了 $\gamma$ 是最小的 $y_i{\hat{w}}_{opt}{\hat{x}}_i$ ，因此任意 $i$ 都有 $y_i{\hat{w}}_{opt}{\hat{x}}_i\ge \gamma$ ；

即：
$${\hat{w}}_k\cdot {\hat{w}}_{opt}\ge k\eta \gamma$$
② 由于我们是从 ${\hat{w}}_0=0$ 开始的，因此迭代过程中的参数更新过大时，就会被后续的迭代给“拉”回来：
$$\begin{array}{rl}||{\hat{w}}_k|{|}^2=& ||{\hat{w}}_{k-1}|{|}^2+2\eta y_i{\hat{w}}_{k-1}\cdot {\hat{x}}_i+{\eta }^2||{\hat{x}}_i|{|}^2\\ \le & ||{\hat{w}}_{k-1}|{|}^2+\eta ||{\hat{x}}_i|{|}^2\\ \le & ||{\hat{w}}_{k-1}|{|}^2+\eta R^2\\ \le & ||{\hat{w}}_{k-2}|{|}^2+2\eta R^2\\ \le & \cdots \\ \le & k{\eta }^2{R}^2\end{array}$$

• 第一个等号是因为：

$$\begin{array}{rl}||{\hat{w}}_k|{|}^2=& {\hat{w}}_k^T{\hat{w}}_k\\ =& ({\hat{w}}_{k-1}+\eta y_i{\hat{x}}_i{)}^T({\hat{w}}_{k-1}+\eta y_i{\hat{x}}_i)\\ =& ({\hat{w}}_{k-1}^T+\eta y_i{\hat{x}}_i^T)({\hat{w}}_{k-1}+\eta y_i{\hat{x}}_i)\\ =& {\hat{w}}_{k-1}^T{\hat{w}}_{k-1}+\eta y_i({\hat{w}}_{k-1}^T{\hat{x}}_i+{\hat{x}}_i^T{\hat{w}}_{k-1})+{\eta }^2{y}_i^2{\hat{x}}_i^T{\hat{x}}_i\\ =& ||{\hat{w}}_{k-1}|{|}^2+2\eta y_i{\hat{w}}_{k-1}\cdot {\hat{x}}_i+{\eta }^2||{\hat{x}}_i|{|}^2\text{(有yi2=1)}\end{array}$$

• 第二个小于等于是因为我们假设 $(x_i,y_i)$ 是被误分类的实例，因此 $y_i{\hat{w}}_{k-1}\cdot {\hat{x}}_i<0$ ；
• 第三个小于等于是因为我们假设 $R$ 是最大的特征向量的模，因此对于任意 $i$ 都有 $R\ge ||{\hat{x}}_i||$ ；

即：
$$||{\hat{w}}_k|{|}^2\le k{\eta }^2{R}^2$$
综合不等式 ① 和 ② 得：
$$\begin{array}{c}k\eta \gamma \le {\hat{w}}_k\cdot {\hat{w}}_{opt}\le ||{\hat{w}}_k||||{\hat{w}}_{opt}||\le \sqrt{k}\eta R\\ \Rightarrow k^2{\gamma }^2\le k{R}^2\end{array}$$

• 第二个小于等于是柯西不等式，$x\cdot y=||x||||y||\cos \theta \le ||x||||y||$ ，其中 $\theta$ 是两个向量的夹角。

于是：
$$k\le {\left(\frac{R}{\gamma }\right)}^2$$
该定理表明，误分类次数 $k$ 是有上界的，即训练集线性可分时，感知机学习算法原始形式迭代是收敛的。