\[ \begin{align}\begin{aligned}\newcommand{\ba}{\boldsymbol{a}} \newcommand{\bb}{\boldsymbol{b}} \newcommand{\be}{\boldsymbol{e}} \newcommand{\bq}{\boldsymbol{q}} \newcommand{\bk}{\boldsymbol{k}} \newcommand{\bw}{\boldsymbol{w}} \newcommand{\bx}{\boldsymbol{x}} \newcommand{\by}{\boldsymbol{y}} \newcommand{\bz}{\boldsymbol{z}} \newcommand{\bd}{\boldsymbol{d}} \newcommand{\bv}{\boldsymbol{v}} \newcommand{\bs}{\boldsymbol{s}}\\\newcommand{\btheta}{\boldsymbol{\theta}} \newcommand{\bbeta}{\boldsymbol{\beta}} \newcommand{\bgamma}{\boldsymbol{\gamma}} \newcommand{\bsigma}{\boldsymbol{\sigma}} \newcommand{\md}{\mbox{d}} \newcommand{\bmu}{\boldsymbol{\mu}} \newcommand{\bone}{\boldsymbol{1}} \newcommand{\bzero}{\boldsymbol{0}} \newcommand{\bepsilon}{\boldsymbol{\epsilon}} \newcommand{\bphi}{\boldsymbol{\phi}} \newcommand{\bh}{\boldsymbol{h}} \newcommand{\bc}{\boldsymbol{c}} \newcommand{\br}{\boldsymbol{r}} \newcommand{\bQ}{\boldsymbol{Q}} \newcommand{\bK}{\boldsymbol{K}} \newcommand{\bV}{\boldsymbol{V}} \newcommand{\bSigma}{\boldsymbol{\Sigma}} \newcommand{\bg}{\boldsymbol{g}} \newcommand{\bxi}{\boldsymbol{\xi}} \newcommand{\bvarepsilon}{\boldsymbol{\varepsilon}} \newcommand{\bdelta}{\boldsymbol{\delta}} \newcommand{\bq}{\boldsymbol{q}} \newcommand{\bk}{\boldsymbol{k}} \newcommand{\bJ}{\boldsymbol{J}} \newcommand{\bp}{\boldsymbol{p}} \newcommand{\bi}{\boldsymbol{i}} \newcommand{\bo}{\boldsymbol{o}} \newcommand{\bE}{\boldsymbol{E}} \newcommand{\bH}{\boldsymbol{H}} \newcommand{\bL}{\boldsymbol{L}} \newcommand{\bu}{\boldsymbol{u}} \newcommand{\bLambda}{\boldsymbol{\Lambda}} \newcommand{\trans}{^{\rm\scriptsize T}} \newcommand{\var}{\mathrm{var}}\\\newcommand{\bA}{\boldsymbol{A}} \newcommand{\bB}{\boldsymbol{B}} \newcommand{\bC}{\boldsymbol{C}} \newcommand{\bD}{\boldsymbol{D}} \newcommand{\bG}{\boldsymbol{G}} \newcommand{\bI}{\boldsymbol{I}} \newcommand{\bM}{\boldsymbol{M}} \newcommand{\bP}{\boldsymbol{P}} \newcommand{\bS}{\boldsymbol{S}} \newcommand{\bU}{\boldsymbol{U}} \newcommand{\bW}{\boldsymbol{W}} \newcommand{\bX}{\boldsymbol{X}} \newcommand{\bY}{\boldsymbol{Y}} \newcommand{\bZ}{\boldsymbol{Z}} \newcommand{\cotp}{\textcolor[RGB]{48,209,88}{TP}} \newcommand{\cotn}{\textcolor[RGB]{100,210,255}{TN}} \newcommand{\cofp}{\textcolor[RGB]{94,92,230}{FP}} \newcommand{\cofn}{\textcolor[RGB]{191,90,242}{FN}}\\\newcommand{\numcotp}{\textcolor[RGB]{48,209,88}{50}} \newcommand{\numcotn}{\textcolor[RGB]{100,210,255}{30}} \newcommand{\numcofp}{\textcolor[RGB]{94,92,230}{10}} \newcommand{\numcofn}{\textcolor[RGB]{191,90,242}{10}} \DeclareMathOperator*{\argmin}{arg\,min}\end{aligned}\end{align} \]

单隐藏层神经网络——单样本情形

学习目标与记号

1. 准确解释计算图、单隐藏层前向传播与链式法则；

2. 根据公式和张量维度分析误差信号，并识别常见实现错误；

3. 用 Python 实现或验证梯度维度；在其他条件相同的情况下，只改变一个需要研究的因素进行比较，并根据实验结果分析该因素可能带来的影响。

　　本节沿用统一记号：普通小写字母表示标量，粗体小写字母表示向量，粗体大写字母表示矩阵或高阶张量；层编号写作上标 \([l]\)⁠，样本或时间编号写作下标；转置写作 \(\trans\)⁠。除非另有说明，批量样本按行存放。正文与练习中的程序都应同时检查数值结果和数组维度。本节练习的参考答案见 单样本单隐藏层网络答案⁠。

　　本节从 逻辑回归 推广到隐藏层网络。链式求导需要结合 激活函数及其导数⁠，输出损失的概率解释可回看 逻辑回归与交叉熵⁠。

　　本节先从一个样本 \((\bx,y)\) 出发，推导单隐藏层神经网络的前向传播与后向传播；下一节再将结果扩展到含 \(n\) 个样本的批量计算。记 \(\bx=(x_1,\ldots,x_d)\trans\in\mathbb{R}^d\)⁠、\(y\in\{0,1\}\)⁠。为便于展示，以下网络取 \(d=3\)⁠、\(d^{[1]}=4\)⁠、\(d^{[2]}=1\) ^{1 1}输出层对应的是具有特征 \(\bx\) 的标签属于某一特定类别的概率。⁠，因此共有 \(L=2\) 个含参数的层。

图 1 只有一个隐藏层的全连接神经网络

备注

　　在本课程中，我们通常用上角标表示神经元所在层，下角标表示对应神经元在该层的位置。例如，\(a_3^{[1]}\) 表示第一（隐藏）层中的第三个神经元，\(a_1^{[2]}\) 表示第二层中的第一个神经元。我们默认输入层为第 0 层，故 \(a_i^{[0]}=x_i\)⁠。记 \(d^{[l]}\) 为第 \(l\) 层中神经元的总数，且记 \(d^{[0]}=d\)⁠。 此外，与逻辑回归模型不同，神经网络通过隐藏层学习新的特征表示。例如，在 图 1 所示的模型中，第一层的四个神经元使用不同参数，从输入中提取四种信息，并把所得激活作为输出层的输入。输出层采用 sigmoid 函数作为激活函数，因而可以看作以隐藏层表示为特征的逻辑回归模型。

　　本节所涉及到的模型训练步骤为：

1. 基于当前模型参数，前向传播计算神经网络各神经元的值以及对应的损失函数值。

2. 后向传播，计算损失函数对当前参数的偏导数。

3. 利用梯度下降法，依据当前学习率进行参数更新。

4. 回到第 1 步，使用更新后的参数重新计算，直至满足预先设定的停止条件。

　　接下来，我们将依次对上述步骤进行剖析，并在本节的最后讨论如何对模型参数进行初始化。

前向传播

　　首先，我们将具体讨论 图 1 中展示模型的前向传播计算过程。正如我们在 上一节 所讨论的那样，每个神经元包含线性变换和非线性变换（激活）两步运算，且不同神经元都对应着不同的偏置项和权重项。记 \(b_j^{[l]}\) 和 \(\bw_j^{[l]}\) 分别为神经元 \(a_j^{[l]}\) 所对应的（当前的）偏置项和权重项 ^{2 2}根据我们在 上一节 中所讨论的符号规则，第 \(t\) 步更新后的模型参数应该表达为 \(b_j^{[l](t)}\) 和 \(\bw_j^{[l](t)}\)⁠，但为了简化符号表达，本节省略表示迭代次数的上角标 \((t)\)⁠。⁠。

　　当神经网络的层数 \(l\) 为正整数时，为了计算神经元 \(a_j^{[l]}\) 在当前参数下的数值，我们通常将其上一层的结果 \(\{a_j^{[l-1]}:j=1,\ldots,d^{[l-1]}\}\) 作为该神经元的输入值。例如，对于 \(j=1,\ldots,d^{[1]}\)⁠，当我们计算 \(a_j^{[1]}\) 时，对应的输入特征为 \(\{a_j^{[0]}:j=1,\ldots,d^{[0]}\} =\{x_j:j=1,\ldots,d\}\)⁠。此时，\(a_1^{[1]}\) 的计算过程为

\[z_j^{[1]}=b_j^{[1]}+(\bw_j^{[1]})\trans\cdot\bx, \qquad a_j^{[1]}=\sigma\!\left(z_j^{[1]}\right).\]

　　更一般地，记 \(\ba^{[l]} = (a_1^{[l]},\ldots,a_{d^{[l]}}^{[l]})\trans\)⁠，则第 \(l\) 层的神经元 \(a_j^{[l]}\) 的计算规则如下：

\[z_j^{[l]}=b_j^{[l]}+(\bw_j^{[l]})\trans\cdot\ba^{[l-1]}, \qquad a_j^{[l]}=g^{[l]}\!\left(z_j^{[l]}\right), \quad j=1,\ldots,d^{[l]},\]

　　这里用 \(g^{[l]}\) 表示第 \(l\) 层的激活函数。隐藏层可以选用 ReLU、tanh 等函数；二分类输出层通常使用 sigmoid 函数。不同层不必采用相同的激活函数。

　　通过以上计算可知，图 1 中模型的参数是每个神经元对应的偏置和权重：

(20)\[\left\{b_j^{[l]},\bw_j^{[l]}: l=1,\ldots,L;\ j=1,\ldots,d^{[l]}\right\}.\]

　　需要指出的是，每个偏置项的维度均为 1，但对应于神经元 \(a_j^{[l]}\) 的权重项 \(\bw_j^{[l]}\) 的维度为 \(d^{[l-1]}\)⁠。该神经网络前向传播的计算流程如下图所示。

　　为了提高模型的计算效率，我们需要对上述计算进行 向量化⁠。对于神经网络的第 \(l\) 层，记 \(\bb^{[l]} = (b_1^{[l]},\ldots,b_{d^{[l]}}^{[l]})\trans\) 以及 \(\bW^{[l]}=[(\bw_1^{[l]})\trans;\ldots;(\bw_{d^{[l]}}^{[l]})\trans]\)⁠。对于 \(l=1,\ldots,L\) 以及 \(j=1,\ldots,d^{[l]}\)⁠，\(\bb^{[l]}\) 和 \(\bW^{[l]}\) 中的第 \(j\) 行代表着第 \(l\) 层第 \(j\) 个神经元对应的偏置项和权重项。基于新定义的符号，我们可以得到 \(\ba^{[l]}\) 的向量化表达式 ^{3 3}对应于 \(\ba^{[l]}\)⁠，其输入特征为 \(\ba^{[l-1]}\)⁠。

\[\bz^{[l]}=\bW^{[l]}\cdot\ba^{[l-1]}+\bb^{[l]}, \qquad \ba^{[l]}=g^{[l]}\!\left(\bz^{[l]}\right),\]

其中，对于向量 \(\bz=(z_1,\ldots,z_m)\trans\in\mathbb{R}^m\)⁠，定义 \(\sigma(\bz)=(\sigma(z_1),\ldots,\sigma(z_m))\trans\) ^{4 4}对应于 Python 的 NumPy 包所涉及的 广播机制⁠。⁠，\(m\in\mathbb{N}\) 为任意正整数。

　　由于这里只考虑一个样本 \((\bx,y)\)⁠，图 1 中模型的向量化前向传播为

(21)\[\begin{split}\begin{eqnarray} \bz^{[1]} &=& \bb^{[1]}+\bW^{[1]}\cdot\bx, \\ \ba^{[1]} &=& \sigma(\bz^{[1]}), \\ z^{[2]} &=& b^{[2]}+\bW^{[2]}\cdot\ba^{[1]},\\ a^{[2]} &=&\sigma(z^{[2]}), \end{eqnarray}\end{split}\]

其中，\(a^{[2]}\) 是样本属于类别 1 的预测概率。对于单个样本，二元交叉熵损失为

(22)\[\mathcal{J}(\btheta)=-\left[y\log a^{[2]}+(1-y)\log\left(1-a^{[2]}\right)\right].\]

　　以上计算结果对应的 计算图 如下图所示。

备注

　　前向传播的过程是基于当前参数计算神经网络各个神经元的结果。该过程有以下两个用途：

1. 模型参数训练过程中，前向传播主要用于计算每个神经元在当前参数下的激活值，并计算相应的损失函数。前向传播为计算损失函数对参数的求导提供中间结果。

2. 模型参数训练完毕后，前向传播用于计算并输出模型的估计结果。

后向传播

　　当我们训练模型时，我们需要根据当前参数，计算损失函数对模型参数的偏导数，并利用梯度下降法对模型参数进行一步迭代更新。例如，对模型参数 \(\bb^{[1]}\) 的更新过程如下：

\[\bb^{[1](t+1)}=\bb^{[1](t)}-\alpha\left.\frac{\partial\mathcal{J}}{\partial\bb^{[1]}}\right|_{\btheta^{(t)}},\]

其中，\(\bb^{[1](t)}\) 是第 \(t\) 次更新前的第一层偏置向量，\(\alpha\) 是当前学习率 ^{5 5}学习率常随更新次数 \(t\) 增加而降低，但是否衰减以及如何衰减都属于需要验证的超参数选择。⁠，\(\btheta^{(t)}\) 表示此时的全部模型参数。竖线记号强调梯度在同一组旧参数处计算。

　　与上一节的处理类似，为了简化符号，我们省略表示迭代次数的上角标 \((t)\)⁠。本节主要分析二分类问题；对于回归或其他任务，需要相应更改输出层与损失函数。仍针对一个样本 \((\bx,y)\)⁠，考虑 图 1 所示的网络，其参数为 \(\btheta = \{\bb^{[1]},\bW^{[1]},b^{[2]},\bW^{[2]}\}\)⁠，损失函数参见式 (22)⁠。这里输出层宽度为 1，所以 \(b^{[2]}\) 是标量，\(\bW^{[2]}\in\mathbb{R}^{1\times d^{[1]}}\) 是行向量。

备注

　　后向传播的数学基础是链式法则（chain rule），它用于求复合函数的导数。若 \(f(x)=g(h(x))\)⁠，并且 \(g\) 与 \(h\) 在相应点可导，则 那么，在一般条件下，\(f(x)\) 的导数 \(f'(x)\) 可以通过链式法则求得。当函数 \(g\) 和 \(h\) 都是一元函数时， 基于链式法则的求导结果如下（忽略自变量）：

\[f' = (g \circ h)' = (g' \circ h) h',\]

其中，\((g\circ h)\) 表示函数 \(g(h(x))\)⁠。更具体地，如果 \(f(x) = g(h(x))\)⁠，我们有

\[f'(x) = g'\{h(x)\} h'(x),\]

其中，\(g'\{h(x)\}\) 表示函数 \(g\) 在 \(h(x)\) 处的导数，而 \(h'(x)\) 表示函数 \(h\) 在 \(x\) 处的导数。

　　当 \(h: \mathbb{R}^p\to\mathbb{R}^d\) 以及 \(g:\mathbb{R}^d\to\mathbb{R}\) 时，复合函数 \(f= g\circ h: \mathbb{R}^p\to\mathbb{R}\)⁠。则对 \(\bx\in\mathbb{R}^p\)⁠，我们有如下结果

\[\frac{\partial f}{\partial\bx} = \sum_{j=1}^d\frac{\partial f}{\partial h_j}\frac{\partial h_j}{\partial\bx},\]

其中，\(h_j = h_j(\bx)\) 为函数 \(h\) 的第 \(j\) 个分量，\(\partial f/\partial h_j\) 是将函数 \(f\) 看做向量 \((h_1,\ldots,h_d)\trans\) 的函数时对其第 \(j\) 个分量求导的结果。

　　首先，我们以求解 \(\partial \mathcal{J}/\partial b^{[2]}\) 为例探讨后向传播的基本原理。根据 前向传播的计算图⁠，基于参数 \(b^{[2]}\) 的计算结果为 \(z^{[2]}\)⁠。因此，我们可将中间变量 \(z^{[2]}\) 视为参数 \(b^{[2]}\) 的函数，而损失函数 \(\mathcal{J}\) 可以被视为中间变量 \(z^{[2]}\) 的函数。为了求解损失函数对参数 \(b^{[2]}\) 的导数，我们可将损失函数 \(\mathcal{J}(\btheta)\) 视为复合函数形式 \(\mathcal{J}\circ z^{[2]}\)⁠，其中自变量为 \(b^{[2]}\)⁠。则根据链式法则，我们有如下计算结果

(23)\[\frac{\partial\mathcal{J}}{\partial b^{[2]}} = \frac{\partial\mathcal{J}}{\partial z^{[2]}}\frac{\partial z^{[2]}}{\partial b^{[2]}}.\]

　　根据式 (21) 计算结果可知，

(24)\[\frac{\partial z^{[2]}}{\partial b^{[2]}}=1.\]

　　进一步根据链式法则，我们可知

(25)\[\frac{\partial\mathcal{J}}{\partial z^{[2]}} = \frac{\partial\mathcal{J}}{\partial a^{[2]}}\frac{\partial a^{[2]}}{\partial z^{[2]}}.\]

　　式 (25) 中所涉及的两个偏导数也可根据式 (21) 计算结果求得，即

(26)\[\begin{split}\begin{eqnarray} \frac{\partial\mathcal{J}}{\partial a^{[2]}} &=& \frac{a^{[2]}-y}{a^{[2]}(1-a^{[2]})}, \\ \frac{\partial a^{[2]}}{\partial z^{[2]}} &=& a^{[2]}(1-a^{[2]}) \end{eqnarray}.\end{split}\]

　　根据式 (23)--(26)⁠，我们可知

\[\frac{\partial\mathcal{J}}{\partial b^{[2]}} = a^{[2]}-y.\]

　　类似地，我们可以求出损失函数对于其他三个参数的偏导数。

备注

　　上述推导说明：参数梯度可以沿计算图拆成若干局部导数，并复用前向传播在式 (21) 中计算的中间量。这正是后向传播能够高效实现链式法则的原因。

用误差信号组织后向传播

　　将第 \(l\) 层线性输入的梯度记为 \(\bdelta^{[l]}=\partial\mathcal{J}/\partial\bz^{[l]}\)⁠。 对使用 sigmoid 函数的输出层与二元交叉熵的组合，两个导数恰好相消，因此

\[\delta^{[2]}=a^{[2]}-y.\]

　　隐藏层误差信号由后一层向前传播：

\[\bdelta^{[1]} =\left(\bW^{[2]}\right)\trans\delta^{[2]} \odot g^{[1]\prime}\!\left(\bz^{[1]}\right),\]

其中 \(\odot\) 表示逐元素乘法。若隐藏层也使用 sigmoid 函数，则 \(g^{[1]\prime}(\bz^{[1]})=\ba^{[1]}\odot(1-\ba^{[1]})\)⁠。 这种“先求每层误差信号，再求参数梯度”的写法更容易推广到深层网络。

　　经过代数运算，我们可得到如下梯度结果：

(27)\[\begin{split}\begin{aligned} \frac{\partial\mathcal{J}}{\partial b^{[2]}} &=\delta^{[2]}, & \frac{\partial\mathcal{J}}{\partial\bW^{[2]}} &=\delta^{[2]}(\ba^{[1]})\trans,\\ \frac{\partial\mathcal{J}}{\partial\bb^{[1]}} &=\bdelta^{[1]}, & \frac{\partial\mathcal{J}}{\partial\bW^{[1]}} &=\bdelta^{[1]}\cdot\bx\trans. \end{aligned}\end{split}\]

　　这四个梯度分别与 \(b^{[2]}\)⁠、\(\bW^{[2]}\)⁠、 \(\bb^{[1]}\) 和 \(\bW^{[1]}\) 同形。检查梯度与参数的维度是否一致，是发现后向传播实现错误的有效方法。

备注

　　后向传播会复用前向传播的中间量。对于本例使用 sigmoid 函数得到的激活值，缓存 \(\bx\)⁠、\(\ba^{[1]}\) 和 \(a^{[2]}\) 已足够；在一般实现中通常缓存 \(\bz^{[l]}\) 与 \(\ba^{[l]}\)⁠，因为不少激活函数的导数需要线性输入 \(\bz^{[l]}\)⁠。

　　后向传播以及梯度计算的总结如下图所示。

　　记 \(\btheta^{(t)}\) 为第 \(t\) 次更新前的全部参数。梯度下降对每个参数执行相同形式的更新：

(28)\[\begin{split}\begin{aligned} \bb^{[1](t+1)} &=\bb^{[1](t)}-\alpha\left.\frac{\partial\mathcal{J}}{\partial\bb^{[1]}}\right|_{\btheta^{(t)}},\\ \bW^{[1](t+1)} &=\bW^{[1](t)}-\alpha\left.\frac{\partial\mathcal{J}}{\partial\bW^{[1]}}\right|_{\btheta^{(t)}},\\ b^{[2](t+1)} &=b^{[2](t)}-\alpha\left.\frac{\partial\mathcal{J}}{\partial b^{[2]}}\right|_{\btheta^{(t)}},\\ \bW^{[2](t+1)} &=\bW^{[2](t)}-\alpha\left.\frac{\partial\mathcal{J}}{\partial\bW^{[2]}}\right|_{\btheta^{(t)}}, \end{aligned}\end{split}\]

其中，\(\btheta^{(t)}=\{\bb^{[1](t)},\bW^{[1](t)},b^{[2](t)},\bW^{[2](t)}\}\)⁠，且同一次更新中的所有梯度都应在同一组旧参数 \(\btheta^{(t)}\) 处计算。

再看后向传播

　　后向传播可以看作重复应用同一个局部规则：先把后一层的误差信号传回当前层，再由当前层的输入计算参数梯度。下面分别展示隐藏层与输出层的依赖关系。

隐藏层

\[\begin{split}\begin{eqnarray} \frac{\partial \mathcal{J}}{\partial \ba^{[1]}} &=& \frac{\partial z^{[2]}}{\partial \ba^{[1]}}\frac{\partial \mathcal{J}}{\partial z^{[2]}},\\ \frac{\partial \mathcal{J}}{\partial \bz^{[1]}} &=& \frac{\partial (\ba^{[1]})\trans}{\partial \bz^{[1]}}\cdot\frac{\partial \mathcal{J}}{\partial \ba^{[1]}},\\ \frac{\partial \mathcal{J}}{\partial \bb^{[1]}} &=& \frac{\partial (\bz^{[1]})\trans}{\partial \bb^{[1]}}\cdot\frac{\partial \mathcal{J}}{\partial \bz^{[1]}},\\ \frac{\partial \mathcal{J}}{\partial \bW^{[1]}} &=&\frac{\partial \mathcal{J}}{\partial \bz^{[1]}}\cdot\bx\trans. \end{eqnarray}\end{split}\]

输出层

\[\begin{split}\begin{eqnarray} \frac{\partial \mathcal{J}}{\partial a^{[2]}} & & \mbox{给定},\\ \frac{\partial \mathcal{J}}{\partial z^{[2]}} &=& \frac{\partial a^{[2]}}{\partial z^{[2]}}\frac{\partial \mathcal{J}}{\partial a^{[2]}},\\ \frac{\partial \mathcal{J}}{\partial b^{[2]}} &=& \frac{\partial z^{[2]}}{\partial b^{[2]}}\frac{\partial \mathcal{J}}{\partial z^{[2]}},\\ \frac{\partial \mathcal{J}}{\partial \bW^{[2]}} &=& \frac{\partial \mathcal{J}}{\partial z^{[2]}}(\ba^{[1]})\trans. \end{eqnarray}\end{split}\]

核心推导与实现核验

核心关系

\[\bdelta^{[1]}=(\bW^{[2]})\trans\delta^{[2]}\odot g^{[1]\prime}(\bz^{[1]}).\]

　　推导路径。 输出误差先经下一层权重的转置传播到隐藏激活，再乘隐藏激活对线性输入的逐元素导数；外积 \(\bdelta^{[1]}\cdot\bx\trans\) 产生与第一层权重同形的梯度。

关键条件

　　由微分 \(\mathrm d\bz^{[1]}=\mathrm d\bW^{[1]}\cdot\bx\) 和迹运算，可验证权重梯度必为误差信号与输入的外积，而不是相反次序。

数据规模

　　若每个样本有 \(d\) 个输入特征，隐藏层有 \(d^{[1]}\) 个神经元，则第一层权重 \(\bW^{[1]}\) 有 \(d^{[1]}\) 行、\(d\) 列，隐藏层误差 \(\bdelta^{[1]}\) 有 \(d^{[1]}\) 个数。外积 \(\bdelta^{[1]}\cdot\bx\trans\) 的大小恰好与 \(\bW^{[1]}\) 相同。

常见误区

　　后向传播中使用已经更新过的权重会混合两个参数时刻；转置方向写错则常以维度不匹配或错误广播出现。

动手检查

　　在 float64 小网络上逐参数做 中心差分⁠，要求相对误差通常低于 1e-6；再比较逐样本梯度之和与批量矩阵梯度。

数值稳定性与规模

　　二分类损失根据输出层的线性运算结果计算，初始化按 fan-in 缩放；每层记录激活和梯度范数。出现梯度爆炸时先检查公式与学习率，再考虑全局范数裁剪。

本节小结

1. 后向传播是计算图上链式法则的复用。

2. 误差信号与输入外积给出权重梯度。

3. 同形检查和 数值梯度检验 是两道重要防线。

综合练习

　　练习重点是把本节的前向传播与后向传播公式落实为可核验的计算和程序，并通过公平的实验比较模型的预测性能与计算效率。程序题应固定数据划分、随机种子集合和训练预算，写出维度断言并报告运行环境。全部参考答案见 单样本单隐藏层网络答案⁠。

1. 前向传播与后向传播。 对单个二分类样本 \((\bx,y)\)⁠，从式 (21) 与式 (22) 出发，推导 \(\delta^{[2]}\)⁠、\(\bdelta^{[1]}\) 以及损失函数关于 \(\bW^{[2]}\)⁠、\(b^{[2]}\)⁠、\(\bW^{[1]}\) 和 \(\bb^{[1]}\) 的梯度。逐项写明维度，并说明为什么同一次参数更新必须使用同一组旧参数计算全部梯度。

2. 外积形式的证明。 使用矩阵微分或分量求导证明 \(\partial\mathcal{J}/\partial\bW^{[1]}=\bdelta^{[1]}\cdot\bx\trans\)⁠。说明外积次序不能交换的原因，并验证所得梯度与 \(\bW^{[1]}\) 同形。

3. 具体数值计算。 令 \(\bx=(1,-1)\trans\)⁠、\(y=1\)⁠、\(\bW^{[1]}=\bI_2\)⁠、\(\bb^{[1]}=\boldsymbol 0\)⁠、\(\bW^{[2]}=(1,-1)\)⁠、\(b^{[2]}=0\)⁠，两层均使用 sigmoid 函数。手算 \(\bz^{[1]}\)⁠、\(\ba^{[1]}\)⁠、\(z^{[2]}\)⁠、\(a^{[2]}\)⁠、\(\mathcal{J}\)⁠、两层误差信号和四组参数梯度，并用程序复核每个中间结果。

4. 线性激活与逻辑回归。 假设隐藏层采用线性激活 \(g^{[1]}(z)=z\)⁠，输出层仍采用 sigmoid 函数。证明该网络的预测概率可以写成逻辑回归的形式，并给出等价的回归系数与截距。进一步说明“预测函数等价”为什么不意味着两种参数化具有相同的优化问题。

5. 单样本程序实现。 仅使用 NumPy 编写 forward_backward 函数，完成单样本的前向传播与后向传播。程序应检查参数和中间量的维度，使用输出层线性运算结果稳定地计算二元交叉熵，并返回损失、预测概率、缓存和全部梯度。使用第 3 题的数据核验实现。

6. 有限差分核验。 将第 5 题中的全部参数依次展平成一个向量，使用 中心差分 逐参数核验解析梯度。分别报告最大绝对误差和相对误差，讨论差分步长过大或过小时误差增大的原因，并设置明确的通过标准。

7. 批量训练与测试。 将单样本实现扩展为按行存放样本的批量版本，使用批量梯度下降训练二分类模型。编写测试比较逐样本梯度的平均值与批量梯度，并检查损失是否在一个可控的小数据集上下降；再实现 predict_proba 和 predict，说明如何避免训练集信息进入验证集或测试集。

8. 逻辑回归与单隐藏层网络。 分别生成一个近似线性可分数据集和一个具有非线性边界的二分类数据集，比较逻辑回归与单隐藏层神经网络。固定训练集、验证集和测试集的划分、随机种子集合以及训练预算；仅使用验证集选择超参数，方案确定后再评价测试集。报告准确率、AUC、对数损失、训练时间、固定批量的预测时间、参数量和峰值内存，并解释两个数据集上差异产生的原因。

9. 隐藏神经元个数。 在同一非线性二分类数据集上，将隐藏神经元个数依次设为 \(2,4,8,16,32\)⁠。保持数据划分、随机种子集合、优化方法、学习率和训练预算一致，比较训练集、验证集与测试集上的预测指标以及训练时间、固定批量预测时间、参数量和峰值内存。画出指标随隐藏神经元个数变化的曲线，并讨论欠拟合、模型容量与过拟合之间的关系。

10. 学习率与初始化尺度。 对学习率和第一层权重的初始化尺度进行二维对照实验。除这两个因素外，固定数据划分、随机种子集合、隐藏神经元个数和训练预算；记录损失曲线、最终参数范数、梯度范数、准确率、AUC、对数损失、训练时间、固定批量预测时间和峰值内存。分析学习率过大或过小、初始化尺度过大或过小时的表现，并说明结论适用的数据范围与训练预算。