P4707-重返现世【dp,数学期望,扩展min-max容斥】

1|0正题

题目链接:https://www.luogu.com.cn/problem/P4707


1|1题目大意

n个物品,每次生成一种物品,第i个被生成的概率是pim,求生成至少k种物品的期望次数。

1n1000,max{n10,1}kn,1m10000


1|2解题思路

求的是E(mink{S}),但是k很大,如果令k=nk+1的话就是求E(maxk{S})

然后就可以用minmax容斥的扩展了

maxk(S)=TS(1)|T|k(|T|1k1)min(T)

然后min的话挺好搞的,因为这个集合中的所有物品都可以视为一个物品,所以期望就是miTpi

然后因为显然不能暴力枚举集合,所以我们考虑dp。设fk,i,j表示做到第k个物品,目前的iTpi=m,然后上面那个式子的k的值是j时上面那个式子的和。

因为有个组合数转移起来挺麻烦的,不选的话就是fk1,i,j不再多说,但是如果选的话,那个(1)|T|k直接取反就好了,但是那个组合数的上那个也加了1

这里我们直接用那个组合数的式子(nm)=(n1m1)+(n1m)。虽然上面那个式子的k是不变的,但是我们记录了其他的k的值,其实如果选的话转移就是

fk,i,j=fk1,i,j+fk1,ipk,j1fk1,ipk,j

这样我们的式子就是O(nmk)的了。

然后初始化的话为了满足后面的定义,让所有的f0,0,i=1(i[1,m])就好了。


#include<cstdio> #include<cstring> #include<algorithm> using namespace std; const int P=998244353; int n,k,m,f[11000][11],ans; int power(int x,int b){ int ans=1; while(b){ if(b&1)ans=1ll*ans*x%P; x=1ll*x*x%P;b>>=1; } return ans; } int main() { scanf("%d%d%d",&n,&k,&m);k=n-k+1; for(int p=1;p<=k;p++)f[0][p]=-1; for(int p=1;p<=n;p++){ int x;scanf("%d",&x); for(int i=m;i>=x;i--) for(int j=k;j>=1;j--) (f[i][j]+=(f[i-x][j-1]-f[i-x][j]+P)%P)%=P; } for(int p=1;p<=m;p++) (ans+=1ll*f[p][k]*power(p,P-2)%P)%=P; printf("%d\n",1ll*ans*m%P); return 0; }

__EOF__

本文作者QuantAsk
本文链接https://www.cnblogs.com/QuantAsk/p/14584812.html
关于博主:退役OIer,GD划水选手
版权声明:本博客所有文章除特别声明外,均采用 BY-NC-SA 许可协议。转载请注明出处!
声援博主:如果您觉得文章对您有帮助,可以点击文章右下角推荐一下。您的鼓励是博主的最大动力!
posted @   QuantAsk  阅读(77)  评论(0编辑  收藏  举报
编辑推荐:
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
阅读排行:
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?
· 【译】Visual Studio 中新的强大生产力特性
· 张高兴的大模型开发实战:(一)使用 Selenium 进行网页爬虫
· 【设计模式】告别冗长if-else语句:使用策略模式优化代码结构
点击右上角即可分享
微信分享提示