定義&求解
設數列 \(B_{n}\) 為伯努利數，滿足一下性質：
\[\begin{aligned} B_{0}&=1\\ \sum^{n}_{i=0}\binom{n+1}{i}B_{i}&=0\\ \end{aligned} \]
在 OI 中一般用這個來求 \(k\) 次方前綴和。
顯然有一個 \(O(n^2)\) 的遞推式：
\[\begin{aligned} \binom{n+1}{n}B_{n}&=-\sum^{n-1}_{i=0}\binom{n+1}{i}B_{i}\\ B_{n}&=\frac{-\sum^{n-1}_{i=0}\binom{n+1}{i}B_{i}}{n+1} \end{aligned} \]
實際上，可以利用生成函數來做到 \(O(n\log n)\)。
\[\begin{aligned} \sum^{n-1}_{i=0}\binom{n}{i}B_{i}&=0\\ \sum^{n}_{i=0}\binom{n}{i}B_{i}&=B_{n}\\ \sum^{n}_{i=0}\frac{n!}{i!(n-i)!}B_{i}&=B_{n}\\ \sum^{n}_{i=0}\frac{B_{i}}{i!(n-i)!}&=\frac{B_{n}}{n!}\\ \end{aligned} \]
如果我們令 \(B(x)\) 為其指數生成函數，那么可以發現左邊實際上是卷上了一個 \(e^x\) 。
但是上面這個式子只當 \(n>1\) 的時候才成立，所以要手動修正 \(B_{0},B_{1}\) 的系數。
\[\begin{aligned} B(x)&=e^xB(x)-x\\ B(x)&=\frac{x}{e^x-1}\\ \end{aligned} \]
直接套上一個多項式求逆就可以 \(O(n\log n)\) 的復雜度求出 \(B\) 了。
簡單應用
求 \(S_{k}(n)=\sum^{n}_{i=1}i^k\) 。
我們令 \(F(x)\) 為 \(S(n)\) 的指數生成函數。
\[\begin{aligned} F(x)&=\sum^{+\infty}_{i=0}\frac{x^iS_{i}(n)}{i!}\\ &=\sum^{+\infty}_{i=0}\frac{x^i\sum^{n}_{j=1}j^i}{i!}\\ &=\sum^{n}_{j=0}\sum^{+\infty}_{i=0}\frac{x^ij^i}{i!}\\ &=\sum^{n}_{j=1}e^{ix}\\ &=\frac{e^{(n+1)x}-e^x}{e^x-1}\\ &=\frac{B(x)e^x}{x}(e^{nx}-1)\\ &=\frac{B(x)e^x}{x}(-1+\sum^{+\infty}_{i=0}\frac{n^ix^i}{i!})\\ &=\frac{B(x)+x}{x}(-1+\sum^{+\infty}_{i=0}\frac{n^ix^i}{i!})\\ \end{aligned} \]
為了方便，我們定義 \(B'(x)=B(x)+x\) 。
\[\begin{aligned} &\frac{B'(x)}{x}(-1+\sum^{+\infty}_{i=0}\frac{n^ix^i}{i!})\\ &=B'(x)\sum^{+\infty}_{i=0}\frac{n^{i+1}x^i}{(i+1)!}\\ \end{aligned} \]
對於只要求第 \(k\) 項的時候，可以暴力卷積。
\[\begin{aligned} S_{k}(n)&=k!\sum^{k}_{i=0}\frac{B'_{i}n^{k-i+1}}{(k-i+1)!i!}\\ &=\frac{1}{k+1}\sum^{k}_{i=0}\binom{k+1}{i}B'_{i}n^{k-i+1}\\ \end{aligned} \]
至此，可以做到 \(O(k)\) 求出單項的值。 雖然有不用腦子，且復雜度差不多的插值法