[一些性质]

斯特林数公式

第一类

$n^{m↓}=\sum_{k=0..m}(-1)^{n-k}[^m_k]n^{k}$
也就是说，$[^m_k]$是$(x)*(x-1)*...(x-m+1)$的k次项系数。
由于递推式$[^i_j]=[^{i-1}_{j}]*(i-1)+[^{i-1}_{j-1}]$和上面系数递推式长一样，所以有这式子。

第二类

$n^m=\sum_{k=0..n}\{^m_k\}n^{k↓}$
可以理解为m个球放进n个可区分盒子里，不要求每个盒子一定有球。然后我们枚举哪些盒子有球，就可以第二类斯特林数了。

n阶差分公式

对于数组$f(i)$，定义$∆^nf(i)=∆^{n-1}f(i+1)-∆^{n-1}f(i)$，其中$∆^0f(i)=f(i)$，那么有
$∆^nf(x)=\sum_{i=0..n}(-1)^{n-i}C_n^if(x+i)$

伯努利数

设为B[]，B[0]=1
生成函数的定义：$\frac{x}{e^x-1}=\sum_{i≥0}\frac{B_ix^i}{i!}$
基于的组合数定义：$\sum_{i=0..n}C_{n+1}^{i}B_i=0$
由于$\frac{x}{e^x-1}=\frac{1}{\sum_{i≥0}\frac{x^i}{(i+1)!}}$
那么右边多项式求逆可以得出B。

用于求自然数幂和

$\sum_{i=1..n}i^K=\sum_{i=1..K+1}C_{K+1}^iB_{K+1-i}(n+1)^i$
可见右边是个卷积的形式，可以FFT优化的。