知识点简单总结——minmax容斥

知识点简单总结——minmax容斥

minmax容斥

好像也有个叫法叫最值反演？

就是这样的一个柿子：

[max(S) = sumlimits_{ T subseteq S } min(T) imes (-1)^{|T|-1} ]

用 $ Max $ 来求 $ Min $ 也一样可行。

证明不太难，所以干脆咕了，随便找个证明。

应用

由于期望的线性性，以上公式对于每个元素的期望也是成立的，

可以写作 $ E( max(S) ) = sumlimits_{T subseteq S} E( min(T) ) $ 。

这个是比较有用的，因为很明显 $ E( max(S) ) e max( E(S) ) $ ，这个是不容易轻易用正常方法求出的。

例题

[HAOI2015]按位或

要求求出 $ E( max(U) ) $ 。

很明显求不出来所以考虑改求 $ E( min(S) ) $ 。

考虑有 $ P( min(T) == k ) = P( S oplus U ) ^ {k-1} ( 1 - P( S oplus U ) ) $ 。

几何分布，很容易得出 $ E( min(S) ) = frac{ 1 }{ 1 - P'( S oplus U )} $ ，其中 $ P'(S) = sumlimits_{T subseteq S} P(T) $ 。

$ FWT $ 变换一下即可出解，注意特判 $ le eps $ 。

[PKUWC2018]随机游走

依然改求 $ E( min(S) ) $ 。

也就是求经过某个集合中至少一个点时的期望步数。

设 $ f_{S,x} $ 为从 $ x $ 出发，到达 $ S $ 中某个点时的期望步数，很明显 $ E( min(S) ) = f_{S,root} $ 。

[f_{S,x} = frac{ f_{ S,fa_{ x } } + sumlimits_{ y in son_{ x } } f_{ S,y } }{ deg_{ x } } + 1 ]

为了分离父亲对其贡献，考虑转化成 $ f_{S,x} = A_{x} * f_{ S , fa_{ x } } +B_{x} $ 。

解完之后发现与父亲的值无关，可以直接树形dp。

然后直接minmax容斥就完事了。

扩展minmax容斥

[maxlimits_{k}(S) = sumlimits_{ T subseteq S } min(T) imes (-1)^{|T|-k} imes inom{|T|-1}{k-1} ]

$ maxlimits_{k}(S) $ 表示第 $ k $ 大。

证明需要用到二项式定理，也咕了。

依然对期望成立。

例题

重返现世

注意到 $ |n-k| le 10 $ 。

很明显答案要求 $ E(minlimits_{k}(U)) $ ，等效于 $ E(maxlimits_{n-k+1}(U)) $ 。

那么求 $ E(min(S)) $ 就好。

问题来了。

$ n le 1000 $ ，不能直接做。

但是 $ m le 10000 $ ，可以从这里下手设计dp。

然后再往下的我不会了。

很明显 $ E(min(S)) = frac{1}{ sumlimits_{i in S} p_{i} } $ 。

考虑用dp统计对于每个 $ sumlimits_{i in S} p_{i} $ 的值的系数和。

具体的dp设计它咕了。