Description

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

幻想乡一共有 \(n\) 个地方,那么最快的方法当然是修复 \(n-1\) 条道路将这 \(n\) 个地方都连接起来。 幻想乡这 \(n\) 个地方本来是连通的,一共有 \(m\) 条边。现在这 \(m\) 条边由于地震的关系,全部都毁坏掉了。每条边都有一个修复它需要花费的时间,第 \(i\) 条边所需要的时间为 \(ei\) 。地震发生以后,由于幽香是一位人生经验丰富,见得多了的长者,她根据以前的经验,知道每次地震以后,每个 \(ei\) 会是一个0到1之间均匀分布的随机实数。并且所有 \(ei\) 都是完全独立的。

现在幽香要出发去帮忙修复道路了,她可以使用一个神奇的大魔法,能够选择需要的那 \(n-1\) 条边,同时开始修复,那么修复完成的时间就是这 \(n-1\) 条边的 \(ei\) 的最大值。当然幽香会先使用一个更加神奇的大魔法来观察出每条边 \(ei\) 的值,然后再选择完成时间最小的方案。 幽香在走之前,她想知道修复完成的时间的期望是多少呢?

Input

第一行两个数 \(n\) ,\(m\),表示地方的数量和边的数量。其中点从1到 \(n\) 标号。 接下来 \(m\) 行,每行两个数 \(a\),\(b\),表示点 \(a\) 和点 \(b\) 之间原来有一条边。 这个图不会有重边和自环。

Output

一行输出答案,四舍五入保留6位小数。

Sample Input

5 4

1 2

1 5

4 3

5 3

Sample Output

0.800000

HINT

(以下内容与题意无关,对于解题也不是必要的。)

对于 \(n\) 个[0,1]之间的随机变量 \(x1,x2,...,xn\) ,第 \(k\) 小的那个的期望值是 \(k/(n+1)\) 。

样例解释:

对于第一个样例,由于只有4条边,幽香显然只能选择这4条,那么答案就是4条边的 \(ei\) 中最大的数的期望,由提示中的内容,可知答案为0.8。

数据范围:

对于所有数据:\(n\leq 10\), \(m\leq n(n-1)/2\),$ n,m\geq 1$。

对于15%的数据:\(n \leq 3\)。

另有15%的数据:\(n\leq10, m=n\)。

另有10%的数据:\(n\leq 10, m=n(n-1)/2\)。

另有20%的数据:\(n\leq5\)。

另有20%的数据:\(n \leq8\)。


想法

第一眼看题,呀呀呀条件这么少咋算期望啊!

第二眼看到了提示,\(emmm…\) (还是不会#捂脸#)

首先,如果我们知道 \(ei\) 的确切值,就可以把 \(ei\) 从小到大排序然后 \(kruskal\) ,恰构成最小生成树是加入的最后一条边边权即为答案。

这就得到一种暴力方法:枚举出所有边的相对大小,一次次跑 \(kruskal\) 后算平均。

接着考虑如何优化。

假设 \(kruskal\) 求最小生成树时加的最后一条边为第 \(i\) 小的,那么它对答案的贡献为 \(P(i) \times \frac{i}{m+1}\) ,\(P(i)\) 表示加上这个边后恰构成最小生成树的概率。

那么 \(ans=\sum\limits_{i=1}^{m} P(i) \times \frac{i}{m+1}=\frac{1}{m+1}\sum\limits_{i=1}^{m} P(i) \times i\)

而 \(P(i) \times i\) 可以理解为 \(P(i)\) 被加了 \(i\) 次

则 \(ans=\frac{1}{m+1}\sum\limits_{i=1}^{m} \sum\limits_{j=i}^{m} P(j)\)

我们再看后面这个东西 \(\sum\limits_{j=i}^{m} P(j)\) ,意义是用 \(i-1\) 条边无法形成生成树(即,无法使图联通)的概率,设其为 \(P'(i-1)\)。

显然,\(P'(i)=\frac{选i条边无法使图联通的方案数}{C_{m}^{i}}\)

于是,我们要求选 \(i\) 条边无法使原图联通的方案数

观察到 \(n\) 极小无比,我们考虑枚举子集的状压 \(dp\)

设 \(f[i][j][0/1]\) 表示在点集 \(i\) 中,选了 \(j\) 条边,该点集不连通/联通的方案数

求 \(f[i][j][0]\) 时用到一个小技巧:

将点集 \(i\) 分为互不联通的两个点集,令其中一个点集联通,另一个点集无所谓,保证这是一种符合要求的方案。

于是!!!找一个在点集 \(i\) 中的点 \(t\) , 枚举包含 \(t\) 的 \(i\) 的子集 \(k\) ,选若干条边使 \(k\) 联通,在点集 \(i-k\) 的生成子图中选剩下的边。

设 \(size[i]\) 表示 点集 \(i\) 的生成子图中的边数。

那么状态转移方程为:

\(f[i][j][0]=\sum\limits_{t\in k \subset i} \sum\limits_{s=0}^{max(size[k],j)} f[k][s][1] \times C_{size[i^k]}^{j-s}\)

由于我们知道 \(f[i][j][0]+f[i][j][1]=C_{size[i]}^{j}\),在我们求出 \(f[i][j][0]\) 后可求 \(f[i][j][1]=C_{size[i]}^{j}-f[i][j][0]\)

最后,\(ans=\frac{1}{m+1}\sum\limits_{i=1}^{m} \frac{f[全集][i-1][0]}{C_{m}^{i}}\)


代码

#include<cstdio>
#include<iostream>
#include<algorithm>
using namespace std; int read(){
int x=0;
char ch=getchar();
while(!isdigit(ch)) ch=getchar();
while(isdigit(ch)) x=x*10+ch-'0',ch=getchar();
return x;
} const int N = 2048;
typedef long long ll; int n,m,w;
int size[N],u[100],v[100];
ll f[N][100][2],c[100][100]; int main()
{
n=read(); m=read();
for(int i=0;i<m;i++) u[i]=read(),v[i]=read(); w=(1<<n)-1;
for(int i=1;i<=w;i++)
for(int j=0;j<m;j++)
if((i&(1<<(u[j]-1))) && (i&(1<<(v[j]-1)))) size[i]++; c[0][0]=1;
for(int i=1;i<=m;i++){
c[i][0]=c[i][i]=1;
for(int j=1;j<i;j++)
c[i][j]=c[i-1][j-1]+c[i-1][j];
}
for(int i=1;i<=w;i++){
int t=i&(-i); //注意!这里不要轻易给f[i][0][0]与f[i][0][1]赋初值!!!
for(int j=0;j<=size[i];j++){
for(int k=(i-1)&i;k;k=(k-1)&i){
if(!(k&t)) continue;
for(int l=0;l<=j && l<=size[k];l++)
f[i][j][0]+=f[k][l][1]*c[size[i^k]][j-l];
}
f[i][j][1]=c[size[i]][j]-f[i][j][0];
}
} double ans=0;
for(int i=0;i<m;i++) ans+=1.0*f[w][i][0]/(double)c[m][i];
printf("%.6lf\n",ans/(m+1.0)); return 0;
}

[bzoj3925] [洛谷P3343] [ZJOI2015] 地震后的幻想乡的更多相关文章

  1. 洛谷P3343 [ZJOI2015]地震后的幻想乡 [DP,概率期望]

    传送门 思路 题目给了一个提示:对于\(n\)个\([0,1]\)的随机变量,其中第\(k\)小的期望大小是\(\frac{k}{n+1}\). 这引导我们枚举边的相对大小的全排列,然后求最小生成树 ...

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

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

  3. 洛谷3343(ZJOI2015)地震后的幻想乡

    题目:https://www.luogu.org/problemnew/show/P3343 1.那个时间与边的大小排名有关,所以需要求一下最大边的期望排名就行. 2.期望排名是这样算的:(排名为1的 ...

  4. P3343 [ZJOI2015]地震后的幻想乡

    传送门 给积分大佬跪了 再给状压大佬也跪了 //minamoto #include<bits/stdc++.h> #define rint register int #define ll ...

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

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

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

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

  7. 题解-ZJOI2015地震后的幻想乡

    Problem bzoj & 洛谷 题意简述:给定一个\(n\)(\(n\leq 10\))个点\(m\)条边的无向图,每条边的权值为一个\(0\)到\(1\)之间的连续随机变量,求图的最小生 ...

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

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

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

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

随机推荐

  1. linux 不用 ioctl 的设备控制

    有时控制设备最好是通过写控制序列到设备自身来实现. 例如, 这个技术用在控制台驱动 中, 这里所谓的 escape 序列被用来移动光标, 改变缺省的颜色, 或者进行其他的配置任 务. 这样实现设备控制 ...

  2. Vsual Studio 2010可用的sqlite驱动程序(实体数据模型使用)

    背景 昨天一个旧的项目(.net framework 4 + EF4 +sqlite + edmx db first),数据库结构有变更,要更新实体edmx模型 先是到官网下载最新的驱动,结果不能更新 ...

  3. SpringBoot-Swagger整合zuul智能列表

    SpringBoot-Swagger整合zuul智能列表 简介 可能大家都有用过swagger,可以通过ui页面显示接口信息,快速和前端进行联调. 现在基本都是多模块微服务化,每个服务都有这样的ui页 ...

  4. 使用 Visual Studio Code 进行远程开发

    使用 Visual Studio Code 进行远程开发 在完成了 AT 指令入门的学习之后,接下来就要使用 AT 指令进行 Socket 通信了.问题在于,之前 .NET 的 Socket 编程只需 ...

  5. 22.XML

    转载:https://www.cnblogs.com/yuanchenqi/article/5732581.html xml是实现不同语言或程序之间进行数据交换的协议,跟json差不多,但json使用 ...

  6. 0015 行高那些事:line-height

    目标 理解 能说出 行高 和 高度 三种关系 能简单理解为什么行高等于高度单行文字会垂直居中 应用 使用行高实现单行文字垂直居中 能会测量行高 3.1 行高测量 行高的测量方法: 3.2 单行文本垂直 ...

  7. HDU4352 XHXJ's LIS 题解 数位DP

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=4352 题目大意: 求区间 \([L,R]\) 范围内最长上升子序列(Longest increasin ...

  8. docker-代理服务器

    配置Docker以使用代理服务器 如果容器需要使用HTTP,HTTPS或FTP代理服务器,则可以通过不同方式对其进行配置: 在Docker 17.07及更高版本中,可以 将Docker客户端配置为自动 ...

  9. .gitignore 文件配置

    git 使用过程中,有许多文件或者文件夹是不希望更新到远程仓库了,因为他们比较占地方,这个时候我们可以利用 .gitignore 文件忽略文件. 按项目进行忽略 .gitignore 文件用于忽略文件 ...

  10. 【一起学源码-微服务】Feign 源码二:Feign动态代理构造过程

    前言 前情回顾 上一讲主要看了@EnableFeignClients中的registerBeanDefinitions()方法,这里面主要是 将EnableFeignClients注解对应的配置属性注 ...