pytorch-tutorials


数据操作

基本操作

创建:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
# 从数组创建
x = torch.tensor([5.5, 3])
# 返回的 tensor 默认具有相同的 dtype 和 device
x = x.new_ones(5, 3, dtype=torch.float64)
# 指定新的数据类型, 继承了 x 的维度
x = torch.randn_like(x, dtype=torch.float)

# 从函数创建, 可以指定维度, dtype, device
x = torch.empty(5, 3) # 未初始化
x = torch.rand(5, 3) # [0, 1)
x = torch.randn(5, 3) # 正态分布
x = torch.zeros(5, 3, dtype=torch.long)

x.size() == x.shape
函数 功能
Tensor(*sizes) 基础构造函数
tensor(data,) 类似np.array的构造函数
ones(*sizes) 全1Tensor
zeros(*sizes) 全0Tensor
eye(*sizes) 对角线为1,其他为0
arange(s,e,step) 从s到e,步长为step
linspace(s,e,steps) 从s到e,均匀切分成steps份
rand/randn(*sizes) 均匀/标准分布
normal(mean,std)/uniform(from,to) 正态分布/均匀分布
randperm(m) 随机排列

加法:

1
2
3
4
x + y
torch.add(x, y)
torch.add(x, y, out=result) # 指定输出
y.add_(x) # inplace

注:PyTorch操作inplace版本都有后缀_, 例如 x.copy_(y), x.t_()

索引

使用类似NumPy的索引操作来访问Tensor的一部分

索引出来的结果与原数据共享内存,也即修改一个,另一个会跟着修改。

1
2
3
4
y = x[0, :]
y += 1
print(y)
print(x[0, :]) # 源tensor也被改了
函数 功能
index_select(input, dim, index) 在指定维度dim上选取,比如选取某些行、某些列
masked_select(input, mask) 例子如上,a[a>0],使用ByteTensor进行选取
nonzero(input) 非0元素的下标
gather(input, dim, index) 根据index,在dim维度上选取数据,输出的size与index一样

view()

用于改变Tensor的形状

1
2
3
4
y = x.view(15)
z = x.view(-1, 5) # -1所指的维度可以根据其他维度的值推出来
print(x.size(), y.size(), z.size())
# torch.Size([5, 3]) torch.Size([15]) torch.Size([3, 5])

注意view()返回的新 tensor 与源 tensor 共享内存,也即更改其中的一个,另外一个也会跟着改变。

Pytorch 还提供了一个reshape()可以改变形状,但是此函数并不能保证返回的是其拷贝,所以不推荐使用。

如果不想共享内存,推荐先用**clone()**创造一个副本然后再使用view。

1
2
3
4
5
6
7
8
9
10
11
12
x_cp = x.clone().view(15)
x -= 1
print(x)
print(x_cp)

tensor([[ 1.6035, 1.8110, 0.9549],
[ 0.8797, 1.0482, -0.0445],
[-0.7229, 2.8663, -0.5655],
[ 0.1604, -0.0254, 1.0739],
[ 2.2628, -0.9175, -0.2251]])
tensor([2.6035, 2.8110, 1.9549, 1.8797, 2.0482, 0.9555, 0.2771, 3.8663, 0.4345,
1.1604, 0.9746, 2.0739, 3.2628, 0.0825, 0.7749])

使用clone还有一个好处是会被记录在计算图中,即梯度回传到副本时也会传到源Tensor

item()

将一个标量Tensor转换成一个Python number:

1
2
3
x = torch.randn(1)
print(x) # tensor([2.3466])
print(x.item()) # 2.3466382026672363

线性代数

函数 功能
trace 对角线元素之和(矩阵的迹)
diag 对角线元素
triu/tril 矩阵的上三角/下三角,可指定偏移量
mm/bmm 矩阵乘法,batch的矩阵乘法
addmm/addbmm/addmv/addr/baddbmm… 矩阵运算
t 转置
dot/cross 内积/外积
inverse 求逆矩阵
svd 奇异值分解

广播

当对两个形状不同的Tensor按元素运算时,可能会触发广播(broadcasting)机制:先适当复制元素使这两个Tensor形状相同后再按元素运算。

1
2
3
4
5
6
7
8
9
10
11
12
13
x = torch.arange(1, 3).view(1, 2)
print(x)
y = torch.arange(1, 4).view(3, 1)
print(y)
print(x + y)

tensor([[1, 2]])
tensor([[1],
[2],
[3]])
tensor([[2, 3],
[3, 4],
[4, 5]])

运算的内存开销

1
2
3
4
5
6
7
y = x + y  		# 新内存地址

# 原内存地址
y[:] = y + x
torch.add(x, y, out=y)
y += x
y.add_(x)

注:虽然view返回的Tensor与源Tensor是共享data的,但是依然是一个新的Tensor(因为Tensor除了包含data外还有一些其他属性),二者id(内存地址)并不一致。

Tensor 和 NumPy 转换

1
2
3
4
5
6
7
# tensor <-> numpy  共享内存
a = torch.ones(5) # tensor
b = a.numpy() # numpy
c = torch.from_numpy(b) # tensor

# numpy -> tensor 不共享内存
d = torch.tensor(b) # tensor

GPU Tensor

用方法to()可以将Tensor在CPU和GPU(需要硬件支持)之间相互移动。

1
2
3
4
5
6
7
8
# 以下代码只有在PyTorch GPU版本上才会执行
if torch.cuda.is_available():
device = torch.device("cuda") # GPU
y = torch.ones_like(x, device=device) # 直接创建一个在GPU上的Tensor
x = x.to(device) # 等价于 .to("cuda")
z = x + y
print(z)
print(z.to("cpu", torch.double)) # to()还可以同时更改数据类型

自动求梯度

之前介绍的Tensor是PyTorch的核心类,如果将其属性torch.requires_grad设置为True,它将开始追踪(track)在其上的所有操作(这样就可以利用链式法则进行梯度传播了)。完成计算后,可以调用.backward()来完成所有梯度计算。此Tensor的梯度将累积到.grad属性中。

注意在y.backward()时,如果y是标量,则不需要为backward()传入任何参数;否则,需要传入一个与y同形的Tensor。解释见 2.3.2 节。

如果不想要被继续追踪,可以调用.detach()将其从追踪记录中分离出来,这样就可以防止将来的计算被追踪,这样梯度就传不过去了。此外,还可以用with torch.no_grad()将不想被追踪的操作代码块包裹起来,这种方法在评估模型的时候很常用,因为在评估模型时,我们并不需要计算可训练参数(requires_grad=True)的梯度。

Function是另外一个很重要的类。TensorFunction互相结合就可以构建一个记录有整个计算过程的有向无环图(DAG)。每个Tensor都有一个.grad_fn属性,该属性即创建该TensorFunction, 就是说该Tensor是不是通过某些运算得到的,若是,则grad_fn返回一个与这些运算相关的对象,否则是None。

下面通过一些例子来理解这些概念。

Tensor

创建一个Tensor并设置requires_grad=True:

1
2
3
x = torch.ones(2, 2, requires_grad=True)
print(x)
print(x.grad_fn)

输出:

1
2
3
tensor([[1., 1.],
[1., 1.]], requires_grad=True)
None

再做一下运算操作:

1
2
3
y = x + 2
print(y)
print(y.grad_fn)

输出:

1
2
3
tensor([[3., 3.],
[3., 3.]], grad_fn=<AddBackward>)
<AddBackward object at 0x1100477b8>

注意x是直接创建的,所以它没有grad_fn, 而y是通过一个加法操作创建的, 所以它有一个为<AddBackward>grad_fn

像x这种直接创建的称为叶子节点,叶子节点对应的grad_fnNone

1
print(x.is_leaf, y.is_leaf) # True False

再来点复杂度运算操作:

1
2
3
z = y * y * 3
out = z.mean()
print(z, out)

输出:

1
2
tensor([[27., 27.],
[27., 27.]], grad_fn=<MulBackward>) tensor(27., grad_fn=<MeanBackward1>)

通过.requires_grad_()来用in-place的方式改变requires_grad属性:

1
2
3
4
5
6
7
a = torch.randn(2, 2) # 缺失情况下默认 requires_grad = False
a = ((a * 3) / (a - 1))
print(a.requires_grad) # False
a.requires_grad_(True)
print(a.requires_grad) # True
b = (a * a).sum()
print(b.grad_fn)

输出:

1
2
3
False
True
<SumBackward0 object at 0x118f50cc0>

2.3.2 梯度

因为out是一个标量,所以调用backward()时不需要指定求导变量:

1
out.backward() # 等价于 out.backward(torch.tensor(1.))

我们来看看out关于x的梯度 d(out)dx\frac{d(out)}{dx}:

1
print(x.grad)

输出:

1
2
tensor([[4.5000, 4.5000],
[4.5000, 4.5000]])

我们令outoo , 因为 $$ o=\frac14\sum_{i=1}4z_i=\frac14\sum_{i=1}43(x_i+2)^2 $$ 所以 $$ \frac{\partial{o}}{\partial{x_i}}\bigr\rvert_{x_i=1}=\frac{9}{2}=4.5 $$ 所以上面的输出是正确的。

数学上,如果有一个函数值和自变量都为向量的函数 y=f(x)\vec{y}=f(\vec{x}), 那么 y\vec{y} 关于 x\vec{x} 的梯度就是一个雅可比矩阵(Jacobian matrix): $$ J=\left(\begin{array}{ccc} \frac{\partial y_{1}}{\partial x_{1}} & \cdots & \frac{\partial y_{1}}{\partial x_{n}}\ \vdots & \ddots & \vdots\ \frac{\partial y_{m}}{\partial x_{1}} & \cdots & \frac{\partial y_{m}}{\partial x_{n}} \end{array}\right) $$ 而torch.autograd这个包就是用来计算一些雅克比矩阵的乘积的。例如,如果 vv 是一个标量函数的 l=g(y)l=g\left(\vec{y}\right) 的梯度: $$ v=\left(\begin{array}{ccc}\frac{\partial l}{\partial y_{1}} & \cdots & \frac{\partial l}{\partial y_{m}}\end{array}\right) $$ 那么根据链式法则我们有 ll 关于 x\vec{x} 的雅克比矩阵就为: $$ v J=\left(\begin{array}{ccc}\frac{\partial l}{\partial y_{1}} & \cdots & \frac{\partial l}{\partial y_{m}}\end{array}\right) \left(\begin{array}{ccc} \frac{\partial y_{1}}{\partial x_{1}} & \cdots & \frac{\partial y_{1}}{\partial x_{n}}\ \vdots & \ddots & \vdots\ \frac{\partial y_{m}}{\partial x_{1}} & \cdots & \frac{\partial y_{m}}{\partial x_{n}} \end{array}\right)=\left(\begin{array}{ccc}\frac{\partial l}{\partial x_{1}} & \cdots & \frac{\partial l}{\partial x_{n}}\end{array}\right) $$

注意:grad在反向传播过程中是累加的(accumulated),这意味着每一次运行反向传播,梯度都会累加之前的梯度,所以一般在反向传播之前需把梯度清零。

1
2
3
4
5
6
7
8
9
# 再来反向传播一次,注意grad是累加的
out2 = x.sum()
out2.backward()
print(x.grad)

out3 = x.sum()
x.grad.data.zero_()
out3.backward()
print(x.grad)

输出:

1
2
3
4
tensor([[5.5000, 5.5000],
[5.5000, 5.5000]])
tensor([[1., 1.],
[1., 1.]])

现在我们解释2.3.1节留下的问题,为什么在y.backward()时,如果y是标量,则不需要为backward()传入任何参数;否则,需要传入一个与y同形的Tensor? 简单来说就是为了避免向量(甚至更高维张量)对张量求导,而转换成标量对张量求导。举个例子,假设形状为 m x n 的矩阵 X 经过运算得到了 p x q 的矩阵 Y,Y 又经过运算得到了 s x t 的矩阵 Z。那么按照前面讲的规则,dZ/dY 应该是一个 s x t x p x q 四维张量,dY/dX 是一个 p x q x m x n的四维张量。问题来了,怎样反向传播?怎样将两个四维张量相乘???这要怎么乘???就算能解决两个四维张量怎么乘的问题,四维和三维的张量又怎么乘?导数的导数又怎么求,这一连串的问题,感觉要疯掉…… 为了避免这个问题,我们不允许张量对张量求导,只允许标量对张量求导,求导结果是和自变量同形的张量。所以必要时我们要把张量通过将所有张量的元素加权求和的方式转换为标量,举个例子,假设y由自变量x计算而来,w是和y同形的张量,则y.backward(w)的含义是:先计算l = torch.sum(y * w),则l是个标量,然后求l对自变量x的导数。 参考

来看一些实际例子。

1
2
3
4
x = torch.tensor([1.0, 2.0, 3.0, 4.0], requires_grad=True)
y = 2 * x
z = y.view(2, 2)
print(z)

输出:

1
2
tensor([[2., 4.],
[6., 8.]], grad_fn=<ViewBackward>)

现在 y 不是一个标量,所以在调用backward时需要传入一个和y同形的权重向量进行加权求和得到一个标量。

1
2
3
v = torch.tensor([[1.0, 0.1], [0.01, 0.001]], dtype=torch.float)
z.backward(v)
print(x.grad)

输出:

1
tensor([2.0000, 0.2000, 0.0200, 0.0020])

注意,x.grad是和x同形的张量。

再来看看中断梯度追踪的例子:

1
2
3
4
5
6
7
8
9
10
x = torch.tensor(1.0, requires_grad=True)
y1 = x ** 2
with torch.no_grad():
y2 = x ** 3
y3 = y1 + y2

print(x.requires_grad)
print(y1, y1.requires_grad) # True
print(y2, y2.requires_grad) # False
print(y3, y3.requires_grad) # True

输出:

1
2
3
4
True
tensor(1., grad_fn=<PowBackward0>) True
tensor(1.) False
tensor(2., grad_fn=<ThAddBackward>) True

可以看到,上面的y2是没有grad_fn而且y2.requires_grad=False的,而y3是有grad_fn的。如果我们将y3x求梯度的话会是多少呢?

1
2
y3.backward()
print(x.grad)

输出:

1
tensor(2.)

为什么是2呢?$ y_3 = y_1 + y_2 = x^2 + x^3$,当 x=1x=1dy3dx\frac {dy_3} {dx} 不应该是5吗?事实上,由于 y2y_2 的定义是被torch.no_grad():包裹的,所以与 y2y_2 有关的梯度是不会回传的,只有与 y1y_1 有关的梯度才会回传,即 x2x^2xx 的梯度。

上面提到,y2.requires_grad=False,所以不能调用 y2.backward(),会报错:

1
RuntimeError: element 0 of tensors does not require grad and does not have a grad_fn

此外,如果我们想要修改tensor的数值,但是又不希望被autograd记录(即不会影响反向传播),那么我么可以对tensor.data进行操作。

1
2
3
4
5
6
7
8
9
10
11
x = torch.ones(1,requires_grad=True)

print(x.data) # 还是一个tensor
print(x.data.requires_grad) # 但是已经是独立于计算图之外

y = 2 * x
x.data *= 100 # 只改变了值,不会记录在计算图,所以不会影响梯度传播

y.backward()
print(x) # 更改data的值也会影响tensor的值
print(x.grad)

输出:

1
2
3
4
tensor([1.])
False
tensor([100.], requires_grad=True)
tensor([2.])
作者

Cheng

发布于

2019-11-26

更新于

2022-08-06

许可协议

评论