动手学深度学习3.6 softmax回归的从零开始实现-笔记练习（PyTorch）

以下内容为结合李沐老师的课程和教材补充的学习笔记，以及对课后练习的一些思考，自留回顾，也供同学之人交流参考。

本节课程地址：Softmax 回归从零开始实现_哔哩哔哩_bilibili

本节教材地址：3.6. softmax回归的从零开始实现 — 动手学深度学习 2.0.0 documentation (d2l.ai)

本节开源代码：...>d2l-zh>pytorch>chapter_linear-networks>softmax-regression-scratch.ipynb

softmax回归的从零开始实现

就像我们从零开始实现线性回归一样， 我们认为softmax回归也是重要的基础，因此应该知道实现softmax回归的细节。本节我们将使用刚刚在 3.5节中引入的Fashion-MNIST数据集，并设置数据迭代器的批量大小为256。

import torch
from IPython import display
from d2l import torch as d2l
batch_size = 256
train_iter, test_iter = d2l.load_data_fashion_mnist(batch_size)

初始化模型参数

和之前线性回归的例子一样，这里的每个样本都将用固定长度的向量表示。原始数据集中的每个样本都是 28×28 的图像。本节[将展平每个图像，把它们看作长度为784的向量。] 在后面的章节中，我们将讨论能够利用图像空间结构的特征，但现在我们暂时只把每个像素位置看作一个特征。

回想一下，在softmax回归中，我们的输出与类别一样多。 (因为我们的数据集有10个类别，所以网络输出维度为10)。因此，权重将构成一个 784×10 的矩阵，偏置将构成一个 1×10 的行向量。与线性回归一样，我们将使用正态分布初始化我们的权重W，偏置初始化为0。

num_inputs = 784
num_outputs = 10

W = torch.normal(0, 0.01, size=(num_inputs, num_outputs), requires_grad=True)
b = torch.zeros(num_outputs, requires_grad=True)

定义softmax操作

在实现softmax回归模型之前，我们简要回顾一下sum运算符如何沿着张量中的特定维度工作。如 2.3.6节和 2.3.6.1节所述， [给定一个矩阵X，我们可以对所有元素求和]（默认情况下）。也可以只求同一个轴上的元素，即同一列（轴0）或同一行（轴1）。如果X是一个形状为(2, 3)的张量，我们对列进行求和，则结果将是一个具有形状(3,)的向量。当调用sum运算符时，我们可以指定保持在原始张量的轴数，而不折叠求和的维度。这将产生一个具有形状(1, 3)的二维张量。

X = torch.tensor([[1.0, 2.0, 3.0], [4.0, 5.0, 6.0]])
X.sum(0, keepdim=True), X.sum(1, keepdim=True)

输出结果：

(tensor([[5., 7., 9.]]),
tensor([[ 6.],
[15.]]))

回想一下，实现softmax由三个步骤组成：

对每个项求幂（使用exp）；
对每一行求和（小批量中每个样本是一行），得到每个样本的规范化常数；
将每一行除以其规范化常数，确保结果的和为1。

在查看代码之前，我们回顾一下这个表达式：

( $\mathrm{softmax}(\mathbf{X})_{ij} = \frac{\exp(\mathbf{X}_{ij})}{\sum_k \exp(\mathbf{X}_{ik})}.$ )

分母或规范化常数，有时也称为配分函数（其对数称为对数-配分函数）。该名称来自统计物理学中一个模拟粒子群分布的方程。

 \mathrm{softmax}(\mathbf{X})_{ij} = \frac{\exp(\mathbf{X}_{ij})}{\sum_k \exp(\mathbf{X}_{ik})}.

正如上述代码，对于任何随机输入，[我们将每个元素变成一个非负数。此外，依据概率原理，每行总和为1]。

X = torch.normal(0, 1, (2, 5))
X_prob = softmax(X)
X_prob, X_prob.sum(1)

输出结果：

(tensor([[0.1252, 0.0542, 0.7326, 0.0235, 0.0645],
[0.4580, 0.2098, 0.0750, 0.0667, 0.1905]]),
tensor([1., 1.]))

注意，虽然这在数学上看起来是正确的，但我们在代码实现中有点草率。矩阵中的非常大或非常小的元素可能造成数值上溢或下溢，但我们没有采取措施来防止这点。

定义模型

定义softmax操作后，我们可以[实现softmax回归模型]。下面的代码定义了输入如何通过网络映射到输出。注意，将数据传递到模型之前，我们使用reshape函数将每张原始图像展平为向量。

def net(X):
    return softmax(torch.matmul(X.reshape((-1, W.shape[0])), W) + b)

# X.reshape((-1, W.shape[0]))中的-1表示自动推断的维度大小，
# 整体表示将X变成一个N行W列的张量，其中N表示批次大小，W表示权重矩阵的列数

定义损失函数

接下来，我们实现3.4节中引入的交叉熵损失函数。这可能是深度学习中最常见的损失函数，因为目前分类问题的数量远远超过回归问题的数量。

回顾一下，交叉熵采用真实标签的预测概率的负对数似然。这里我们不使用Python的for循环迭代预测（这往往是低效的），而是通过一个运算符选择所有元素。下面，我们[创建一个数据样本y_hat，其中包含2个样本在3个类别的预测概率，以及它们对应的标签y。] 有了y，我们知道在第一个样本中，第一类是正确的预测；而在第二个样本中，第三类是正确的预测。然后(使用y作为y_hat中概率的索引)，我们选择第一个样本中第一个类的概率和第二个样本中第三个类的概率。

y = torch.tensor([0, 2])
y_hat = torch.tensor([[0.1, 0.3, 0.6], [0.3, 0.2, 0.5]])
y_hat[[0, 1], y]

# y_hat[[0, 1], y]表示从y_hat张量中选择指定索引位置的元素.
# 第一个索引对应[0, 0]，第二个索引对应[1, 2]

输出结果：

tensor([0.1000, 0.5000])

现在我们只需一行代码就可以[实现交叉熵损失函数]。

def cross_entropy(y_hat, y):
    return - torch.log(y_hat[range(len(y_hat)), y])

cross_entropy(y_hat, y)

输出结果：

tensor([2.3026, 0.6931])

分类精度

给定预测概率分布y_hat，当我们必须输出硬预测（hard prediction）时，我们通常选择预测概率最高的类。许多应用都要求我们做出选择。如Gmail必须将电子邮件分类为“Primary（主要邮件）”、 “Social（社交邮件）”“Updates（更新邮件）”或“Forums（论坛邮件）”。 Gmail做分类时可能在内部估计概率，但最终它必须在类中选择一个。

当预测与标签分类y一致时，即是正确的。分类精度即正确预测数量与总预测数量之比。虽然直接优化精度可能很困难（因为精度的计算不可导），但精度通常是我们最关心的性能衡量标准，我们在训练分类器时几乎总会关注它。

为了计算精度，我们执行以下操作。首先，如果y_hat是矩阵，那么假定第二个维度存储每个类的预测分数。我们使用argmax获得每行中最大元素的索引来获得预测类别。然后我们[将预测类别与真实y元素进行比较]。由于等式运算符“==”对数据类型很敏感，因此我们将y_hat的数据类型转换为与y的数据类型一致。结果是一个包含0（错）和1（对）的张量。最后，我们求和会得到正确预测的数量。

def accuracy(y_hat, y):  #@save
    """计算预测正确的数量"""
    if len(y_hat.shape) > 1 and y_hat.shape[1] > 1:
        # y_hat需为一个多维张量且第二个维度的size > 1，比如（2，3）
        y_hat = y_hat.argmax(axis=1)
        # 获取每行中概率最高的索引
    cmp = y_hat.type(y.dtype) == y
    """ 将y_hat与y逐元素比较，得到一个布尔类型的张量cmp，
    其中相等的地方为True，不相等的地方为False"""
    return float(cmp.type(y.dtype).sum())

我们将继续使用之前定义的变量y_hat和y分别作为预测的概率分布和标签。可以看到，第一个样本的预测类别是2（该行的最大元素为0.6，索引为2），这与实际标签0不一致。第二个样本的预测类别是2（该行的最大元素为0.5，索引为2），这与实际标签2一致。因此，这两个样本的分类精度率为0.5。

accuracy(y_hat, y) / len(y)

输出结果：

0.5

同样，对于任意数据迭代器data_iter可访问的数据集， [我们可以评估在任意模型net的精度]。

def evaluate_accuracy(net, data_iter):  #@save
    """计算在指定数据集上模型的精度
    net表示要评估的模型，data_iter表示要在其上评估模型的数据集迭代器"""
    if isinstance(net, torch.nn.Module):
        net.eval()  # 将模型设置为评估模式，关闭训练过程的操作，比如梯度计算
    metric = Accumulator(2)  
    # 创建累加器，保存累计值-正确预测数、预测总数
    with torch.no_grad(): # 确保在评估过程中不会计算梯度
        for X, y in data_iter:
            metric.add(accuracy(net(X), y), y.numel())
    return metric[0] / metric[1]

这里定义一个实用程序类Accumulator，用于对多个变量进行累加。在上面的evaluate_accuracy函数中，我们在(Accumulator实例中创建了2个变量，分别用于存储正确预测的数量和预测的总数量)。当我们遍历数据集时，两者都将随着时间的推移而累加。

class Accumulator:  #@save
    """在n个变量上累加"""
    def __init__(self, n):
        self.data = [0.0] * n

    def add(self, *args):
        self.data = [a + float(b) for a, b in zip(self.data, args)]
        """zip(self.data, args)将self.data列表和传入的参数一一对应进行打包，生成一个迭代器
        在每次迭代中，a表示self.data中的元素，b表示传入的参数中的元素"""

    def reset(self):
        self.data = [0.0] * len(self.data)

    def __getitem__(self, idx):
        return self.data[idx]

由于我们使用随机权重初始化net模型，因此该模型的精度应接近于随机猜测。例如在有10个类别情况下的精度为0.1。

evaluate_accuracy(net, test_iter)

输出结果：

0.1337

训练

在我们看过3.2节中的线性回归实现， [softmax回归的训练]过程代码应该看起来非常眼熟。在这里，我们重构训练过程的实现以使其可重复使用。首先，我们定义一个函数来训练一个迭代周期。 请注意，updater是更新模型参数的常用函数，它接受批量大小作为参数。 它可以是d2l.sgd函数，也可以是框架的内置优化函数。

def train_epoch_ch3(net, train_iter, loss, updater):  #@save
    """训练模型一个迭代周期（定义见第3章）"""
    # 将模型设置为训练模式，需要计算梯度
    if isinstance(net, torch.nn.Module):
        net.train()
    # 训练损失总和、训练准确度总和、样本数
    metric = Accumulator(3)
    for X, y in train_iter:
        # 计算梯度并更新参数
        y_hat = net(X)
        l = loss(y_hat, y)
        if isinstance(updater, torch.optim.Optimizer):
            # 使用PyTorch内置的优化器和损失函数
            updater.zero_grad()
            l.mean().backward()
            updater.step()
        else:
            # 使用定制的优化器和损失函数
            l.sum().backward()
            updater(X.shape[0])
        metric.add(float(l.sum()), accuracy(y_hat, y), y.numel())
    # 返回训练损失和训练精度
    return metric[0] / metric[2], metric[1] / metric[2]

在展示训练函数的实现之前，我们[定义一个在动画中绘制数据的实用程序类]Animator，它能够简化本书其余部分的代码。

class Animator:  #@save
    """在动画中绘制数据"""
    def __init__(self, xlabel=None, ylabel=None, legend=None, xlim=None,
                 ylim=None, xscale='linear', yscale='linear',
                 fmts=('-', 'm--', 'g-.', 'r:'), nrows=1, ncols=1,
                 figsize=(3.5, 2.5)):
        # 增量地绘制多条线
        if legend is None:
            legend = []
        d2l.use_svg_display()
        self.fig, self.axes = d2l.plt.subplots(nrows, ncols, figsize=figsize)
        if nrows * ncols == 1: # 判断是否只有1个子图
            self.axes = [self.axes, ]
        # 使用lambda函数捕获参数，直接调用d2l.set_axes函数配置子图属性
        self.config_axes = lambda: d2l.set_axes(
            self.axes[0], xlabel, ylabel, xlim, ylim, xscale, yscale, legend)
        self.X, self.Y, self.fmts = None, None, fmts

    def add(self, x, y):
        # 向图表中添加多个数据点
        if not hasattr(y, "__len__"): 
            y = [y]
        # 判断y是否是可迭代的对象，若不是，则将其转换为一个只包含单个元素的列表
        n = len(y)
        if not hasattr(x, "__len__"):
            x = [x] * n
        # 判断参数x是否是可迭代的对象，如果不是，则将其转换为一个只包含x值的列表，并重复n次，以匹配y的长度
        if not self.X:
            self.X = [[] for _ in range(n)]
        # 如果self.X为空，创建一个包含n个空列表的列表，用于存储每个数据点的x值，下同
        if not self.Y:
            self.Y = [[] for _ in range(n)]
        for i, (a, b) in enumerate(zip(x, y)):
            if a is not None and b is not None:
                self.X[i].append(a)
                self.Y[i].append(b)
            # 遍历参数x和y的元素对，将非None的值分别添加到对应的self.X和self.Y列表中的对应位置
        self.axes[0].cla()
        for x, y, fmt in zip(self.X, self.Y, self.fmts):
            self.axes[0].plot(x, y, fmt)
        self.config_axes()
        display.display(self.fig)
        display.clear_output(wait=True)
        # 清除输出区域的内容，并设置等待下一次输出

接下来我们实现一个[训练函数]，它会在train_iter访问到的训练数据集上训练一个模型net。该训练函数将会运行多个迭代周期（由num_epochs指定）。在每个迭代周期结束时，利用test_iter访问到的测试数据集对模型进行评估。我们将利用Animator类来可视化训练进度。

def train_ch3(net, train_iter, test_iter, loss, num_epochs, updater):  #@save
    """训练模型（定义见第3章）"""
    animator = Animator(xlabel='epoch', xlim=[1, num_epochs], ylim=[0.3, 0.9],
                        legend=['train loss', 'train acc', 'test acc'])
    for epoch in range(num_epochs):
        train_metrics = train_epoch_ch3(net, train_iter, loss, updater)
        test_acc = evaluate_accuracy(net, test_iter)
        animator.add(epoch + 1, train_metrics + (test_acc,))
    train_loss, train_acc = train_metrics
    assert train_loss < 0.5, train_loss
    assert train_acc <= 1 and train_acc > 0.7, train_acc
    assert test_acc <= 1 and test_acc > 0.7, test_acc
    """使用assert语句进行断言检查，确保训练损失、训练准确率和测试准确率满足一些条件，
    否则将会引发AssertionError异常，提示训练过程中出现了异常情况。
    """

作为一个从零开始的实现，我们使用 :numref:sec_linear_scratch中定义的 [小批量随机梯度下降来优化模型的损失函数]，设置学习率为0.1。

lr = 0.1

def updater(batch_size):
    return d2l.sgd([W, b], lr, batch_size)

现在，我们[训练模型10个迭代周期]。请注意，迭代周期（num_epochs）和学习率（lr）都是可调节的超参数。通过更改它们的值，我们可以提高模型的分类精度。

num_epochs = 10
train_ch3(net, train_iter, test_iter, cross_entropy, num_epochs, updater)

预测

现在训练已经完成，我们的模型已经准备好[对图像进行分类预测]。给定一系列图像，我们将比较它们的实际标签（文本输出的第一行）和模型预测（文本输出的第二行）。

def predict_ch3(net, test_iter, n=6):  #@save
    """预测标签（定义见第3章）"""
    for X, y in test_iter:
        break
    trues = d2l.get_fashion_mnist_labels(y)
    preds = d2l.get_fashion_mnist_labels(net(X).argmax(axis=1))
    titles = [true +'\n' + pred for true, pred in zip(trues, preds)]
    d2l.show_images(
        X[0:n].reshape((n, 28, 28)), 1, n, titles=titles[0:n])

predict_ch3(net, test_iter)

小结

借助softmax回归，我们可以训练多分类的模型。
训练softmax回归循环模型与训练线性回归模型非常相似：先读取数据，再定义模型和损失函数，然后使用优化算法训练模型。大多数常见的深度学习模型都有类似的训练过程。

练习

1. 本节直接实现了基于数学定义softmax运算的softmax函数。这可能会导致什么问题？提示：尝试计算 exp⁡(50) 的大小。

解：
当输入向量中的元素较大时，exp计算可能会出现数值溢出(无穷大，NAN)的问题；
而当输入向量中的元素较小时，exp计算可能会出现数值下溢（分母为0）的问题。

2. 本节中的函数cross_entropy是根据交叉熵损失函数的定义实现的。它可能有什么问题？提示：考虑对数的定义域。

解：
当预测标签向量中的元素接近0时，-log计算可能会出现数值溢出(无穷大，NAN)的问题。

3. 请想一个解决方案来解决上述两个问题。

解：
令 $\mathbf{Z} = \mathbf{O} - max(o_i)$

则 $\mathrm{softmax}(\mathbf{Z}) = \frac {exp(\mathbf{z}_j)}{\sum_{k=1}^q {exp(\mathbf{z}_k)}}$

减去最大值操作使得exp计算的最大输入为0，排除了数值溢出的可能性；

同时使得分母≥1（$\exp(0) = 1$）,排除了分母数值下溢导致被零除的可能。 $l(\mathbf{y}^{(i)}, \mathbf{y}^{(i)}) = -\log \hat{\mathbf{y}_j} = -\log \frac {exp(\mathbf{z}_j)}{\sum_{k=1}^q {exp(\mathbf{z}_k)}} = \log {\sum_{k=1}^q {exp(\mathbf{z}_k)}} - \mathbf{z}_j$

减去最大值操作使得交叉熵损失计算的最大输入为( $min(o_j)-max(o_i)$ )，不会超出数据类型容许的最大数字，排除了数值溢出的可能性。

4. 返回概率最大的分类标签总是最优解吗？例如，医疗诊断场景下可以这样做吗？

解：
返回概率最大的分类标签并不总是最优解。
概率最大的分类标签只是基于模型的预测结果，可能存在误差。模型的预测结果可能受到多种因素的影响，如数据质量、特征选择、模型选择等。因此，仅仅依靠概率最大的分类标签可能会导致错误的判断。
在医疗诊断等领域，决策可能需要综合考虑多个因素，如患者的病史、症状、实验室检查结果等。仅仅依靠概率最大的分类标签可能无法充分考虑这些因素，导致不准确的诊断结果。概率最大的分类标签可以作为参考，但不能作为唯一的依据。

5. 假设我们使用softmax回归来预测下一个单词，可选取的单词数目过多可能会带来哪些问题?

解：
1）计算复杂度增加：softmax回归的计算复杂度与可选取的单词数目成正比。当可选取的单词数目过多时，计算softmax函数的指数项和可能会变得非常耗时，导致模型训练和推理的效率下降。
2）参数空间增大：softmax回归的参数矩阵的大小与可选取的单词数目成正比。当可选取的单词数目过多时，模型需要学习更多的参数，导致模型的参数空间变得非常庞大，增加了模型训练的难度和模型的存储需求。
3）数据稀疏性增加：当可选取的单词数目过多时，训练数据中每个单词的出现频率可能会变得非常低，导致数据的稀疏性增加。这会使得模型难以准确地估计每个单词的概率分布，可能导致模型的预测性能下降。
4）模型泛化能力下降：当可选取的单词数目过多时，模型可能会过于依赖训练数据中出现频率较高的单词，而忽略了其他单词的特征。这会导致模型的泛化能力下降，对于训练数据中未出现或出现频率较低的单词的预测效果较差。
因此，在使用softmax回归进行下一个单词的预测时，需要权衡可选取的单词数目，选择适当的单词数量以平衡计算复杂度、参数空间、数据稀疏性和模型泛化能力。