题目链接:

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

http://uoj.ac/problem/196


考虑数字随机并且值域够大,我们将元素离散化并且不需要去重。

令$g[i]$表示每一个位置的期望大小。

那么${Ans=\sum (g[i]*(\frac{n(n+1))}{2})^{q})}$

考虑根据这个${(\frac{n(n+1))}{2})^{q}}$转换一下问题,是不是可以变成:

---------------------------------------------分割线----------------------------------------------------------------

令${sum[i][j]}$表示序列的第$i$个位置的元素在$q$次操作后变成了离散化之后$j$大的方案数。

那么${Ans=\sum_{i=1}^{n}\sum _{j=1}^{n}(sum[i][j]*X[j])}$    //$X[i]$表示第离散化之后的第$i$个元素原本对应的数字的大小。

---------------------------------------------分割线----------------------------------------------------------------

考虑如何求${sum}$数组。

从左至右枚举离散化数列每一位上的值(设我枚举的数字为第${E}$大),我们知道一个数至多能够影响到一个有限的区间,即区间${[L,R]}$中每一个数字都没有它大。

令${DP[k][i][j]}$表示第$k$次操作之后区间${[i,j]}$的值都小于等于当前枚举值的方案数。

转移:

${DP[k][i][j]=\sum _{u=L}^{i-1}(DP[k-1][u][j]*(u-1))+\sum _{v=j+1}^{R}(DP[k-1][i][v]*(n-v))+DP[k-1][i][j]*(cnt[i-1]+cnt[j-i+1]+cnt[n-j])}$

那么为啥是这样呢?

我来尝试解释一下第一项即${\sum _{u=L}^{i-1}(DP[k-1][u][j]*(u-1))}$

  这个转移其实是从区间${[U,j]}$转移到区间${[i,j]}$,拿为啥要乘上一个系数$(u-1)$,是因为我要使得${[u,i-1]}$这段区间内不再小于等于当前枚举的值。所以只要选取了${[1,u-1]}$这段区间内的一个元素作为操作的左端点,固定右端点为${i-1}$则一定会存在一个数字(因为第${L-1}$个数一定大于当前枚举的数)使得${[u,i-1]}$这个区间的数不再小于等于当前枚举的数。

第二项的理解和第一项基本相同。

第三项就比较简单了,如果我选取的区间不跨过第$i$个位置或第$j$个位置,那就不会产生状态的改变,可与之间从区间${[i,j]}$向区间${[i,j]}$转移

对于每一个枚举的数字就算出了$DP$数组,我为了方便统计答案再设一个数组${sum{}'}$表示序列的第$i$个位置的元素在$q$次操作后变成了离散化之后数小于等于$j$大数的方案数。

${sum{}'[i][E]=sum{}'[i][E]+\sum _{u=L}^{R-1}\sum _{v=u+1}^{R}DP[q][u][v]}$

最后在利用${sum{}'}$数组计算出${sum}$数组。

${Ans=\sum_{i=1}^{n}\sum _{j=1}^{n}(sum[i][j]*X[j])}$

参考:http://blog.csdn.net/qq_34637390/article/details/51290087


 #include<iostream>
#include<cstdio>
#include<algorithm>
#include<vector>
#include<cstdlib>
#include<cmath>
#include<cstring>
using namespace std;
#define maxn 410
#define llg long long
#define md (llg)((1e9)+7)
#define yyj(a) freopen(a".in","r",stdin),freopen(a".out","w",stdout);
#define DD(i,j,k) dp[(i)%2][j][k]//方便滚动数组优化空间
llg n,m,q,x[maxn],rank[maxn],L,R,wz[maxn];
llg cnt[maxn],dp[][maxn][maxn],sum[maxn][maxn],A[maxn][maxn]; inline bool cmp(llg a,llg b) {return x[a]<x[b];} void init()
{
cin>>n>>q;
for (llg i=;i<=n;i++) scanf("%lld",&x[i]);
for (llg i=;i<=n;i++) wz[i]=i;
sort(wz+,wz+n+,cmp);
for (llg i=;i<=n;i++) rank[wz[i]]=i;//第i个元素是第rank[i]小的
//离散化
for (llg i=;i<=n;i++) cnt[i]=(i*i+i)/;
for(int i=;i<=n;i++)for(int j=i;j<=n;j++)A[i][j]=cnt[i-]+cnt[n-j]+cnt[j-i+];
} void DP(llg now)
{
for (llg i=L;i<=R;i++) for (llg j=L;j<=R;j++) DD(,i,j)=DD(,i,j)=;
DD(,L,R)=;
llg val;
for (llg k=;k<=q;k++)
{
for (llg i=L;i<=R;i++)
{
val=;
for(int j=R;j>=i;j--)
{
DD(k,i,j)=val; val=(val+DD(k-,i,j)*(n-j))%md;//计算第二项
}
}
for (llg j=L;j<=R;j++)
{
val=;
for(llg i=L;i<=j;i++)
{
DD(k,i,j)=(DD(k,i,j)+val)%md; val=(val+DD(k-,i,j)*(i-));//计算第一项
}
}
for (llg i=L;i<=R;i++)
{
for (llg j=i;j<=R;j++)
{
DD(k,i,j)=(DD(k,i,j)+(DD(k-,i,j)*A[i][j]))%md;//计算第三项
}
}
}
for (llg i=L;i<=R;i++)
{
val=;
for (llg j=R;j>=i;j--)
{
val+=DD(q,i,j); val%=md;
sum[j][rank[now]]+=val;
sum[j][rank[now]]%=md;
}
}
} int main()
{
//yyj("seg");
init();
for (llg i=;i<=n;i++)
{
L=R=i;
while (L && x[L]<=x[i]) L--; L++;
while (R<=n && x[R]<=x[i]) R++; R--;
//预处理第i个元素可以影响的区间
DP(i);
} llg ans=;
for (llg i=;i<=n;i++)
{
ans=;
for (llg j=;j<=n;j++)
{
if (sum[i][j]==) continue;
for (llg k=;k<j;k++) sum[i][j]-=sum[i][k];
while (sum[i][j]<) sum[i][j]+=md;
ans+=x[wz[j]]*sum[i][j]; ans%=md;
}
while (ans<) ans+=md;
printf("%lld",ans);
if (i!=) printf(" ");
}
return ;
}

【UOJ#196】【BZOJ4574】[Zjoi2016]线段树的更多相关文章

  1. BZOJ4574 [Zjoi2016]线段树

    比较厉害的dp. 网上题解都是利用了随机的条件,用了一个$O(n^4)$的dp,这里简单说一下. 用f(x,i,l,r)表示经过前i轮操作,[l,r]的所有数<=x,且l-1和r+1都>x ...

  2. bzoj4574:Zjoi2016线段树 dp

    传送门 题解传送门 //Achen #include<algorithm> #include<iostream> #include<cstring> #includ ...

  3. bzoj 4574: [Zjoi2016]线段树

    Description 小Yuuka遇到了一个题目:有一个序列a_1,a_2,?,a_n,q次操作,每次把一个区间内的数改成区间内的最大值,问 最后每个数是多少.小Yuuka很快地就使用了线段树解决了 ...

  4. UOJ#196. 【ZJOI2016】线段树 概率期望,动态规划

    原文链接www.cnblogs.com/zhouzhendong/p/UOJ196.html 题解 先离散化,设离散化后的值域为 $[0,m]$ . 首先把问题转化一下,变成:对于每一个位置 $i$ ...

  5. UOJ 217 奇怪的线段树

    http://uoj.ac/problem/217 题意就不X了,思路在这: 居然一开始把sap里面的mn设置为inf了,我是傻逼.. #include<cstdio> #include& ...

  6. Luogu3352 ZJOI2016 线段树 概率、区间DP

    传送门 考虑对于每一个位置\(i\),计算所有可能的结果出现的概率. 定义一个区间\([l,r]\)为对于\(x\)的极大区间,当且仅当\(\max \limits _{i=l}^r \{a_i\} ...

  7. UOJ#77. A+B Problem [可持久化线段树优化建边 最小割]

    UOJ#77. A+B Problem 题意:自己看 接触过线段树优化建图后思路不难想,细节要处理好 乱建图无果后想到最小割 白色和黑色只能选一个,割掉一个就行了 之前选白色必须额外割掉一个p[i], ...

  8. [UOJ UNR#1]奇怪的线段树

    来自FallDream的博客,未经允许,请勿转载, 谢谢. 原题可以到UOJ看,传送门 如果存在一个点是白的,却有儿子是黑的,显然无解. 不然的话,只要所有黑色的“黑叶子”节点,即没有黑色的儿子的节点 ...

  9. UOJ#395. 【NOI2018】你的名字 字符串,SAM,线段树合并

    原文链接https://www.cnblogs.com/zhouzhendong/p/UOJ395.html 题解 记得同步赛的时候这题我爆0了,最暴力的暴力都没调出来. 首先我们看看 68 分怎么做 ...

随机推荐

  1. AtCoder Beginner Contest 070 ABCD题

    题目链接:http://abc070.contest.atcoder.jp/assignments A - Palindromic Number Time limit : 2sec / Memory ...

  2. 前端框架VUE----webpack打包工具的使用

    在这里我仅仅的是对webpack做个讲解,webpack这个工具非常强大,解决了我们前端很繁琐的一些工具流程繁琐的事情.如果感兴趣的同学,还是看官网吧. 中文链接地址:https://www.webp ...

  3. winform跨线程访问控件

    首先说下,.net 2.0以后加强了安全机制,不允许在winform中直接跨线程访问控件的属性.所以除了控件所在的线程外的线程调用会抛异常 (Cross-thread operation not va ...

  4. e3.7.2-MyEclipse-10.7安装SVN插件

    MyEclipse 10.7的版本是:e3.7.2,要求是匹配该插件eclipse_svn_site-1.10.1的版本,否则无效 将eclipse_svn_site-1.10.1插件文件夹直接拷贝到 ...

  5. mysqldump进行复制数据导出导入时的问题

    在执行数据导入到从库时,若使用mysqldump命令进行数据导出,应当一次性将需要同步的库导出. mysqldump -uroot -p --single-transaction --database ...

  6. 关于__declspec(dllexport)

    windows下dll动态库函数的导入与导出. __declspec Microsoft Specific __declspec ( extended-attribute ) declarator l ...

  7. python之协程函数、递归、二分法

    一.协程函数: 协程函数的语法: def eater(name): print('%s说:我开动啦' %name) food_list=[] while True: food=yield food_l ...

  8. python简说(二十一)开发接口

    一.flask举例 import flaskserver = flask.Flask(__name__)#新建一个服务,把当前这个python文件当做一个服务@server.route('/login ...

  9. 2018-2019-1 20189206 《Linux内核原理与分析》第七周作业

    linux内核分析学习笔记 --第六章 进程的描述和进程的创建 学习重点--子进程的创建以及运行流程 进程描述和进程的创建 操作系统的三大功能--进程管理.内存管理和文件系统. 在linux内核中利用 ...

  10. Java基础语法(下)

    1.数组动态初始化 //数据类型[] 数组名 = new 数据类型[数组长度]; int[] arr = new int[3]; /* * 左边: * int:说明数组中的元素类型是int类型 * [ ...