本文介绍了如何使用容斥原理在不直接比较元素大小的情况下求解集合的最大第k大元素和最小第k小元素。通过建立系数并进行二项式反演，得出通用公式，并通过例题解释其应用，包括解决期望值问题和具体编码实现。
下用 max k ( S ) \max_k(S) maxk(S) 表示集合 S S S 的第 k k k 大元素（ k ⩽ ∣ S ∣ k\leqslant|S| k⩽∣S∣）， max ( S ) \max(S) max(S) 表示集合 S S S 的最大元素；最小同理
算法
min-max容斥是一种用于求出给定集合第 k k k 大(小)元素的容斥，通常在比较元素大小较为困难时使用
有一给定集合 S S S，现在我们希望通过不用比较元素之间大小的方式求出 max k ( S ) \max_k(S) maxk(S)，故考虑构造系数 a i a_i ai 使其满足:
max k ( S ) = ∑ ∅ ≠ T ⊆ S a ∣ T ∣ min ( T ) \max{_k}(S) = \sum_{\varnothing \not=T\subseteq S}a_{|T|}\min(T) maxk(S)=∅=T⊆S∑a∣T∣min(T)
设 n = ∣ S ∣ n=|S| n=∣S∣，分别考虑每个元素的贡献：
max k ( S ) = ∑ ∅ ≠ T ⊆ S a ∣ T ∣ min ( T ) = ∑ i = 1 n max i ( S ) ∑ j = 1 i a j ( i − 1 j − 1 ) \max{_k}(S)=\sum_{\varnothing \not=T\subseteq S}a_{|T|}\min(T)=\sum_{i = 1}^n\max{_i}(S)\sum_{j = 1}^{i}a_j\binom{i - 1}{j - 1} maxk(S)=∅=T⊆S∑a∣T∣min(T)=i=1∑nmaxi(S)j=1∑iaj(j−1i−1)
那么我们有一个自然的想法，令 ∑ j = 1 i a j ( i − 1 j − 1 ) = [ i = k ] \sum_{j = 1}^ia_j\binom{i - 1}{j - 1}=[i =k] ∑j=1iaj(j−1i−1)=[i=k]，上式不就自然满足了吗？
顺着这个思路往下，设 g ( x ) = [ x = k ] g(x)=[x = k] g(x)=[x=k]，则有
g ( i ) = ∑ j = 1 i ( i − 1 j − 1 ) a j g(i)=\sum_{j = 1}^{i}\binom{i - 1}{j - 1}a_{j} g(i)=j=1∑i(j−1i−1)aj
使用二项式反演，得
a i = ∑ j = 1 i ( − 1 ) i −
最低0.47元/天 解锁文章
扫一扫
1285
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
