【XSY2668】排列统计 DP
题目描述
给你一个长度为\(n\)的排列\(a\),每次要选择两个数,交换这两个数(这两个数可以相同)。总共要交换\(k\)次。
最后要统计数列中有多少位置\(i\)满足\(\max_{j\leq i}a_i=a_i\)。求前面这个东西的期望。
\(n\leq 100,k\leq 80\)
题解
我们枚举每个数\(y\)每在个位置\(x\)的贡献。把其他数中大于\(y\)的看成\(1\),把其他数中小于\(y\)的看成\(0\),然后DP。
设\(f_{i,j,k}\)为交换了\(i\)次,\(1\)~\(x-1\)有\(j\)个\(1\),(\(k\)在下面解释)的方案数
两条竖线中间是位置\(x\)
\(k=0\):\(|y|\)
\(k=1\):\(y|0|\)
\(k=2\):\(y|1|\)
\(k=3\):\(|0|y\)
\(k=4\):\(|1|y\)
转移很多很繁琐,大家自己去推吧。。。
时间复杂度:总共有\(O(n^2)\)次DP,每次\(O(nk)\),总的时间复杂度是\(O(n^3k)\)
代码
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<ctime>
#include<cstdlib>
#include<utility>
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
void open(const char *s)
{
#ifndef ONLINE_JUDGE
char str[100];
sprintf(str,"%s.in",s);
freopen(str,"r",stdin);
sprintf(str,"%s.out",s);
freopen(str,"w",stdout);
#endif
}
const ll p=1000000007;
ll fp(ll a,ll b)
{
ll s=1;
for(;b;b>>=1,a=a*a%p)
if(b&1)
s=s*a%p;
return s;
}
int x,y,i,j,k;
int n,m;
int a[100010];
ll f[90][110][5];
void add(ll &a,ll b)
{
a=(a+b)%p;
}
ll qian0(){return (k==1||k==2)?x-2-j:x-1-j;}
ll qian1(){return j;}
ll hou0(){return (k==2?y+j-x+1:(k==3?y+j-x-1:y+j-x));}
ll hou1(){return (k==2||k==4)?n-y-j-1:n-y-j;}
ll qian0(int k){return (k==1||k==2)?x-2-j:x-1-j;}
ll qian1(int k){return j;}
ll hou0(int k){return (k==2?y+j-x+1:(k==3?y+j-x-1:y+j-x));}
ll hou1(int k){return (k==2||k==4)?n-y-j-1:n-y-j;}
int now(){return (k==1||k==3)?0:((k==2||k==4)?1:-1);}
int where(){return (k==1||k==2)?0:1;}
ll sqr(ll x){return x*x%p;}
ll gao()
{
memset(f,0,sizeof f);
int h=0,hh;
for(i=1;i<x;i++)
if(a[i]>y)
h++;
for(i=1;i<=n;i++)
if(a[i]==y)
{
hh=i;
break;
}
if(hh==x)
f[0][h][0]=1;
else if(hh<x)
if(a[x]<y)
f[0][h][1]=1;
else
f[0][h][2]=1;
else
if(a[x]<y)
f[0][h][3]=1;
else
f[0][h][4]=1;
for(i=0;i<m;i++)
for(j=0;j<y;j++)
{
for(k=0;k<=4;k++)
if(f[i][j][k])
{
add(f[i+1][j][k],f[i][j][k]*sqr(qian0()+qian1()));
add(f[i+1][j][k],f[i][j][k]*sqr(hou0()+hou1()));
add(f[i+1][j][k],f[i][j][k]*2*qian0()%p*hou0());
add(f[i+1][j][k],f[i][j][k]*2*qian1()%p*hou1());
add(f[i+1][j][k],f[i][j][k]);
if(j)
add(f[i+1][j-1][k],f[i][j][k]*2*qian1()%p*hou0());
if(j<y-1)
add(f[i+1][j+1][k],f[i][j][k]*2*qian0()%p*hou1());
if(k)
add(f[i+1][j][k],f[i][j][k]);
}
if(f[i][j][0])
{
add(f[i+1][j][1],f[i][j][0]*2*qian0(0));
if(j)
add(f[i+1][j-1][2],f[i][j][0]*2%p*qian1(0));
add(f[i+1][j][3],f[i][j][0]*2*hou0(0));
add(f[i+1][j][4],f[i][j][0]*2*hou1(0));
}
if(f[i][j][1])
{
add(f[i+1][j][0],f[i][j][1]*2);
add(f[i+1][j][1],f[i][j][1]*2*(qian0(1)+qian1(1)));
add(f[i+1][j][3],f[i][j][1]*2*hou0(1));
if(j<y-1)
add(f[i+1][j+1][3],f[i][j][1]*2%p*hou1(1));
add(f[i+1][j][1],f[i][j][1]*2*(qian0(1)+hou0(1)));
add(f[i+1][j][2],f[i][j][1]*2*hou1(1));
if(j)
add(f[i+1][j-1][2],f[i][j][1]*2%p*qian1(1));
}
if(f[i][j][2])
{
if(j<y-1)
add(f[i+1][j+1][0],f[i][j][2]*2);
add(f[i+1][j][2],f[i][j][2]*2*(qian0(2)+qian1(2)));
add(f[i+1][j][4],f[i][j][2]*2*hou0(2));
if(j<y-1)
add(f[i+1][j+1][4],f[i][j][2]*2%p*hou1(2));
add(f[i+1][j][1],f[i][j][2]*2*hou0(2));
if(j<y-1)
add(f[i+1][j+1][1],f[i][j][2]*2%p*qian0(2));
add(f[i+1][j][2],f[i][j][2]*2*(qian1(2)+hou1(2)));
}
if(f[i][j][3])
{
add(f[i+1][j][0],f[i][j][3]*2);
add(f[i+1][j][3],f[i][j][3]*2*(hou0(3)+hou1(3)));
add(f[i+1][j][1],f[i][j][3]*2*qian0(3));
if(j)
add(f[i+1][j-1][1],f[i][j][3]*2*qian1(3));
add(f[i+1][j][3],f[i][j][3]*2*(qian0(3)+hou0(3)));
add(f[i+1][j][4],f[i][j][3]*2*hou1(3));
if(j)
add(f[i+1][j-1][4],f[i][j][3]*2*qian1(3));
}
if(f[i][j][4])
{
add(f[i+1][j][0],f[i][j][4]*2);
add(f[i+1][j][4],f[i][j][4]*2*(hou0(4)+hou1(4)));
add(f[i+1][j][2],f[i][j][4]*2*qian0(4));
if(j)
add(f[i+1][j-1][2],f[i][j][4]*2*qian1(4));
add(f[i+1][j][3],f[i][j][4]*2*hou0(4));
if(j<y-1)
add(f[i+1][j+1][3],f[i][j][4]*2*qian0(4));
add(f[i+1][j][4],f[i][j][4]*2*(qian1(4)+hou1(4)));
}
}
return f[m][0][0];
}
int main()
{
open("pltj");
scanf("%d%d",&n,&m);
int i;
for(i=1;i<=n;i++)
scanf("%d",&a[i]);
ll ans=0;
for(x=1;x<=n;x++)
for(y=1;y<=n;y++)
if(y>=x)
ans=(ans+gao())%p;
ans=ans*fp(fp(n,2*m),p-2)%p;
printf("%lld\n",ans);
return 0;
}
【XSY2668】排列统计 DP的更多相关文章
- 动态规划——区间DP,计数类DP,数位统计DP
本博客部分内容参考:<算法竞赛进阶指南> 一.区间DP 划重点: 以前所学过的线性DP一般从初始状态开始,沿着阶段的扩张向某个方向递推,直至计算出目标状态. 区间DP也属于线性DP的一种, ...
- [BZOJ 3992] [SDOI 2015] 序列统计(DP+原根+NTT)
[BZOJ 3992] [SDOI 2015] 序列统计(DP+原根+NTT) 题面 小C有一个集合S,里面的元素都是小于质数M的非负整数.他用程序编写了一个数列生成器,可以生成一个长度为N的数列,数 ...
- LA 3641 Leonardo的笔记本 & UVA 11077 排列统计
LA 3641 Leonardo的笔记本 题目 给出26个大写字母的置换B,问是否存在要给置换A,使得 \(A^2 = B\) 分析 将A分解为几个循环,可以观察经过乘积运算得到\(A^2\)后,循环 ...
- BZOJ 1072: [SCOI2007]排列perm [DP 状压 排列组合]
题意:给一个数字串s和正整数d, 统计s有多少种不同的排列能被d整除(可以有前导0) 100%的数据满足:s的长度不超过10, 1<=d<=1000, 1<=T<=15 看到整 ...
- [BZOJ3992][SDOI2015]序列统计(DP+原根+NTT)
3992: [SDOI2015]序列统计 Time Limit: 30 Sec Memory Limit: 128 MBSubmit: 1888 Solved: 898[Submit][Statu ...
- 【bzoj2111】[ZJOI2010]Perm 排列计数 dp+Lucas定理
题目描述 称一个1,2,...,N的排列P1,P2...,Pn是Mogic的,当且仅当2<=i<=N时,Pi>Pi/2. 计算1,2,...N的排列中有多少是Mogic的,答案可能很 ...
- [Bzoj3193][JLOI2013]地形生成 (排列组合 + DP)
3193: [JLOI2013]地形生成 Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 459 Solved: 223[Submit][Status ...
- P7444-「EZEC-7」猜排列【dp】
正题 题目链接:https://www.luogu.com.cn/problem/P7444 题目大意 一个长度为\(n\)的排列,已知每个\(c_i\)表示那个排列中\(mex\)为\(i\)的区间 ...
- 【XSY2666】排列问题 DP 容斥原理 分治FFT
题目大意 有\(n\)种颜色的球,第\(i\)种有\(a_i\)个.设\(m=\sum a_i\).你要把这\(m\)个小球排成一排.有\(q\)个询问,每次给你一个\(x\),问你有多少种方案使得相 ...
随机推荐
- Dapper.NET
关于Dapper.NET的相关论述 年少时,为何不为自己的梦想去拼搏一次呢?纵使头破血流,也不悔有那年少轻狂.感慨很多,最近事情也很多,博客也很少更新了,毕竟每个人都需要为自己的生活去努力. 最近 ...
- MongoDB Redis
MongoDB Redis设置用户名密码了吗?看看shodan这款邪恶的搜索引擎吧!~ 早上看新闻的时候看到了个醒目的新闻 开源中国:MongoDB 赎金事件持续发酵,究竟是谁之过?博客园:Mon ...
- java web 常见异常及解决办法
javax.servlet.ServletException: javax/servlet/jsp/SkipPageException 重启tomcat, javax.servlet.ServletE ...
- 让Apache和Nginx支持php-fpm模块
Apache 对于Apache,首先是apache的安装,可以参考下面这篇博客:编译安装Apache 编辑apache配置文件,取消下面这两行的注释(删除前面的#): #LoadModule prox ...
- jenkins+maven+tomcat集群发布
jenkins+Gitlab+maven+tomcat实现自动集成.打包.部署 - 李栋94 - 博客园https://www.cnblogs.com/lidong94/p/7427923.html ...
- centos 检测aufs 并安装
http://www.cnblogs.com/logo-fox/p/7366506.html 因为DeviceMapper不稳定,所以必须升级到3.10以上的内核,运行docker(2.6提示运行do ...
- SQL server 生成数据字典
Set nocount on ), ) DECLARE Tbls CURSOR FOR ),isnull(g.[value],'-')) AS TABLE_COMMENT FROM INFORMATI ...
- spring后置处理器BeanPostProcessor
BeanPostProcessor的作用是在调用初始化方法的前后添加一些逻辑,这里初始化方法是指在配置文件中配置init-method,或者实现了InitializingBean接口的afterPro ...
- Day 5-<补充> 类的的继承和查找顺序
类的继承于查找顺序: 在py2中,不继承object的类为经典类,经典类继承查找:深度优先. 在py3中,默认继承object,所以python3中都是新式类,新式类的继承查找:广度优先. 类的特殊属 ...
- saltstack二
配置管理 haproxy的安装部署 haproxy各版本安装包下载路径https://www.haproxy.org/download/1.6/src/,跳转地址为http,改为https即可 创建相 ...