题目链接  Maximum Element

题意  现在有这一段求序列中最大值的程度片段:

(假定序列是一个1-n的排列)

int fast_max(int n, int a[]) {
int ans = 0;
int offset = 0;
for (int i = 0; i < n; ++i)
if (ans < a[i]) {
ans = a[i];
offset = 0;
} else {
offset = offset + 1;
if (offset == k)
return ans;
}
return ans;
}

显然这段程序是错误的……有很多可以X掉这段程序的排列

求这样的排列有多少个。

题目是让我们求符合这样条件的排列个数:

1、存在某个数,他比前面的数都大并且小于$n$;

2、他比他后面$k$个数都要大。

假设“中间这个数”为$cnt$

假设$D(i)$为满足$p(i) = i$的这样的排列个数

我们可以把$D(i)$的求解分成两个过程。

1、计算$cnt$等于$i - 1$的排列个数

2、计算$cnt$不等于$i - 1$的排列个数

首先如果$i <= k + 1$,则$D(i) = 0$

当这个序列的$cnt$为$i - 1$时,只要满足$i - 1$和$i$之间的数大于等于$k$个即可。

于是对于$i - 1$这个数的位置的选择,我们有$i - k - 1$种。

然后呢,除了$i - 1$和$i$这两个数,其他数的位置随意(因为$i$排在最后,所以排在$i - 1$前的数字都比$i - 1$要小)

所以当前这种情况对答案的贡献为$(i - k - 1) * (i - 2)!$

考虑另外一种情况。

当$cnt$不等于$i - 1$的时候,一定有$cnt < i - 1$

设$i - 1$所在位置为$pos$,我们把$i - 1$之前的$pos - 1$个数离散化成一个$1$到$pos - 1$的排列

然后在这个排列的最后加上$pos$,就构成了一个$1$到$pos$并且以$pos$结尾的排列

那么如果这个排列是符合要求的,那么整个排列也是符合要求的。

于是我们枚举$i - 1$的位置$pos$,满足条件的位置为$i - k <= pos <= i - 1$

我们在剩下的$i - 2$个数中选出$pos - 1$个放到前$pos - 1$个位置,然后乘上$D(pos)$。

然后还要乘上$(i - pos - 1)!$,因为$i - 1$到$i$之间的数都是随意乱放的……

于是当前这种情况对答案的贡献为

于是我们终于推出了D(n)的公式

最后的答案怎么计算呢

我们假设$n$的位置为$pos$

那么当$p(pos) = n$的时候,前pos个数的方案数为$D(pos) * C(n - 1, pos - 1)$

后$n - pos$个数的方案数为$(n - pos)!$

所以当$p(pos) = n$的时候对答案的贡献为$D(pos) * C(n - 1, pos - 1)*(n - pos)!$

枚举$pos$,累加即可。

#include <bits/stdc++.h>

using namespace std;

#define rep(i, a, b)	for (int i(a); i <= (b); ++i)
#define dec(i, a, b) for (int i(a); i >= (b); --i) const int N = 1e6 + 10;
const int mod = 1e9 + 7; int n, k;
int f[N], s[N];
int fac[N], inv[N];
int ans = 0; inline int Pow(int a, int b, int mod){
int ret(1);
for (; b; b >>= 1, a = (1ll * a * a) % mod) if (b & 1) (ret = 1ll * ret * a) % mod;
return ret;
} void init(){
fac[0] = 1;
rep(i, 1, 1e6 + 1) fac[i] = 1ll * fac[i - 1] * i % mod;
rep(i, 1, 1e6 + 1) inv[i] = Pow(fac[i], mod - 2, mod);
} inline void up(int &a, int b) { a = (0ll + a + b) % mod;}
inline void mulup(int &a, int b){ a = 1ll * a * b % mod;} int main(){ scanf("%d%d", &n, &k);
init(); rep(i, k + 2, n){
f[i] = i - k - 1;
up(f[i], s[i - 1] - s[i - k - 1]);
mulup(f[i], fac[i - 2]);
s[i] = (0ll + s[i - 1] + 1ll * f[i] * inv[i - 1] % mod) % mod;
} rep(i, 1, n) up(ans, (int)1ll * f[i] * fac[n - 1] % mod * inv[i - 1] % mod);
printf("%d\n", ans);
return 0;
}

  

最新文章

  1. Java基础知识笔记(八:集合类)
  2. 数学的东西(BZOJ1951)
  3. 双十二前夕爆京东12G数据泄露的真相是什么
  4. JavaScript数据类型转换
  5. python json
  6. LeetCode()Minimum Window Substring 超时,但觉得很清晰。
  7. tinyxml学习4
  8. 银行ATM机工作流程模拟编程
  9. sql server 添加字段并且赋默认值和说明
  10. jQuery使用伪递归重复执行动画
  11. php file_put_contents() 写入回车
  12. phonegap与google analytics整合
  13. Android 快速点击的处理
  14. Lazarus 初识
  15. ubuntu(centos) server安装vmware tools
  16. 去除swagger ui的红色 error 错误提示
  17. ECMAscript5 新增数组内函数
  18. mysql中的schema 等价于database,相当于一个数据库
  19. Java NIO通信的基础,基于TCP C/S例子介绍
  20. 漫画 | Java多线程与并发(二)

热门文章

  1. python入门:输出1-10以内除去7的所有数(简)
  2. 如何用纯 CSS 创作一组昂首阔步的圆点
  3. 为PHPcms扩展json采集
  4. 能力不足之 根据时序图转化为Verilog代码
  5. 19.Yii2.0框架模型删除记录
  6. python爬虫基础14-selenium大全8/8-常见问题
  7. Survey lists 10 most innovative cities
  8. POJ-3278 广度优先搜索入门
  9. [转载]ExtJs4 笔记(2) ExtJs对js基本语法扩展支持
  10. linux 复制部分文件到另外的文件夹