点此看题面

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

提示

这题应该是一道比较难的\(DP\)题吧。

首先,我们需要注意到提示中的一句话:

\(Hint\)

对于\(n\)个\([0,1]\)之间的随机变量\(x_1,x_2,...,x_n\),第\(k\)小的那个的期望值是\(\frac k{n+1}\)。

其实,这就很明显在提示我们,只要求出这\(n-1\)条边中权值最大边的期望最小排名,我们就能轻松求出它的期望最小值

于是我们就能形成一个比较基础的思路了。

基础思路

首先,应该不难想到,可以用\(P_i\)来表示权值最大边排名为\(i\)的概率,而答案就是\(\sum_{i=1}^mi·P_i\)(这应该还是比较显然的)。

但问题在于这样很难进行状态转移。

我们可以将原式进行进一步的转化,则不难发现,答案其实就相当于\(\sum_{i=1}^m\sum_{j=i}^mP(j)\)。

由于\(\sum_{i=1}^mP(i)=1\),所以上面式子中的\(\sum_{j=i}^mP(j)\)其实又等价于\(1-\sum_{j=1}^{i-1}P(j)\)。

考虑\(\sum_{j=1}^{i-1}P(j)\)表示的是加入\(i-1\)条边能使原图联通的概率,所以\(1-\sum_{j=1}^{i-1}P(j)\)其实就相当于加入\(i-1\)条边不能使原图联通的概率

不难发现,这比求原式要容易多了。

转化后的问题

整理一下上面的思路,就可以得到一个这样的问题:设\(P'(i)\)为加入\(i\)条边后原图不连通的概率,求\(\sum_{i=0}^{m-1}P'(i)\)。

注意到\(n\le10\)这极小的范围,我们首先想到的自然是乱搞状压\(DP\)

状压\(DP\)

考虑用\(f_{i,t,0/1}\)来表示连接\(i\)条边后使点集\(j\)不连通/联通的方案数,注意,这里记录的是方案数而不是概率,这样可以防止出现精度误差(毕竟要保留\(6\)位小数)。

我们可以用\(Size_i\)和\(line\_tot_i\)分别表示点集\(i\)中点与边的数量

首先,我们要知道一个比较基础的知识,即在点集\(i\)中选择\(t\)条边的方案数应为\(C_{line\_tot_i}^t\),即\(f_{i,t,0}+f_{i,t,1}=C_{line\_tot_i}^t\)。

既然这样,只要求出\(f_{i,t,0}\)和\(f_{i,t,1}\)中的一个,我们就可以轻松求出另一个的值了。

比较显然\(f_{i,t,0}\)相对而言要更容易求一些。

状态转移

我们来考虑如何进行状态转移。

考虑在当前点集中任意选取一点\(k\)作为定点(\(k\)取什么点无所谓,为了方便推荐选择\(lowbit(i)\),可以\(O(1)\)求出),然后枚举含有点\(k\)的点集\(j\),进行转移。

不难想到,如果要让点集\(j\)变成\(i\),自然需要加入\(i\)^\(j\)这个点集。

我们可以在保证点集\(j\)联通的情况下,枚举\(x,y(0\le x\le line\_tot_j,0\le y\le line\_tot_{i\text{^}j})\),表示两个点集中的分别选择的边数。

由于选\(x\)条边使点集\(j\)联通的方案数为\(f_{j,x,1}\),而\(y\)条边的选择方案数共有\(C_{line\_tot_{i\text{^}j}}^y\),所以可以得出转移方程:

\[f_{i,x+y,0}=\sum f_{j,x,1}*C_{line\_tot_{i\text{^}j}}^y
\]

这样就可以不重不漏地统计到所有情况了。

最后的答案

根据一开始得出的结论,最后的答案就是:

\[\frac{\sum_{i=0}^{m-1}\frac{f_{2^n-1,i,0}}{C_m^i}}{m+1}
\]

还有,千万注意精度啊。

一些细节:关于\(Size\)与\(line\_tot\)数组的求法

关于\(Size\)和\(line\_tot\)两个数组,其实有一种比较巧妙的求法。(会的大佬可以直接跳过这一部分)

  • \(Size_i=Size_{i>>1}+(i\&1)\)

    • 首先,由于\((i>>1)<i\),所以\(Size_{i>>1}\)一定在求\(Size_i\)之前已经求解过。
    • 其次,由于\((i>>1)\)与\(i\)在二进制下只相差最后一位,所以只要比较最后一位(即\(i\&1\))就可以求出结果。
  • \(line\_tot_i=\frac{\sum Size_{Next_j\&i}}2\)
    • 注意,上面式子中的\(j\)表示点集\(i\)中的一个点,而\(Next_j\)表示与\(j\)有边相连的点的点集。
    • 首先,由于\(Next_j\&i\le i\),所以\(Size_{Next_j\&i}\)肯定已经求解过。
    • 其次,将与\(j\)相连的点与点集\(i\)中的点\(\&\)一下,得到的结果就是点集\(i\)中与\(j\)相连的点的点集,它的\(Size\)就是点集\(i\)中与\(j\)有边相连的点的数量,即以点\(j\)为一个端点的边数。
    • 但这样会把每条边统计两次,因此最后除以\(2\)即可。

代码

#include<bits/stdc++.h>
#define N 10
#define M 50
#define LL long long
using namespace std;
int n,m,Next[N+5],line_tot[1<<N+1],Size[1<<N+1];LL f[1<<N+1][M+5][2],C[M+5][M+5];
class Class_FIO
{
private:
#define Fsize 100000
#define tc() (A==B&&(B=(A=Fin)+fread(Fin,1,Fsize,stdin),A==B)?EOF:*A++)
char ch,*A,*B,Fin[Fsize];
public:
Class_FIO() {A=B=Fin;}
inline void read(int &x) {x=0;while(!isdigit(ch=tc()));while(x=(x<<3)+(x<<1)+(ch&15),isdigit(ch=tc()));}
}F;
inline void Init() {for(register int i=C[0][0]=1,j;i<=M;++i) for(C[i][0]=C[i][i]=j=1;j<i;++j) C[i][j]=C[i-1][j-1]+C[i-1][j];}//预处理组合数
int main()
{
register int i,j,k,x,y,Full;register double ans=0.0;
for(Init(),F.read(n),F.read(m),i=1;i<=m;++i) F.read(x),F.read(y),Next[x]|=(1<<y-1),Next[y]|=(1<<x-1);//用Next[i]存储与i有边相连的点的点集
for(i=1,Full=(1<<n)-1;i<=Full;++i)//枚举每一个点集i
{
if((Size[i]=Size[i>>1]+(i&1))==1) {f[i][0][1]=1;continue;}//如果只有一个点,跳过
for(j=1;j<=n;++j) if(i&(1<<j-1)) line_tot[i]+=Size[Next[j]&i];line_tot[i]>>=1;//统计边数
for(k=i&-i,j=i&(i-1);j;j=i&(j-1)) if(j&k) for(x=0;x<=line_tot[j];++x) for(y=0;y<=line_tot[i^j];++y) f[i][x+y][0]+=f[j][x][1]*C[line_tot[i^j]][y];//状态转移
for(j=0;j<=line_tot[i];++j) f[i][j][1]=C[line_tot[i]][j]-f[i][j][0];//根据f[i][j][0]得到f[i][j][1]的值
}
for(i=0;i<=m;++i) ans+=1.0*f[Full][i][0]/C[line_tot[Full]][i];ans/=m+1;//统计答案
return printf("%.6lf",ans),0;
}

【BZOJ3925】[ZJOI2015] 地震后的幻想乡(状压期望DP)的更多相关文章

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

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

  2. BZOJ 3925 ZJOI2015 地震后的幻想乡 状压dp+期望

    题目链接:http://www.lydsy.com/JudgeOnline/problem.php?id=3925 题意概述: 给出一张N点M边的最小生成树,其中每条边的长度为[0,1]的实数,求最小 ...

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

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

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

    [BZOJ3925][ZJOI2015]地震后的幻想乡(动态规划) 题面 BZOJ 洛谷 题解 题目里面有一句提示:对于\(n\)个\([0,1]\)之间的随机变量\(x1,x2,...,xn\),第 ...

  5. CF16E Fish(状压+期望dp)

    [传送门[(https://www.luogu.org/problemnew/show/CF16E) 解题思路 比较简单的状压+期望.设\(f[S]\)表示\(S\)这个状态的期望,转移时挑两条活着的 ...

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

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

  7. 【洛谷3343_BZOJ3925】[ZJOI2015]地震后的幻想乡(状压 DP_期望)

    题目: 洛谷 3343 BZOJ 3925 分析: 谁给我说这是个期望概率神题的,明明没太大关系好吧 「提示」里那个结论哪天想起来再问 Jumpmelon 怎么证. 首先,由于开始修路前 \(e_i\ ...

  8. 洛谷 P3343 - [ZJOI2015]地震后的幻想乡(朴素状压 DP/状压 DP+微积分)

    题面传送门 鸽子 tzc 竟然来补题解了,奇迹奇迹( 神仙题 %%%%%%%%%%%% 解法 1: 首先一件很明显的事情是这个最小值可以通过类似 Kruskal 求最小生成树的方法求得.我们将所有边按 ...

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

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

随机推荐

  1. PAT 1087【二级最短路】

    二级最短路+二级最短路,就是DP过程吧. 代码稍微注释一些,毕竟贴代码不好.. #include<bits/stdc++.h> using namespace std; typedef l ...

  2. 常见错误及处理-jsp及Servlet

    1.servlet输入出页面时,中文字符乱码 解决方法: 在Writer之前设置请求头: response.setHeader("Content-type", "text ...

  3. Macbook sublime 安装markdown插件

    Sublime Text为3 版本 安装sublime text 插件,需要“***”,不会弄的,就可以移步了. 首先按 command + shift + p 调出安装插件的界面,输入“instal ...

  4. 安装篇:MySQL系列之一

    环境:CentOS6.9系统安装MariaDB-10.2.15 一.yum包管理器安装MariaDB-server ​ 1)配置yum源(MariaDB官方源) [root@centos6 ~]# v ...

  5. CPU死锁

    https://blog.csdn.net/sunny05296/article/details/82858071 最近碰到了Centos7.2上终端打印soft lockup CPU死锁,系统无响应 ...

  6. 同域内的两台电脑,一台访问另一台上搭建的IIS站点无法访问解决方法

    需要在搭建IIS站点的机器上,打开[高级安全Windows防火墙],新建[入站规则],添加外部允许访问的端口号即可.

  7. @Inherited:允许子类继承父类的注解。

    在看定义注解的相关文章的时候,看到这个@Inherited注解,简单的说明并没有真正搞懂是什么意思.在网上搜索了一些相关的内容,现在把一篇文章转载过来.以便后面使用. 文章出处,转载地址:(http: ...

  8. DB2的常用数据类型

    今天在db2中查询数据时出现错误: Overflow occurred during numeric data type conversion:SQLCODE=-413, SQLSTATE=22003 ...

  9. LeetCode 137 Single Number II 数组中除了一个数外,其他的数都出现了三次,找出这个只出现一次的数

    Given an array of integers, every element appears three times except for one, which appears exactly ...

  10. 图片的回显。js

    l  <tr><td></td> <td> <c:if test="${editVo.pic!=''}"><img ...