HUD4035Maze
题目描述
Solution
很容易写出期望的式子:
令
f
i
f_i
fi表示从
i
i
i号节点开始期望几步走出迷宫。
令
p
i
=
1
−
k
i
−
e
i
p_i=1-k_i-e_i
pi=1−ki−ei表示选择走向其他边的概率。
令
d
i
d_i
di表示
i
i
i号结点的度数。
f
i
=
k
i
f
1
+
p
i
∑
f
j
d
i
+
1
+
0
e
i
A
n
s
=
f
1
f_i=k_if_1+p_i\sum \frac{f_j}{d_i}+1+0e_i\\ Ans=f_1
fi=kif1+pi∑difj+1+0eiAns=f1
直接高斯消元时间复杂度为
O
(
n
3
)
O(n^3)
O(n3),
T
L
E
TLE
TLE。
我们发现这里的 f i f_i fi只和 f 1 f_1 f1以及相邻结点的 f f f值有关,因此考虑把 f f f表示为 A f f a + B f 1 + C Af_{fa}+Bf_1+C Affa+Bf1+C的形式。
于是令
f
i
=
A
i
f
f
a
i
+
B
i
f
1
+
C
i
f_i=A_if_{fa_i}+B_if_1+C_i
fi=Aiffai+Bif1+Ci
化简上面的期望式子,得到
f
i
=
q
f
f
a
i
+
(
q
∗
∑
j
B
j
+
k
i
)
f
1
+
(
q
∗
∑
j
c
j
+
p
i
)
t
f_i=\frac{qf_{fa_i}+(q*\sum_j B_j+k_i)f_1+(q*\sum_j c_j+p_i)}{t}
fi=tqffai+(q∗∑jBj+ki)f1+(q∗∑jcj+pi)
其中
q
=
p
i
d
i
,
t
=
1
−
q
∑
j
a
j
q=\frac{p_i}{d_i},t=1-q\sum_ja_j
q=dipi,t=1−q∑jaj。
于是有
A
(
i
)
=
q
t
B
(
i
)
=
q
∗
s
u
m
b
+
k
[
x
]
t
C
(
i
)
=
q
∗
s
u
m
c
+
p
[
x
]
t
A(i)=\frac{q}{t}\\ B(i)=\frac{q*sumb+k[x]}{t}\\ C(i)=\frac{q*sumc+p[x]}{t}\\
A(i)=tqB(i)=tq∗sumb+k[x]C(i)=tq∗sumc+p[x]
根据递推式从叶子向上递推,于是可以 O ( n ) O(n) O(n)解出 f 1 f_1 f1。
#include <vector>
#include <list>
#include <map>
#include <set>
#include <deque>
#include <queue>
#include <stack>
#include <bitset>
#include <algorithm>
#include <functional>
#include <numeric>
#include <utility>
#include <sstream>
#include <iostream>
#include <iomanip>
#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <cctype>
#include <string>
#include <cstring>
#include <ctime>
#include <cassert>
#include <string.h>
//#include <unordered_set>
//#include <unordered_map>
//#include <bits/stdc++.h>
#define MP(A,B) make_pair(A,B)
#define PB(A) push_back(A)
#define SIZE(A) ((int)A.size())
#define LEN(A) ((int)A.length())
#define FOR(i,a,b) for(int i=(a);i<(b);++i)
#define fi first
#define se second
using namespace std;
template<typename T>inline bool upmin(T &x,T y) { return y<x?x=y,1:0; }
template<typename T>inline bool upmax(T &x,T y) { return x<y?x=y,1:0; }
typedef long long ll;
typedef unsigned long long ull;
typedef long double lod;
typedef pair<int,int> PR;
typedef vector<int> VI;
const lod eps=1e-11;
const lod pi=acos(-1);
const int oo=1<<30;
const ll loo=1ll<<62;
const int mods=998244353;
const int MAXN=600005;
const int INF=0x3f3f3f3f;//1061109567
/*--------------------------------------------------------------------*/
inline int read()
{
int f=1,x=0; char c=getchar();
while (c<'0'||c>'9') { if (c=='-') f=-1; c=getchar(); }
while (c>='0'&&c<='9') { x=(x<<3)+(x<<1)+(c^48); c=getchar(); }
return x*f;
}
int d[MAXN];
vector<int> E[MAXN];
double A[MAXN],B[MAXN],C[MAXN],e[MAXN],k[MAXN],p[MAXN];
bool check(int x,int father)
{
if (e[x]!=0) return 1;
if (p[x]==0) return 0;
for (auto v:E[x])
if (v!=father&&check(v,x)) return 1;
return 0;
}
void tree_dp(int x,int father)
{
double sa=0,sb=0,sc=0;
for (auto v:E[x])
{
if (v==father) continue;
tree_dp(v,x);
sa+=A[v],sb+=B[v],sc+=C[v];
}
double q=p[x]/d[x],t=1-q*sa;
A[x]=q/t;
B[x]=(q*sb+k[x])/t;
C[x]=(q*sc+p[x])/t;
}
int main()
{
int Case=read();
for (int q=1;q<=Case;q++)
{
int n=read();
for (int i=1;i<=n;i++) E[i].clear(),d[i]=0;
for (int i=1;i<n;i++)
{
int u=read(),v=read();
E[u].PB(v),E[v].PB(u),d[u]++,d[v]++;
}
for (int i=1;i<=n;i++)
{
int x=read(),y=read();
k[i]=x*0.01,e[i]=y*0.01,p[i]=(100-x-y)*0.01;
}
if (!check(1,0)) printf("Case %d: impossible\n",q);
else
{
tree_dp(1,0);
printf("Case %d: %.9lf\n",q,C[1]/(1-B[1]));
}
}
return 0;
}