斯特林数

非常幽默的是到现在我都不会斯特林数,昨天联考有个下降幂转化,突然想起来有玩意儿,补一下。

由于我这辈子不会学多项式,所以本篇文章不涉及任何多项式内容。只能说省选 NOI 考了我自己倒霉。

第一类斯特林数 第二类斯特林数
置换环划分方案数 集合划分方案数
[nm]=[n1m1]+(n1)[n1m]\begin{bmatrix}n\\m\end{bmatrix}=\begin{bmatrix}n-1\\m-1\end{bmatrix}+(n-1)\begin{bmatrix}n-1\\m\end{bmatrix} {nm}={n1m1}+m{n1m}\begin{Bmatrix}n\\m\end{Bmatrix}=\begin{Bmatrix}n-1\\m-1\end{Bmatrix}+m\begin{Bmatrix}n-1\\m\end{Bmatrix}
// {nm}=i=0m(1)miin(mi)!i!\begin{Bmatrix}n\\m\end{Bmatrix}=\sum\limits_{i=0}^m\dfrac{(-1)^{m-i}i^n}{(m-i)!i!}

斯特林反演

感觉反演证明都没啥必要要写,直接列式子:

f(n)=i=0n[ni]g(i)g(n)=i=0n(1)ni{ni}f(i)f(n)=\sum\limits_{i=0}^n\begin{bmatrix}n\\i\end{bmatrix}g(i)\Leftrightarrow g(n)=\sum\limits_{i=0}^n(-1)^{n-i}\begin{Bmatrix}n\\i\end{Bmatrix}f(i)

上升幂,下降幂,普通幂转化

上升幂转普通幂:xn=i=0n[ni]xix^{\overline n}=\sum\limits_{i=0}^n\begin{bmatrix}n\\i\end{bmatrix}x^i

x=1x=1 显然相等。后面式子的组合意义是给每个环染 1x1\sim x 的颜色,令 f(x)=xnf(x)=x^{\overline n},则有递推式 f(x)=(n+x1)f(x1)f(x)=(n+x-1)f(x-1),归纳易证。

普通幂转上升幂:xn=i=0n(1)ni{ni}xix^n=\sum\limits_{i=0}^n(-1)^{n-i}\begin{Bmatrix}n\\i\end{Bmatrix}x^{\overline{i}},上面式子斯特林反演。

普通幂转下降幂:xn=i=0n{ni}xix^n=\sum\limits_{i=0}^n\begin{Bmatrix}n\\i\end{Bmatrix}x^{\underline{i} },枚举上界 x,nx,n 均可。

下降幂转普通幂:xn=i=0n(1)ni[ni]xix^{\underline n}=\sum\limits_{i=0}^n(-1)^{n-i}\begin{bmatrix}n\\i\end{bmatrix}x^{i},上面式子斯特林反演。

[省选联考 2020 A 卷] 组合数问题

拆式子里的幂没啥用,把 ff 拆成下降幂多项式,化一下式子发现可以二项式定理合并,那就 O(m2)\mathcal O(m^2) 了。


斯特林数
http://example.com/2025/09/17/notes/math/Stirling/
作者
kintsgi
发布于
2025年9月17日
许可协议