【LOJ#2542】[PKUWC2018]随机游走(min-max容斥,动态规划)

题面

LOJ

题解

很明显,要求的东西可以很容易的进行\(min-max\)容斥,那么转为求集合的\(min\)。

那么怎么求解每个集合的\(min\)呢。

显然以起点为根节点,如果点集中一个点在另外一个点的子树内,显然不需要考虑,索性丢掉。考虑剩下的点,把他们的子树丢掉(要访问子树肯定要访问到某个点),那么剩下的点直接扣下来做一个高斯消元就可以求出到达每个点的期望,那么\(min\)就求出来。

设\(f[S]\)表示点集\(S\)在以\(x\)为根的时候的\(min\)。这个东西直接预处理的话,复杂度是\(O(2^n n^3)\),

然而我们并不需要裸的高斯消元,树上的高斯消元是可以做到\(O(n)\)的。大概就是叶子节点可以表示成只含有父亲的一个一次函数,把这个东西带到其父亲的方程中消去这个叶子节点,这样子就少了一个元,可以做到线性。

啥?方程不会列?设\(f[i]\)表示从当前点\(i\)到达一个最近的点集中的点的期望。$\displaystyle f[u]=1+\frac{1}{d}\sum_{v,(u,v)\in E}f[v] $。然后点集中的点特殊处理一下。

然后就没了

#include<iostream>
#include<cstdio>
using namespace std;
#define MOD 998244353
inline int read()
{
int x=0;bool t=false;char ch=getchar();
while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
if(ch=='-')t=true,ch=getchar();
while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
return t?-x:x;
}
int fpow(int a,int b)
{
int s=1;
while(b){if(b&1)s=1ll*s*a%MOD;a=1ll*a*a%MOD;b>>=1;}
return s;
}
struct Line{int v,next;}e[40];
int h[20],cnt=1,dg[20];
inline void Add(int u,int v){e[cnt]=(Line){v,h[u]};h[u]=cnt++;++dg[u];}
int n,Q,r,All,a[1<<18],bul[1<<18];
int k[20],b[20];
void dfs(int u,int ff,int S)
{
if(S&(1<<u)){k[u]=b[u]=0;return;}
int sk=0,sb=0;
for(int i=h[u];i;i=e[i].next)
if(e[i].v!=ff)
dfs(e[i].v,u,S),sk=(sk+k[e[i].v])%MOD,sb=(sb+b[e[i].v])%MOD;
k[u]=fpow((dg[u]-sk+MOD)%MOD,MOD-2);
b[u]=1ll*k[u]*(sb+dg[u])%MOD;
}
int main()
{
n=read();Q=read();r=read()-1;All=(1<<n)-1;
for(int i=1;i<n;++i)
{
int u=read()-1,v=read()-1;
Add(u,v);Add(v,u);
}
for(int i=1;i<=All;++i)bul[i]=bul[i>>1]+(i&1);
for(int i=1;i<=All;++i)dfs(r,-1,i),a[i]=b[r];
for(int i=1;i<=All;++i)if(!(bul[i]&1))a[i]=(MOD-a[i])%MOD;
for(int i=1;i<=All;i<<=1)
for(int p=i<<1,j=0;j<=All;j+=p)
for(int k=0;k<i;++k)
a[i+j+k]=(a[i+j+k]+a[j+k])%MOD;
while(Q--)
{
int S=0,t=read();
while(t--)S|=1<<(read()-1);
printf("%d\n",a[S]);
}
return 0;
}

【LOJ#2542】[PKUWC2018]随机游走(min-max容斥,动态规划)的更多相关文章

  1. LOJ #2542 [PKUWC2018]随机游走 (概率期望、组合数学、子集和变换、Min-Max容斥)

    很好很有趣很神仙的题! 题目链接: https://loj.ac/problem/2542 题意: 请自行阅读 题解首先我们显然要求的是几个随机变量的最大值的期望(不是期望的最大值),然后这玩意很难求 ...

  2. [LOJ#2542] [PKUWC2018] 随机游走

    题目描述 给定一棵 n 个结点的树,你从点 x 出发,每次等概率随机选择一条与所在点相邻的边走过去. 有 Q 次询问,每次询问给定一个集合 S,求如果从 x 出发一直随机游走,直到点集 S 中所有点都 ...

  3. 【洛谷5643】[PKUWC2018] 随机游走(Min-Max容斥+待定系数法+高维前缀和)

    点此看题面 大致题意: 从一个给定点出发,在一棵树上随机游走,对于相邻的每个点均有\(\frac 1{deg}\)的概率前往.多组询问,每次给出一个点集,求期望经过多少步能够访问过点集内所有点至少一次 ...

  4. 洛谷 P5643 - [PKUWC2018]随机游走(Min-Max 容斥+FWT+树上高斯消元,hot tea)

    题面传送门 一道挺综合的 hot tea,放到 PKUWC 的 D2T2 还挺喜闻乐见的( 首先我们考虑怎样对一个固定的集合 \(S\) 计算答案,注意到我们要求的是一个形如 \(E(\max(S)) ...

  5. 「PKUWC2018」随机游走(min-max容斥+FWT)

    「PKUWC2018」随机游走(min-max容斥+FWT) 以后题目都换成这种「」形式啦,我觉得好看. 做过重返现世的应该看到就想到 \(min-max\) 容斥了吧. 没错,我是先学扩展形式再学特 ...

  6. [PKUWC2018] 随机游走

    Description 给定一棵 \(n\) 个结点的树,你从点 \(x\) 出发,每次等概率随机选择一条与所在点相邻的边走过去. 有 \(Q\) 次询问,每次询问给定一个集合 \(S\),求如果从 ...

  7. LOJ2542 PKUWC2018 随机游走 min-max容斥、树上高斯消元、高维前缀和、期望

    传送门 那么除了D1T3,PKUWC2018就更完了(斗地主这种全场0分的题怎么会做啊) 发现我们要求的是所有点中到达时间的最大值的期望,\(n\)又很小,考虑min-max容斥 那么我们要求从\(x ...

  8. 题解-PKUWC2018 随机游走

    Problem loj2542 题意:一棵 \(n\) 个结点的树,从点 \(x\) 出发,每次等概率随机选择一条与所在点相邻的边走过去,询问走完一个集合 \(S\)的期望时间,多组询问 \(n\le ...

  9. LOJ2542 PKUWC2018随机游走(概率期望+容斥原理)

    如果直接dp,状态里肯定要带上已走过的点的集合,感觉上不太好做. 考虑一种对期望的minmax容斥:其中Max(S)为遍历完S集合的期望步数,Min(S)为遍历到S集合中一个点的期望步数.当然才不管怎 ...

随机推荐

  1. Django lazy load 懒加载 倒序查询

    Django orm默认懒加载   Django orm默认使用的懒加载,即使用的时候才去访问数据库,且每次默认取最少的数据,当然这样有好处也有坏处... 坏处: 会导致频繁的查询数据库,如涉及到外键 ...

  2. 【转】Linux下cp: omitting directory `XXX'问题解决

    在linux系统中复制文件夹时提示如下: Shell代码 [root@idtp4 site-packages]# /site-packages/ cp: omitting directory ‘yag ...

  3. C# foreach内部原理

    我们知道使用foreach的一个要求是对象必须继承自IEnumerable接口 这样才可以进行迭代 那内部是怎么实现的呢 这个时候会将对应的foreach语句转换为一个while循环 并且通过Move ...

  4. 文件搜索神器之everything

    之前我提到了,在本地快速的进行文件的检索是平常工作中必要的部分,一个好的搜索软件会大大的提升我们的工作效率.就是它,everything,官方的网站地址是http://www.voidtools.co ...

  5. 【翻译】asp.net core2.1认证和授权解密

    asp.net core2.1认证和授权解密 本篇文章翻译自:https://digitalmccullough.com/posts/aspnetcore-auth-system-demystifie ...

  6. a标签中的onclick和href的使用

    onclick和href 链接的 onclick 事件被先执行,其次是 href 属性下的动作(页面跳转,或 javascript 伪链接):  假设链接中同时存在 href 与 onclick,如果 ...

  7. vue上传图片到服务器

    https://blog.csdn.net/qq_29712995/article/details/78839093(copy) HTML代码: <input accept="imag ...

  8. MRP设置自动执行

    1.在计划向导中,找到调度运算,如下配置, 2.配置成功后自动生成执行计划

  9. Python rsa公私钥生成 rsa公钥加解密(分段加解密)-私钥加签验签实战

    一般现在的SAAS服务提供现在的sdk或api对接服务都涉及到一个身份验证和数据加密的问题.一般现在普遍的做法就是配置使用非对称加密的方式来解决这个问题,你持有SAAS公司的公钥,SAAS公司持有你的 ...

  10. java.util.concurrent.TimeoutException: Idle timeout expired: 300000/300000 ms

    Request idle timed out at 123000 ms. That means there was no activity (read or write) for 123000 ms ...