DTOJ 4778. 卖弱

题意

“代数毫无优势，真的是所有人都会做，我毫无优势，我自闭了，，，怎么办啊，我真的自闭，，，我的预估果然是对的，所有人都会做所有的题，怎么办啊，，，啊啊啊，我觉得一堆人吊打我，那还不自闭，，，大二还不拿奖，大二拿不到奖，你的人生就结束了，，，”——MDZ

一场考试后，有$n$位卖弱成瘾的大佬分别是考试的第$1$到第$n$名。但是由于他们卖弱成瘾，他们分别要找一个人诉说自己毫无优势，他们也可以说给自己听，即“我自闭了”。然而事实上，这些大佬的水平还是有一定的差距，一个大佬如果对比自己排名低至少$a$位的大佬卖弱，就会被打死。此外，真正的大佬是不屑于认识比自己菜太多的人的，所以如果一个大佬找比自己排名高至少$n-a$的大佬卖弱，就会被真正的大佬鄙视，然后也被打死。

现在每一个大佬都恰好找了一个大佬卖弱，每一个大佬也恰好被一个大佬找到卖弱，问有多少种方案使得没有人被打。

两个方案被认为是为不同的如果存在一个$i$在第一个方案中，排名为$i$的大佬找排名为$j$的大佬卖弱，而第二个方案中没有。

本题共$20$个测试点，对于所有数据满足$1\le T\le 10,2\le n\le 10^9,1\le a<min(n,10^5)$ 。

测试点编号	$n$	$a$
$1$	$\le 8$	$\le 8$
$2\sim 3$	$\le 10^3$	$\le 20$
$4\sim 6$	$\le 10^5$	$\le 50$
$7\sim 8$	$\le 10^6$	$\le 200$
$9\sim 10$	$\le 10^6$	$\le 2000$
$11\sim 14$	$\le 10^6$	$\le 10^5$
$15$	$\le 10^9$	$\le 200$
$16\sim 17$	$\le 10^9$	$\le 2000$
$18\sim 20$	$\le 10^9$	$\le 10^5$

题解

其实知道第二类斯特林数的话就是模板题了。。。（可惜我太菜之前没学过）
首先把题意形式化一下，就是前a个数，第一个数不能选后a个数，第二个数不能选后a-1个数，以此类推，后n-a个数选前n-a个数的限制也同理。于是我们先考虑前a个数中选的是后a个的那些数的方案数（后n-a个同理），显然有$f[i][j]$表示前i个选完后，在后a个数中还有j个空位的方案数，转移为$f[i][j]=f[i-1][j-1]+f[i-1][j]\ast j$。又发现如果前a个选完后在后a个留了x个空位，那么后n-a个也在前n-a个留了x个空位，于是枚举x，用两部分的DP值乘$x{!}^2$即可（剩下的随便填）。
又注意到这个转移和第二类斯特林数是一样的，化成组合意义即为n个有标号球分到m个无标号盒子的方案数（盒子不能为空）。由于两个盒子分到球的情况不可能相同，可先算出盒子有标号再除掉$m!$，前者可以考虑容斥，发现是卷积的形式，ntt即可。