【BZOJ3925】[ZJOI2015]地震后的幻想乡(动态规划)

题面

BZOJ

洛谷

题解

题目里面有一句提示:对于\(n\)个\([0,1]\)之间的随机变量\(x1,x2,...,xn\),第\(k\)小的那个的期望值是\(k/(n+1)\)。

显然要求的东西就是一棵最小生成树最大边的期望。而求解最小生成树只需要知道边的排名以及当前点之间的连通性。因为我们知道第\(k\)小的值的期望,所以我们只需知道最小生成树做到了第几条边时联通。那么需要求解的只有在连完第\(k\)条边只有连通的方案数了。

预处理点集内部的方案数,假设为\(cnt(S)\),设\(f[i][S][0/1]\)表示对于点集\(S\)而言,选择了其中\(i\)条边之后连通或者不连通的方案数。

首先很显然,连通和不连通的方案数总和就是任意选择边的方案数。

即\(\displaystyle f[i][S][0]+f[i][S][1]={cnt(S)\choose i}\)。

那么考虑如何计算\(dp\)值。

如果我们要算不连通的方案数,那么我们枚举其中一个定点所在的连通块,那么这个连通块不能和其他点之间有连边,可以得到转移:\(\displaystyle f[i+j][S][0]=\sum f[i][T][1]*{cnt(S-T)\choose j}\)

而连通的方案数则直接用前面那个总方案减去不连通的就好了。

那么最终计算答案的时候,枚举用了几条边\(\displaystyle ans=\frac{1}{m+1}\sum_{i=0}^m \frac{f[i][All][0]}{m\choose i}\)

#include<iostream>
#include<cstdio>
using namespace std;
inline int read()
{
int x=0;bool t=false;char ch=getchar();
while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
if(ch=='-')t=true,ch=getchar();
while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
return t?-x:x;
}
int n,m,S,bul[1<<10],cnt[1<<10],G[10],lg[1<<10];
long long f[50][1<<10][2],C[50][50];
double ans;
int lb(int x){return x&(-x);}
int main()
{
n=read();m=read();S=1<<n;
for(int i=0;i<=m;++i)C[i][0]=1;
for(int i=1;i<=m;++i)
for(int j=1;j<=i;++j)
C[i][j]=C[i-1][j-1]+C[i-1][j];
for(int i=1;i<S;++i)bul[i]=bul[i>>1]+(i&1);
for(int i=2;i<S;++i)lg[i]=lg[i>>1]+1;
for(int i=1,u,v;i<=m;++i)u=read()-1,v=read()-1,G[u]|=1<<v,G[v]|=1<<u;
for(int i=1;i<S;++i)cnt[i]=cnt[i^lb(i)]+bul[G[lg[lb(i)]]&i];
for(int i=1;i<S;++i)f[0][i][bul[i]==1]=1;
for(int i=1;i<=m;++i)
for(int T=1;T<S;++T)
{
int TT=T^lb(T),u=lb(T);
for(int P=(TT-1)&TT;;P=(P-1)&TT)
{
for(int j=0;j<=i;++j)f[i][T][0]+=f[j][P|u][1]*C[cnt[TT^P]][i-j];
if(!P)break;
}
f[i][T][1]=C[cnt[T]][i]-f[i][T][0];
}
for(int i=0;i<=m;++i)ans+=1.0*f[i][S-1][0]/C[m][i];
ans/=m+1;printf("%.6lf\n",ans);
return 0;
}

【BZOJ3925】[ZJOI2015]地震后的幻想乡(动态规划)的更多相关文章

  1. BZOJ3925: [Zjoi2015]地震后的幻想乡

    Description 傲娇少女幽香是一个很萌很萌的妹子,而且她非常非常地有爱心,很喜欢为幻想乡的人们做一些自己力所能及的事情来帮助他们. 这不,幻想乡突然发生了地震,所有的道路都崩塌了.现在的首要任 ...

  2. BZOJ3925: [Zjoi2015]地震后的幻想乡【概率期望+状压DP】

    Description 傲娇少女幽香是一个很萌很萌的妹子,而且她非常非常地有爱心,很喜欢为幻想乡的人们做一些自己力所能及的事情来帮助他们. 这不,幻想乡突然发生了地震,所有的道路都崩塌了.现在的首要任 ...

  3. [bzoj3925] [洛谷P3343] [ZJOI2015] 地震后的幻想乡

    Description 傲娇少女幽香是一个很萌很萌的妹子,而且她非常非常地有爱心,很喜欢为幻想乡的人们做一些自己力所能及的事情来帮助他们. 这不,幻想乡突然发生了地震,所有的道路都崩塌了.现在的首要任 ...

  4. [ZJOI2015]地震后的幻想乡(期望+dp)

    题目描述 傲娇少女幽香是一个很萌很萌的妹子,而且她非常非常地有爱心,很喜欢为幻想乡的人们做一些自己力所能及的事情来帮助他们. 这不,幻想乡突然发生了地震,所有的道路都崩塌了.现在的首要任务是尽快让幻想 ...

  5. 【BZOJ3925】[ZJOI2015] 地震后的幻想乡(状压期望DP)

    点此看题面 大致题意: 有\(n\)个点和\(m\)条边,每条边的权值是一个\(0\sim1\)的随机实数,要你用\(n-1\)条边将图联通,问这\(n-1\)条边中边权最大值的期望最小值. 提示 这 ...

  6. 【BZOJ3925】地震后的幻想乡(期望概率DP,状压DP)

    题意:给定一张点数不超过10的无向连通图,每条边有一个[0,1]之间的随机权值,求最小生成树上最大边的期望值 提示:对于n个[0,1]之间的随机变量x1,x2,...,xn,第k小的那个的期望值是k/ ...

  7. BZOJ 3925 ZJOI2015 地震后的幻想乡

    假设我们用了边权前i小的边使得图连通,那么对答案的贡献为i/m+1 又因为期望的线性性质,我们只需要求用了i条边就可以了 不妨设g(S)(i)表示用了i条边使得点集S连通的概率 设f(S)(i)表示用 ...

  8. BZOJ 3925: [Zjoi2015]地震后的幻想乡(概率)

    CLJ就是喜欢出ctsc上讲的东西,看来还是得找时间把他的那几道题做下 首先记f(x)为答案>x的概率,那么把这个东西从0到1积分就是答案了 f(x)<=>边小于x不能使图联通的概率 ...

  9. [ZJOI2015]地震后的幻想乡

    题目传送门 SOL:不会积分的我瑟瑟发抖. 所以我选择状压DP. 我们有以下一个dp状态: f[S][i],S表示点集,i表示这个点集向外联了i条边. 那么答案就是f[(1<<n)-1][ ...

随机推荐

  1. Mysql数据库中的日期相关操作

    1.获取当前时间的日期 select now();----------------------------------如:2008-12-29 16:25:46 select curdate();-- ...

  2. socket流程

  3. 解决sqoop连接mysq错误

    一.问题描述 1.由于当前集群没有配置Zookeeper.hcatalog.accumlo,因此应该在sqoop的配置文件中注释掉判断Zookeeper.hcatalog.accumlo路径是否正确的 ...

  4. 从Mongo导出数据库到Excel

    在MongoDB的安装目录的bin文件夹下打开命令行: ./mongoexport -d kugou_db -c songs -f rank,singer,song,time --type=csv - ...

  5. 解决Window安全中心对Kitematic-0.17.3-Ubuntu.zip提示病毒,但无法删除的问题。

    Trojan:JS/Tisifi.B 类型:特洛伊木马 containerfile: C:\Users\Administrator\Desktop\Kitematic-0.17.3-Ubuntu.zi ...

  6. 3 HTTP 协议

    1 什么是HTTP 协议 HTTP (HyperText Transfer Protocol),即超文本传输协议, 17年以前互联网上应用最广泛的协议,之后所有网站都开始使用HTTPS协议(基于HTT ...

  7. Java 验证码详解

    1 使用Servlet实现验证码,涉及的知识点主要为java 绘图技术与session保存数据. HTML页面 <html> <image src='images/logo1.jpg ...

  8. input & collapse & tags

    input & collapse & tags https://ant.design/components/tag-cn/ https://www.iviewui.com/compon ...

  9. loadrunner -vuser

    在每个负载生成器上,安装 remote agent dispatcher(process) 和 loadrunner agent 控制器指示remote agent dispatcher 在load ...

  10. vscode git設置

    1.git官网https://git-scm.com/download/win 链接下载:64-bit Git for Windows Setup,不要下载Portable,体积太大了: 如果git官 ...