机器学习技法笔记01-----线性SVM支持向量机

写的文章发给老师看得到回复里面有：去看看机器学习基础知识～
Fine，最近，来一波机器学习基础～

机器学习技法主要介绍特征转换（Feature Transforms）的三个方向：
1）Embedding Numerous Features:Kernel Models
解决如何选择特征转换以及复杂度的问题
介绍SVM
2）Combining Predictive Features: Aggregation Models
找出比较具有预测性质的特征并将其结合起来
介绍AdaBoost
3）Distilling Implicit Features: Extraction Models
找出（学出）隐藏特征
介绍Deep Learning

第一讲：Linear Support Vector Machine

原理：

噪声是造成过拟合的主要原因，测量误差也是一种噪声，下图三对测量误差的容忍度更强，能容忍最多的误差，即线离点越远，就是越好的分割边界。
也可以用第二行的方式，分隔的区域越宽越好。

公式推导：

算法的目标是要找出一条能分隔两类点的线（上图中的灰色区域，一条宽线），使其宽度达到最大，公式表述如下，其中margin表示“留白”，即上图中灰线的宽度：
$$\begin{gathered} \underset{\mathbf{w}}{\max }margin(\mathbf{w}) \\ subgectto\mathbf{w}classifiesevery({\mathbf{x}}_{\mathbf{n}},y_n)correctly \\ margin(\mathbf{w})=\underset{n=1,...,N}{\min }distance({\mathbf{x}}_{\mathbf{n}},\mathbf{w}) \end{gathered}$$
由于$y_n$和${\mathbf{w}}_{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}$同号，所以上面公式可写成：
$$\begin{gathered} \underset{\mathbf{w}}{\max }margin(\mathbf{w}) \\ subgecttoevery{y}_n{\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}>0 \\ margin(\mathbf{w})=\underset{n=1,...,N}{\min }distance({\mathbf{x}}_{\mathbf{n}},\mathbf{w}) \end{gathered}$$
上面distance即点到分割线的距离。
算法的目标是找到一组参数w，使margin的值最大。
下面首先探讨如何计算上面公式中的距离部分：$distance({\mathbf{x}}_{\mathbf{n}},\mathbf{w})$。距离的计算方法以及公式推导过程如下：
这里添加w0和x0，为了便于区分，将w0表示为b，距离公式转化成如下形式：$distance({\mathbf{x}}_{\mathbf{n}},\mathbf{w},b)$，因此可知h(x) = sign(${\mathbf{w}}^{\mathbf{T}}\mathbf{x}$+b)
问题：问什么要加w0和x0？
视频中的说法是要“把x垫的高一点，塞一个x0，令x0为一个正数1，对应也塞一个w0”，为什么要做这个操作？
是对于$y=WX+b$这样的公式，如果没有b，那么要求直线y必须经过原点，而对于我们的预测问题没必要加这样的限制，直线可以相对于原点有任意的偏移值b，b的取值要求是使y达到最小。

计算点x到平面的最短距离（垂直距离）的推导过程：
这里假设平面上的两个点$x^{\prime }，x^{\prime \prime }$

经过上面的计算过程，可以得到公式:
$$distance(\mathbf{x},\mathbf{w},b)=\frac{1}{||\mathbf{w}||}|{\mathbf{w}}^{\mathbf{T}}\mathbf{x}+b|$$
为找到完美的平面(即两种类别的分隔面)，需满足点到该平面的距离最小。 由于$y_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)>0$，距离公式可写成：
$$distance(\mathbf{x},\mathbf{w},b)=\frac{1}{||\mathbf{w}||}{y}_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)$$
那么我们的问题可以转化成：
$$\begin{gathered} \underset{\mathbf{w},b}{\max }margin(\mathbf{w},b) \\ subgecttoevery{y}_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)>0 \\ margin(\mathbf{w},b)=\underset{n=1,...,N}{\min }\frac{1}{||\mathbf{w}||}{y}_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b) \end{gathered}$$

进一步简化上式，原理是空间中有很多向量都是可以通过放缩的方式用同一个向量表示的，如3wx+3b=0和wx+b=0。
使用上面的原理，将公式放缩，令
$$\underset{n=1,...,N}{\min }{y}_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)=1$$
那么：$margin(\mathbf{w},b)=\frac{1}{||w||}$
这样简化之后，最开始的公式就可以写成：
$$\begin{gathered} \underset{\mathbf{w},b}{\max }\frac{1}{||w||} \\ subgecttoevery{y}_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)>0 \\ \underset{n=1,...,N}{\min }{y}_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)=1 \end{gathered}$$
进一步化简为：
$$\underset{\mathbf{w},b}{\max }\frac{1}{||w||}subgectto\underset{n=1,...,N}{\min }{y}_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)=1$$
如下图所示，对于$$\underset{n=1,...,N}{\min }{y}_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)=1$$
可以把上面这个公式转化成$y_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)>=1$。
对于这样转化的理由，视频中给出的解释似乎有点绕，个人觉得可以这样理解：
个人觉得上面的公式的写法有点容易造成误解，写的仔细一代点是这样的：${\max }_{\mathbf{w},b}\frac{1}{||w||}subgectto（{\min }_{n=1,...,N}{y}_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)）=1$
也就是说，对于所有的（x，y），w和b的取值都应该满足使最小的$y_i(w^T{x}_i+b)$的值为1，也就是$y_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)>=1$了。
所以公式转化为：
$$\underset{\mathbf{w},b}{\max }\frac{1}{||w||}subgectto{y}_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)>=1foralln$$
再做一点变换，将上面公式转化成更方便求解的形式：
（min x 与 min 1/2x是一样的意思）
$$\underset{\mathbf{w},b}{\min }\frac{1}{2}{\mathbf{w}}^{\mathbf{T}}\mathbf{w}subgectto{y}_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)>=1foralln$$
使用上述公式找到w和b，即可得到最胖的分割线，用于后续的分类。

支持向量机（Support Vector Machine，SVM）的相关概念：

支持向量（Support Vector）：下图中分割区域边界上的点称为支撑向量，可以理解为是这些点支撑起这个灰色的分割区域。（准确的说边界的这些点是支撑向量的候选人Candidate）
Support Vector Machine：称为Machine是因为，可以将该过程看成一种方法，来找出分割区域。

如何求解

公式
$$\underset{\mathbf{w},b}{\min }\frac{1}{2}{\mathbf{w}}^{\mathbf{T}}\mathbf{w}subgectto{y}_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)>=1foralln$$
称为“标准问题”，即要找到分割线1所要解决的问题，计算该问题的步骤如下：

对于公式
$$\underset{\mathbf{w},b}{\min }\frac{1}{2}{\mathbf{w}}^{\mathbf{T}}\mathbf{w}subgectto{y}_n({\mathbf{w}}^{\mathbf{T}}{\mathbf{x}}_{\mathbf{n}}+b)>=1foralln$$
当问题变复杂时，很难手动的用上述的解题步骤求出最优解。实际上该问题属于二次规划问题（quadratic programming），该问题可以理解成线性规划的进阶版。将问题表示称二次规划的标准形式，就更方便解决：
如下图所示：
二次规划：最小化u向量的二次函数，系数为Q矩阵， 一次项为p。
找出一个工具QP(这种工具一般matlab之类的里面有)，将所有内容放进去，该工具可以得出问题的最优解u。

解题步骤：

$x_n$对应线性问题，$z_n$对应非线性问题。

这是一个吐槽：优快云的latex公式居然用不了格式对齐？还是我的用法不对呢，为了格式好看可把我累坏了。