神经网络入门（一）

神经网络入门（一）

在学习神经网络之前，你可能需要一点机器学习的基础。其中机器学习的相关内容可以参考：超级简单的机器学习入门

人工神经网络（Artificial Neural Network，ANN）模拟了生物神经网络，构建人工神经元，并按照一定拓扑结构来建立人工神经元之间的连接．

神经网络一般可以看作一个非线性模型，其基本组成单元为具有非线性激活函数的神经元，大量神经元之间相互连接，神经元之间的连接权重就是需要学习的参数。误差反向传播机制大大提高了神经网络的学习能力，基于此可以在机器学习的框架下通过梯度下降方法来进行学习。

1. 神经元

1）神经元是构成神经网络的基本单元，用来接收一组输入信号并产生输出．

• 其中MP神经元是比较原始基础的神经元。

• 特点：MP 神经元中的激活函数为0或1的阶跃函数，而现代神经元中的激活函数通常要求是连续可导的函数．

2）假设一个神经元接收 个输入$x_1,x_2,\cdots ,x_D$，令向量$\mathbf{x}=[x_1;x_2;\cdots ;x_D]$来表示这组输入，并用净输入 ∈ ℝ 表示一个神经元所获得的输入信号的加权和。

其计算公式如下：
$$\begin{array}{rl}z& =\sum _{d=1}^D{w}_d{x}_d+b\\ & ={\mathbf{w}}^{\top }\mathbf{x}+b\end{array}$$

• 其中 $\mathbf{w}=[w_1;w_2;\cdots ;w_D]\in R$， 是 维的权重向量， ∈ ℝ 是偏置．
  
  

3）净输入在经过一个非线性函数(⋅)后，得到神经元的活性值 ，
$$a=f(z)$$

• 其中非线性函数(⋅)称为激活函数．激活函数的具体介绍可以看下一小节。

4）一个典型的神经元结构示例

2. 网络结构

单一的神经元是远远不够完成复杂的功能，需要通过很多神经元一起协作．这样通过一定的连接方式或信息传递方式进行协作的神经元可以看作一个网络，就是神经网络．

目前常用的神经网络有三种

1）前馈网络

• 前馈网络中各个神经元按接收信息的先后分为不同的组．每一组可以看作一个神经层．每一层中的神经元接收前一层神经元的输出，并输出到下一层神经元．
• 整个网络中的信息是朝一个方向传播，没有反向的信息传播，可以用一个有向无环路图表示．
• 前馈网络包括全连接前馈网络和卷积神经网络等．
• 前馈网络可以看作一个函数，通过简单非线性函数的多次复合，实现输入空间到输出空间的复杂映射．这种网络结构简单，易于实现．

2）记忆网络

• 记忆网络，也称为反馈网络，网络中的神经元不但可以接收其他神经元的信息，也可以接收自己的历史信息
• 和前馈网络相比，记忆网络中的神经元具有记忆功能，在不同的时刻具有不同的状态．
• 记忆神经网络中的信息传播可以是单向或双向传递，因此可用一个有向循环图或无向图来表示．
• 记忆网络包括循环神经网络、Hopfield 网络、玻尔兹曼机、受限玻尔兹曼机等．

3）图网络

• 前馈网络和记忆网络的输入都可以表示为向量或向量序列．但实际应用中很多数据是图结构的数据，比如知识图谱、社交网络、分子网络等．
• 图网络节点之间的连接可以是有向的，也可以是无向的．每个节点可以收到来自相邻节点或自身的信息．
• 图网络是前馈网络和记忆网络的泛化，包含很多不同的实现方式，比如图卷积网络、图注意力网络、消息传递神经网络等．

4）三种网络结构的对比

3. 激活函数

2.1 激活函数的作用与性质

1）激活函数在神经元中非常重要的．可以增强网络的表示能力和学习能力

• 如果没有激活函数，那么神经网络只能表达线性映射，此刻即便是有再多的隐藏层，其整个网络和单层的神经网络都是等价的

激活函数需要具备以下几点性质：

1. 连续并可导（允许少数点上不可导）的非线性函数．
2. 激活函数及其导函数要尽可能的简单，有利于提高网络计算效率．
3. 激活函数的导函数的值域要在一个合适的区间内，不能太大也不能太小，否则会影响训练的效率和稳定性．

以下是几种常见的激活函数。

2.2 Sigmoid型函数

Sigmoid 型函数是指一类 S 型曲线函数，为两端饱和函数．常用的 Sigmoid型函数有Logistic函数和Tanh函数．

对于函数 ()，若 → −∞ 时，其导数 ′() → 0，则称其为左饱和．若 → +∞时，其导数′() → 0，则称其为右饱和．当同时满足左、右饱和时，就称为两端饱和．

1. Logistic函数 Logistic函数定义为：
   $$\sigma (x)=\frac{1}{1+\exp (-x)}$$

• 当输入值在0附近时，Sigmoid型函数近似为线性函数；当输入值靠近两端时对输入进行抑制．输入越小，越接近 0；输入越大，越接近 1．
• 和感知器使用的阶跃激活函数相比，Logistic函数是连续可导的，其数学性质更好．

2. Tanh函数 Tanh函数也是一种Sigmoid型函数．其定义为：

$$\tanh (x)=\frac{\exp (x)-\exp (-x)}{\exp (x)+\exp (-x)}$$

Tanh函数 可以看作放大并平移的 Logistic函数，其值域是(−1, 1)。以下是 Tanh函数 与 Logistic函数的相互转化公式

$$\tanh (x)=2\sigma (2x)-1$$

3. 以下是 Tanh函数 和 Logistic函数 的对比
   

• Tanh函数的输出是零中心化的，而 Logistic 函数的输出恒大于 0．
• 非零中心化的输出会使得其后一层的神经元的输入发生偏置偏移，并进一步使得梯度下降的收敛速度变慢．

2.3 Hard-Logistic函数和 Hard-Tanh函数

Logistic函数 和 Tanh函数 在中间（0附近）近似线性，两端饱和，计算开销较大。因此，这两个函数可以通过分段函数来近似．

• 以 Logistic 函数 () 为例，其导数为 ′() = ()(1 − ())．Logistic 函数在0附近的一阶泰勒展开为
  $$\begin{array}{rl}{g}_l(x)& \approx \sigma (0)+x\times {\sigma }^{\prime }(0)\\ & =0.25x+0.5\end{array}$$

• 这样Logistic函数可以用 分段函数 hard-logistic()来近似．
  $$\begin{array}{rl}\mathrm{hard}-\mathrm{logistic}(x)& =\{\begin{array}{ll}1& g_l(x)\ge 1\\ g_l& 0<g_l(x)<1\\ 0& g_l(x)\le 0\end{array}\\ & =\max \left(\min \left(g_l(x),1\right),0\right)\\ & =\max (\min (0.25x+0.5,1),0)\end{array}$$

• 同样，Tanh函数在0附近的一阶泰勒展开为
  $$g_t(x)\approx \tanh (0)+x\times {\tanh }^{\prime }(0)=x,$$

• 这样 Tanh函数 也可以用 分段函数 hard-tanh()来近似．
  $$\begin{array}{rl}\mathrm{hard}-\tanh (x)& =\max \left(\min \left(g_t(x),1\right),-1\right)\\ & =\max (\min (x,1),-1)\end{array}$$

• 以下是Hard-Logistic函数和Hard-Tanh函数的形状．
  
  
  

2.4 ReLU函数

ReLU 是目前深度神经网络中经常使用的激活函数，其定义为：
$$\begin{array}{rl}\mathrm{ReLU}(x)& =\{\begin{array}{ll}x& x\ge 0\\ 0& x<0\end{array}\\ & =\max (0,x)\end{array}$$其图像为：

优点

• 采用 ReLU 的神经元只需要进行加、乘和比较的操作，没有指数函数等影响，计算上更加高效．
• 更加有效率的梯度下降以及反向传播，避免了梯度爆炸（梯度接近于无穷）和梯度消失（梯度接近于0）问题;
• ReLU 具有很好的稀疏性，大约50%的神经元会处于激活状态．

缺点：

• 输出不是0对称
• 由于小于0的时候激活函数值为0，梯度为0，所以存在一部分神经元永远不会得到更新

解决方案：

在实际使用中，为了避免上述情况，有几种ReLU的变种也会被广泛使用．

1. 带泄露的ReLU：在输入 < 0时，保持一个很小的梯度 $\gamma$（往往小于1）
$$\begin{array}{rl}\mathrm{LeakyReLU}(x)& =\{\begin{array}{ll}x& \text{ if }x>0\\ \gamma x& \text{ if }x\le 0\end{array}\\ & =\max (0,x)+\gamma \min (0,x)\\ & =\max (x,\gamma x)\end{array}$$

2.带参数的ReLU：引入一个可学习的参数，不同神经元可以有不同的参数。对于第 个神经元，其 PReLU 的定义为:
$$\begin{array}{rl}{\mathrm{PReLU}}_i(x)& =\{\begin{array}{ll}x& \text{ if }x>0\\ {\gamma }_{i}x& \text{ if }x\le 0\end{array}\\ & =\max (0,x)+{\gamma }_i\min (0,x),\end{array}$$

• 如果 $y_i=0$，那么PReLU就退化为ReLU．如果 $y_i$ 为一个很小的常数，则PReLU可以看作带泄露的ReLU。

3.ELU函数：一个近似的零中心化的非线性函数
$$\begin{array}{rl}\mathrm{ELU}(x)& =\{\begin{array}{ll}x& \text{ if }x>0\\ \gamma (\exp (x)-1)& \text{ if }x\le 0\end{array}\\ & =\max (0,x)+\min (0,\gamma (\exp (x)-1))\end{array}$$

4.Softplus 函数：可以看作 ReLU 函数的平滑版本，其定义为

$$\text{ Softplus }(x)=\log (1+\exp (x))\text{. }$$

5.不同ReLU函数的对比

2.5 常见的激活函数及其导数

激活函数	函数	导数
Logistic 函数	$f(x)=\frac{1}{1+\exp (-x)}$	$f^{\prime }(x)=f(x)(1-f(x))$
Tanh 函数	$f(x)=\frac{\exp (x)-\exp (-x)}{\exp (x)+\exp (-x)}$	$f^{\prime }(x)=1-f(x{)}^2$
ReLU 函数	$f(x)=\max (0,x)$	$f^{\prime }(x)=I(x>0)$
ELU 函数	$f(x)=\max (0,x)+\min (0,\gamma (\exp (x)-1))$	$f^{\prime }(x)=I(x>0)+I(x\le 0)\cdot \gamma \exp (x)$
SoftPlus 函数	$f(x)=\log (1+\exp (x))$	$f^{\prime }(x)=\frac{1}{1+\exp (-x)}$

4. 前馈神经网络

4.1 前馈神经网络简介

前馈神经网络（Feedforward Neural Network，FNN）是最早发明的简单人工神经网络。

• 在前馈神经网络中，各神经元分别属于不同的层．每一层的神经元可以接收前一层神经元的信号，并产生信号输出到下一层．
• 第0层称为输入层，最后一层称为输出层，其他中间层称为隐藏层．
• 整个网络中无反馈，信号从输入层向输出层单向传播，可用一个有向无环图表示．

前馈神经网络的图示

前馈神经网络的记号

记号	含义
$L$	神经网络的层数
$M_l$	第 层神经元的个数
$f_l(\cdot )$	第 层神经元的激活函数
${\mathbf{W}}^{(l)}\in {\mathbb{R}}^{M_l\times M_{l-1}}$	第 − 1层到第 层的权重矩阵
${\mathbf{b}}^{(l)}\in {\mathbb{R}}^{M_l}$	第 − 1层到第 层的偏置
${\mathbf{z}}^{(l)}\in {\mathbb{R}}^{M_l}$	第 层神经元的净输入（净活性值）
${\mathbf{a}}^{(l)}\in {\mathbb{R}}^{M_l}$	第 层神经元的输出（活性值）

令(0) = ，前馈神经网络通过不断迭代下面公式进行信息传播：
$$\begin{array}{rl}{\mathbf{z}}^{(l)}& ={\mathbf{W}}^{(l)}{\mathbf{a}}^{(l-1)}+{\mathbf{b}}^{(l)}\\ {\mathbf{a}}^{(l)}& =f_l\left({\mathbf{z}}^{(l)}\right)\end{array}$$

• 首先根据第−1层神经元的活性值 (−1) 计算出第层神经元的净活性值 ()，然后经过一个激活函数得到第 层神经元的活性值
• 整个网络呈如下迭代：
  $$\mathbf{x}={\mathbf{a}}^{(0)}\to {\mathbf{z}}^{(1)}\to {\mathbf{a}}^{(1)}\to {\mathbf{z}}^{(2)}\to \cdots \to {\mathbf{a}}^{(L-1)}\to {\mathbf{z}}^{(L)}\to {\mathbf{a}}^{(L)}=\varphi (\mathbf{x};\mathbf{W},\mathbf{b})$$

4.2 参数学习

损失函数：
$$\mathcal{L}(\mathbf{y},\hat{\mathbf{y}})=-{\mathbf{y}}^{\top }\log \hat{\mathbf{y}}$$

结构化风险函数：
$$\mathcal{R}(\mathbf{W},\mathbf{b})=\frac{1}{N}\sum _{n=1}^N\mathcal{L}\left({\mathbf{y}}^{(n)},{\hat{\mathbf{y}}}^{(n)}\right)+\frac{1}{2}\lambda \Vert \mathbf{W}{\Vert }_F^2$$

在梯度下降方法的每次迭代中，第 层的参数${\mathbf{W}}^{(l)}$ 和${\mathbf{b}}^{(l)}$ 参数更新方式为：
$$\begin{array}{rl}{\mathbf{W}}^{(l)}& \leftarrow {\mathbf{W}}^{(l)}-\alpha \frac{\partial \mathcal{R}(\mathbf{W},\mathbf{b})}{\partial {\mathbf{W}}^{(l)}}\\ & ={\mathbf{W}}^{(l)}-\alpha \left(\frac{1}{N}\sum _{n=1}^N\left(\frac{\partial \mathcal{L}\left({\mathbf{y}}^{(n)},{\hat{\mathbf{y}}}^{(n)}\right)}{\partial {\mathbf{W}}^{(l)}}\right)+\lambda {\mathbf{W}}^{(l)}\right),\\ & \\ {\mathbf{b}}^{(l)}& \leftarrow {\mathbf{b}}^{(l)}-\alpha \frac{\partial \mathcal{R}(\mathbf{W},\mathbf{b})}{\partial {\mathbf{b}}^{(l)}}\\ & ={\mathbf{b}}^{(l)}-\alpha \left(\frac{1}{N}\sum _{n=1}^N\frac{\partial \mathcal{L}\left({\mathbf{y}}^{(n)},{\hat{\mathbf{y}}}^{(n)}\right)}{\partial {\mathbf{b}}^{(l)}}\right),\end{array}$$

• 梯度下降法需要计算损失函数对参数的偏导数，如果通过链式法则逐一对每个参数进行求偏导比较低效．
• 在神经网络的训练中经常使用反向传播算法来高效地计算梯度

5. 反向传播算法

5.1 链式法则

$$\begin{array}{l}\frac{\partial \mathcal{L}(\mathbf{y},\hat{\mathbf{y}})}{\partial w_{ij}^{(l)}}=\frac{\partial {\mathbf{z}}^{(l)}}{\partial w_{ij}^{(l)}}\frac{\partial \mathcal{L}(\mathbf{y},\hat{\mathbf{y}})}{\partial {\mathbf{z}}^{(l)}},\\ \\ \frac{\partial \mathcal{L}(\mathbf{y},\hat{\mathbf{y}})}{\partial {\mathbf{b}}^{(l)}}=\frac{\partial {\mathbf{z}}^{(l)}}{\partial {\mathbf{b}}^{(l)}}\frac{\partial \mathcal{L}(\mathbf{y},\hat{\mathbf{y}})}{\partial {\mathbf{z}}^{(l)}}\end{array}$$

5.2 计算各项

（1）计算偏导数$\frac{\partial {\mathbf{z}}^{(l)}}{\partial w_{ij}^{(l)}}$，因为${\mathbf{z}}^{(l)}={\mathbf{W}}^{(l)}{\mathbf{a}}^{(l-1)}+{\mathbf{b}}^{(l)}$

$$\begin{array}{rl}\frac{\partial {\mathbf{z}}^{(l)}}{\partial w_{ij}^{(l)}}& =\left[\frac{\partial z_1^{(l)}}{\partial w_{ij}^{(l)}},\cdots ,\frac{\partial z_i^{(l)}}{\partial w_{ij}^{(l)}},\cdots ,\frac{\partial z_{M_l}^{(l)}}{\partial w_{ij}^{(l)}}\right]\\ & \\ & =\left[0,\cdots ,\frac{\partial \left({\mathbf{w}}_{i:}^{(l)}{\mathbf{a}}^{(l-1)}+b_i^{(l)}\right)}{\partial w_{ij}^{(l)}},\cdots ,0\right]\\ & \\ & =\left[0,\cdots ,a_j^{(l-1)},\cdots ,0\right]\\ & \\ & \triangleq []\left(a_j^{(l-1)}\right)\in {\mathbb{R}}^{1\times M_l},\end{array}$$

• 其中$w_i^{(l)}$∶ 为权重矩阵${\mathbf{W}}^{(l)}$ 的第 行，$[]\left(a_j^{(l-1)}\right)$表示第 个元素为$\left(a_j^{(l-1)}\right)$ ，其余为0的行向量．

（2）计算偏导数 $\frac{\partial {\mathbf{z}}^{(l)}}{\partial {\mathbf{b}}^{(l)}}$ 因为 ${\mathbf{z}}^{(l)}$ 和 ${\mathbf{b}}^{(l)}$ 的函数关系为 ${\mathbf{z}}^{(l)}={\mathbf{W}}^{(l)}{\mathbf{a}}^{(l-1)}+{\mathbf{b}}^{(l)}$
$$\frac{\partial {\mathbf{z}}^{(l)}}{\partial {\mathbf{b}}^{(l)}}={\mathbf{I}}_{M_l}\in {\mathbb{R}}^{M_l\times M_l}$$

• 为$M_l\times M_l$ 的单位矩阵．

（3）计算偏导数$\frac{\partial \mathcal{L}(\mathbf{y},\hat{\mathbf{y}})}{\partial {\mathbf{z}}^{(l)}}$. 偏导数 $\frac{\partial \mathcal{L}(\mathbf{y},\hat{\mathbf{y}})}{\partial {\mathbf{z}}^{(l)}}$表示第层神经元对最终损失的影响，因此一般称为第 层神经元的误差项，用 ${\delta }^{(l)}$ 来表示．

• 误差项 ${\delta }^{(l)}$ 也间接反映了不同神经元对网络能力的贡献程度，从而比较好地解决了贡献度分配问题

• 根据链式法则，第 层的误差项为
  $$\begin{array}{rl}{\delta }^{(l)}& \triangleq \frac{\partial \mathcal{L}(\mathbf{y},\hat{\mathbf{y}})}{\partial {\mathbf{z}}^{(l)}}\\ & =\frac{\partial {\mathbf{a}}^{(l)}}{\partial {\mathbf{z}}^{(l)}}\cdot \frac{\partial {\mathbf{z}}^{(l+1)}}{\partial {\mathbf{a}}^{(l)}}\cdot \frac{\partial \mathcal{L}(\mathbf{y},\hat{\mathbf{y}})}{\partial {\mathbf{z}}^{(l+1)}}\\ & =\mathrm{diag}\left(f_l^{\prime }\left({\mathbf{z}}^{(l)}\right)\right)\cdot {\left({\mathbf{W}}^{(l+1)}\right)}^{\top }\cdot {\delta }^{(l+1)}\\ & =f_l^{\prime }\left({\mathbf{z}}^{(l)}\right)\odot \left({\left({\mathbf{W}}^{(l+1)}\right)}^{\top }{\delta }^{(l+1)}\right)\in {\mathbb{R}}^{M_l},\end{array}$$

• 其中⊙是向量的点积运算符，表示每个元素相乘．

• 第 层的误差项可以通过第 + 1层的误差项计算得到，这就是误差的反向传播．

• 第 层的一个神经元的误差项是所有与该神经元相连的第 + 1 层的神经元的误差项的权重和，再乘上该神经元激活函数的梯度．

因此，$\mathcal{L}(\mathbf{y},\hat{\mathbf{y}})$ 关于第 层权重 ${\mathbf{W}}^{(l)}$ 的梯度为
$$\frac{\partial \mathcal{L}(\mathbf{y},\hat{\mathbf{y}})}{\partial {\mathbf{W}}^{(l)}}={\delta }^{(l)}{\left({\mathbf{a}}^{(l-1)}\right)}^{\top }\in {\mathbb{R}}^{M_l\times M_{l-1}}$$

同理，$\mathcal{L}(\mathbf{y},\hat{\mathbf{y}})$ 关于第 层偏置 ${\mathbf{b}}^{(l)}$ 的梯度为
$$\frac{\partial \mathcal{L}(\mathbf{y},\hat{\mathbf{y}})}{\partial {\mathbf{b}}^{(l)}}={\delta }^{(l)}\in {\mathbb{R}}^{M_l}$$

5.3 算法步骤

因此，使用误差反向传播算法的前馈神经网络训练过程可以分为以下三步：

（1） 前馈计算每一层的净输入 ${\mathbf{z}}^{(l)}$ 和激活值${\mathbf{a}}^{(l)}$，直到最后一层；

（2） 反向传播计算每一层的误差项 ${\delta }^{(l)}$；

（3） 计算每一层参数的偏导数，并更新参数．

输入: 训练集,验证集,学习率, 正则化系数,网络层数,神经元数量 $M_l$, 1 ≤ ≤ .
随机初始化 , ;
 
repeat
  对训练集 中的样本随机重排序
  for = 1 ⋯ do
    从训练集 中选取样本$({\mathbf{x}}^{(n)},y^{(n)})$
    前馈计算每一层的净输入${\mathbf{z}}^{(l)}$ 和激活值${\mathbf{a}}^{(l)}$，直到最后一层;
    反向传播计算每一层的误差${\delta }^{(l)}$;
 
    // 计算每一层参数的导数
 
    $\forall l,\frac{\partial \mathcal{L}\left({\mathbf{y}}^{(n)},{\hat{\mathbf{y}}}^{(n)}\right)}{\partial W^{(l)}}={\delta }^{(l)}{\left({\mathbf{a}}^{(l-1)}\right)}^{\top }$
    
    $\forall l,\frac{\partial \mathcal{L}\left({\mathbf{y}}^{(n)},{\hat{\mathbf{y}}}^{(n)}\right)}{\partial {\mathbf{b}}^{(l)}}={\delta }^{(l)}$
    
    // 更新参数
    
    ${\mathbf{W}}^{(l)}\leftarrow {\mathbf{W}}^{(l)}-\alpha \left({\delta }^{(l)}{\left({\mathbf{a}}^{(l-1)}\right)}^{\top }+\lambda {\mathbf{W}}^{(l)}\right)$
    
    ${\mathbf{b}}^{(l)}\leftarrow {\mathbf{b}}^{(l)}-\alpha {\delta }^{(l)}$
 end
until 神经网络模型在验证集 上的错误率不再下降;
 
输出: , $b$

5.4 优化问题

神经网络的参数学习比线性模型要更加困难，主要原因有两点：

• 非凸优化问题

神经网络的优化问题是一个非凸优化问题．

• 以一个最简单的1-1-1结构的两层神经网络为例，
  $$y=\sigma \left(w_2\sigma \left(w_{1}x\right)\right)$$
• 其中 $w_1$ 和 $w_2$ 为网络参数，(⋅)为Logistic函数．
• 通过图可以看出，平方误差和交叉熵损失函数都是关于参数的非凸函数
   
  

• 梯度消失问题

梯度消失问题：
Sigmoid 型函数饱和区的导数接近于 0．误差经过每一层传递都会不断衰减．当网络层数很深时，梯度就会不停衰减，甚至消失，使得整个网络很难训练．
 

6. 自动梯度计算

因为手动用链式法则来计算风险函数对每个参数的梯度非常琐碎并容易出错，导致实现神经网络变得十分低效．实际上，参数的梯度可以让计算机来自动计算．

主流的深度学习框架都包含了自动梯度计算的功能，自动计算梯度的方法可以分为以下三类：数值微分、符号微分和自动微分．

6.1 数值微分

数值微分是用数值方法来计算函数()的导数．函数()的点的导数定义为
$$f^{\prime }(x)=\underset{\Delta x\to 0}{\lim }\frac{f(x+\Delta x)-f(x)}{\Delta x}$$

数值微分方法非常容易实现，但找到一个合适的扰动 Δ 却十分困难．
 
如果 Δ 过小，会引起数值计算问题，比如舍入误差；如果Δ 过大，会增加截断误差，使得导数计算不准确．
 
因此，数值微分的实用性比较差．

• 在实际应用，经常使用下面公式来计算梯度，可以减少截断误差．

$$f^{\prime }(x)=\underset{\Delta x\to 0}{\lim }\frac{f(x+\Delta x)-f(x-\Delta x)}{2\Delta x}.$$

数值微分的另外一个问题是计算复杂度．假设参数数量为，则每个参数都需要单独施加扰动，并计算梯度．
 
假设每次正向传播的计算复杂度为()，则计算数值微分的总体时间复杂度为(^2)．

6.2 符号微分

符号微分是一种基于符号计算的自动求导方法．即将数值代入数学表示中进行计算．符号计算也叫代数计算.

这里的变量被看作符号，一般不需要代入具体的值．

符号计算的输入和输出都是数学表达式，一般包括对数学表达式的化简、因式分解、微分、积分、解代数方程、求解常微分方程等运算．

6.3 自动微分

自动微分是一种可以对一个（程序）函数进行计算导数的方法．

自动微分的基本原理是所有的数值计算可以分解为一些基本操作，包含+, −, ×, / 和一些初等函数 exp, log,sin, cos 等，然后利用链式法则来自动计算一个复合函数的梯度．

例：令复合函数(; , )为

$$f(x;w,b)=\frac{1}{\exp (-(wx+b))+1}$$

其计算图为：

前向模式和反向模式可以看作应用链式法则的两种梯度累积方式．

• 对于一般的函数形式 ∶ ${\mathbb{R}}^N\to {\mathbb{R}}^M$，前向模式需要对每一个输入变量都进行一遍遍历，共需要 遍．
• 而反向模式需要对每一个输出都进行一个遍历，共需要 遍．
• 当 > 时，反向模式更高效．
• 在前馈神经网络的参数学习中，风险函数为 ∶ ${\mathbb{R}}^N\to \mathbb{R}$，输出为标量，因此采用反向模式为最有效的计算方式，只需要一遍计算．