一类成环概率dp的操作模式

Description

有一天Petya和他的朋友Vasya在进行他们众多旅行中的一次旅行,他们决定去参观一座城堡博物馆。这座博物馆有着特别的样式。它包含由m条走廊连接的n间房间,并且满足可以从任何一间房间到任何一间别的房间。
两个人在博物馆里逛了一会儿后两人决定分头行动,去看各自感兴趣的艺术品。他们约定在下午六点到一间房间会合。然而他们忘记了一件重要的事:他们并没有选好在哪儿碰面。等时间到六点,他们开始在博物馆里到处乱跑来找到对方(他们没法给对方打电话因为电话漫游费是很贵的)
不过,尽管他们到处乱跑,但他们还没有看完足够的艺术品,因此他们每个人采取如下的行动方法:每一分钟做决定往哪里走,有Pi 的概率在这分钟内不去其他地方(即呆在房间不动),有1-Pi 的概率他会在相邻的房间中等可能的选择一间并沿着走廊过去。这里的i指的是当期所在房间的序号。在古代建造是一件花费非常大的事,因此每条走廊会连接两个不同的房间,并且任意两个房间至多被一条走廊连接。
两个男孩同时行动。由于走廊很暗,两人不可能在走廊碰面,不过他们可以从走廊的两个方向通行。(此外,两个男孩可以同时地穿过同一条走廊却不会相遇)两个男孩按照上述方法行动直到他们碰面为止。更进一步地说,当两个人在某个时刻选择前往同一间房间,那么他们就会在那个房间相遇。
两个男孩现在分别处在a,b两个房间,求两人在每间房间相遇的概率。

Input

第一行包含四个整数,n表示房间的个数;m表示走廊的数目;a,b (1 ≤ a, b ≤ n),表示两个男孩的初始位置。
之后m行每行包含两个整数,表示走廊所连接的两个房间。
之后n行每行一个至多精确到小数点后四位的实数 表示待在每间房间的概率。
题目保证每个房间都可以由其他任何房间通过走廊走到。

Output

输出一行包含n个由空格分隔的数字,注意最后一个数字后也有空格,第i个数字代表两个人在第i间房间碰面的概率(输出保留6位小数)
注意最后一个数字后面也有一个空格

Sample Input

2 1 1 2
1 2
0.5
0.5

Sample Output

0.500000 0.500000

HINT

对于100%的数据有 n <= 20,n-1 <= m <= n(n-1)/2


题目分析

记$f[i][j]$为两人分别在$i$和$j$的概率,$u,v$为分别与$i,j$相连的点,那么有$$f[i][j]= \begin{cases} \sum \frac{f[u][v]*(1-p[u])*(1-p[v]))}{deg[u]*deg[v]}& \text{(u!=i&&v!=j)}\\\sum \frac{f[u][v]*(1-p[u])*p[v])}{deg[u]*deg[v]}& \text{(u!=i&&v=j)}\\\sum \frac{f[u][v]*p[u]*(1-p[v]))}{deg[u]*deg[v]}& \text{(u=i&&v!=j)}\\\sum \frac{f[u][v]*(1-p[u]*(1-p[v]))}{deg[u]*deg[v]}& \text{(u=i&&v=j)}\end{cases}$$

由于这里dp的关系成环,不能够直接转移,所以要使用高斯消元。由此共有$n^2$个状态,即$n^2$个未知量。故用$id[i][j]$来表示$f[i][j]$,就可方便地把这些未知量的关系用矩阵表示出来。

需要注意的是,初始$f[S][T]$的概率为1,不过后面又会有经过它的概率,所以在计算时需要考虑其初始概率。这里算是一个概率dp的奇怪的地方:最终$f[S][T]>1$。

再者是处理的一个小技巧:添一条自边便于处理。

 #include<bits/stdc++.h>
const int maxn = ; int n,m,tot,S,T,deg[maxn],id[maxn][maxn];
double out[maxn],p[maxn],ans[maxn],mp[maxn][maxn];
int G[maxn][maxn]; void Gauss(int n)
{
double bse;
for (int i=, r; i<=n; i++)
{
r = i;
for (int j=i+; j<=n; j++)
if (fabs(mp[j][i]) > fabs(mp[r][i])) r = j;
if (r!=i) std::swap(mp[i], mp[r]);
bse = mp[i][i];
for (int j=i; j<=n+; j++) mp[i][j] /= bse;
for (int j=i+; j<=n; j++)
{
bse = mp[j][i];
for (int k=i; k<=n+; k++)
mp[j][k] -= bse*mp[i][k];
}
}
ans[n] = mp[n][n+];
for (int i=n-; i; i--)
{
ans[i] = mp[i][n+];
for (int j=i+; j<=n; j++) ans[i] -= ans[j]*mp[i][j];
}
}
int main()
{
scanf("%d%d%d%d",&n,&m,&S,&T);
tot = n*n;
for (int i=,x,y; i<=m; i++)
{
scanf("%d%d",&x,&y), ++deg[x], ++deg[y];
G[x][++G[x][]] = y, G[y][++G[y][]] = x;
}
for (int i=; i<=n; i++)
{
scanf("%lf",&p[i]);
G[i][++G[i][]] = i;
out[i] = (1.0-p[i])/(1.0*deg[i]);
}
for (int i=, t=; i<=n; i++)
for (int j=; j<=n; j++)
id[i][j] = ++t;
mp[id[S][T]][tot+] = -;
for (int i=; i<=n; i++)
for (int j=; j<=n; j++)
{
--mp[id[i][j]][id[i][j]];
for (int l=; l<=G[i][]; l++)
for (int r=; r<=G[j][]; r++)
{
int u = G[i][l], v = G[j][r];
if (u==v) continue;
if (u==i&&v==j) mp[id[i][j]][id[i][j]] += p[i]*p[j];
if (u!=i&&v!=j) mp[id[i][j]][id[u][v]] += out[u]*out[v];
if (u==i&&v!=j) mp[id[i][j]][id[u][v]] += p[u]*out[v];
if (u!=i&&v==j) mp[id[i][j]][id[u][v]] += out[u]*p[v];
}
}
Gauss(tot);
for (int i=; i<=n; i++) printf("%.6lf ",ans[id[i][i]]);
return ;
}

看到有网上有些博客说,高斯消元这里$mp[id[i][j]][id[u][v]]$是指$id[i][j]$状态转移到$id[u][v]$状态的概率,这个说法其实是不对的。$id[i][j]$实际上不过是和常规高斯消元一样,代表处理第几条方程;至于$id[u][v]$则表示当前这条方程中的$f[u][v]$;所以$mp[id[i][j]][id[u][v]]$是指第$id[i][j]$条方程中,第$id[u][v]$个未知量的系数。

END

【概率dp 高斯消元】bzoj3270: 博物馆的更多相关文章

  1. BZOJ3270 博物館 概率DP 高斯消元

    BZOJ3270 博物館 概率DP 高斯消元 @(XSY)[概率DP, 高斯消元] Description 有一天Petya和他的朋友Vasya在进行他们众多旅行中的一次旅行,他们决定去参观一座城堡博 ...

  2. BZOJ_1778_[Usaco2010 Hol]Dotp 驱逐猪猡_概率DP+高斯消元

    BZOJ_1778_[Usaco2010 Hol]Dotp 驱逐猪猡_概率DP+高斯消元 题意: 奶牛们建立了一个随机化的臭气炸弹来驱逐猪猡.猪猡的文明包含1到N (2 <= N <= 3 ...

  3. LightOJ - 1151概率dp+高斯消元

    概率dp+高斯消元 https://vjudge.net/problem/LightOJ-1151 题意:刚开始在1,要走到100,每次走的距离1-6,超过100重来,有一些点可能有传送点,可以传送到 ...

  4. 【bzoj1778】[Usaco2010 Hol]Dotp 驱逐猪猡 矩阵乘法+概率dp+高斯消元

    题目描述 奶牛们建立了一个随机化的臭气炸弹来驱逐猪猡.猪猡的文明包含1到N (2 <= N <= 300)一共N个猪城.这些城市由M (1 <= M <= 44,850)条由两 ...

  5. BZOJ 3270: 博物馆 [概率DP 高斯消元]

    http://www.lydsy.com/JudgeOnline/problem.php?id=3270 题意:一张无向图,一开始两人分别在$x$和$y$,每一分钟在点$i$不走的概率为$p[i]$, ...

  6. 【BZOJ3640】JC的小苹果 概率DP+高斯消元

    [BZOJ3640]JC的小苹果 Description 让我们继续JC和DZY的故事. “你是我的小丫小苹果,怎么爱你都不嫌多!” “点亮我生命的火,火火火火火!” 话说JC历经艰辛来到了城市B,但 ...

  7. BZOJ 3270 博物馆 ——概率DP 高斯消元

    用$F(i,j)$表示A在i,B在j的概率. 然后很容易列出转移方程. 然后可以高斯消元了! 被一个问题困扰了很久,为什么起始点的概率要加上1. (因为其他博客上都是直接写成-1,雾) 考虑初始状态是 ...

  8. 【概率DP/高斯消元】BZOJ 2337:[HNOI2011]XOR和路径

    2337: [HNOI2011]XOR和路径 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 682  Solved: 384[Submit][Stat ...

  9. BZOJ 3640: JC的小苹果 [概率DP 高斯消元 矩阵求逆]

    3640: JC的小苹果 题意:求1到n点权和\(\le k\)的概率 sengxian orz的题解好详细啊 容易想到\(f[i][j]\)表示走到i点权为j的概率 按点权分层,可以DP 但是对于\ ...

随机推荐

  1. 《Python数据科学手册》第五章机器学习的笔记

    目录 <Python数据科学手册>第五章机器学习的笔记 0. 写在前面 1. 判定系数 2. 朴素贝叶斯 3. 自举重采样方法 4. 白化 5. 机器学习章节总结 <Python数据 ...

  2. Mysql 5.7主主复制配置

    MySQL5.7主主复制配置 主机1IP:192.168.1.2主机2IP:192.168.1.4 一.首先安装MySQL 5.71.卸载两台主机系统中已经有的mysql相关软件包rpm -qa | ...

  3. DMA性能测试

    本程序主要用来计算DMA数据读写过程中所花费的总得时间周期,依据公式T=tStart+ceil(L/4)*2+ceil(L/256)*tTransform*2 因为tTransform是一个常量(通常 ...

  4. Tkinter 的三大布局管理器 pack、grid 和 place用法汇总

    学习python的tkinter免不了要对各个组件进行位置的排放与设定,常用的布局管理器有grid,pack和place.这三种均用于同一父组件下的组件布局,但是也是有区别的,先看下他们各自的含义吧. ...

  5. Linux (Windows Linux子系统)

    Linux (Windows Linux子系统) 如果想体验Linux环境下开发和运行.NET Core应用,我们有多种选择.一种就是在一台物理机上安装原生的Linux,我们可以根据自身的喜好选择某种 ...

  6. css文本换行的问题

    今天敲代码的时候发现了一个一直都没太注意的小问题,当我在一个200px的div中写了一长串的‘f ‘时发现没有换行 但加上空格或标点符号后就能自动换行 原来浏览器把它当成了一串完整的单词,所以默认不换 ...

  7. jQuery.data() 与 jQuery(elem).data()源码解读

    之前一直以为 jQuery(elem).data()是在内部调用了 jQuery.data(),看了代码后发现不是.但是这两个还是需要放在一起看,因为它们内部都使用了jQuery的数据缓存机制.好吧, ...

  8. 【转】LINQ to SQL语句(1)之Where

    Where操作 适用场景:实现过滤,查询等功能. 说明:与SQL命令中的Where作用相似,都是起到范围限定也就是过滤作用的,而判断条件就是它后面所接的子句. Where操作包括3种形式,分别为简单形 ...

  9. 在 cell 中获取 textFlied内容的使用

    当您读到这里时,建议先下载demo,不懂再参考博客.在iOS项目开发中,容易遇到各种个人信息填写.比如微信中设置个人信息,等.这种方式是进行控制器跳转,代理或者block传值,这种比较容易,符合常规的 ...

  10. 对于拼接进去的html原来绑定的jq事件失效

    JQ拼接显示的页面中鼠标事件失效 由于是先加载html在用js层绑定的所有后来加进来的html内容就不再绑定js了 所以我们需要利用delegate绑定,但是同样道理也不能写在普通的方法层里,因为这样 ...