[JZOJ4474][LuoguP4071] 排列计数 (排列组合 + 递推错排数（附证明）)

题目描述

题目描述
求有多少种长度为 n 的序列 A，满足以下条件：
1 ~ n 这 n 个数在序列中各出现了一次
若第 i 个数 A[i] 的值为 i，则称 i 是稳定的。序列恰好有 m 个数是稳定的
满足条件的序列可能很多，序列数对 10^9+7取模。

输入格式
第一行一个数 T，表示有 T 组数据。
接下来 T 行，每行两个整数 n、m。

输出格式
输出 T 行，每行一个数，表示求出的序列数

数据范围及提示
测试点 1 ~ 3： T = 1000，n≤8，m≤8；
测试点 4 ~ 6： T = 1000， n≤12，m≤12；
测试点 7 ~ 9： T = 1000， n≤100，m≤100；
测试点 10 ~ 12： T = 1000，n≤1000，m≤1000；
测试点 13 ~ 14： T = 500000，n≤1000，m≤1000；
测试点 15 ~ 20： T = 500000，n≤1000000，m≤1000000。

样例输入输出

Sample Input
5
1 0
1 1
5 2
100 50
10000 5000
Sample Output
0
1
20
578028887
60695423

题解

读完题目，可以很容易地想到排列组合 （不要问我为什么，如果想知道，请右上角离开）

首先，根据小学奥数的经验（应该是酱紫的），可以想到，应该固定m个点保证它们稳定，那么，剩下的数只需要都不稳定就好了。（说得容易，我考试就是这步不会）

---

求固定m个数稳定的所有请款很简单，用排列组合的术语来表示，即是$C_n^m$

普及一下（不过应该都知道），$C_n^m$表示从n个不同元素中取出m(m≤n)个元素的所有组合的个数，即从n个不同元素中取出m个元素的组合数；其中组合的定义为：从n个不同元素中，任取m(m≤n）个元素并成一组，叫做从n个不同元素中取出m个元素的一个组合（不考虑顺序）
这里，给出组合数的公式：
$$C_m^n=m!$$