指数生成函数

序列 $a$ 的指数生成函数（exponential generating function，EGF）定义为形式幂级数：

\hat{F} (x) = \sum_{n} a_{n} \frac{x^{n}}{n!}

基本运算

指数生成函数的加减法与普通生成函数是相同的，也就是对应项系数相加。

考虑指数生成函数的乘法运算。对于两个序列 $a, b$ ，设它们的指数生成函数分别为 $\hat{F} (x), \hat{G} (x)$ ，那么

\begin{aligned} \hat{F} (x) \hat{G} (x) & = \sum_{i \geq 0} a_{i} \frac{x^{i}}{i!} \sum_{j \geq 0} b_{j} \frac{x^{j}}{j!} \\ = \sum_{n \geq 0} x^{n} \sum_{i = 0}^{n} a_{i} b_{n - i} \frac{1}{i! (n - i)!} \\ = \sum_{n \geq 0} \frac{x^{n}}{n!} \sum_{i = 0}^{n} (\binom{n}{i}) a_{i} b_{n - i} \end{aligned}

因此 $\hat{F} (x) \hat{G} (x)$ 是序列

⟨ \sum_{i = 0}^{n} (\binom{n}{i}) a_{i} b_{n - i} ⟩

的指数生成函数。

封闭形式

我们同样考虑指数生成函数的封闭形式。

序列 $⟨ 1, 1, 1, \dots ⟩$ 的指数生成函数是：

\hat{F} (x) = \sum_{n \geq 0} \frac{x^{n}}{n!} = e^{x}

因为你将 $e^{x}$ 在 $x = 0$ 处泰勒展开就得到了它的无穷级数形式。

类似地，等比数列 $⟨ 1, p, p^{2}, \dots ⟩$ 的指数生成函数是：

\hat{F} (x) = \sum_{n \geq 0} \frac{p^{n} x^{n}}{n!} = e^{p x}

指数生成函数与普通生成函数

如何理解指数生成函数？我们定义序列 $a$ 的指数生成函数是：

F (x) = \sum_{n \geq 0} a_{n} \frac{x^{n}}{n!}

但 $F (x)$ 实际上也是序列 $⟨ \frac{a_{n}}{n!} ⟩$ 的普通生成函数。

这两种理解没有任何问题。也就是说，不同的生成函数只是对问题理解方式的转变。

EGF 中多项式 exp 的组合意义

如果您还没有学习多项式 exp 请先跳过这里，这是由 exp 理解引出的意义，从某种意义上来说可以加深对 EGF 的理解。

EGF 中 $f^{n} (x)$ 的 $f$ 默认是一个 EGF，那么我们首先考虑任意两个 EGF 的乘积

\hat{H} (x) = \hat{F} (x) \hat{G} (x) = \sum_{n \geq 0} [\sum_{i = 0}^{n} (\binom{n}{i}) f_{i} g_{n - i}] \frac{x^{n}}{n!}

对于两个 EGF 相乘得到的 $[x^{k}] \hat{H} (x)$ ，实际上是一个卷积。而如果考虑多个 EGF 相乘得到的 $[x^{k}] \hat{H} (x)$ ，实际上就是对每个 EGF 选择一项 $x^{a_{i}}$ 使得 $\sum_{i} a_{i} = k$ 时每种情况系数的和。从集合的角度来理解就是把 $n$ 个有标号元素划分为 $k > 0$ 个有标号集合的方案数。

如果 $k = 0$ 则系数显然为原 EGF 各项常数的积，但是多项式 $\exp$ 中某些要求导致 $\exp$ 的 $f (x)$ 常数项必须为 $0$ ，具体的原因在下文中会做出一些说明。

多项式系数定义（具体请参考排列组合一栏中的多项式系数组合意义）里是默认集合有序的，但是 $\exp (f (x))$ 中 $f^{k} (x)$ ， $k$ 个 $f (x)$ 相乘得到的 EGF 相同，而集合划分显然是无序的，因此其系数应该乘上 $\frac{1}{k!}$ 。

设 $F_{k} (n)$ 为 $n$ 个有标号元素划分成 $k$ 个非空无序集合（因为是 $\exp$ 所以有非空要求）的情况， $f_{i}$ 为 $i$ 个元素组成一个集合时， $i$ 个元素的有限集上特定组合结构的数量（是原有的 EGF，对这一个集合元素计数的方案，仅仅与该集合大小有关），那么 $F_{k} (n)$

F_{k} (n) = \frac{n!}{k!} \sum_{\sum_{i}^{k} a_{i} = n} \prod_{j = 1}^{k} \frac{f_{a_{j}}}{a_{j}!}

设 $f_{n}$ 的 EGF 为 $\hat{F} (x)$ ，即：

\hat{F} (x) = \sum_{n \geq 0} f_{n} \frac{x^{n}}{n!}

设 $F_{k} (n)$ 的 EGF 为 $G_{k} (x)$ ，则：

\begin{aligned} G_{k} (x) & = \sum_{n \geq 0} F_{k} (n) \frac{x^{n}}{n!} \\ = \sum_{n \geq 0} x^{n} \frac{1}{k!} \sum_{\sum_{i}^{k} a_{i} = n} \prod_{j = 1}^{k} \frac{f_{a_{j}}}{a_{j}!} \\ = \frac{1}{k!} \sum_{n \geq 0} \sum_{\sum_{i}^{k} a_{i} = n} \prod_{j = 1}^{k} \frac{f_{a_{j}} x^{a_{j}}}{a_{j}!} \\ = \frac{1}{k!} {\hat{F}}^{k} (x) \end{aligned}

对于所有的 $k \geq 0$ ：

\sum_{k \geq 0} G_{k} (x) = \sum_{k \geq 0} \frac{{\hat{F}}^{k} (x)}{k!} = \exp \hat{F} (x)

上面是从组合角度直接列式理解，我们也可以从递推方面来证明 $\exp (f (x))$ 和 $f (x)$ 两者间的关系。

同样设 $F_{k} (n)$ 为 $n$ 个有标号元素划分成 $k$ 个非空集合（无标号）的情况， $g_{i}$ 为 $i$ 个元素组成一个集合内部的方案数（意义同上文中的 $f_{i}$ ），并令 $G (x)$ 为 ${g_{i}}$ 的 EGF， $H_{k} (x)$ 为 ${F_{k} (n)}$ 的 EGF。

$n$ 个元素中取出 $i$ 个元素作为一个单独划分出去的集合共有 $g_{i}$ 种方案，剩下的 $n - i$ 个元素构成 $k - 1$ 个集合共 $F_{k - 1} (n - i)$ 种方案，但最后的划分方案中，一个方案里的每个集合都会被枚举为单独划分出去的集合，所以重复计算了 $k$ 次，故还需要除以 $k$ 。

\begin{aligned} H_{k} (x) & = \sum_{n \geq 0} \frac{x^{n}}{n!} F_{k} (n) \\ = \sum_{n \geq 0} \frac{x^{n}}{n!} \sum_{i = 1}^{n - k + 1} (\binom{n}{i}) F_{k - 1} (n - i) \times g_{i} \times \frac{1}{k} \\ = \frac{1}{k} \sum_{n \geq 0} \frac{x^{n}}{n!} \sum_{i = 0}^{n} (\binom{n}{i}) F_{k - 1} (n - i) \times g_{i} \\ = \frac{1}{k} \cdot H_{k - 1} (x) G (x) \end{aligned}

上界是由非空集合划分推出的 $n - (k - 1) \geq i$ （前 $k - 1$ 个集合每个集合最少有一个元素），但是如果超过枚举上界涉及的 $F_{k - 1} (n - i)$ 设为 $0$ ，那么就没有影响。

得到递推式之后可递归展开，边界为 $k = 1$ 时 $H_{1} (x) = G (x)$ 。

\begin{aligned} H_{k} (x) & = \frac{1}{k} \cdot H_{k - 1} (x) G (x) \\ = \frac{1}{k} \cdot \frac{1}{k - 1} \cdot H_{k - 2} (x) G^{2} (x) \\ = \dots \\ = \frac{1}{k} \cdot \frac{1}{k - 1} \dots \frac{1}{2} \cdot H_{1} (x) G^{k - 1} (x) \\ = \frac{1}{k!} G^{k} (x) \end{aligned}

同样的有：

\begin{array}{r} \sum_{k \geq 0} H_{k} (x) = \sum_{k \geq 0} \frac{G^{k} (x)}{k!} = \exp G (x) \end{array}

显然 定义成划分为非空集合（ $g_{0} = 0$ ）是符合本身的意义的，如果 包含空集（ $g_{0} = 1$ ），那么对应 $[x^{n}] G^{k}$ 中就会有 $[x^{n}] G^{y}, y > k$ 的贡献（在至少一个 $G$ 中选择常数项），有计重，得不到所求量。

从递推式的角度讲，多个 EGF 的乘积也可以看作一个类似于背包的组合（合并两组计数对象的过程）。

总结多项式 $\exp$ 的意义就是：有标号元素构成的集合的生成集族有多少种情况，或划分为任意个非空子集的总方案数。

排列与圆排列

长度为 $n$ 的排列数的指数生成函数是

\hat{P} (x) = \sum_{n \geq 0} \frac{n! x^{n}}{n!} = \sum_{n \geq 0} x^{n} = \frac{1}{1 - x}

圆排列的定义是把 $1, 2, \dots, n$ 排成一个环的方案数。也就是说旋转后的方案的等价的（但翻转是不等价的）。

$n$ 个数的圆排列数显然是 $(n - 1)!$ 。因此 $n$ 个数的圆排列数的指数生成函数是

\hat{Q} (x) = \sum_{n \geq 1} \frac{(n - 1)! x^{n}}{n!} = \sum_{n \geq 1} \frac{x^{n}}{n} = - \ln (1 - x) = \ln (\frac{1}{1 - x})

也就是说 $\exp \hat{Q} (x) = \hat{P} (x)$ 。但这只是数学层面的推导。我们该怎样直观理解：圆排列数的 EGF 的 $\exp$ 是排列数的 EGF？

一个排列，是由若干个置换环构成的。例如 $p = [4, 3, 2, 5, 1]$ 有两个置换环：

（也就是说我们从 $p_{i}$ 向 $i$ 连有向边）

而不同的置换环，会导出不同的排列。例如将第二个置换环改成

那么它对应的排列就是 $[5, 3, 2, 1, 4]$ 。

也就是说，长度为 $n$ 的排列的方案数是

把 $1, 2, \dots, n$ 分成若干个集合
每个集合形成一个置换环

的方案数。而一个集合的数形成置换环的方案数显然就是这个集合大小的圆排列方案数。因此长度为 $n$ 的排列的方案数就是：把 $1, 2, \dots, n$ 分成若干个集合，每个集合的圆排列方案数之积。

这就是多项式 $\exp$ 的直观理解。

推广之

如果 $n$ 个点 带标号 生成树的 EGF 是 $\hat{F} (x)$ ，那么 $n$ 个点 带标号 生成森林的 EGF 就是 $\exp \hat{F} (x)$ ——直观理解为，将 $n$ 个点分成若干个集合，每个集合构成一个生成树的方案数之积。
如果 $n$ 个点带标号无向连通图的 EGF 是 $\hat{F} (x)$ ，那么 $n$ 个点带标号无向图的 EGF 就是 $\exp \hat{F} (x)$ ，后者可以很容易计算得到
$\exp \hat{F} (x) = \sum_{n \geq 0} 2^{(\binom{n}{2})} \frac{x^{n}}{n!}$
因此要计算前者，只需要一次多项式 $\ln$ 即可。

接下来我们来看一些指数生成函数的应用。

应用

错排数

定义长度为 $n$ 的一个错排是满足 $p_{i} \neq i$ 的排列。

求错排数的指数生成函数。

从置换环的角度考虑，错排就是指置换环中不存在自环的排列。也就是说不存在长度为 $1$ 的置换环。后者的指数生成函数是

\sum_{n \geq 2} \frac{x^{n}}{n} = - \ln (1 - x) - x

因此错排数的指数生成函数就是 $\exp (- \ln (1 - x) - x)$ 。

不动点

题意：求有多少个映射 $f : {1, 2, \dots, n} \to {1, 2, \dots, n}$ ，使得

\underset{k}{\underset{⏟}{f \circ f \circ \dots \circ f}} = \underset{k - 1}{\underset{⏟}{f \circ f \circ \dots \circ f}}

$n k \leq 2 \times 10^{6}, 1 \leq k \leq 3$ 。

考虑 $i$ 向 $f (i)$ 连边。相当于我们从任意一个 $i$ 走 $k$ 步和走 $k - 1$ 步到达的是同一个点。也就是说基环树的环是自环且深度不超过 $k$ （根结点深度为 $1$ ）。把这个基环树当成有根树是一样的。因此我们的问题转化为： $n$ 个点带标号，深度不超过 $k$ 的有根树森林的计数。

考虑 $n$ 个点带标号深度不超过 $k$ 的有根树，假设它的生成函数是：

\hat{F_{k}} (x) = \sum_{n \geq 0} f_{n, k} \frac{x^{n}}{n!}

考虑递推求 $\hat{F_{k}} (x)$ 。深度不超过 $k$ 的有根树，实际上就是深度不超过 $k - 1$ 的若干棵有根树，把它们的根结点全部连到一个结点上去。因此

\hat{F_{k}} (x) = x \exp {\hat{F}}_{k - 1} (x)

那么答案的指数生成函数就是 $\exp {\hat{F}}_{k} (x)$ 。求它的第 $n$ 项即可。

Lust

给你一个 $n$ 个数的序列 $a_{1}, a_{2}, \dots, a_{n}$ ，和一个初值为 $0$ 的变量 $s$ ，要求你重复以下操作 $k$ 次：

在 $1, 2, \dots, n$ 中等概率随机选择一个 $x$ 。
令 $s$ 加上 $\prod_{i \neq x} a_{i}$ 。
令 $a_{x}$ 减一。

求 $k$ 次操作后 $s$ 的期望。

$1 \leq n \leq 5000, 1 \leq k \leq 10^{9}, 0 \leq a_{i} \leq 10^{9}$ 。

假设 $k$ 次操作后 $a_{i}$ 减少了 $b_{i}$ ，那么实际上

s = \prod_{i = 1}^{n} a_{i} - \prod_{i = 1}^{n} (a_{i} - b_{i})

因此实际上我们的问题转化为，求 $k$ 次操作后 $\prod_{i = 1}^{n} (a_{i} - b_{i})$ 的期望。

不妨考虑计算每种方案的的 $\prod_{i = 1}^{n} (a_{i} - b_{i})$ 的和，最后除以 $n^{k}$ 。

而 $k$ 次操作序列中，要使得 $i$ 出现了 $b_{i}$ 次的方案数是

\frac{k!}{b_{1}! b_{2}! \dots b_{n}!}

这与指数生成函数乘法的系数类似。

设 $a_{j}$ 的指数生成函数是

F_{j} (x) = \sum_{i \geq 0} (a_{j} - i) \frac{x^{i}}{i!}

那么答案就是

[x^{k}] \prod_{j = 1}^{n} F_{j} (x)

为了快速计算答案，我们需要将 $F_{j} (x)$ 转化为封闭形式：

\begin{aligned} F_{j} (x) & = \sum_{i \geq 0} a_{j} \frac{x^{i}}{i!} - \sum_{i \geq 1} \frac{x^{i}}{(i - 1)!} \\ = a_{j} e^{x} - x e^{x} \\ = (a_{j} - x) e^{x} \end{aligned}

因此我们得到

\prod_{j = 1}^{n} F_{j} (x) = e^{n x} \prod_{j = 1}^{n} (a_{j} - x)

其中 $\prod_{j = 1}^{n} (a_{j} - x)$ 是一个 $n$ 次多项式，可以暴力计算出来。假设它的展开式是 $\sum_{i = 0}^{n} c_{i} x^{i}$ ，那么

\begin{aligned} \prod_{j = 1}^{n} F_{j} (x) & = (\sum_{i \geq 0} \frac{n^{i} x^{i}}{i!}) (\sum_{i = 0}^{n} c_{i} x^{i}) \\ = \sum_{i \geq 0} \sum_{j = 0}^{i} c_{j} x^{j} \frac{n^{i - j} x^{i - j}}{(i - j)!} \\ = \sum_{i \geq 0} \frac{x^{i}}{i!} \sum_{j = 0}^{i} n^{i - j} i^{\underset{―}{j}} c_{j} \end{aligned}

计算这个多项式的 $x^{k}$ 项系数即可。

本页面最近更新：2025/8/29 18:05:34，更新历史
发现错误？想一起完善？在 GitHub 上编辑此页！
本页面贡献者：StudyingFather, countercurrent-time, H-J-Granger, NachtgeistW, sshwy, Early0v0, Enter-tainer, Great-designer, Tiphereth-A, AngelKitty, CCXXXI, cjsoft, diauweb, ezoixx130, GekkaSaori, Ir1d, Konano, LovelyBuggies, Makkiy, mgt, minghu6, P-Y-Y, PotassiumWings, SamZhangQingChuan, Suyun514, weiyong1024, alphagocc, ComeIntoCalm, GavinZhengOI, Gesrua, GhostLX-AI, HeRaNO, kxccc, lychees, Peanut-Tang, r-value, shuzhouliu, SukkaW, untitledunrevised
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供，附加条款亦可能应用