第二类斯特林数学习记录

很久以前写了第一类斯特林数学习记录，直到现在要学斯特林反演了才填这个第二类斯特林数的坑
做题在推导的时候碰到斯特林数还是很常见的，记录一下，给现在的自己一些印象，也为以后的自己提供复习资料

简单介绍

第二类斯特林数是将n个不同的元素拆分成m个集合的方法数目。——百度百科

还记得吗，第一类斯特林数的是“圆排列”，第二类是“集合”
第一类斯特林数中一个元素数量为$n$圆排列的方案数贡献是$(n-1)$!的，而第二类由于是集合，所以贡献是$1$
第二类斯特林数，可以表示为$S(n,m)$，这里是大写
这里补充一下，第一类斯特林数$s(n,m)$能表示为$\left[\begin{array}{c}n\\ m\end{array}\right]$，第二类斯特林数$S(n,m)$能表示为$\left\{\begin{array}{c}n\\ m\end{array}\right\}$

第一类斯特林数有一个很好的性质$$x^{n\downarrow }=\sum _{i=0}^n\left[\begin{array}{c}n\\ i\end{array}\right]x^i$$
第二类斯特林数其实同样与下降幂有紧密联系
$$x^n=\sum _{i=0}^n\left\{\begin{array}{c}n\\ i\end{array}\right\}{x}^{i\downarrow }$$

---

重点分割线，下面这段很重要

---

在这里补充一下对这两个式子的解释与推导：
我们定义$x!=1\ast 2\ast \cdot \cdot \cdot \ast x$，特殊的，$0!=1$
在排列组合的基础知识中我们知道$A(n,m)$表示排列数，$C(n,m)$表示组合数
$A(n,m)$的意义是从$n$个不同的数中选择$m$个数组成排列的数量，所以：
$$A(n,m)=n(n-1)(n-2)\cdot \cdot \cdot (n-m+1)=n^{m\downarrow }=\frac{n!}{(n-m)!}$$
最后的结果是我们所熟悉的，但其实本质上排列数可以直接表现成下降幂的形式，所以$A(n,m)$可以直接表示为$n^{m\downarrow }$
$C(n,m)$的意义是从$n$个不同的数中选择$m$个数组成集合（即无序）的数量，所以：
$$C(n,m)=\frac{A(n,m)}{m!}=\frac{n!}{(n-m)!m!}$$
另外，$C(n,m)$同样也可以被表示为$\left(\genfrac{}{}{0ex}{}{n}{m}\right)$
Review:第一类斯特林数${\left[\begin{array}{c}n\\ m\end{array}\right]}_u$表示表示将 n 个不同元素构成m个圆排列的数目
我们来看这个式子：$$x^{n\uparrow }=\sum _{i=0}^n{\left[\begin{array}{c}n\\ i\end{array}\right]}_u{x}^i$$
设$0$到$n-1$这$n$个数中选出$m$个数，所有选法的$m$个数乘积的和的值为$f(n,m)$，我们发现$f(n,m)$就是上升幂的$(n-m)$次项系数
我们考虑怎么求这个$f$，用递推，发现$$f(n,m)=f(n-1,m)+(n-1)\ast f(n-1,m-1)$$
对比无符号第一类斯特林数的递推式$$s_u(n,m)=s_u(n-1,m-1)+(n-1)\ast s_u(n-1,m)$$
是否发现两者有异曲同工之妙呢？
我们发现，设$f(n,m)=f^{\prime }(n,n-m)$
$$\begin{gathered} f(n,m)=f(n-1,m)+(n-1)\ast f(n-1,m-1) \\ \Rightarrow f(n,n-m)=f(n-1,n-m)+(n-1)\ast f(n-1,n-m-1) \\ \Rightarrow f^{\prime }(n,m)=f^{\prime }(n-1,m-1)+(n-1)\ast f^{\prime }(n-1,m) \end{gathered}$$
没错，$f^{\prime }=s_u$
好了，那么我们就知道$x^{n\uparrow }={\sum }_{i=0}^n{\left[\begin{array}{c}n\\ i\end{array}\right]}_u{x}^i$的正确性
我们把无符号第一类斯特林数，换成有符号第一类斯特林数的，就有$$x^{n\downarrow }=\sum _{i=0}^n{\left[\begin{array}{c}n\\ i\end{array}\right]}_s{x}^i$$
第一个式子证毕（可以通过这个公式在$\Theta (nlo{g}^{2}n)$的复杂度内用分治+FFT求出某个$n$对应的所有$s_u(n,m)$值）
我们再考虑第二个式子
我们把$n$个不同数放在$x$个带标号集合里面，那么总方案数是$x^n$
我们考虑从另外一种方式来计算方案数，我们枚举非空的集合数量，通过第二类斯特林数计算非空集合的放法数，在乘上组合数就好了，即
$$x^n=\sum _{i=0}^x\left\{\begin{array}{c}n\\ i\end{array}\right\}\left(\genfrac{}{}{0ex}{}{x}{i}\right)i!$$
根据$C(n,m)\ast m!=A(n,m)$，式子变成
$$x^n=\sum _{i=0}^x\left\{\begin{array}{c}n\\ i\end{array}\right\}{x}^{i\downarrow }$$
证毕（另外，其实好像有数学归纳法的证明，本质是一样的）

计算公式

根据定义进行一波容斥我们可以写出如下式子（这里是枚举空盒子）
$$S(n,m)=\frac{1}{m!}\sum _{k=0}^m(-1{)}^k(\genfrac{}{}{0ex}{}{m}{k})(m-k{)}^n$$
我们把组合数展开
$$S(n,m)=\frac{1}{m!}\sum _{k=0}^m(-1{)}^k\frac{m!}{k!(m-k)!}(m-k{)}^n$$
整理
$$S(n,m)=\sum _{k=0}^m\frac{(-1{)}^k}{k!}\cdot \frac{(m-k{)}^n}{(m-k)!}$$
发现这是卷积形式
所以对于某个$n$，我们要求出对于所有$m$的$S(n,m)$模意义下的值，用NTT是只要$\Theta (nlogn)$的
update by 2019.3.5: 附一个应用这个预处理的题目：Team Work(CF 932 E)&[bzoj5093][Lydsy1711月赛]图的价值

与第一类斯特林数类似，第二类斯特林数也有递推式
想一下对于$S(n,m)$
若$n=0$，$m=0$方案数为1
若$n̸=0$，$m=0$方案数为0
若$n̸=0$，$m̸=0$
那么考虑转移
如果由$S(n-1,m-1)$转移来，那么自成一个集合
倘若由$S(n-1,m)$转移而来，则说明新来的一个点插入到$m$个集合中的任何一个集合
递推式：
$S(n,m)=S(n-1,m-1)+m\ast S(n-1,m)$

性质

$S(n,1)=S(n,n)=1$
好像很显然啊，各种性质似乎都是挺特殊的
然后还有就是这个
$$\sum _{i=0}^{n}S(n,m)=B_n$$
貌似$B_n$是贝尔数，不懂不懂

应用

推公式可能会用到，反正我还不能灵活应用