【模板】exMin-Max容斥-洛谷P4707重返现世

传送门：luoguP4707

---

Min-Max容斥

exMin-Max容斥

$$\underset{k}{\max }(S)=\sum _{T\subseteq S}(-1{)}^{|T|+1}(\genfrac{}{}{0ex}{}{|T-1|}{k-1})\min (T)$$
同样的，$exMin-Max$容斥也在期望下成立，即：
$$E(\underset{k}{\max }(S))=\sum _{T\subseteq S}(-1{)}^{|T|+1}(\genfrac{}{}{0ex}{}{|T-1|}{k-1})E(\min (T))$$
(证明略)

---

题解

$k\to n-k+1$后套用$exMin-Max$容斥$E(\underset{k}{\max }(S))=\sum _{T\subseteq S}(-1{)}^{|T|+1}(\genfrac{}{}{0ex}{}{|T-1|}{k-1})E(\min (T))$

$E(\min (T))=\frac{m}{\sum _{t\in T}{p}_t}$

观察到$n,m,k$都很小，考虑$dp[k][i][j]$表示确定式子中$k$的值，前$i$个材料中任意一个满足$(\sum _{t\in T}{p}_t)=j$的集合$T$的$(-1{)}^{|T|-k}(\genfrac{}{}{0ex}{}{|T|-1}{k-1})$之和，即$\sum _{T,max(T)\le i}[(\sum _{t\in T}{p}_t)=j](-1{)}^{|T|-k}(\genfrac{}{}{0ex}{}{|T|-1}{k-1})$。

由$\left(\genfrac{}{}{0ex}{}{|T|-1}{k-1}\right)=\left(\genfrac{}{}{0ex}{}{|T|-2}{k-1}\right)+\left(\genfrac{}{}{0ex}{}{|T|-2}{k-2}\right)$得到递推式：

$dp[k][i][j]=dp[k][i-1][j]+dp[k-1][i-1][j-p_i]-dp[k][i-1][j-p_i]$

注意初始化$dp[0][0][0]=0,dp[k][0][0]=-1(k>0)$，以保证$|T|=k$的贡献为$1$，$|T|<k$的贡献为$0$。(玄学初始化，雾)

答案即为$m\sum _{i=1}^m\frac{dp[n][k][i]}{i}\mathrm{m}\mathrm{o}\mathrm{d}998244353$

---

代码

#include<bits/stdc++.h>
using namespace std;
const int mod=998244353;
typedef long long ll;

int n,K,m,p[1005],f[2][12][10005],ans,nv[10005];

inline void ad(int &x,int y){x+=y;if(x>=mod) x-=mod;}
inline void dc(int &x,int y){x-=y;if(x<0) x+=mod;}

int main(){
	int i,j,k,pr=0,v;
	scanf("%d%d%d",&n,&K,&m);K=n-K+1;
	for(i=1;i<=n;++i) scanf("%d",&p[i]);
	for(i=1;i<=K;++i) f[0][i][0]=mod-1;
	for(i=1;i<=n;++i){
		v=p[i];pr^=1;memcpy(f[pr],f[pr^1],sizeof(f[pr]));
		for(j=0;j<=K;++j)
		 for(k=v;k<=m;++k){
		 	dc(f[pr][j][k],f[pr^1][j][k-v]);
		 	if(j) ad(f[pr][j][k],f[pr^1][j-1][k-v]);
		 }
	}
	nv[0]=nv[1]=1;
	for(i=1;i<=m;){
		ad(ans,(ll)f[pr][K][i]*nv[i]%mod);i++;
		nv[i]=(ll)(mod-mod/i)*nv[mod%i]%mod;
	}
	printf("%d",(ll)ans*m%mod);
	return 0;
}