[NOI 2005]聪聪和可可
Description
一只猫和一只老鼠在一张 \(n\) 个节点和 \(m\) 条边的无向图上,初始位置不同。对于每一时刻,猫会先走,它走的方向为靠近老鼠的方向;若多个节点可选,则选字典序最小的那个。同时若走出这步后没有抓到老鼠,则可按同样方式再走一步;接着老鼠会等概率的停在原地或者随机走向一个相邻的节点。问抓到老鼠的期望时间。
\(1\leq n,m\leq 1000\)
Solution
首先注意到这样一句话“若走出这步后没有抓到老鼠,则可按同样方式再走一步”,显然是能够保证猫一定能抓到老鼠。并且猫和老鼠两个所处位置的状态是具有层次性的。
容易发现老鼠的移动是没有规律的,即是随机的。而猫的动作是有规律的。
我们可以事先预处理出一个 \(pre_{u,v}\) 数组,表示猫在 \(u\) 处,老鼠在 \(v\) 处时,猫下一个选择要走的节点是哪一个,可以用 \(n\) 次 \(SPFA\) 预处理出来,由于边数和点数是同阶的,复杂度可以得到保障。
我们可以设出一个 \(dp\) 数组 \(f_{u,v}\) 表示猫在 \(u\) 处,老鼠在 \(v\) 处时期望走的时间为 \(f_{u,v}\) 。
首先显然当 \(u=v\) 时, \(f_{u,v}=0\) ;其次若 \(pre_{u,v}=v\) 即走出一步抓到老鼠或者 \(pre_{pre_{u,v},v}=v\) 即走出两步抓到老鼠, \(f_{u,v}=1\) 。
这时剩下的情况就是老鼠会移动。
由于猫会先走,猫移动之后老鼠再走;显然猫移动结束后停在的位置为 \(pre_{pre_{u,v},v}\) 。
设节点 \(v\) 以及和 \(v\) 相邻的节点的集合为 \(\mathbb{V}\) ,节点 \(v\) 的度数为 \(degree_v\) 。显然答案就是 \[f_{u,v}=\frac{\sum\limits_{x\in\mathbb{V}}f_{pre_{pre_{u,v},v},x}}{degree_v+1}+1\]
记忆化搜索实现。
Code
//It is made by Awson on 2018.2.24
#include <bits/stdc++.h>
#define LL long long
#define dob complex<double>
#define Abs(a) ((a) < 0 ? (-(a)) : (a))
#define Max(a, b) ((a) > (b) ? (a) : (b))
#define Min(a, b) ((a) < (b) ? (a) : (b))
#define Swap(a, b) ((a) ^= (b), (b) ^= (a), (a) ^= (b))
#define writeln(x) (write(x), putchar('\n'))
#define lowbit(x) ((x)&(-(x)))
using namespace std;
const int N = 1000;
void read(int &x) {
char ch; bool flag = 0;
for (ch = getchar(); !isdigit(ch) && ((flag |= (ch == '-')) || 1); ch = getchar());
for (x = 0; isdigit(ch); x = (x<<1)+(x<<3)+ch-48, ch = getchar());
x *= 1-2*flag;
}
void print(LL x) {if (x > 9) print(x/10); putchar(x%10+48); }
void write(LL x) {if (x < 0) putchar('-'); print(Abs(x)); }
int n, m, s, t, u, v;
struct tt {int to, next; }edge[(N<<1)+5];
int path[N+5], top, degree[N+5];
int pre[N+5][N+5]; double f[N+5][N+5];
queue<int>Q;
int vis[N+5], dist[N+5];
void add(int u, int v) {edge[++top].to = v, edge[top].next = path[u], path[u] = top, ++degree[u]; }
void get_pre(int x) {
memset(dist, 127/3, sizeof(dist)); dist[x] = 0, vis[x] = 1; Q.push(x);
while (!Q.empty()) {
int u = Q.front(); Q.pop(); vis[u] = 0;
for (int i = path[u]; i; i = edge[i].next)
if (dist[edge[i].to] > dist[u]+1) {
dist[edge[i].to] = dist[u]+1;
if (!vis[edge[i].to]) vis[edge[i].to] = 1, Q.push(edge[i].to);
if (u == x) pre[x][edge[i].to] = edge[i].to; else pre[x][edge[i].to] = pre[x][u];
}else if (dist[edge[i].to] == dist[u]+1 && pre[x][edge[i].to] > pre[x][u]) pre[x][edge[i].to] = pre[x][u];
}
}
double dp(int s, int t) {
if (s == t) return 0;
int nex = pre[pre[s][t]][t];
if (pre[s][t] == t || nex == t) return f[s][t] = 1;
if (f[s][t] != 0) return f[s][t];
double k = 1/(1.0*(degree[t]+1)); f[s][t] = 1+dp(nex, t)*k;
for (int i = path[t]; i; i = edge[i].next) f[s][t] += k*dp(nex, edge[i].to);
return f[s][t];
}
void work() {
read(n), read(m); read(s); read(t);
for (int i = 1; i <= m; i++) read(u), read(v), add(u, v), add(v, u);
for (int i = 1; i <= n; i++) get_pre(i);
printf("%.3lf\n", dp(s, t));
}
int main() {
work(); return 0;
}
[NOI 2005]聪聪和可可的更多相关文章
- 洛谷 P4206 [NOI2005]聪聪与可可 题解
题面 输入 数据的第1行为两个整数N和E,以空格分隔,分别表示森林中的景点数和连接相邻景点的路的条数. 第2行包含两个整数C和M,以空格分隔,分别表示初始时聪聪和可可所在的景点的编号. 接下来E行,每 ...
- [bzoj2152][聪聪和可可] (点分治+概率)
Description 聪聪和可可是兄弟俩,他们俩经常为了一些琐事打起来,例如家中只剩下最后一根冰棍而两人都想吃.两个人都想玩儿电脑(可是他们家只有一台电脑)……遇到这种问题,一般情况下石头剪刀布就好 ...
- BZOJ 1415 【NOI2005】 聪聪和可可
题目链接:聪聪和可可 一道水题--开始还看错题了,以为边带权--强行\(O(n^3)\)预处理-- 首先,我们显然可以预处理出一个数组\(p[u][v]\)表示可可在点\(u\),聪聪在点\(v\)的 ...
- 【bzoj1415】 Noi2005—聪聪和可可
http://www.lydsy.com/JudgeOnline/problem.php?id=1415 (题目链接) 题意 一张图,聪聪想吃可可.每单位时间聪聪可以先移动两次:可可后移动一次或停在原 ...
- bzoj1415[NOI2005]聪聪和可可
之前做的一些图上的期望步数的题大多用到高斯消元来求解(HNOI游走,SDOI走迷宫,etc),因此我一开始做这道题的时候想偏了- 这道题的性质:聪聪和可可之间的最短路长度严格递减.因为聪聪总可以多走一 ...
- 【BZOJ1415】 [Noi2005]聪聪和可可 概率与期望
其实题不难,不知提交了几次...不能代码MD...注意一些基本问题...SB概率题 #include <iostream> #include <cstdio> #include ...
- NOI2005 聪聪和可可
Sol 记忆化搜索. \(f[u][v]\) 表示聪聪在 \(u\) ,可可在 \(v\) ,聪聪抓到可可的期望. 预处理出 \(u\) 到 \(v\) 最短路径编号最小的点,记为 \(g[u][v] ...
- BZOJ 2152: 聪聪可可 树分治
2152: 聪聪可可 Description 聪聪和可可是兄弟俩,他们俩经常为了一些琐事打起来,例如家中只剩下最后一根冰棍而两人都想吃.两个人都想玩儿电脑(可是他们家只有一台电脑)……遇到这种问题,一 ...
- bzoj 2152聪聪可可
2152: 聪聪可可 Time Limit: 3 Sec Memory Limit: 259 MB Description 聪聪和可可是兄弟俩,他们俩经常为了一些琐事打起来,例如家中只剩下最后一根冰 ...
- HYSBZ - 2152 聪聪和可可
Description 聪聪和可可是兄弟俩,他们俩经常为了一些琐事打起来,例如家中只剩下最后一根冰棍而两人都想吃.两个人都想玩儿电脑(可是他们家只有一台电脑)……遇到这种问题,一般情况下石头剪刀布就好 ...
随机推荐
- 2017C语言程序设计预备作业
Deadline:2017-9-30 23:00 一.学习使用MarkDown 本学期的博客随笔都将使用MarkDown格式,要求熟练掌握MarkDown语法,学会如何使用标题,插入超链接,列表,插入 ...
- 关于FPGA随笔
verilog与c
- python3.* socket例子
On Server: # -*- coding: utf-8 -*-#this is the server import socketif "__main__" == __name ...
- Mego开发文档 - 复杂查询
复杂查询 Mego 还支持一些更高级的LLINQ查询写法,本文只列出一部分. 分组汇总查询 using (var db = new OrderManageEntities()) { var query ...
- Docker学习笔记 - Docker容器的日志
docker logs [-f] [-t] [--tail] 容器名 -f -t --tail="all" 无参数:返回所有日志 -f 一直跟踪变化并返回 -t 带时间戳返 ...
- GIT入门笔记(7)- 修改文件并向版本库提交
1.修改文件vi readme.txt git status 发现被修改的文件列表git diff readme.txt 2.git add readme.txt git status --注意gi ...
- python入门(2)python的安装
python入门(2)python的安装 Python是跨平台的,可以运行在Windows.Mac和各种Linux/Unix系统上. 2.x还是3.x Python有两个版本,一个是2.x版,一个是3 ...
- Stanford依存句法关系解释
ROOT:要处理文本的语句 IP:简单从句 NP:名词短语 VP:动词短语 PU:断句符,通常是句号.问号.感叹号等标点符号 LCP:方位词短语 PP:介词短语 CP:由'的'构成的表示修饰性关系的短 ...
- leetcode算法:Distribute Candies
Given an integer array with even length, where different numbers in this array represent different k ...
- Extensions in UWP Community Toolkit - SurfaceDialTextbox
概述 UWP Community Toolkit Extensions 中有一个为TextBox 提供的 SurfaceDial 扩展 - SurfaceDialTextbox,本篇我们结合代码详细讲 ...