P5643-[PKUWC2018]随机游走【min-max容斥,dp】

1|0正题

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


1|1题目大意

给出n个点的一棵树,一个人从点x开始随机游走,然后Q次询问给出一个点集S,求期望多少步这个人会经过这个点集中的所有点。

1n18,1Q5000


1|2解题思路

整个点集都走完比较难统计,我们可以考虑用minmax容斥转为求走到其中一个点的期望步数。

我们设我们目前枚举的集合是S,那么首先有fx=0(xS)

然后有转移方程:

fx=1degx(ffax+xyfy)

惯例的我们设fx=Axffax+Bx

fx=1degx(ffax+xy(Ayfx+By))

fx=1degxffax+sumAfxdeg+1degxsumB+1

degxsumAdegxfx=1degxffax+1degxsumB+1

fx=1degxsumAffax+degx+sumBdegxsumA

这样我们就可以推出AB,而Bx就是节点xf值,记gS=Bx

那么根据min-max容斥如果我们询问集合S时答案就是

TS(1)|T|+1gT

用个高维前缀和就可以预处理所有集合的答案了。

时间复杂度:O(n2nlogP)


1|3code

#include<cstdio> #include<cstring> #include<algorithm> #define ll long long using namespace std; const ll N=18,P=998244353; struct node{ ll to,next; }a[N<<1]; ll n,Q,rt,tot,ls[N],deg[N]; ll A[N],B[N],c[1<<N],f[1<<N]; ll power(ll x,ll b){ ll ans=1; while(b){ if(b&1)ans=ans*x%P; x=x*x%P;b>>=1; } return ans; } void addl(ll x,ll y){ a[++tot].to=y; a[tot].next=ls[x]; ls[x]=tot;deg[y]++; return; } void dfs(ll x,ll fa,ll S){ ll sumA=0,sumB=0; if((S>>x)&1){A[x]=B[x]=0;return;} for(ll i=ls[x];i;i=a[i].next){ ll y=a[i].to; if(y==fa)continue; dfs(y,x,S); sumA=(sumA+A[y])%P; sumB=(sumB+B[y])%P; } ll inv=power((deg[x]-sumA+P)%P,P-2); A[x]=inv;B[x]=(deg[x]+sumB)*inv%P; return; } signed main() { scanf("%lld%lld%lld",&n,&Q,&rt);rt--; for(ll i=1,x,y;i<n;i++){ scanf("%lld%lld",&x,&y);x--;y--; addl(x,y);addl(y,x); } ll MS=(1<<n); for(ll s=1;s<MS;s++){ memset(A,0,sizeof(A)); memset(B,0,sizeof(B)); dfs(rt,n,s);f[s]=B[rt]; } for(ll s=1;s<MS;s++){ c[s]=c[s-(s&-s)]+1; f[s]=((c[s]&1)?f[s]:(P-f[s])); } for(ll i=0;i<n;i++) for(ll s=MS-1;s>=0;s--) if((s>>i)&1)(f[s]+=f[s-(1<<i)])%=P; while(Q--){ ll k,s=0;scanf("%lld",&k); for(ll i=0,x;i<k;i++) scanf("%lld",&x),s|=(1<<x-1); printf("%lld\n",f[s]); } return 0; }

__EOF__

本文作者QuantAsk
本文链接https://www.cnblogs.com/QuantAsk/p/15674726.html
关于博主:退役OIer,GD划水选手
版权声明:本博客所有文章除特别声明外,均采用 BY-NC-SA 许可协议。转载请注明出处!
声援博主:如果您觉得文章对您有帮助,可以点击文章右下角推荐一下。您的鼓励是博主的最大动力!
posted @   QuantAsk  阅读(36)  评论(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语句:使用策略模式优化代码结构
点击右上角即可分享
微信分享提示