指数型生成函数(EGF):组合数学中一种用来编码数列的方法。若数列为 \(a_0,a_1,a_2,\dots\),其指数型生成函数定义为
\[
A(x)=\sum_{n\ge 0} a_n \frac{x^n}{n!}.
\]
它特别适合描述“带标签(labeled)”的计数问题(例如给对象编号/区分个体时)。
The exponential generating function for the sequence \(a_n=n!\) is \(\frac{1}{1-x}\).
数列 \(a_n=n!\) 的指数型生成函数是 \(\frac{1}{1-x}\)。
In labeled combinatorics, we often use an exponential generating function because the \(n!\) in the denominator naturally accounts for label permutations.
在带标签的组合计数中,我们常用指数型生成函数,因为分母中的 \(n!\) 能自然地处理标签排列带来的因素。
/ˌɛkspəˈnɛnʃəl ˈdʒɛnəˌreɪtɪŋ ˈfʌŋkʃən/
exponential 源自拉丁语词根 exponere(“展示、提出”)相关的词族,现代数学里指与指数(exponent)相关的概念;generating function 直译为“生成函数”,因其把一个数列“生成/编码”为一个形式幂级数。exponential generating function 之所以称“指数型”,关键在于它用 \(\frac{x^n}{n!}\)(与指数函数 \(e^x=\sum x^n/n!\) 的形式一致)来组织系数,从而在计数论与微积分运算中更顺手。