题目链接
minmax容斥又称最值反演,是一种针对集合min->max或者max->min的反演
结论公式为
m a x { S } = ∑ T ⊆ S ( − 1 ) ∣ T ∣ + 1 m i n { T } max\{S\}=\sum_{T\subseteq S}(-1)^{|T|+1}min\{T\} max{
S}=∑T⊆S(−1)∣T∣+1min{
T}
m i n { S } = ∑ T ⊆ S ( − 1 ) ∣ T ∣ + 1 m a x { T } min\{S\}=\sum_{T\subseteq S}(-1)^{|T|+1}max\{T\} min{
S}=∑T⊆S(−1)∣T∣+1max{
T}
这个应该还蛮好证明的
我们考虑构造一个函数
m a x { S } = ∑ T ⊆ S F ( ∣ T ∣ ) m i n { T } max\{S\}=\sum_{T\subseteq S}F(|T|)min\{T\} max{
S}=∑T⊆SF(∣T∣)min{
T}
那么分析一下第 x + 1 x+1 x+1大的数字会被枚举到几次
显然是从比他大的
洛谷 P3175 [HAOI2015]按位或(FMT+minmax容斥)
最新推荐文章于 2024-05-28 18:26:05 发布
![](https://img-home.csdnimg.cn/images/20240711042549.png)