【20211111NOIP模拟赛】T4-scarborough fairyou
由期望的线性性质可得,答案等于每个点集成为连通块的期望之和,因为每个点集要么是连通块要么不是,所以是一个指示器随机变量,答案等于这个点集成为连通块的概率
对于每个点集,他成为连通块的概率是它内部联通的概率乘上它与外部不连通的概率,因为n很小,考虑状压DP
设
f
i
f_i
fi表示状态为
i
i
i的点集内部连通的概率,这个东西不好求,考虑求它内部不连通的概率,根据计数DP的套路,我们围绕一个基准点进行转移,考虑将
i
i
i这个状态最后的一个1作为基准点,枚举它所在的联通子集,设这个子集为
j
j
j,为了保证不连通,还需要乘上
j
j
j 这个集合与
i
−
j
i-j
i−j这个集合没有边相连的概率,这样才能保证
i
i
i这个子集不连通,并且不重不漏,也就是
f
i
=
1
−
∑
j
f
j
P
[
j
]
[
i
−
j
]
f_i=1-\sum_{j}f_jP[j][i-j]
fi=1−j∑fjP[j][i−j]
其中
j
j
j是
i
i
i的子集且包含
i
i
i的最后一个一,
P
[
j
]
[
i
−
j
P[j][i-j
P[j][i−j表示
j
j
j和
i
−
j
i-j
i−j没有边相连的概率
考虑怎么计算
P
[
j
]
[
i
−
j
]
P[j][i-j]
P[j][i−j],设
G
i
G_i
Gi表示
i
i
i这个点集内部没有一条边的概率,也就是内部所有边的乘积,它可以看成三部分,集合
j
j
j内部的边,集合
i
−
j
i-j
i−j,以及沟通这两部分的边,容斥一下就能得到
P
[
j
]
[
i
−
j
]
P[j][i-j]
P[j][i−j]
那么
P
[
j
]
[
i
−
j
]
=
G
[
i
]
G
[
j
]
×
G
[
i
−
j
]
P[j][i-j]=\frac{G[i]}{G[j]\times G[i-j]}
P[j][i−j]=G[j]×G[i−j]G[i]
那么
f
i
=
1
−
∑
j
f
j
G
[
i
]
G
[
j
]
×
G
[
i
−
j
]
f_i=1-\sum_{j}f_j\frac{G[i]}{G[j]\times G[i-j]}
fi=1−j∑fjG[j]×G[i−j]G[i]
这是
i
i
i这个子集内部联通的概率,还要再乘上与这个点集与其他点没有边相连的概率,和上面类似是
G
[
S
]
G
[
S
−
i
]
×
G
[
i
]
\frac{G[S]}{G[S-i]\times G[i]}
G[S−i]×G[i]G[S],其中S是全集
答案ans是
A
n
s
=
∑
i
f
i
×
G
[
S
]
G
[
S
−
i
]
×
G
[
i
]
Ans=\sum_i f_i\times \frac{G[S]}{G[S-i]\times G[i]}
Ans=∑ifi×G[S−i]×G[i]G[S]