【总结】第一类和第二类斯特林数-cf960G&bzoj5093图的价值

参考资料：
第一类斯特林数求自然数幂和学习小记
第二类斯特林数 学习总结
第一和第二类斯特林数小结
具体数学·斯特林数

---

第一类斯特林数

$\left[\begin{array}{c}n\\ k\end{array}\right]$指将$n$个不同的元素排成$k$个轮换方案数。

递推式：$\left[\begin{array}{c}n\\ k\end{array}\right]=\left[\begin{array}{c}n-1\\ k-1\end{array}\right]+(n-1)\left[\begin{array}{c}n-1\\ k\end{array}\right]$

生成函数:$$\prod _{i=0}^{n-1}(x+i)$$
其第$k$项($x^k$)的系数即为$\left[\begin{array}{c}n\\ k\end{array}\right]$
使用分治$FFT$可以$O(nlo{g}^{2}n)$求解

与阶乘的关系：$$n!=\sum _{k=0}^n\left[\begin{array}{c}n\\ k\end{array}\right]$$
因为对于一个$1-n$的排列$P$，每一种排列方式都对应着一个轮换的集合(从群论($polya/burnside$)中可以感受到排列和轮换安排本质上的相同)。

例题：CF960G

题意：

给定$n,A,B$，求有多少个$1-n$的排列$P=a_1,a_2,..,a_n$满足从$a_1$开始向右的最长递增序列长度为$A$且从$a_n$开始向左的最长递增序列长度为$B$。$n\le 10^5,\mathrm{m}\mathrm{o}\mathrm{d}998244353$

题解：

一个数被选中的要求是它前面(从$a_n$开始就是后面)没有比它大的数。

无论从$a_1$还是从$a_n$开始，最后都在值为$n$处结束，所以$n$将$a_1$和$a_n$的递增数列截断了，问题转化成了在$a_1-(n-1)$之间选择$A-1$个并在$(n+1)-a_n$之间选择$B-1$个满足上述要求的数($a_1,a_n$包含在内)。

本质上就是把$n-1$个数(没有考虑$n$)划分成$A+B-2$个非空集合，任选$A-1$个集合放在$n$左边，剩下$B-1$个放在$n$右边，按每个集合中的最大数升序排列后就保证了每个集合必然会选择一个，符合了要求。

则$$ans=\left[\begin{array}{c}n-1\\ A+B-2\end{array}\right]\left(\genfrac{}{}{0ex}{}{A+B-2}{A-1}\right)$$

代码(含分治$FFT$求解第一类斯特林数)：

#include<bits/stdc++.h>
using namespace std;
const int mod=998244353,g=3,N=5e5+10;
typedef long long ll;

int n,x,y,nv[200010],a[19<