python-2.7 - Theano 在计算梯度方面的效率/智能如何？

Question

假设我有一个带有 5 个隐藏层的人工神经网络。暂时忘记神经网络模型的细节，例如偏差、使用的激活函数、数据类型等......。当然，激活函数是可微的。

通过符号微分，以下计算目标函数相对于层权重的梯度:

w1_grad = T.grad(lost, [w1])
w2_grad = T.grad(lost, [w2])
w3_grad = T.grad(lost, [w3])
w4_grad = T.grad(lost, [w4])
w5_grad = T.grad(lost, [w5])
w_output_grad = T.grad(lost, [w_output])

这样，要计算梯度 w.r.t w1，必须首先计算梯度 w.r.t w2、w3、w4 和 w5。与计算梯度 w.r.t w2 类似，必须首先计算梯度 w.r.t w3、w4 和 w5。

但是，我可以使用以下代码计算每个权重矩阵的梯度 w.r.t:

w1_grad, w2_grad, w3_grad, w4_grad, w5_grad, w_output_grad = T.grad(lost, [w1, w2, w3, w4, w5, w_output])

我想知道，这两种方法在性能方面有什么区别吗？ Theano 是否足够智能，可以避免使用第二种方法重新计算梯度？智能我的意思是计算 w3_grad，Theano 应该 [最好] 使用 w_output_grad、w5_grad 和 w4_grad 的预先计算的梯度，而不是再次计算它们。

Answer 1

好吧，事实证明 Theano 并没有采用先前计算的梯度来计算计算图较低层的梯度。这是一个具有 3 个隐藏层和一个输出层的神经网络的虚拟示例。然而，它是 不是 这将是一个大问题，因为计算梯度是一生一次的操作，除非您必须在每次迭代时计算梯度。 Theano 将导数的符号表达式返回为 computational graph从那时起，您可以简单地将其用作函数。从那时起，我们只需使用 Theano 派生的函数来计算 数字 值并使用这些值更新权重。

import theano.tensor as T
import time
import numpy as np
class neuralNet(object):
    def __init__(self, examples, num_features, num_classes):
        self.w = shared(np.random.random((16384, 5000)).astype(T.config.floatX), borrow = True, name = 'w')
        self.w2 = shared(np.random.random((5000, 3000)).astype(T.config.floatX), borrow = True, name = 'w2')
        self.w3 = shared(np.random.random((3000, 512)).astype(T.config.floatX), borrow = True, name = 'w3')
        self.w4 = shared(np.random.random((512, 40)).astype(T.config.floatX), borrow = True, name = 'w4')
        self.b = shared(np.ones(5000, dtype=T.config.floatX), borrow = True, name = 'b')
        self.b2 = shared(np.ones(3000, dtype=T.config.floatX), borrow = True, name = 'b2')
        self.b3 = shared(np.ones(512, dtype=T.config.floatX), borrow = True, name = 'b3')
        self.b4 = shared(np.ones(40, dtype=T.config.floatX), borrow = True, name = 'b4')
        self.x = examples

        L1 = T.nnet.sigmoid(T.dot(self.x, self.w) + self.b)
        L2 = T.nnet.sigmoid(T.dot(L1, self.w2) + self.b2)
        L3 = T.nnet.sigmoid(T.dot(L2, self.w3) + self.b3)
        L4 = T.dot(L3, self.w4) + self.b4
        self.forwardProp = T.nnet.softmax(L4)
        self.predict = T.argmax(self.forwardProp, axis = 1)

    def loss(self, y):
        return -T.mean(T.log(self.forwardProp)[T.arange(y.shape[0]), y])

x = T.matrix('x')
y = T.ivector('y')

nnet = neuralNet(x)
loss = nnet.loss(y)

diffrentiationTime = []
for i in range(100):
    t1 = time.time()
    gw, gw2, gw3, gw4, gb, gb2, gb3, gb4 = T.grad(loss, [nnet.w, nnet.w2, logReg.w3, nnet.w4, nnet.b, nnet.b2, nnet.b3, nnet.b4])
    diffrentiationTime.append(time.time() - t1)
print 'Efficient Method: Took %f seconds with std %f' % (np.mean(diffrentiationTime), np.std(diffrentiationTime))

diffrentiationTime = []
for i in range(100):
    t1 = time.time()
    gw = T.grad(loss, [nnet.w])
    gw2 = T.grad(loss, [nnet.w2])
    gw3 = T.grad(loss, [nnet.w3])
    gw4 = T.grad(loss, [nnet.w4])
    gb = T.grad(loss, [nnet.b])
    gb2 = T.grad(loss, [nnet.b2])
    gb3 = T.grad(loss, [nnet.b3])
    gb4 = T.grad(loss, [nnet.b4])
    diffrentiationTime.append(time.time() - t1)
print 'Inefficient Method: Took %f seconds with std %f' % (np.mean(diffrentiationTime), np.std(diffrentiationTime))

这将打印出以下内容:

Efficient Method: Took 0.061056 seconds with std 0.013217
Inefficient Method: Took 0.305081 seconds with std 0.026024

这表明 Theano 使用动态规划方法来计算有效方法的梯度。