幂前缀和的生成函数

幂前缀和的生成函数

问题描述:

对于给定的大数 \(m\),求 \(\displaystyle k\in[1,n],F_k=\sum _{i=1}^m i^k\)

\(F_k=\sum _{i=1}^m i^k\),每一项的组合意义即:为 \(k\) 个元素每个染上 \(i\) 种颜色中的一个

下面是用斯特林数的推导

带入第二类斯特林数的组合意义,得到:

\[ \displaystyle F_k=\sum_{i=1}^m \sum_{j=0}^{\infty} \binom{i}{j}\begin{Bmatrix}k\\ j\end{Bmatrix}j! \]

合并外层循环的组合数前缀和:

\[ \displaystyle F_k=\sum_{i=0}^{\infty} \binom{m+1}{i+1}\begin{Bmatrix}k\\ i\end{Bmatrix}i! \]

我们知道第二类斯特林数的 \(\text{EGF}\)

\[ \displaystyle S(x)=\sum \begin{Bmatrix}i\\m \end{Bmatrix}\frac{x^i}{i!}=\frac{1}{m!}(e^x-1)^m \]

其意义是合并每一种颜色的元素的 \(\text{EGF}\),要求每种颜色个数 \(\ge 1\),同时颜色之间无序,最后除掉。

带入 \(F_k\) 的式子,得到 \(F_k\)\(\text{EGF}\)

\[ \displaystyle F(x)=\sum \binom{m+1}{i+1}(e^x-1)^i \]

带入二项展开:

\[ \displaystyle F(x)=\frac{e^{(m+1)x}-1}{e^x-1} \]


停停停

这个东西不是直接根据 \([x^n]e^{ax}=\cfrac{a^n}{n!}\).

就会发现是 \(\displaystyle \sum_{i=0}^m e^{ix}=\frac{e^{(m+1)x}-1}{e^x-1}\) 吗。

线性解法

待补。。。