Tensorflow：如何在 python 中编写带有梯度的运算符？

Question

我想在 python 中编写一个 TensorFlow op，但我希望它是可微的（以便能够计算梯度）。

这道题问如何在python中写一个op，答案建议使用py_func（没有渐变）：

TF 文档描述了如何仅从 C++ 代码开始添加操作：https://www.tensorflow.org/versions/r0.10/how_tos/adding_an_op/index.html

就我而言，我正在制作原型，所以我不关心它是否在 GPU 上运行，我也不关心它是否可以从 TF 以外的任何地方使用 python API.

Answer 1

下面是向特定 py_func 添加渐变的示例 https://gist.github.com/harpone/3453185b41d8d985356cbe5e57d67342

问题来了discussion

Answer 2

是的，正如@Yaroslav 的回答中提到的那样，这是可能的，关键是他引用的链接：here and here。我想通过举一个具体的例子来详细说明这个答案。

模运算：让我们在tensorflow中实现逐元素模运算（它已经存在但是它的梯度没有定义，但是为了这个例子我们将从头开始实现它） .

Numpy函数：第一步是定义我们想要的numpy数组的操作。元素方式的模运算已经在 numpy 中实现，所以很容易：

import numpy as np
def np_mod(x,y):
    return (x % y).astype(np.float32)

.astype(np.float32) 的原因是因为默认情况下 tensorflow 采用 float32 类型，如果你给它 float64（numpy 默认值）它会抱怨。

梯度函数：接下来我们需要为运算的每个输入定义梯度函数作为tensorflow函数。该功能需要采用非常具体的形式。它需要采用操作的张量流表示 op 和输出的梯度 grad 并说明如何传播梯度。在我们的例子中，mod 操作的梯度很简单，关于第一个参数的导数是 1 并且 with respect to the second (almost everywhere, and infinite at a finite number of spots, but let's ignore that, see https://math.stackexchange.com/questions/1849280/derivative-of-remainder-function-wrt-denominator 了解详情）。所以我们有

def modgrad(op, grad):
    x = op.inputs[0] # the first argument (normally you need those to calculate the gradient, like the gradient of x^2 is 2x. )
    y = op.inputs[1] # the second argument

    return grad * 1, grad * tf.neg(tf.floordiv(x, y)) #the propagated gradient with respect to the first and second argument respectively

grad 函数需要 return 一个 n 元组，其中 n 是操作参数的数量。请注意，我们需要 return 输入的张量流函数。

用梯度制作一个 TF 函数： 正如上面提到的来源中所解释的，有一个 hack 可以使用 tf.RegisterGradient [=29= 来定义函数的梯度].

复制harpone的代码，我们可以修改tf.py_func函数，让它同时定义渐变：

import tensorflow as tf

def py_func(func, inp, Tout, stateful=True, name=None, grad=None):

    # Need to generate a unique name to avoid duplicates:
    rnd_name = 'PyFuncGrad' + str(np.random.randint(0, 1E+8))

    tf.RegisterGradient(rnd_name)(grad)  # see _MySquareGrad for grad example
    g = tf.get_default_graph()
    with g.gradient_override_map({"PyFunc": rnd_name}):
        return tf.py_func(func, inp, Tout, stateful=stateful, name=name)

stateful选项是告诉tensorflow这个函数是否总是对相同的输入给出相同的输出（stateful = False）在这种情况下tensorflow可以简单的tensorflow图，这是我们的情况并且可能会在大多数情况下都是如此。

将它们组合在一起： 现在我们有了所有的部分，我们可以将它们组合在一起：

from tensorflow.python.framework import ops

def tf_mod(x,y, name=None):

    with ops.op_scope([x,y], name, "mod") as name:
        z = py_func(np_mod,
                        [x,y],
                        [tf.float32],
                        name=name,
                        grad=modgrad)  # <-- here's the call to the gradient
        return z[0]

tf.py_func 作用于张量列表（和 return 是张量列表），这就是为什么我们有 [x,y]（和 return z[0] ). 现在我们完成了。我们可以测试它。

测试：

with tf.Session() as sess:

    x = tf.constant([0.3,0.7,1.2,1.7])
    y = tf.constant([0.2,0.5,1.0,2.9])
    z = tf_mod(x,y)
    gr = tf.gradients(z, [x,y])
    tf.initialize_all_variables().run()

    print(x.eval(), y.eval(),z.eval(), gr[0].eval(), gr[1].eval())

[ 0.30000001 0.69999999 1.20000005 1.70000005] [ 0.2 0.5 1. 2.9000001] [ 0.10000001 0.19999999 0.20000005 1.70000005] [ 1. 1. 1. 1.] [ -1. -1. -1. 0.]

成功！

Tensorflow：如何在 python 中编写带有梯度的运算符？

Tensorflow: How to write op with gradient in python?

python

tensorflow

neural-network

gradient-descent