Min-max容斥
1 公式
min ( S ) = ∑ T ⊂ S ( − 1 ) ∣ T ∣ - 1 max ( T ) \min(S) = \sum_{T\sub S}(-1)^{|T| -1}\max(T) min(S)=T⊂S∑(−1)∣T∣-1max(T)
max ( S ) = ∑ T ⊂ S ( − 1 ) ∣ T ∣ - 1 min ( T ) \max(S) = \sum_{T \sub S}(-1)^{|T| - 1}\min(T) max(S)=T⊂S∑(−1)∣T∣-1min(T)
2 证明
为什么是正确的呢?
我们设 U U U 以内的元素互不相同,如果相同的话我们就以编号为序,不影响后续推导。
我们设 A k A_k Ak 为 U U U 内元素降序排序后排名第 k k k 的元素,也就是第 k k k 大。
设 min ( S ) = A k \min(S)=A_k min(S)=A