题链:

http://codeforces.com/problemset/problem/698/C
题解.1:

概率dp,状压dp
棒棒哒题解:https://www.cnblogs.com/liu-runda/p/6256730.html

由于操作次数很多,所以可以看成无穷次,
且题中明确给出K<=N,所以一般来说最后的缓存区中有k个物品的概率非常接近1。
或者这么来理解:
如果这么多次的操作我们都只取到了某固定的k-1个物品,那么也就意味这其它的物品一次都没取到过,
设其它物品的概率和为x,那么它们一次都没取到的概率就为x^inf,非常接近0,即基本不可能只取到过某固定的k-1个物品。
(当然也有特殊情况,如果某些物品(假设有h个)的出现概率为0,那么只有N-h个物品可能被得到,
所以K=min(k,N-h),更改一下缓存区里能存在的物品的最大个数)

显然,对于任意一个操作序列,操作结束后,缓冲区里存在哪k个物品,只与这个操作序列的末尾有关。
更详细的是指:那k个物品,就是这个操作序列从后往前数,首先数到的k个不同的物品。(然后前面的物品无论怎样出现都没有任何关系了)
那么只要求得一个k个物品的集合的出现概率P,那么这个集合里面所有元素的出现概率都要+P。
然后我们需要计算出所有k个物品的集合的出现概率,而且k的大小是20,毫不犹豫的想到状压dp

令dp[S]表示从后往前已经拥有的物品的集合为S的出现概率:
设S集合里的物品出现的概率和为x,然后枚举每个不在S里的物品i。
dp[S|idx(i)]=dp[S]*p[i]/(1-x).
p[i]/(1-x)意思是i物品在未出现的物品种出现的概率。
因为遇到已在S里的物品对S这个状态没有任何影响,所以只考虑不在S里的物品。

然后每当S的大小为K时,就把dp[S]加到S里的每个物品i的出现概率ans[i]上去。

代码.1:

#include<bits/stdc++.h>
#define MAXN 20
using namespace std;
const double eps=1e-9;
double p[1<<MAXN],g[1<<MAXN],ans[MAXN+5],dp[1<<MAXN];
int cnt[1<<MAXN];
int N,K,ALL,k;
int idx(int i){return 1<<(i-1);}
int dcmp(double x){
if(fabs(x)<eps) return 0;
return x>0?1:-1;
}
int main(){
ios::sync_with_stdio(0);
cin>>N>>K; ALL=idx(N+1); k=N;
for(int i=1;i<=N;i++){
cin>>p[idx(i)];
if(dcmp(p[idx(i)])==0) k--;
}
K=min(k,K);
for(int S=1,i;i=S&(-S),S<ALL;S++)
g[S]=g[S^i]+p[i],cnt[S]=cnt[S^i]+1;
dp[0]=1;
for(int S=1;S<ALL;S++){
for(int i=1;i<=N;i++) if(idx(i)&S)
if(dcmp(1-g[idx(i)^S])!=0) dp[S]+=dp[S^idx(i)]*p[idx(i)]/(1-g[S^idx(i)]);
if(cnt[S]==K) for(int i=1;i<=N;i++) if(idx(i)&S) ans[i]+=dp[S];
}
for(int i=1;i<=N;i++)
cout<<fixed<<setprecision(7)<<ans[i]<<" ";
return 0;
}

  

题解.2:

容斥,概率
同样的,由于操作次数为10^100,所以可以看成是无穷次。
假设对于一个操作序列,如果要使得最后的k个物品中存在i物品,
那必然在最后一次出现了i物品之后出现的其他物品种类数不超过k-1种.(即可能出现了0种其它物品,1种其它物品,2种其他物品,...,k-1种其他物品)
现在我们假设之后出现了k-1种其它物品,这k-1种物品的集合为S,且这k-1种物品的出现概率和为x,
那么由于i物品最后一次出现的具体位置未知,
所以有如下计算式来计算上述这种“出现了i以后再出现的其他物品种类不超过k-1种且集合为S”的情况的发生概率:
P=p[i]*(x+x^2+x^3+...+x^inf)=p[i]*1.0/(1-x)
由于这只是一种k-1种物品的集合的情况,所以还要枚举所有的k-1种物品的集合来进行上述操作,并把每个求得的概率累加到一起。
显然,存在了许多重复和无用信息,
举个例子,上面由若干个k-1种物品的集合所得到的概率和∑P中,
把任意一种“出现了i以后再出现的其他物品种类不超过k-2种且集合为S'”的情况的都包含了若干次,
具体来说是C(N-1-(k-2),1)次,(也就是S'的不含i物品的超集的个数)
所以需要把这些多余的减去,这就是容斥的原因,
注意到容斥系数只与集合大小有关,
我们只需要预处理出集合大小为cnt时的容斥系数即可。

(因为我们要求之后出现的其他物品种类为0种,1种,2种...k-1的概率和,所以在处理容斥系数之前,首先把每个的容斥系数都定为1)

代码.2:

#include<bits/stdc++.h>
#define MAXN 20
using namespace std;
const double eps=1e-9;
double a[MAXN],p[1<<MAXN],h[MAXN+5],dp[1<<MAXN],c[MAXN+5][MAXN+5];
int cnt[1<<MAXN];
int N,K,ALL,k;
int idx(int i){return 1<<(i-1);}
int dcmp(double x){
if(fabs(x)<eps) return 0;
return x>0?1:-1;
}
int main(){
ios::sync_with_stdio(0);
cin>>N>>K; ALL=1<<N;
for(int i=1;i<=N;i++) cin>>a[i],p[idx(i)]=a[i];
for(int S=1,i;i=S&(-S),S<ALL;S++)
p[S]=p[i]+p[S^i],cnt[S]=1+cnt[S^i];
for(int i=0;c[i][0]=1,i<=N;i++)
for(int j=1;j<=i;j++)
c[i][j]=c[i-1][j-1]+c[i-1][j];
for(int i=K-1;h[i]=1,i>=0;i--)
for(int j=i+1;j<=K-1;j++)
h[i]-=h[j]*c[N-1-i][j-i];
cout<<fixed<<setprecision(7);
for(int i=1;i<=N;i++){
if(dcmp(a[i])==0||dcmp(1-a[i])==0||K==1)
cout<<p[idx(i)];
else{
double ans=0;
for(int S=0;S<ALL;S++){
if(idx(i)&S||cnt[S]>=K) continue;
ans+=h[cnt[S]]*1.0/(1-p[S]);
}
cout<<ans*p[idx(i)];
}
cout<<((i==N)?'\n':' ');
}
return 0;
}

  

●CodeForces 698C LRU的更多相关文章

  1. CodeForces 698C LRU

    吐槽一句:这数据造得真强-. 题意:有一个大小为k的缓存区,每次从n种物品中按照一定的概率选取一种物品尝试放进去.同一个物品每一次选取的概率都是相同的.如果这种物品已经放进去过就不再放进去.如果缓存区 ...

  2. 【codeforces 698C】LRU

    题目链接: http://codeforces.com/problemset/problem/698/C 题目大意: n个物品,k个格子,第i个物品每次被选取的概率为$p_{i}$,如果格子里没有该物 ...

  3. 【CodeForces】698 C. LRU

    [题目]C. LRU [题意]给定空间为k的背包和n个物品,每次每个物品有pi的概率加入(Σpi=1),加入时若发现背包中已有该物品则不改变,若背包满k个物品后再加入新物品则弹出最早加入的物品,求加入 ...

  4. Codeforces Round #363 (Div. 2)E. LRU

    E. LRU time limit per test 2 seconds memory limit per test 256 megabytes input standard input output ...

  5. Codeforces Round #363 LRU(概率 状压DP)

    状压DP: 先不考虑数量k, dp[i]表示状态为i的概率,状态转移方程为dp[i | (1 << j)] += dp[i],最后考虑k, 状态表示中1的数量为k的表示可行解. #incl ...

  6. Codeforces Round #363 (Div. 1) C. LRU

    题意: n个数,长度为k的缓存,每次询问,每个数以pi的概率被选,如果不在缓存区则加入,如果缓存区满了,则第一个进缓存的出来,问10^100次询问以后每个数在缓存的概率 思路: 状压DP,看了hzwe ...

  7. codeforces泛做..

    前面说点什么.. 为了完成日常积累,傻逼呵呵的我决定来一发codeforces 挑水题 泛做.. 嗯对,就是泛做.. 主要就是把codeforces Div.1的ABCD都尝试一下吧0.0.. 挖坑0 ...

  8. Codeforces Round 363 Div. 1 (A,B,C,D,E,F)

    Codeforces Round 363 Div. 1 题目链接:## 点击打开链接 A. Vacations (1s, 256MB) 题目大意:给定连续 \(n\) 天,每天为如下四种状态之一: 不 ...

  9. 【cf比赛记录】Codeforces Round #605 (Div. 3)

    比赛传送门 Div3真的是暴力杯,比div2还暴力吧(这不是明摆的嘛),所以对我这种一根筋的挺麻烦的,比如A题就自己没转过头来浪费了很久,后来才醒悟过来了.然后这次竟然还上分了...... A题:爆搜 ...

随机推荐

  1. Scapy实现SYN泛洪攻击

    一.实验说明 1.实验介绍 本次实验将使用python3版本的Scapy--Scapy3k来实现一个简单的DDos,本次实验分为两节,本节将学习如何使用Scapy3k来实现SYN泛洪攻击. 2.知识点 ...

  2. Django 测试驱动开发

    第一章 1.编写functional_tests.py from selenium import webdriver browser = webdriver.Firefox() browser.get ...

  3. 【iOS】swift 枚举

    枚举语法 你可以用enum开始并且用大括号包含整个定义体来定义一个枚举: enum SomeEnumeration { // 在这里定义枚举 } 这里有一个例子,定义了一个包含四个方向的罗盘: enu ...

  4. Mego开发文档 - 基础查询

    基础查询 Mego 使用语言集成查询(LINQ)从数据库查询数据.LINQ允许您使用C#(或其他.NET语言)根据派生的上下文和实体类编写强类型查询.将LINQ查询的表示传递给数据库提供者,翻译为数据 ...

  5. 隐藏Easy UI 中parent.$.modalDialog 的button

    例子: buttons : [ { text : '关闭', handler : function() { parent.$.modalDialog.handler.dialog('close'); ...

  6. 用C#(.NET Core) 实现简单工厂和工厂方法模式

    本文源自深入浅出设计模式. 只不过我是使用C#/.NET Core实现的例子. 前言 当你看见new这个关键字的时候, 就应该想到它是具体的实现. 这就是一个具体的类, 为了更灵活, 我们应该使用的是 ...

  7. JWT

    Web安全通讯之Token与JWT http://blog.csdn.net/wangcantian/article/details/74199762 javaweb多说本地身份说明(JWT)之小白技 ...

  8. angular2 学习笔记 ( animation 动画 )

    refer : https://angular.io/guide/animations https://github.com/angular/angular/blob/master/packages/ ...

  9. Python 自动化 第一周

    1.Python简介 1.1.Python介绍 python的创始人为吉多·范罗苏姆(Guido van Rossum).1989年的圣诞节期间,吉多·范罗苏姆(中文名字:龟叔)为了在阿姆斯特丹打发时 ...

  10. Python学习之参数

    参数 # coding=utf-8 # 函数的参数 def power(x): return x * x; print power(5) 修改后 def power_1(x,n=2): #默认参数可以 ...