第一类斯特林数求自然数幂和学习小记

目标

求$$\sum _{i=0}^n{i}^k$$

前置技能

第一类斯特林数

第一类斯特林数$s(n,m)$定义为有n个人，编号分别为1-n，排成m个循环排列的方案数。
递推式：$s(n,m)=s(n-1,m-1)+(n-1)\ast s(n-1,m)$
证明：若第n个人自己排成一个循环排列，则方案数为$s(n-1,m)$；若第n个人加入到原来的循环排列中，则可以放在任意一个人的左边，方案数为$(n-1)\ast s(n-1,m)$

另一种形式

$众所周知，C_n^k表示从n件物品中选出k件的方案数，$P_n^k$表示从n件物品中选出k个排列的方案数$
显然有$$C_n^k=\frac{P_n^k}{k!}$$
根据定义我们可以得到$$P_n^k=n\ast (n-1)\ast ...\ast (n-k+1)$$
展开后可得 P n k = S ( k , k ) ∗ n k − S ( k , k − 1 ) ∗ n k − 1 . . . P_n^k=S(k,k)*n^k-S(k,k-1)*n^{k-1}...