【LOJ#2542】[PKUWC2018]随机游走(min-max容斥,动态规划)
【LOJ#2542】[PKUWC2018]随机游走(min-max容斥,动态规划)
题面
题解
很明显,要求的东西可以很容易的进行\(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容斥,动态规划)的更多相关文章
- LOJ #2542 [PKUWC2018]随机游走 (概率期望、组合数学、子集和变换、Min-Max容斥)
很好很有趣很神仙的题! 题目链接: https://loj.ac/problem/2542 题意: 请自行阅读 题解首先我们显然要求的是几个随机变量的最大值的期望(不是期望的最大值),然后这玩意很难求 ...
- [LOJ#2542] [PKUWC2018] 随机游走
题目描述 给定一棵 n 个结点的树,你从点 x 出发,每次等概率随机选择一条与所在点相邻的边走过去. 有 Q 次询问,每次询问给定一个集合 S,求如果从 x 出发一直随机游走,直到点集 S 中所有点都 ...
- 【洛谷5643】[PKUWC2018] 随机游走(Min-Max容斥+待定系数法+高维前缀和)
点此看题面 大致题意: 从一个给定点出发,在一棵树上随机游走,对于相邻的每个点均有\(\frac 1{deg}\)的概率前往.多组询问,每次给出一个点集,求期望经过多少步能够访问过点集内所有点至少一次 ...
- 洛谷 P5643 - [PKUWC2018]随机游走(Min-Max 容斥+FWT+树上高斯消元,hot tea)
题面传送门 一道挺综合的 hot tea,放到 PKUWC 的 D2T2 还挺喜闻乐见的( 首先我们考虑怎样对一个固定的集合 \(S\) 计算答案,注意到我们要求的是一个形如 \(E(\max(S)) ...
- 「PKUWC2018」随机游走(min-max容斥+FWT)
「PKUWC2018」随机游走(min-max容斥+FWT) 以后题目都换成这种「」形式啦,我觉得好看. 做过重返现世的应该看到就想到 \(min-max\) 容斥了吧. 没错,我是先学扩展形式再学特 ...
- [PKUWC2018] 随机游走
Description 给定一棵 \(n\) 个结点的树,你从点 \(x\) 出发,每次等概率随机选择一条与所在点相邻的边走过去. 有 \(Q\) 次询问,每次询问给定一个集合 \(S\),求如果从 ...
- LOJ2542 PKUWC2018 随机游走 min-max容斥、树上高斯消元、高维前缀和、期望
传送门 那么除了D1T3,PKUWC2018就更完了(斗地主这种全场0分的题怎么会做啊) 发现我们要求的是所有点中到达时间的最大值的期望,\(n\)又很小,考虑min-max容斥 那么我们要求从\(x ...
- 题解-PKUWC2018 随机游走
Problem loj2542 题意:一棵 \(n\) 个结点的树,从点 \(x\) 出发,每次等概率随机选择一条与所在点相邻的边走过去,询问走完一个集合 \(S\)的期望时间,多组询问 \(n\le ...
- LOJ2542 PKUWC2018随机游走(概率期望+容斥原理)
如果直接dp,状态里肯定要带上已走过的点的集合,感觉上不太好做. 考虑一种对期望的minmax容斥:其中Max(S)为遍历完S集合的期望步数,Min(S)为遍历到S集合中一个点的期望步数.当然才不管怎 ...
随机推荐
- p57商环
1.半群满足对乘法封闭吗? 2.理想I 又不是R的子群,为什么I是R的正规子群呢? 3.~为什么对加法是同余关系? 4. 属于R,b-b属于I,为什么R作用在I上面,还属于I呢? 1.封闭 2.理想I ...
- toTree
// js实现树级递归, // 通过js生成tree树形菜单(递归算法) const data = [ { id: 1, name: "办公管理", pid: 0 }, { id: ...
- vue路由的知识点
this.$router.push({name:'login',query:{name:'ww',age:18}}) 传数据 this.$route.query 拿数据 meta:{ "dl ...
- Git的配置与使用
Git的配置与使用 一,未配置过git 1.1,安装Git https://git-for-windows.github.io/ 1,2,鼠标右键点击Git Bash Here 1.3,输入命令 cd ...
- [转帖]IP /TCP协议及握手过程和数据包格式中级详解
IP /TCP协议及握手过程和数据包格式中级详解 https://www.toutiao.com/a6665292902458982926/ 写的挺好的 其实 一直没闹明白 网络好 广播地址 还有 网 ...
- taro 与uni-app对比
https://www.jianshu.com/p/03e08399587e (copy)
- day 7-6 多线程及开启方式
一. 什么是线程 线程:顾名思义,就是一条流水线工作的过程,一条流水线必须属于一个车间,一个车间的工作过程是一个进程 所以,进程只是用来把资源集中到一起(进程只是一个资源单位,或者说资源集合),而线程 ...
- mac下virtualbox中centos6.5虚拟机实现全屏和调整分辨率
在visualbox里安装好centos后,发现不能分辨率与原屏幕不一致,很多解决方法是:安装增强包.可是安装增强包后依然达不到效果. 究其原因,原来因为没有安装显卡驱动导致安装了增强包后无法实现分辨 ...
- drf 之序列化组件
序列化 把Python中对象转换为json格式字符串 反序列化 把json格式转为为Python对象. 用orm查回来的数据都是都是一个一个的对象, 但是前端要的是json格式字符串. 序列化两大功能 ...
- python爬虫之正则表达式
一.简介 正则表达式,又称正规表示式.正规表示法.正规表达式.规则表达式.常规表示法(英语:Regular Expression,在代码中常简写为regex.regexp或RE),计算机科学的一个概念 ...