jax.lax.associative_scan

jax.lax.associative_scan#

jax.lax.associative_scan(fn, elems, reverse=False, axis=0)[source]#

并行执行具有关联二元运算的扫描。

有关关联扫描的介绍，请参阅 [BLE1990]。

参数：

  • fn (Callable) –

    一个 Python 可调用对象，实现具有签名 r = fn(a, b) 的关联二元运算。函数 fn 必须是关联的，即必须满足等式 fn(a, fn(b, c)) == fn(fn(a, b), c)。

    输入和结果是（可能嵌套的 Python 树结构）数组，与 elems 匹配。每个数组在 axis 维度的位置上都有一个维度。fn 应该在 axis 维度上逐元素应用（例如，通过在逐元素函数上使用 jax.vmap()）。

    结果 r 与两个输入 a 和 b 具有相同的形状（和结构）。

  • elems – 一个（可能嵌套的 Python 树结构）数组，每个数组都有一个大小为 num_elems 的 axis 维度。

  • reverse (bool) – 用于指示扫描是否应相对于 axis 维度反向进行的布尔值。

  • axis (int) – 用于标识扫描应在其上进行的轴的整数。

返回值:

一个（可能是嵌套的 Python 树结构的）数组，其形状和结构与 elems 相同，其中 axis 的第 k 个元素是通过递归应用 fn 将 elems 沿着 axis 的前 k 个元素组合起来的结果。例如，给定 elems = [a, b, c, ...]，结果将是 [a, fn(a, b), fn(fn(a, b), c), ...]。

示例 1：数字数组的部分和

>>> lax.associative_scan(jnp.add, jnp.arange(0, 4))
Array([0, 1, 3, 6], dtype=int32)

示例 2：矩阵数组的部分积

>>> mats = jax.random.uniform(jax.random.key(0), (4, 2, 2))
>>> partial_prods = lax.associative_scan(jnp.matmul, mats)
>>> partial_prods.shape
(4, 2, 2)

示例 3：数字数组的反向部分和

>>> lax.associative_scan(jnp.add, jnp.arange(0, 4), reverse=True)
Array([6, 6, 5, 3], dtype=int32)
[BLE1990]

Blelloch, Guy E. 1990. “前缀和及其应用”。技术报告 CMU-CS-90-190，卡内基梅隆大学计算机科学学院。

目录