题目描述

  给你一个长度为\(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的更多相关文章

  1. 动态规划——区间DP,计数类DP,数位统计DP

    本博客部分内容参考:<算法竞赛进阶指南> 一.区间DP 划重点: 以前所学过的线性DP一般从初始状态开始,沿着阶段的扩张向某个方向递推,直至计算出目标状态. 区间DP也属于线性DP的一种, ...

  2. [BZOJ 3992] [SDOI 2015] 序列统计(DP+原根+NTT)

    [BZOJ 3992] [SDOI 2015] 序列统计(DP+原根+NTT) 题面 小C有一个集合S,里面的元素都是小于质数M的非负整数.他用程序编写了一个数列生成器,可以生成一个长度为N的数列,数 ...

  3. LA 3641 Leonardo的笔记本 & UVA 11077 排列统计

    LA 3641 Leonardo的笔记本 题目 给出26个大写字母的置换B,问是否存在要给置换A,使得 \(A^2 = B\) 分析 将A分解为几个循环,可以观察经过乘积运算得到\(A^2\)后,循环 ...

  4. BZOJ 1072: [SCOI2007]排列perm [DP 状压 排列组合]

    题意:给一个数字串s和正整数d, 统计s有多少种不同的排列能被d整除(可以有前导0) 100%的数据满足:s的长度不超过10, 1<=d<=1000, 1<=T<=15 看到整 ...

  5. [BZOJ3992][SDOI2015]序列统计(DP+原根+NTT)

    3992: [SDOI2015]序列统计 Time Limit: 30 Sec  Memory Limit: 128 MBSubmit: 1888  Solved: 898[Submit][Statu ...

  6. 【bzoj2111】[ZJOI2010]Perm 排列计数 dp+Lucas定理

    题目描述 称一个1,2,...,N的排列P1,P2...,Pn是Mogic的,当且仅当2<=i<=N时,Pi>Pi/2. 计算1,2,...N的排列中有多少是Mogic的,答案可能很 ...

  7. [Bzoj3193][JLOI2013]地形生成 (排列组合 + DP)

    3193: [JLOI2013]地形生成 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 459  Solved: 223[Submit][Status ...

  8. P7444-「EZEC-7」猜排列【dp】

    正题 题目链接:https://www.luogu.com.cn/problem/P7444 题目大意 一个长度为\(n\)的排列,已知每个\(c_i\)表示那个排列中\(mex\)为\(i\)的区间 ...

  9. 【XSY2666】排列问题 DP 容斥原理 分治FFT

    题目大意 有\(n\)种颜色的球,第\(i\)种有\(a_i\)个.设\(m=\sum a_i\).你要把这\(m\)个小球排成一排.有\(q\)个询问,每次给你一个\(x\),问你有多少种方案使得相 ...

随机推荐

  1. Dapper.NET

    关于Dapper.NET的相关论述   年少时,为何不为自己的梦想去拼搏一次呢?纵使头破血流,也不悔有那年少轻狂.感慨很多,最近事情也很多,博客也很少更新了,毕竟每个人都需要为自己的生活去努力. 最近 ...

  2. MongoDB Redis

    MongoDB Redis设置用户名密码了吗?看看shodan这款邪恶的搜索引擎吧!~   早上看新闻的时候看到了个醒目的新闻 开源中国:MongoDB 赎金事件持续发酵,究竟是谁之过?博客园:Mon ...

  3. java web 常见异常及解决办法

    javax.servlet.ServletException: javax/servlet/jsp/SkipPageException 重启tomcat, javax.servlet.ServletE ...

  4. 让Apache和Nginx支持php-fpm模块

    Apache 对于Apache,首先是apache的安装,可以参考下面这篇博客:编译安装Apache 编辑apache配置文件,取消下面这两行的注释(删除前面的#): #LoadModule prox ...

  5. jenkins+maven+tomcat集群发布

    jenkins+Gitlab+maven+tomcat实现自动集成.打包.部署 - 李栋94 - 博客园https://www.cnblogs.com/lidong94/p/7427923.html ...

  6. centos 检测aufs 并安装

    http://www.cnblogs.com/logo-fox/p/7366506.html 因为DeviceMapper不稳定,所以必须升级到3.10以上的内核,运行docker(2.6提示运行do ...

  7. SQL server 生成数据字典

    Set nocount on ), ) DECLARE Tbls CURSOR FOR ),isnull(g.[value],'-')) AS TABLE_COMMENT FROM INFORMATI ...

  8. spring后置处理器BeanPostProcessor

    BeanPostProcessor的作用是在调用初始化方法的前后添加一些逻辑,这里初始化方法是指在配置文件中配置init-method,或者实现了InitializingBean接口的afterPro ...

  9. Day 5-<补充> 类的的继承和查找顺序

    类的继承于查找顺序: 在py2中,不继承object的类为经典类,经典类继承查找:深度优先. 在py3中,默认继承object,所以python3中都是新式类,新式类的继承查找:广度优先. 类的特殊属 ...

  10. saltstack二

    配置管理 haproxy的安装部署 haproxy各版本安装包下载路径https://www.haproxy.org/download/1.6/src/,跳转地址为http,改为https即可 创建相 ...