【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. 集大软件工程15级结对编程week1

    集大软件工程15级结对编程week1 0. 团队成员 姓名 学号 博客园首页 码云主页 孙志威 20152112307 Agt Eurekaaa 孙慧君 201521123098 野原泽君 野原泽君 ...

  2. 在tomcat8.0.x和tomcat9.0.x之间么突然冒出个tomcat 8.5

    Apache Tomcat 8 (8.5.38) - Documentation Indexhttps://tomcat.apache.org/tomcat-8.5-doc/index.html to ...

  3. Pseudo Registers

    Pseudoregister Description @ERR Last error value; the same value returned by the GetLastError() API ...

  4. freemarker数值格式化

    语法:number?string(exp) 说明:根据给定的格式化表达式将数值格式化为字符串. 参数:格式化字符串,"0"表示固定占位(至少有这个位数,不足位数用0代替),&quo ...

  5. [转帖]Windows 操作系统有哪些原生的工具和软件不被人了解却很有用?

    Windows 操作系统有哪些原生的工具和软件不被人了解却很有用? 蛋蛋 司马米青E1E1九木 https://www.zhihu.com/question/25343481/answer/30798 ...

  6. mysql逻辑架构

    逻辑架构图 MySQL有点与众不同,它的逻辑架构可以在多种不同的场景中应用并发挥良好的作用.主要体现在存储引擎的架构上,插件式的存储引擎架构将查询处理和其他的系统任务以及数据的存储提取相分离.这种架构 ...

  7. Python OpenCV人脸识别案例

    ■环境 Python 3.6.0 Pycharm 2017.1.3 ■库.库的版本 OpenCV 3.4.1 (cp36) ■haarcascades下载 https://github.com/ope ...

  8. Python:matplotlib绘制散点图

    与线型图类似的是,散点图也是一个个点集构成的.但不同之处在于,散点图的各点之间不会按照前后关系以线条连接起来. 用plt.plot画散点图     奇怪,代码和前面的例子差不多,为什么这里显示的却是散 ...

  9. python设计模式第二十二天【备忘录模式】

    1.应用场景 (1)能保存对象的状态,并能够恢复到之前的状态 2.代码实现 #!/usr/bin/env python #! _*_ coding:UTF-8 _*_ class Originator ...

  10. ASP.NET MVC和Web API中的Angular2 - 第2部分

    下载源码 内容 第1部分:Visual Studio 2017中的Angular2设置,基本CRUD应用程序,第三方模态弹出控件 第2部分:使用Angular2管道进行过滤/搜索,全局错误处理,调试客 ...