【题解】CF1556F 竞赛图 容斥 状压DP 期望与概率

题目链接

竞赛图一个有用的性质:竞赛图进行强连通分量缩点之后是链。

首先,考虑一个性质:在竞赛图 \(G=(V,E)\) 中,\(winner\) 集合恰好是 \(S\) 的充分必要条件是 \(S\) 的导出子图是强连通图,且 \(\forall u\in S,T\in V/S\)\(\forall u\in S,v\in V/S\) ,存在边一条从 \(u\)\(v\) 的有向边,一种形式化的理解:将 \(winner\) 集合和非 \(winner\) 集合之间的边一定是从 \(winner\) 集合到非 \(winner\) 集合的。

考虑令 \(f[winners]\) 为恰好是 \(winners\) 集合内的人赢的概率,那么答案即 \(\sum_{winners} f[winners]\times |winners|\)

并且,对于任意一个不在 \(winners\) 集合内的点 \(x\) 其与 \(winners\) 集合内的点 \(y\) 的边的方向一定是从 \(y\) 指向 \(x\)

\(\forall u\in winners,v\in V / winners\) ,存在有向边 \((u,v)\)

那么接下来的问题即由 \(winners\) 内的点构成的导出子图是强连通图的概率是多少。

\(P[S]\) 为由 \(S\) 内的点构成的导出子图是强连通图的概率。

考虑容斥:

\[P[S]=1-\sum_{T\subseteq S} g[T,S/T] \times P[T] \]

即考虑由 \(S\) 构成的导出子图不是强连通图的概率,竞赛图的一个导出子图是强连通图的充分必要条件是其 \(winner\) 集合为点集 \(S\)

容斥枚举的 \(T\) 即枚举导出子图 \(S\)\(winner\) 集合。

对于 \(g\) 的计算可以在 \(O(2^n\times n)\) 的时间内处理出 \(h[i][S]\) 表示 \(\prod_{k\in S} \frac{a[i]}{a[k]+a[i]}\) ,那么对于任意一对 \(g\) 都可以在 \(O(n)\) 的时间内处理出来,因此总的时间复杂度为 \(O(3^n\times n)\)

代码链接

posted @ 2021-08-30 21:37  Themaxmaxmax  阅读(85)  评论(0编辑  收藏  举报