人工神经网络（五）梯度下降法

- 日理万妓 2022-05-16 03:14 350阅读 0赞

在解决了线性求解问题之后，我们开始挑战更复杂的问题，开始研究非线性划分的问题，类似求解异或问题这样，而解决这类问题，我们先要学习一个概念，就是梯度下降（Gradient Descent），这个方法是解决机器学习领域最常采用的方法之一。

#  梯度 #

在微积分里面，对多元函数的参数求∂偏导数，把求得的各个参数的偏导数以向量的形式写出来，就是梯度。比如函数f(x,y), 分别对x,y求偏导数，求得的梯度向量就是(∂f/∂x, ∂f/∂y)T,简称grad f(x,y)或者▽f(x,y)。对于在点(x0,y0)的具体梯度向量就是(∂f/∂x0, ∂f/∂y0)T.或者▽f(x0,y0)，如果是3个参数的向量梯度，就是(∂f/∂x, ∂f/∂y，∂f/∂z)T,以此类推。   
那么这个梯度向量求出来有什么意义呢？他的意义从几何意义上讲，就是函数变化增加最快的地方。具体来说，对于函数f(x,y),在点(x0,y0)，沿着梯度向量的方向就是(∂f/∂x0, ∂f/∂y0)T的方向是f(x,y)增加最快的地方。或者说，沿着梯度向量的方向，更加容易找到函数的最大值。反过来说，沿着梯度向量相反的方向，也就是 -(∂f/∂x0, ∂f/∂y0)T的方向，梯度减少最快，也就是更加容易找到函数的最小值。

先看一个平面函数：y=(x-2)^2   
图形为:   
![这里写图片描述][SouthEast]

(x-2)^2 是上图 求导：y=2(x-2) = 2x-4 ,在图中低点 导数求值为0   
导数描述y的变化，导数为负，y在变小，导数为正，y在变大,求得函数最小值，要找梯度最小的地方，就是定点   
重申：导数为负数，Y在减少，咬着导数反方向，就是要增加X的值，那么Y肯定也是减少，所以最终求得最小值。按照这个去理解下边的概念就容易些。

##  梯度下降与梯度上升 ##

在机器学习算法中，在最小化损失函数时，可以通过梯度下降法来一步步的迭代求解，得到最小化的损失函数，和模型参数值。反过来，如果我们需要求解损失函数的最大值，这时就需要用梯度上升法来迭代了。   
梯度下降法和梯度上升法是可以互相转化的。比如我们需要求解损失函数f(θ)的最小值，这时我们需要用梯度下降法来迭代求解。但是实际上，我们可以反过来求解损失函数 -f(θ)的最大值，这时梯度上升法就派上用场了。

下面来详细总结下梯度下降法。

#  梯度下降法算法详解 #

##  梯度下降的直观解释 ##

首先来看看梯度下降的一个直观的解释。比如我们在一座大山上的某处位置，由于我们不知道怎么下山，于是决定走一步算一步，也就是在每走到一个位置的时候，求解当前位置的梯度，沿着梯度的负方向，也就是当前最陡峭的位置向下走一步，然后继续求解当前位置梯度，向这一步所在位置沿着最陡峭最易下山的位置走一步。这样一步步的走下去，一直走到觉得我们已经到了山脚。当然这样走下去，有可能我们不能走到山脚，而是到了某一个局部的山峰低处。   
从上面的解释可以看出，梯度下降不一定能够找到全局的最优解，有可能是一个局部最优解。当然，如果损失函数是凸函数，梯度下降法得到的解就一定是全局最优解。   
![这里写图片描述][SouthEast 1]

##  梯度下降的相关概念 ##

在详细了解梯度下降的算法之前，我们先看看相关的一些概念。

*  步长（Learning rate）：步长决定了在梯度下降迭代的过程中，每一步沿梯度负方向前进的长度。用上面下山的例子，步长就是在当前这一步所在位置沿着最陡峭最易下山的位置走的那一步的长度。
 *  特征（feature）：指的是样本中输入部分，比如样本（x0,y0）,（x1,y1）,则样本特征为x，样本输出为y。
 *  假设函数（hypothesis function）：在监督学习中，为了拟合输入样本，而使用的假设函数，记为hθ(x)。比如对于样本（xi,yi）(i=1,2,…n),可以采用拟合函数如下： hθ(x) = θ0+θ1x。
 *  损失函数（loss function）：为了评估模型拟合的好坏，通常用损失函数来度量拟合的程度。损失函数极小化，意味着拟合程度最好，对应的模型参数即为最优参数。在线性回归中，损失函数通常为样本输出和假设函数的差取平方。比如对于样本（xi,yi）(i=1,2,…n),采用线性回归，损失函数为：   
    ![这里写图片描述][SouthEast 2]   
    其中Xi表示样本特征x的第i个元素， Yi表示样本输出y的第i个元素，![这里写图片描述][SouthEast 3]为假设函数。

##  梯度下降的详细算法 ##

梯度下降法的算法可以有代数法和矩阵法（也称向量法）两种表示，如果对矩阵分析不熟悉，则代数法更加容易理解。不过矩阵法更加的简洁，且由于使用了矩阵，实现逻辑更加的一目了然。这里先介绍代数法，后介绍矩阵法。

###  3.3.1 代数方式描述 ###

![这里写图片描述][SouthEast 4]

![这里写图片描述][SouthEast 5]

###  3.3.2 梯度下降法的矩阵方式描述 ###

![这里写图片描述][SouthEast 6]

![这里写图片描述][SouthEast 7]

##  3.4 梯度下降的算法调优 ##

在使用梯度下降时，需要进行调优。哪些地方需要调优呢？

1.  算法的步长选择。在前面的算法描述中，我提到取步长为1，但是实际上取值取决于数据样本，可以多取一些值，从大到小，分别运行算法，看看迭代效果，如果损失函数在变小，说明取值有效，否则要增大步长。前面说了。步长太大，会导致迭代过快，甚至有可能错过最优解。步长太小，迭代速度太慢，很长时间算法都不能结束。所以算法的步长需要多次运行后才能得到一个较为优的值。
2.  算法参数的初始值选择。 初始值不同，获得的最小值也有可能不同，因此梯度下降求得的只是局部最小值；当然如果损失函数是凸函数则一定是最优解。由于有局部最优解的风险，需要多次用不同初始值运行算法，关键损失函数的最小值，选择损失函数最小化的初值。
3.  归一化。由于样本不同特征的取值范围不一样，可能导致迭代很慢，为了减少特征取值的影响，可以对特征数据归一化，也就是对于每个特征x，求出它的期望 ![这里写图片描述][SouthEast 8]和标准差std(x)，然后转化为：   
    ![这里写图片描述][SouthEast 9]

这样特征的新期望为0，新方差为1，迭代次数可以大大加快

##  4梯度下降法大家族（BGD，SGD，MBGD） ##

###  4.1 批量梯度下降法（Batch Gradient Descent） ###

批量梯度下降法，是梯度下降法最常用的形式，具体做法也就是在更新参数时使用所有的样本来进行更新，这个方法对应于前面3.3.1的线性回归的梯度下降算法，也就是说3.3.1的梯度下降算法就是批量梯度下降法。　   
![这里写图片描述][SouthEast 10]　   
由于我们有m个样本，这里求梯度的时候就用了所有m个样本的梯度数据。

###  4.2 随机梯度下降法（Stochastic Gradient Descent） ###

随机梯度下降法，其实和批量梯度下降法原理类似，区别在与求梯度时没有用所有的m个样本的数据，而是仅仅选取一个样本j来求梯度。对应的更新公式是：   
![这里写图片描述][SouthEast 11]   
随机梯度下降法，和4.1的批量梯度下降法是两个极端，一个采用所有数据来梯度下降，一个用一个样本来梯度下降。自然各自的优缺点都非常突出。对于训练速度来说，随机梯度下降法由于每次仅仅采用一个样本来迭代，训练速度很快，而批量梯度下降法在样本量很大的时候，训练速度不能让人满意。对于准确度来说，随机梯度下降法用于仅仅用一个样本决定梯度方向，导致解很有可能不是最优。对于收敛速度来说，由于随机梯度下降法一次迭代一个样本，导致迭代方向变化很大，不能很快的收敛到局部最优解。

那么，有没有一个中庸的办法能够结合两种方法的优点呢？有！这就是4.3的小批量梯度下降法。

###  4.3 小批量梯度下降法（Mini-batch Gradient Descent） ###

小批量梯度下降法是批量梯度下降法和随机梯度下降法的折衷，也就是对于m个样本，我们采用x个样子来迭代，1

#  梯度下降法和其他无约束优化算法的比较 #

在机器学习中的无约束优化算法，除了梯度下降以外，还有前面提到的最小二乘法，此外还有牛顿法和拟牛顿法。

梯度下降法和最小二乘法相比，梯度下降法需要选择步长，而最小二乘法不需要。梯度下降法是迭代求解，最小二乘法是计算解析解。如果样本量不算很大，且存在解析解，最小二乘法比起梯度下降法要有优势，计算速度很快。但是如果样本量很大，用最小二乘法由于需要求一个超级大的逆矩阵，这时就很难或者很慢才能求解解析解了，使用迭代的梯度下降法比较有优势。

梯度下降法和牛顿法/拟牛顿法相比，两者都是迭代求解，不过梯度下降法是梯度求解，而牛顿法/拟牛顿法是用二阶的海森矩阵的逆矩阵或伪逆矩阵求解。相对而言，使用牛顿法/拟牛顿法收敛更快。但是每次迭代的时间比梯度下降法长。

[SouthEast]: /images/20220516/85ac210d09f140a097b271ac0546b7ad.png
[SouthEast 1]: /images/20220516/86371b76374c4c3e9d3882421c572796.png
[SouthEast 2]: /images/20220516/de78d8dcae3242c7bd9bcc595d561cff.png
[SouthEast 3]: /images/20220516/d5da0db13bc84713a8b6decc233923dd.png
[SouthEast 4]: /images/20220516/265251cb1e564be78c869e6fa8fa7275.png
[SouthEast 5]: /images/20220516/d5009b240c934412a7618610cccee748.png
[SouthEast 6]: /images/20220516/34bcc540e31d4455a734651516494800.png
[SouthEast 7]: /images/20220516/a2fe48e13a7c4b04bf501c3803188652.png
[SouthEast 8]: /images/20220516/f6e5915ce7f84a4ba0fb3915e8494861.png
[SouthEast 9]: /images/20220516/c776a3bf0f9c406c95a1d033c66d349d.png
[SouthEast 10]: /images/20220516/d8af139c2c23431a85eb34c3ea13f215.png
[SouthEast 11]: /images/20220516/c3541f21276b4758bdef0634c5158ca5.png