题目大意：众所周知冒泡排序算法多数情况下不能只扫描一遍就结束排序，而是要扫描好几遍。现在你的任务是求1~N的排列中，需要扫描K遍才能排好序的数列的个数模20100713。注意，不同于真正的冒泡排序算法，只要数列有序就立刻停止，而不用再检验一遍。
估计多数人都是找规律吧，先看出递推，然后求出通项……这个题只有找出通项公式才能通过，所以首先公布答案：
K!((K + 1) ^ (N - K) - K ^ (N - K))
好吧，现在让我们来证明一下。
首先定义函数d(x)，对于1~N的一个排列，d(x)表示第x个数前面有多少个数字大于该数。
比如说对于3 2 4 1 5，有d(1) = 0，d(2) = 1，d(3) = 0，d(4) = 3，d(5) = 0。
现在我们来证明d(x)函数的两条性质：
（一）对于一个排列，对于所有x <= N，有d(x) = 0是这个排列是有序的充要条件。
如果存在1 <= i, j <= N，使得i < j，ai > aj，那么由于aj前面有ai大于它，故d(j) >= 1。而这与d(j) = 0矛盾，反之亦然。所以说命题成立。
（二）冒泡排序的每次扫描的结果是，对于非零的d(x)值，这个位置的d(x)会且只会减少1。
考虑某个非零的d(x)值。由于d(x) >= 1，所以必然存在整数i∈[1, x - 1]，满足ai > ax。设m为a1, a2, ..., a(x -1)中的最大值，位置为i，则必有m > ax。那么，在扫描到a(x - 1)和ax的时候，由于前面的交换，必然有a(x - 1) = m。
原因是如果前面的交换将m交换到了a(x - 2)的位置，那么由于m > a(x - 1)，那么ai必然能够被交换到a(x - 1)的位置。故由数学归纳法，只要m能够被交换到a(i + 1)即可。而在交换之前a(i - 1) < m，m与a(i - 1)不发生交换；同时必然有m > a(i + 1)，m一定会被交换到a(i + 1)，故该结论成立，从而扫描a(x - 1)和ax的时候a(x - 1) = m。
这时由于m > ax，m与ax之间要交换，交换的效果由于ax前面比ax小的数字减少了一个，d(x)减小了1。所以说d(x)在这个过程中必会减少。
而另一方面，完成了m与ax的这次交换之后，这一次扫描显然就不会再交换ax的值了（这时ax位置上的值已经是m了）。所以说，d(x)也只能减少1。这就证明完毕。
证明了d(x)函数的这个性质之后，我们就可以得出对于1~n的一个排列，它所需要的冒泡排序的扫描次数为
K = max (d(i), 1 <= i <= N)
而这个结论很显然，因为只有经过K次扫描，所有位置的d值才能都变为0。
到此，我们成功地将冒泡排序的次数问题转化为d(x)值满足条件的数列的问题。原问题也就转化成了有多少个排列使得其中最大的d(x)值恰好为K。然而这也是复杂的，所以说我们不妨先解决有多少个排列使得其中最大的d(x)值不大于K。
首先可以确定N >= K + 1，否则不可能出现某个位置前面有K个数大于它。
然后决定原数列中1的位置。显而易见，如果最小数的位置为x，则其d(x) = x - 1。而d(x) <= K，故x <= K + 1，也就是说1有K + 1种放置方法；而放置2的时候，我们完全可以考虑一个新的排列2~N，这时2有K + 1种放置方法，然后再把1插到位置1~K + 1，而不影响其它数的d值。所以说，前N - K个数的放置方法的种类有
(K + 1) ^ (N - K)
之后只需要考虑N - K + 1 ~ N的排列即可。然而，由于整个数列只有K个数字，不可能出现某个d值大于K + 1。所以说排列方法有K!种。故，所有位置d值不大于K的排列的方案数有
K!((K + 1) ^ (N - K))
但是这是不大于K的排列数量，恰好为K的有怎么办呢？很简单，只需要减去不大于K - 1的排列数量便可。所以最后的答案为
K!((K + 1) ^ (N - K)) - (K - 1)!(K ^ (N - K + 1))
化简之后我们就得到
K!((K + 1) ^ (N - K) - K ^ (N - K))
这就是原来的式子，它的正确性就证明完毕。
然后代码就是小意思了：
#include <cstdio>
#include <cstdlib>
#include <cstring>
using namespace std;
const int mod = 20100713;
__int64 power (int k, int n)
{
__int64 r = k, ans = 1;
while (n)
{
if (n & 1) ans = (ans * r) % mod;
r = (r * r) % mod;
n >>= 1;
} return ans;
}
__int64 factorial[1000010];
int main ()
{
int t, n, k;
__int64 ans;
factorial[0] = 1;
for (int i = 1; i < 1000010; i++)
factorial[i] = (factorial[i - 1] * i) % mod;
scanf("%d", &t);
for (; t > 0; t--)
{
scanf("%d %d", &n, &k);
n -= k;
ans = (power(k + 1, n) - power(k, n)) % mod;
if (ans < 0) ans += mod;
ans = (ans * factorial[k]) % mod;
printf("%I64d\n", ans);
}
return 0;
}
POJ 3761：Bubble Sort——组合数学,布布扣,bubuko.com