http://codeforces.com/problemset/problem/749/E (题目链接)

题意

  给出一个1~n的排列,从中等概率的选取一个连续段,设其长度为l。对连续段重新进行等概率的全排列,求排列后整个原序列的逆序对的期望个数。

Solution

  考虑对于每一对数${(a_i,a_j),i<j}$算贡献。


  1.连续段包含${a_i,a_j}$

  不妨设${a_i<a_j}$,则只有当排列后${a_j}$再${a_i}$前面才会对答案有贡献(${a_i>a_j}$的情况同理),连续段长度为${l}$。

  于是满足${a_i}$在${a_j}$前面的排列数为${P_l^{l-2}}$,概率:${\frac{P_l^{l-2}}{P_l^l}=\frac{1}{2}}$。

  满足包含${a_i}$和${a_j}$的连续段有${i*(n-j+1)}$个,其概率为:${\frac{2*i*(n-j+1)}{n*(n+1)}}$。

  所以其期望等于两个概率相乘:

  $${q_{i,j}=\frac{i*(n-j+1)}{n*(n+1)}}$$

  这是${O(n^2)}$的,考虑优化。总期望:

  $${Q=\sum_{i=1}^n  \sum_{j=i+1}^n  q_{i,j}}$$

  $${Q=\sum_{i=1}^n  \sum_{j=i+1}^n  \frac{i*(n-j+1)}{n*(n+1)}}$$

  发现${(n-j+1)}$是连续的,于是就变成了:

  $${Q=\sum_{i=1}^n  \frac {i*(n-i)*(n-i+1)} {2*n*(n+1)}}$$

  这样复杂度就是${O(n)}$的了。


  2.连续段不同时包含${a_i,a_j}$

  如果${a_i<a_j}$,那么因为不被连续段同时包含,它们不会有机会改变相对位置,所以不会对答案做出贡献。考虑${a_i>a_j}$的情况。

  那么连续段可能取到的区间有:${[1,j-1],[i+1,n]}$。考虑到区间${[i+1,j-1]}$被算了2次,容斥一下,所以区间的概率:

  $${P_{i,j}=\frac  {(j-1)*j+(n-i)*(n-i+1)-(j-i-1)*(j-i)}  {n*(n+1)}}$$

  $${P_{i,j}=\frac  {(n^2+n)-(2*i+2*n*i)+2*i*j}  {n*(n+1)}}$$

  这个${P_{i,j}}$怎么快速求解呢,考虑逆序对这个东西。

  $${Q=\sum_{i=1}^n  \sum_{j=i+1}^n  \frac  {(n^2+n)-(2*i+2*n*i)+2*i*j}  {n*(n+1)}}$$

  设满足${a_j<a_i,j>i}$的${a_j}$的个数为${x}$,显然${x}$我们可以通过树状数组用求逆序对的方法${O(nlogn)}$的求出来,则:

  $${Q=\sum_{i=1}^n  \frac  {x*((n^2+n)-(2*i+2*n*i))  +  \sum_{j=i+1}^n 2*i*j}  {n*(n+1)}}$$

  那么现在${\sum_{j=i+1}^n 2*i*j}$怎么求呢。把${2*i}$提出去,那么就成了${2*i*\sum_{j=i+1}^n j}$我们用${y}$记录满足${a_j<a_i,j>i}$的${a_j}$的位置的和,也就是${\sum_{j=i+1}^n j}$,那么显然这个东西我们也是可以通过树状数组用求逆序对的方法${O(nlogn)}$的算出来的。则:

  $${Q=\sum_{i=1}^n  \frac  {x*((n^2+n)-(2*i+2*n*i))  +  2*i*y}  {n*(n+1)}}$$

  于是问题就${O(nlogn)}$的解决了。

细节

  mdzz不晓得哪里爆掉了还是精度问题,调了2天,最后莫名AC。。。

代码

// codeforces 749E
#include<algorithm>
#include<iostream>
#include<cstdlib>
#include<cstring>
#include<cstdio>
#include<cmath>
#define LL long long
#define inf 1<<30
#define Pi acos(-1.0)
#define free(a) freopen(a".in","r",stdin),freopen(a".out","w",stdout);
using namespace std; const int maxn=100010;
LL c[maxn],s[maxn],n;
int a[maxn];
long double ans; int lowbit(int x) {
return x&-x;
}
void add(LL *c,int x,LL val) {
for (int i=x;i<=n;i+=lowbit(i)) c[i]+=val;
}
LL query(LL *c,int x) {
LL res=0;
for (int i=x;i;i-=lowbit(i)) res+=c[i];
return res;
} void solve1() { //区间包含
long double Q=0;
for (LL i=1;i<=n;i++)
Q+=(long double)(i*(n-i)*(n-i+1))/2/n/(n+1);
ans+=Q;
}
void solve2() { //区间不包含
long double Q=0;
for (int i=n;i>=1;i--) {
LL x=query(c,a[i]-1);
Q-=(long double)(x*((2*i+2*n*i)-(n*n+n)))/n/(n+1);
Q+=(long double)(2*i)/n/(n+1)*query(s,a[i]-1);
add(c,a[i],1);
add(s,a[i],i);
}
ans+=Q;
}
int main() {
scanf("%lld",&n);
for (int i=1;i<=n;i++) scanf("%d",&a[i]);
solve1();
solve2();
printf("%.20Lf",ans);
return 0;
}

贴一个暴力,供参考:

// codeforces 749E
#include<algorithm>
#include<iostream>
#include<cstdlib>
#include<cstring>
#include<cstdio>
#include<cmath>
#define LL long long
#define inf 1<<30
#define Pi acos(-1.0)
#define free(a) freopen(a".in","r",stdin),freopen(a".out","w",stdout);
using namespace std; const int maxn=100010;
LL c[maxn],s[maxn],n;
int a[maxn];
long double ans; int main() {
freopen("aaa.in","r",stdin);freopen("ccc.out","w",stdout);
scanf("%lld",&n);
for (int i=1;i<=n;i++) scanf("%d",&a[i]);
for (LL i=1;i<=n;i++)
ans+=(long double)(i*(n-i)*(n-i+1))/(2*n*(n+1));
long double res=0;
for (LL i=n;i>=1;i--) {
for (LL j=i+1;j<=n;j++)
if (a[i]>a[j]) res+=(long double)((j-1)*j+(n-i)*(n-i+1)-(j-i-1)*(j-i))/(n*(n+1));
}
ans+=res;
printf("%.20Lf",ans);
return 0;
}

【codeforces 749E】 Inversions After Shuffle的更多相关文章

  1. 【codeforces 415D】Mashmokh and ACM(普通dp)

    [codeforces 415D]Mashmokh and ACM 题意:美丽数列定义:对于数列中的每一个i都满足:arr[i+1]%arr[i]==0 输入n,k(1<=n,k<=200 ...

  2. 【codeforces 707E】Garlands

    [题目链接]:http://codeforces.com/contest/707/problem/E [题意] 给你一个n*m的方阵; 里面有k个联通块; 这k个联通块,每个连通块里面都是灯; 给你q ...

  3. 【codeforces 707C】Pythagorean Triples

    [题目链接]:http://codeforces.com/contest/707/problem/C [题意] 给你一个数字n; 问你这个数字是不是某个三角形的一条边; 如果是让你输出另外两条边的大小 ...

  4. 【codeforces 709D】Recover the String

    [题目链接]:http://codeforces.com/problemset/problem/709/D [题意] 给你一个序列; 给出01子列和10子列和00子列以及11子列的个数; 然后让你输出 ...

  5. 【codeforces 709B】Checkpoints

    [题目链接]:http://codeforces.com/contest/709/problem/B [题意] 让你从起点开始走过n-1个点(至少n-1个) 问你最少走多远; [题解] 肯定不多走啊; ...

  6. 【codeforces 709C】Letters Cyclic Shift

    [题目链接]:http://codeforces.com/contest/709/problem/C [题意] 让你改变一个字符串的子集(连续的一段); ->这一段的每个字符的字母都变成之前的一 ...

  7. 【Codeforces 429D】 Tricky Function

    [题目链接] http://codeforces.com/problemset/problem/429/D [算法] 令Si = A1 + A2 + ... + Ai(A的前缀和) 则g(i,j) = ...

  8. 【Codeforces 670C】 Cinema

    [题目链接] http://codeforces.com/contest/670/problem/C [算法] 离散化 [代码] #include<bits/stdc++.h> using ...

  9. 【codeforces 515D】Drazil and Tiles

    [题目链接]:http://codeforces.com/contest/515/problem/D [题意] 给你一个n*m的格子; 然后让你用1*2的长方形去填格子的空缺; 如果有填满的方案且方案 ...

随机推荐

  1. Android核心组件 Activity组件

    1.Activity简介 四大组件之一的Activity组件,在应用中一个Activity可以用来表示一个界面,中文意思也可以理解为"活动",即一个活动开始,代表Activity组 ...

  2. android6.0的坑

    虽然现在android已经出了7.0了.但是大部分人用的应该还是5.0和6.0的. 其中对于开发者来说,变化比较大的应该是6.0之前和6.0之后的版本. 因为以6.0为分界线多了一个比较坑的东西:权限 ...

  3. Unable to simultaneously satisfy constraints.

    在进行版本的迭代更新时,新功能需求需要对主页面的UI进行重新的布局,但是,报了错误,出了好多约束方面的问题: Unable to simultaneously satisfy constraints. ...

  4. MapReduce 的架构

    主从结构 主节点,只有一个 : JobTracker   ,JobTracker 一般情况下,运行在 namenode 这台机器上. 从节点,有很多个 : TaskTrackers  ,  部署在剩下 ...

  5. Eclipse for Java EE软件操作集锦(二)

    看本文章之前请确保已经了解eclipse建立web工程,如果有疑问请查看本系列文章第一篇 eclipse软件操作集锦(一) 1.我们添加一个servlet 配置一下web.xml测试一下是否能正常显示 ...

  6. 关于SQL Server镜像的一个小误区

    昨天晚上突然接到客户的电话, 说在配置了镜像的生产环境数据库下修改 “已提交读快照” 选项的时候报错, 需要先取消镜像然后再重新搭建.悲催的是这是个近TB的数据库,问我有没有什么快速的方法.于是我就问 ...

  7. Linux Shell脚本逻辑操作符简介

    在写程序时,会用到条件判断,测试条件是否成立.很多时候,判断条件是多个的,这个时候需要用到逻辑操作符.shell脚本中常用的有哪些逻辑操作符呢? 1.逻辑与: -a 格式: conditon1 -a ...

  8. python-函数

    函数是组织好的,可重复使用的,用来实现单一,或相关联功能的代码段. 函数能提高应用的模块性,和代码的重复利用率.你已经知道Python提供了许多内建函数,比如print().但你也可以自己创建函数,这 ...

  9. 04.ubuntu下kvm 命令行安装64位ubuntu报"Couldn't find hvm kernel for Ubuntu tree."的问题

    1.安装ubuntu时使用的virt-install的配置: virt-install \ --name test4 \ --ram 1024 \ --disk path=/data/01_ubunt ...

  10. android socket 线程连接openwrt与arduino单片机串口双向通信

    package zcd.netanything; import java.io.BufferedReader; import java.io.InputStreamReader; import jav ...