SDOI 2016 排列计数

SDOI 2016 排列计数

题目链接

设满足题目条件且长度为n恰好有m个数稳定的序列数为$ans(n,m)$
那么易得题目答案ANS可表示为：
$$ANS=ans(n,m)=C(n,m)\ast ans(n-m,0)$$
因为题目规定$n,m\le 1e6$，所以C(n,m)可以通过预处理阶乘+乘法逆元快速求得。
至于ans(n-m,0)，又被称作为全错位排位数。
即n个相异的元素排成一排且$a_i\ne i$的排列个数。
设长度为n的全错位排列数为F_n,有如下递推公式：
$$F_n=(n-1)(F_{n-1}+F_{n-2}),n\ge 3$$，其中$F_1=0,F_2=1$。另外对于长度为0的序列，规定其全错位排列数为1。

证明：依据递推的思想，显然$F_1=0,F_2=1$,对于$n\ge 3$，不妨设第n个数排在了第$k(k\ne n)$位。
1、若第k个数排在了第n位，那么对于n和k两个位置满足$a_n\ne n,a_k=n\ne k$，那么只剩下了n-2个数，显然剩下n-2个数可构成的全错位排列数为$F_{n-2}$
2、若第k个数没有排在第n位，则规定了$a_n\ne k$，那么可以将第n位假想为第k位，那么问题就转换成了n-1个数的全错位排列问题，解为$F_{n-1}$。
由于$1\le k<n$，所以$F_n=$