题目链接:

http://www.lydsy.com/JudgeOnline/problem.php?id=2817

波浪
【问题描述】
阿米巴和小强是好朋友。 阿米巴和小强在大海旁边看海水的波涛。小强第一次面对如此汹涌的海潮, 他兴奋地叫个不停。而阿米巴则很淡定,他回想起曾经的那些日子,事业的起伏, 情感的挫折……总之今天的风浪和曾经经历的那些风雨比起来,简直什么都不 算。 于是,这对好朋友不可避免地产生了分歧。为了论证自己的观点,小强建立 了一个模型。他海面抽象成一个 1 到N的排列P[1…N]。定义波动强度等于 相邻 两项的差的绝对值的和 ,即: L = | P2 – P1 | + | P3 – P2 | + … + | PN – PN-1 | 给你一个N和M,问:随机一个 1…N的排列,它的波动强度 不小于 M的概率 有多大? 答案请保留 小数点后 K 位输出,四舍五入 。
【输入格式】
输入文件 wavel.in 的第一行包含三个整数 N, M 和 K,分别表示排列的长度, 波动强度,输出位数。
【输出格式】
输出文件 wavel.out 包含一个小数点后 K 位的实数。
【样例输入】
3 3 3
【样例输出】
0.667
【样例说明】
N = 3 的排列有 6 个:123,132,213,231,312,321;他们的波动强度分 别为 2,3,3,3,3,2。所以,波动强度不小于 3 的概率是 4/6,即 0.667。 你也可以通过下面的代码来验证这个概率: int a[3]={0,1,2},s=0,n=3; for (int i=0;i<1000000;i++){  random_shuffle(a,a+n);  int t=0;  for (int j=0;j<n-1;j++) t+=abs(a[j+1]-a[j]); 
 if (t>=3) s++; } printf("%.3f\n",s/1000000.0);
 
【数据规模】
对于 30%的数据,N ≤ 10。 对于另外 30%的数据,K ≤ 3。 对于另外 30%的数据,K ≤ 8。 对于另外 10%的数据,N ≤ 50。 对于 100%的数据,N ≤ 100,K ≤ 30,0 ≤ M ≤ 2147483647。

题解

啊。。

我从未写过如此**的题目啊T^T

这种题估计也就fhq出的出来。。

从此我对小强和阿米巴产生了心理阴影。。

网上好像没多少题解啊。。那我再发个良心题解吧。。

好的现在开始正文。。

首先考虑从小到大在序列中插入每个数字。

比如。。

涂黑的格子表示已经放了数字的位置,然后。。我们现在要再放一个数字。

显然易见。。涂黑的格子的数字都比当前数字小

然后有这几种情况

红色格子表示当前填的数字

先看第一张图,新添的格子产生了新的一段!

而且,这一段两端的数还没填。。说明,当前位置贡献的权值要-2*i(假设i为当前填的数字),因为两端的数都比这个大,又因为你有(k+1)段可以插入新的一段,所以转移系数为(k+1)。。

再看第二张图,i合并了原来的两段,说明i两端的数字都填好了,这代表着当前位置贡献的权值为2*i,因为两端的数字都比这个小,又因为你有(k-1)段可以合并两个段,多已转移系数为(k-1)。。

发现了没?我们可以DP了!

设f[i][j][k][t]表示当前插入到第i个数字,权值和为j,有k段,t。。t表示整个序列两端的情况。比如t=0表示这个序列两端都没有放数字,1表示放了一个,2表示放了两个。

然后,我们可以对第一张图列出方程:f[i][j-2*i][k+1][0]+=f[i-1][j][k][0]*(k+1)

同理,可以对第二段建立转移方程:f[i][j+2*i][k-1][0]+=f[i-1][j][k][0]*(k-1)

第三张图就是f[i][j][k][0]+=f[i-1][j][k][0]*2*k

然后第四张图,出现了边界的情况,也依然可以DP。

1、当前放在边界上的数字和别的段合成了新的一段,那么i的贡献就是i,由于有两个端点,所以转移系数是2,即方程为:f[i][j+i][k][1]+=f[i-1][j][k][0]*2

2、当前放在边界上的数字创造了新的一段,那么i的贡献就是-i,由于有两个端点,所以转移系数是2,即方程为:f[i][j-i][k+1][1]+=f[i-1][j][k][0]*2

-----------------------------------------------------------------------------以上是t=0的情况。。t=1的情况也类似,只不过。。由于你能放的位置会减少。。所以转移系数也会改变。。具体看代码。----------------------------------------------------

对了,当t=2时,就不用考虑边界情况了!

好的大体内容讲完了!

但是

但是

但是

精度30位会炸啊!!!!!

这时神器来了:__float128

优点:精度高

缺点:速度慢速度慢速度慢速度慢速度慢速度慢速度慢速度慢速度慢空间大空间大空间大空间大空间大空间大空间大空间大

又由于出题人****卡内存卡时限。。

你会发现这个代码T了。。

  1. #include <bits/stdc++.h>
  2. #define MAX 4500
  3. #define N 110
  4. using namespace std;
  5. typedef long long ll;
  6. double f[][MAX*+][N][];
  7. int i,j,k,n,m,x,y,t,q,la,no;
  8. void print2(__float128 x,int k){
  9. for (i=;i<=n;i++)x=x/(__float128)i;
  10. ll a=x;x-=a;int s[],l,j=;s[]=;
  11. while (a)s[++s[]]=a%,a/=;if (!s[])s[++s[]]=;l=s[];
  12. for (i=;i<=k+;i++){x*=;a=(int)x;x-=a;s[++s[]]=a;}
  13. if (s[s[]]>=)j=;int p=s[];
  14. while (j&&p){s[p-]++;j=s[p-]/;s[p-]%=;p--;}
  15. if (j){for (i=s[];i>;i--)s[i]=s[i-];s[]=;}
  16. putchar(''+s[]);if (k)putchar('.');for (i=;i<=k+;i++)putchar(s[i]+'');
  17. return;
  18. }
  19. inline void solve(int n,int m,int q){
  20. f[][MAX-*][][]=;f[][MAX-][][]=;f[][MAX][][]=;no=;la=;
  21. for (i=;i<=n;i++){
  22. no=-no,la=-la;
  23. memset(f[no],,sizeof f[no]);
  24. for (j=;j<=MAX*;j++)
  25. for (k=;k<=n-;k++){
  26. if (f[la][j][k][]){
  27. if (j>=*i)f[no][j-*i][k+][]+=f[la][j][k][]*(k+);
  28. if (j+*i<=MAX*)f[no][j+*i][k-][]+=f[la][j][k][]*(k-);
  29. f[no][j][k][]+=f[la][j][k][]*k*;
  30. if (j+i<=MAX*)f[no][j+i][k][]+=f[la][j][k][]*;
  31. if (j>=i)f[no][j-i][k+][]+=f[la][j][k][]*;
  32. }
  33. if (f[la][j][k][]){
  34. if (j>=*i)f[no][j-*i][k+][]+=f[la][j][k][]*k;
  35. if (j+*i<=MAX*)f[no][j+*i][k-][]+=f[la][j][k][]*(k-);
  36. f[no][j][k][]+=f[la][j][k][]*(*k-);
  37. if (j+i<=MAX*)f[no][j+i][k][]+=f[la][j][k][];
  38. if (j>=i)f[no][j-i][k+][]+=f[la][j][k][];
  39. }
  40. if (f[la][j][k][]){
  41. if (j+i*<=MAX*)f[no][j+i*][k-][]+=f[la][j][k][]*(k-);
  42. if (j>=*i)f[no][j-i*][k+][]+=f[la][j][k][]*(k-);
  43. f[no][j][k][]+=*f[la][j][k][]*(k-);
  44. }
  45. }
  46. }
  47. __float128 ans=;
  48. for (i=m+MAX;i<=MAX*;i++)ans+=(__float128)(f[no][i][][]*1.000000000000);
  49. print2(ans,q);
  50. }
  51. int main(){
  52. scanf("%d%d%d",&n,&m,&q);
  53. solve(n,m,q);
  54. return ;
  55. }

TLE啊。。

555~

本机测试22s。。其中两个点9s。。

说明

bzoj太慢了!!!

bzoj太慢了!!!

bzoj太慢了!!!

bzoj太慢了!!!

bzoj太慢了!!!

bzoj太慢了!!!

bzoj太慢了!!!

bzoj太慢了!!!

这时,膜了一下别人的代码,发现好妙啊

原来可以将k<=8的用double做,k>8的用__float128做!

写个namespace。。。inline什么的。。就过了!!跑得飞快啊!

AC代码

  1. #include <bits/stdc++.h>
  2. #define N 110
  3. #define MAX 4500
  4. using namespace std;
  5. typedef long long ll;
  6. int i,j,k,n,m,x,y,t,q,la,no;
  7. namespace dob {typedef double db;db f[][][][];}
  8. namespace fl {typedef __float128 db;db f[][][][];}
  9. template <class T> inline
  10. void print2(T x,int k){
  11. for (i=;i<=n;i++)x=x/(T)i;
  12. ll a=x;x-=a;int s[],l,j=;s[]=;
  13. while (a)s[++s[]]=a%,a/=;if (!s[])s[++s[]]=;l=s[];
  14. for (i=;i<=k+;i++){x*=;a=(int)x;x-=a;s[++s[]]=a;}
  15. if (s[s[]]>=)j=;int p=s[];
  16. while (j&&p){s[p-]++;j=s[p-]/;s[p-]%=;p--;}
  17. if (j){for (i=s[];i>;i--)s[i]=s[i-];s[]=;}
  18. putchar(''+s[]);if (k)putchar('.');for (i=;i<=k+;i++)putchar(s[i]+'');
  19. return;
  20. }
  21. template <class T> inline
  22. void solve(T f[][][][]){
  23. f[][MAX-*][][]=;f[][MAX-][][]=;f[][MAX][][]=;no=;la=;
  24. for (int i=;i<=n;i++){
  25. no=-no,la=-la;
  26. memset(f[no],,sizeof f[no]);
  27. for (int j=;j<=MAX*;j++)
  28. for (int k=;k<=n-;k++){
  29. if (f[la][j][k][]){
  30. if (j>=*i)f[no][j-*i][k+][]+=f[la][j][k][]*(k+);
  31. if (j+*i<=MAX*)f[no][j+*i][k-][]+=f[la][j][k][]*(k-);
  32. f[no][j][k][]+=f[la][j][k][]*k*;
  33. if (j+i<=MAX*)f[no][j+i][k][]+=f[la][j][k][]*;
  34. if (j>=i)f[no][j-i][k+][]+=f[la][j][k][]*;
  35. }
  36. if (f[la][j][k][]){
  37. if (j>=*i)f[no][j-*i][k+][]+=f[la][j][k][]*k;
  38. if (j+*i<=MAX*)f[no][j+*i][k-][]+=f[la][j][k][]*(k-);
  39. f[no][j][k][]+=f[la][j][k][]*(*k-);
  40. if (j+i<=MAX*)f[no][j+i][k][]+=f[la][j][k][];
  41. if (j>=i)f[no][j-i][k+][]+=f[la][j][k][];
  42. }
  43. if (f[la][j][k][]){
  44. if (j+i*<=MAX*)f[no][j+i*][k-][]+=f[la][j][k][]*(k-);
  45. if (j>=*i)f[no][j-i*][k+][]+=f[la][j][k][]*(k-);
  46. f[no][j][k][]+=*f[la][j][k][]*(k-);
  47. }
  48. }
  49. }
  50. T ans=;
  51. for (int i=m+MAX;i<=MAX*;i++)ans+=(T)f[no][i][][];
  52. print2(ans,q);
  53. }
  54. int main(){
  55. scanf("%d%d%d",&n,&m,&q);if (q<=)solve(dob::f);else solve(fl::f);
  56. return ;
  57. }

AC啦~

本机测试5s!!

飞起~

然后就是几个注意点。。

1:用滚动数组。。

2:要输出优化。。我曾分类讨论了K为1~30的所有情况。。。

3、做好卡评测的准备。。

4、为bzoj买一台好点的机子

完结?撒花!

bzoj2817[ZJOI2012]波浪的更多相关文章

  1. 洛谷2612&&bzoj2817 [ZJOI2012]波浪

    洛谷2612&&bzoj2817 [ZJOI2012]波浪 原题链接 题解 因为有abs不太好搞,考虑拆掉abs. 生成排列的方法之一:n个空位,从1到n一次插入一个空位. 这样搞的话 ...

  2. 【BZOJ2817】[ZJOI2012]波浪(动态规划)

    [BZOJ2817][ZJOI2012]波浪(动态规划) 题面 BZOJ 洛谷 题解 首先这个差值最大也就是\(n^2\)级别的. 那么这样子就可以压进状态啦. 我们把这个操作看成一个个加数的操作,按 ...

  3. [ZJOI2012]波浪

    Description: L = | P2 – P1 | + | P3 – P2 | + - + | PN – PN-1 | 给你一个N和M,问:随机一个1-N的排列,它的波动强度(L)不小于M的概率 ...

  4. Luogu2612 ZJOI2012 波浪 DP

    传送门 花掉了自己用来搞学科的时间做了这道题-- 一道类似的题:Here 考虑拆开绝对值计算贡献.那么我们对于\(1\)到\(N\)的排列,从小到大地将插入它们插入排列中. 假设我们现在计算到了数\( ...

  5. [ZJOI2012]波浪弱化版(带技巧的DP)

    题面 \(solution:\) 这道确实挺难的,情况特别多,而且考场上都没想到如何设置状态.感觉怎么设状态不能很好的表示当前情况并转移,考后发现是对全排列的构造方式不熟而导致的,而这一题的状态也是根 ...

  6. Luogu P2612 [ZJOI2012]波浪

    题目 我们考虑从\(1\)到\(n\)把每个数放到序列里面去,以消掉绝对值. 在最后的序列中,如果\(i\)的某一边是序列的边界,那么\(i\)会产生\(0\)的贡献.如果\(i\)的某一边是一个比\ ...

  7. 题解 洛谷 P2612 【[ZJOI2012]波浪】DP+高精

    题目描述 题目传送门 分析 因为有绝对值不好处理,所以我们强制从小到大填数 设 \(f[i][j][p][o]\) 为当前填到了第 \(i\) 个数,波动强度为 \(j\),有 \(p\) 个连续段并 ...

  8. Noip前的大抱佛脚----赛前任务

    赛前任务 tags:任务清单 前言 现在xzy太弱了,而且他最近越来越弱了,天天被爆踩,天天被爆踩 题单不会在作业部落发布,所以可(yi)能(ding)会不及时更新 省选前的练习莫名其妙地成为了Noi ...

  9. bzoj AC倒序

    Search GO 说明:输入题号直接进入相应题目,如需搜索含数字的题目,请在关键词前加单引号 Problem ID Title Source AC Submit Y 1000 A+B Problem ...

随机推荐

  1. python with原理

    在python2.5+中可以用with来保证关闭打开的文件 with open('hello.txt') as f: do some file operations 为什么要引入with呢? 在之前如 ...

  2. RocEDU.课程设计2018 第二周进展 博客补交

    本周计划完成的任务 (1).将开发板和平板电脑及其相关配件连通,并和电脑连接. (2).将代码的运行设备从安卓模拟器改为试验箱的平板电脑,平板电脑上实现软件. 本周实际完成情况 (1).计划完成的第一 ...

  3. python 23 种 设计模式

    频率 所属类型 模式名称 模式 简单定义 5 创建型 Singleton 单件 保证一个类只有一个实例,并提供一个访问它的全局访问点. 4 创建型 Abstract Factory 抽象工厂 提供一个 ...

  4. TMS320VC5509驱动74HC595芯片

    1. 5509A有3个MCBSP模块,其中模块MCBSP可以配置成SPI模式,不过实际使用的时候需要把CLKX1和CLKR1接在一起,暂时没搞明白原因 MCBSP有6个引脚,DR0 RX0 作为数据的 ...

  5. win7笔记本VirtualBox安装黑苹果MacOS 10.13

    环境 时间:2018.04.09,没有指明时间的教程都是耍流氓 笔记本:某州优雅A460P-i7G D2,4G内存,Intel Core i7-2670QM四核八线程(老笔记本勉强能用),ssd硬盘, ...

  6. 生成本地测试用https证书,支持通配符和多域名,初学OpenSSL

    18-01-26在v2ex上看到一妹纸发的<身为一个 21 岁的年轻程序员,我已经腰突了(躺>,哈哈,感同身受,想到这几天我左腿麻木持续了好几天,前几天屁股疼的只要坐下就站不起来,不过站着 ...

  7. React半科普文

    React半科普文 什么是React getting started 文件分离 Server端编译 定义一个组件 使用property 组件嵌套 组件更新 Virtual DOM react nati ...

  8. 金蝶盘点机PDA条码数据采集器WMS系统具体有哪些功能

    1.  使用汉码盘点机PDA实现仓库条码管理的好处 (1)  传统电脑管理软件出入库需要来回电脑跑人工手工电脑录单效率低,通过人眼识别商品品种和清点商品数量,容易造成录单错误.从而造成电脑管理软件库存 ...

  9. 当activity改变时,我们如何处理它

    用户和系统触发­的事件,可能造成一个activity状体的改变.这个文档描述了一些常见的情况,和如何去处理这些改变. 原网站:https://developer.android.google.cn/g ...

  10. Kubernetes并发控制与数据一致性的实现原理

    在大型分布式系统中,定会存在大量并发写入的场景.在这种场景下如何进行更好的并发控制,即在多个任务同时存取数据时保证数据的一致性,成为分布式系统必须解决的问题.悲观并发控制和乐观并发控制是并发控制中采用 ...