优化算法Optimizer比较和总结

mypro334 · 发表于 2021-7-4 07:00

在花书深度学习第8章Optimization for Training Deep Models中对机器学习中的优化器有如下定义:

finding the parameters of a neural network that significantly reduce a cost function , which typically includes a performance measure evaluated on the entire training set as well as additional regularization terms

梯度下降法(Gradient Descent)

在微积分中，对多元函数的参数求偏导数，把求得的各个参数的导数以向量的形式写出来就是梯度。梯度就是函数变化最快的地方。梯度下降是迭代法的一种，在求解机器学习算法的模型参数时，即无约束问题时，梯度下降是最常采用的方法之一。顾名思义，梯度下降法的计算过程就是沿梯度下降的方向求解极小值，也可以沿梯度上升方向求解最大值。 假设模型参数为，损失函数为，损失函数关于参数的偏导数，也就是梯度为 $\triangledown _{\theta}J\left ( \theta \right )$ ，学习率为 ，则使用梯度下降法更新参数为：

$\\ \theta_{t+1} = \theta_{t} -\alpha \cdot \triangledown _{\theta}J\left ( \theta \right )$
梯度下降法目前主要分为三种方法,区别在于每次参数更新时计算的样本数据量不同：批量梯度下降法(BGD, Batch Gradient Descent)，随机梯度下降法(SGD, Stochastic Gradient Descent)及小批量梯度下降法(Mini-batch Gradient Descent)。
批量梯度下降法BGD

假设训练样本总数为n，样本为 $\left\{ \left( x^{1},y^{1} \right), \cdts, \left(x^{n}, y^{n}\right) \right\}$ ，模型参数为，损失函数为，在第i对样本 $\left ( x^{i},y^{i} \right )$ 上损失函数关于参数的梯度为 $\triangledown_{\theta}J_{i}\left(\theta, x^{i}, y^{i} \right)$ , 学习率为，则使用BGD更新参数为：

$\\ \theta_{t+1} = \theta_{t} -\alpha_{t} \cdot \frac{1}{n}\cdot \sum_{i=1}^{n} \triangledown_{\theta}J_{i}\left(\theta, x^{i}, y^{i} \right)$
由上式可以看出，每进行一次参数更新，需要计算整个数据样本集，因此导致批量梯度下降法的速度会比较慢，尤其是数据集非常大的情况下，收敛速度就会非常慢，但是由于每次的下降方向为总体平均梯度，它得到的会是一个全局最优解。
随机梯度下降法SGD

随机梯度下降法，不像BGD每一次参数更新，需要计算整个数据样本集的梯度，而是每次参数更新时，仅仅选取一个样本 $\left ( x^{i},y^{i}\right )$ 计算其梯度，参数更新公式为：

$\\ \theta_{t+1} = \theta_{t} -\alpha \cdot \triangledown_{\theta}J_{i}\left(\theta, x^{i}, y^{i} \right)$
可以看到BGD和SGD是两个极端，SGD由于每次参数更新仅仅需要计算一个样本的梯度，训练速度很快，即使在样本量很大的情况下，可能只需要其中一部分样本就能迭代到最优解，由于每次迭代并不是都向着整体最优化方向，导致梯度下降的波动非常大，更容易从一个局部最优跳到另一个局部最优，准确度下降。
小批量梯度下降法

小批量梯度下降法就是结合BGD和SGD的折中，对于含有n个训练样本的数据集，每次参数更新，选择一个大小为m $\left ( m < n \right )$ 的mini-batch数据样本计算其梯度，其参数更新公式如下：

$\\ \theta_{t+1} = \theta_{t} -\alpha \cdot \frac{1}{m} \cdot \sum_{i=x}^{i=x+m-1} \cdot \triangledown_{\theta}J_{i}\left(\theta, x^{i}, y^{i} \right)$
小批量梯度下降法即保证了训练的速度，又能保证最后收敛的准确率，目前的SGD默认是小批量梯度下降算法。
optimizer = tf.train.GradientDescentOptimizer(learning_rate)
train_op = optimizer.minimize(loss, global_step=global_step)SGD缺点：

动量优化法

动量优化方法引入物理学中的动量思想，加速梯度下降，有Momentum和Nesterov两种算法。当我们将一个小球从山上滚下来，没有阻力时，它的动量会越来越大，但是如果遇到了阻力，速度就会变小，动量优化法就是借鉴此思想，使得梯度方向在不变的维度上，参数更新变快，梯度有所改变时，更新参数变慢，这样就能够加快收敛并且减少动荡。
Momentum

momentum算法思想：参数更新时在一定程度上保留之前更新的方向，同时又利用当前batch的梯度微调最终的更新方向，简言之就是通过积累之前的动量来加速当前的梯度。假设  表示t时刻的动量， $\mu$ 表示动量因子，通常取值0.9或者近似值，在SGD的基础上增加动量，则参数更新公式如下：

$\\ m_{t+1}=\mu \cdot m_{t} + \alpha \cdot \triangledown_{\theta} J \left(\theta \right) \\ \theta_{t+1}=\theta_{t} - m_{t+1}$
在梯度方向改变时，momentum能够降低参数更新速度，从而减少震荡；在梯度方向相同时，momentum可以加速参数更新，从而加速收敛。总而言之，momentum能够加速SGD收敛，抑制震荡。
NAG（Nesterov accelerated gradient）

momentum保留了上一时刻的梯度  ，对其没有进行任何改变，NAG是momentum的改进，在梯度更新时做一个矫正，具体做法就是在当前的梯度  上添加上一时刻的动量 $\mu \cdot m_{t}$ ，梯度改变为 $\triangledown_{\theta} J \left(\theta - \mu \cdot m_{t}\right)$ 。

$\\ m_{t+1}=\mu \cdot m_{t} + \alpha \cdot \triangledown_{\theta} J \left(\theta - \mu \cdot m_{t} \right) \\ \theta_{t+1}=\theta_{t} - m_{t+1}$
加上nesterov项后，梯度在大的跳跃后，进行计算对当前梯度进行校正。下图是momentum和nesterrov的对比表述图：
momentum首先计算一个梯度(短的蓝色向量)，然后在加速更新梯度的方向进行一个大的跳跃(长的蓝色向量)，nesterov项首先在之前加速的梯度方向进行一个大的跳跃(棕色向量)，计算梯度然后进行校正(绿色梯向量)
自适应学习率优化算法

在机器学习中，学习率是一个非常重要的超参数，但是学习率是非常难确定的，虽然可以通过多次训练来确定合适的学习率，但是一般也不太确定多少次训练能够得到最优的学习率，玄学事件，对人为的经验要求比较高，所以是否存在一些策略自适应地调节学习率的大小，从而提高训练速度。目前的自适应学习率优化算法主要有：AdaGrad算法，RMSProp算法，Adam算法以及AdaDelta算法。
AdaGrad

定义参数：全局学习率$\delta$，一般会选择 $\delta=0.01$ ; 一个极小的常量  ，通常取值10e-8,目的是为了分母为0; 梯度加速变量(gradient accumulation variable) $r$ 。

$\\ g \leftarrow \triangledown_{\theta} J \left(\theta \right) \\ r \leftarrow r + g^{2} \\ \triangle \theta \leftarrow \frac{\delta }{\sqrt{r + \epsilon}}\cdot g \\ \theta \leftarrow \theta - \triangle \theta$
从上式可以看出，梯度加速变量r为t时刻前梯度的平方和 $r = \sum_{i=1}^{t} g_{i}^{2}$ , 那么参数更新量 $\triangle \theta=\delta \cdot \frac{1}{\sqrt{\sum_{i=1}^{t}g_{i}^{2} + \delta}} \cdot g$ ，将 $\frac{1}{\sqrt{\sum_{i=1}^{t}g_{i}^{2} + \delta}}$ 看成一个约束项regularizer. 在前期，梯度累计平方和比较小，也就是r相对较小，则约束项较大，这样就能够放大梯度, 参数更新量变大; 随着迭代次数增多，梯度累计平方和也越来越大，即r也相对较大，则约束项变小，这样能够缩小梯度，参数更新量变小。
缺点：

Adadelta

Adagrad会累加之前所有的梯度平方，而Adadelta只累加固定大小的项，并且也不直接存储这些项，仅仅是近似计算对应的平均值

$g \leftarrow \triangledown_{\theta} \\ J \left(\theta \right) \ n_{t} \leftarrow v \cdot n_{t-1} + \left(1 -v \right) \cdot g_{t}^{2} \\ \theta_{t+1} = \theta_{t} - \frac{\delta}{\sqrt{n_{t} + \epsilon}} \cdot g_{t}$
从上式中可以看出，Adadelta其实还是依赖于全局学习率，但是作者做了一定处理，经过近似牛顿迭代法之后

$E \left[ g^{2}\right]_{t} \leftarrow \rho \cdot E \left[ g^{2}\right]_{t-1}+ \left(1 - \rho \right) \cdot g_{t}^{2} \\ \triangle \theta \leftarrow \frac{\sum_{i=1}^{t-1} \triangle \theta_{r}}{\sqrt{E \left[ g^{2}\right]_{t} + \epsilon}}$
此时可以看出Adadelta已经不依赖全局learning rate了。
特点：

RMSprop

RMSProp算法修改了AdaGrad的梯度平方和累加为指数加权的移动平均，使得其在非凸设定下效果更好。设定参数：全局初始率 , 默认设为0.001; decay rate $\rho$ ,默认设置为0.9,一个极小的常量，通常为10e-6

$g \leftarrow \triangledown_{\theta} J \left(\theta \right) \\ E \left[ g^{2}\right]_{t} \leftarrow \rho \cdot E \left[ g^{2}\right]_{t-1}+ \left(1 - \rho \right) \cdot g_{t}^{2} \\ \triangle \theta \leftarrow \frac{\delta }{\sqrt{E \left[ g^{2}\right]_{t} + \epsilon}}\cdot g \\ \theta \leftarrow \theta - \triangle \theta$
特点：

Adam: Adaptive Moment Estimation

Adam中动量直接并入了梯度一阶矩（指数加权）的估计。其次，相比于缺少修正因子导致二阶矩估计可能在训练初期具有很高偏置的RMSProp，Adam包括偏置修正，修正从原点初始化的一阶矩（动量项）和（非中心的）二阶矩估计。默认参数值设定为： $\beta_{1} = 0.9, \beta_{2} = 0.999, \epsilon=10^{-8}$

$g \leftarrow \triangledown_{\theta} \\ J \left(\theta \right) \ m_{t} \leftarrow \beta_{1} \cdot m_{t-1} + \left(1 - \beta_{1} \right) \cdot g_{t} \\ v_{t} \leftarrow \beta_{2} \cdot v_{t-1} + \left( 1 - \beta_{2} \right) \cdot g_{t}^{2} \\ \hat{m}{t} \leftarrow \frac{m{t}}{1 - \beta_{1}^{t}} \\ \hat{v}{t} \leftarrow \frac{v{t}}{1 - \beta_{2}^{t}} \\ \theta_{t+1} = \theta_{t} - \frac{\delta}{\epsilon + \sqrt{\hat{v_{t}}}} \cdot \hat{m}_{t}$
其中， ，分别是对梯度的一阶矩估计和二阶矩估计； $\hat{m}_{t}$ ， $\hat{n}_{t}$ 是对，的偏差校正，这样可以近似为对期望的无偏估计
特点：

算法的表现

下图是各个算法在等高线的表现，它们都从相同的点出发，走不同的路线达到最小值点。可以看到，Adagrad，Adadelta和RMSprop在正确的方向上很快地转移方向，并且快速地收敛，然而Momentum和NAG先被领到一个偏远的地方，然后才确定正确的方向，NAG比momentum率先更正方向。SGD则是缓缓地朝着最小值点前进。

参考文献：

闲鱼技术01 · 发表于 2021-7-4 07:09

你好，请教什么是“非平稳目标”？？

fwalker · 发表于 2021-7-4 07:12

NAG的图没有看懂作者可以再详细解释下嘛

fwalker · 发表于 2021-7-4 07:17

梯度就是函数变化最快的地方？是我理解错了么还是我没看懂。。。

Ylisar · 发表于 2021-7-4 07:19

bgd 公式是不是写错了，应该再对和做个均值处理的呀(1/m)

maltadirk · 发表于 2021-7-4 07:26

RMSprop公式有错误吧，应该是\theta = \theta-\Delta \theta 吧，减号而不是加号

Ylisar · 发表于 2021-7-4 07:35

“目的是为了分母为0” 应该是为了不让分母为0吧
[不抬杠]

Ilingis · 发表于 2021-7-4 07:40

非平稳指的是包含周期性的

Ylisar · 发表于 2021-7-4 07:43

文章会存在一些小错误，我会及时改正。

LiteralliJeff · 发表于 2021-7-4 07:48

请问最后这种各算法的动态对比图怎么绘制的呢

		自动登录	找回密码
密码			立即注册

优化算法Optimizer比较和总结

本帖子中包含更多资源