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)=Ak 那么 S S S 有那些情况呢?
1) k = 1 k=1 k=1
我们想得到的就是 A 1 A_1 A1
令 min ( S ) = A 1 \min(S)=A_1 min(S)=A1,很明显只有一种可能那就是 S = { A 1 } S=\{A_1\} S={A1}
所以贡献是 ( − 1 ) 2 A 1 = A 1 (-1)^{2}A_1=A_1 (−1)2A1=A1
2) k > 1 k>1 k>1
最小的元素是 A k A_k Ak ,那么集合内不能存在比 A k A_k Ak 小的 A k + 1... n A_{k+1...n} Ak+1...n ,而只能存在 A 1... k A_{1...k} A1...k
A k A_k Ak必然在 S S S 内,剩下有 2 k − 1 2^{k-1} 2k−1种选法。
通过人类智慧得知,这
2
k
−
1
2^{k-1}
2k−1种选法之中,有
2
k
−
2
2^{k-2}
2k−2 种
∣
S
∣
|S|
∣S∣是偶数,有
2
k
−
2
2^{k-2}
2k−2种
∣
S
∣
|S|
∣S∣是
奇数。
那么偶数的情况乘以
−
1
-1
−1,奇数的情况乘以
1
1
1,刚好消掉了。
贡献为
0
0
0
3 扩展
3.1 第k大
设
max
k
(
S
)
\max_k(S)
maxk(S) \
min
k
(
S
)
\min_k(S)
mink(S) 表示
S
S
S集合中第
k
k
k大\小的数,则有
max
k
(
S
)
=
∑
T
⊂
S
(
−
1
)
∣
T
∣
−
k
C
∣
T
∣
−
1
k
−
1
min
(
T
)
\max_k(S) = \sum_{T\sub S}(-1)^{|T| - k} C_{|T| - 1}^{k - 1}\min(T)
kmax(S)=T⊂S∑(−1)∣T∣−kC∣T∣−1k−1min(T)
min
k
(
S
)
=
∑
T
⊂
S
(
−
1
)
∣
T
∣
−
k
C
∣
T
∣
−
1
k
−
1
max
(
T
)
\min_k(S) = \sum_{T \sub S}(-1)^{|T| - k}C_{|T| - 1}^{k - 1}\max(T)
kmin(S)=T⊂S∑(−1)∣T∣−kC∣T∣−1k−1max(T)
3.2 期望
期望状态下min-max容斥依然成立
E
(
min
(
S
)
)
=
∑
T
⊂
S
(
−
1
)
∣
T
∣
-
1
E
(
max
(
T
)
)
E(\min(S)) = \sum_{T\sub S}(-1)^{|T| -1}E(\max(T))
E(min(S))=T⊂S∑(−1)∣T∣-1E(max(T))
E
(
max
(
S
)
)
=
∑
T
⊂
S
(
−
1
)
∣
T
∣
-
1
E
(
min
(
T
)
)
E(\max(S)) = \sum_{T \sub S}(-1)^{|T| - 1}E(\min(T))
E(max(S))=T⊂S∑(−1)∣T∣-1E(min(T))
对于每种情况,Min-max容斥均成立
则期望状态下将每种情况线性组合,依然成立