Problem

loj2542

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

\(n\leq 18,Q\leq 5000\)

Solution

首先来个\(min-max\)容斥

一下是看错题时想的

然后预处理从每个点开始的到达每个点的所有集合的期望,\(O(n^22^n)\)卡常可过

  • 若是这样,前20pts可以搞出来了:对于每次询问在线处理dp数组,利用最值容斥搞事情
  • 30pts的部分是条链,可以对于每个部分做一次集合前缀后缀预处理
  • 40pts的部分每次只询问一个点,明显可以预处理
  • 事实上70pts的部分最简单,直接上容斥即可

    接下来是100pts……

    目前最暴力复杂度为\(O(n^22^n+\sum 2^{k_i})\),若数据随机,期望状态下每次仅需计算\(\sum_{i=1}^n\frac {2^i\binom ni}{2^n}\approx 1478\)次,即总共大约需要计算\(18^2\times 2^{18}+5000\times 1478=92324656\leq 10^8\)次,理论可过,但出题人十有八九将其卡掉了(网上说没卡)

上头是看看错题的情况下想的,实际上所有询问中起点只可能有一个

重新理一遍思路:由于要\(min-max\)反演,即到达集合\(S\)中最后到达点的时间可以转化为\(2^{|S|}\)个子集中最先到达点的时间进行容斥,再容斥即可

考虑如何求每个集合中最先到达点的期望时间,由期望的性质可得(设\(f[x]\)表示从\(x\)点出发到达第一个集合点的时间期望,\(v\)表示与\(x\)相连的节点,\(d_i\)表示\(i\)点的度数):

\[f_x=\frac 1{d_x}\sum_v{(f_v+1)}
\]

由于需要对所有\(2^n\)个集合都做dp,酱紫求一次需要高斯消元\(n^3\),但总复杂度\(O(n^32^n)\approx 1.5\times 10^9\)一定接受不了

发现目前为止还没有利用最重要的一个性质:这是一棵树

要快速求解\(f_x\)数组,就需要一定的优化,由于这张图是一棵树,即每两点之间的路径是唯一的,可设\(f_x=Af_{t}+B\)(其中\(t\)为\(x\)的父亲)

利用上边的式子列出方程(设\(c\)为\(x\)的儿子):

\[f_x=\frac 1{d_x}\bigl[f_t+1+\sum_{x\rightarrow c}(f_c+1)\bigr]
\]

由于儿子加父亲节点一共\(d_x\)个,即

\[f_x=\frac 1{d_x}(f_t+\sum_{x\rightarrow c}f_c)+1
\]

我们要解出\(A,B\),所以需要将\(f_x=Af_t+B\)代入式子

\[f_x=\frac 1{d_x}\bigl[f_t+\sum_{x\rightarrow c}(A_cf_x+B_c)\bigr]+1
\]

\[(d_x-\sum_{x\rightarrow c} A_c)f_x=f_t+\sum_{x\rightarrow c}B_c+d_x
\]

\[f_x=\frac 1{d_x-\sum A_c}f_t+\frac {\sum B_c+d_x}{d_x-\sum A_c}
\]

解得:

\[\left\{
\begin{aligned}
A_x & = \frac 1{d_x-\sum A_c} \\
B_x & = \frac {\sum B_c+d_x}{d_x-\sum A_c}
\end{aligned}
\right.\]

再加上集合\(S\)内的点\(x\)满足\(A_x=B_x=0\)

然后对于每个集合 \(S\) 就可以 \(O(n)\) 地求出从任意点出发到达第一个集合内点的期望时间

这样询问就可以愉悦地 \(\mathrm{min-max}\) 容斥了

\(O(1)\) 查询的话只需要高维前缀和一下即可,于是乎总时间复杂度为 \(O(n2^n+Q)\)

upd:好像还要算上求逆元,复杂度 \(O(n2^n\log p+Q)\),算出来大概 \(1.5e8\),但由于枚举集合后一旦走到集合就递回,再算上快速幂的小常数,完全可过(复杂度跑不满,跑得最满的情况是菊花图,但即便是菊花图,常数最大也就 \(\frac 12\))

Code

#include <cstdio>
#include <cctype> inline void read(int&x){
char c11=getchar();x=0;while(!isdigit(c11))c11=getchar();
while(isdigit(c11))x=x*10+c11-'0',c11=getchar();
} const int N=19,M=1<<18,p=998244353;
struct Edge{int v,nxt;}a[N*N];
int k[N],b[N],deg[N],head[N];
int f[M],bit[M],n,Q,st,_; inline int qpow(int A,int B){
int res(1);
while(B){
if(B&1)res=1ll*res*A%p;
A=1ll*A*A%p,B>>=1;
}return res;
} inline void pls(int&A,int B){A=A+B<p?A+B:A+B-p;}
inline void dec(int&A,int B){A=A-B<0?A-B+p:A-B;} void dfs(int x,int las,int lim){
if(lim&(1<<x-1)){k[x]=b[x]=0;return ;}
k[x]=b[x]=deg[x];
for(int i=head[x];i;i=a[i].nxt)
if(a[i].v!=las){
dfs(a[i].v,x,lim);
dec(k[x],k[a[i].v]);
pls(b[x],b[a[i].v]);
}
k[x]=qpow(k[x],p-2);
b[x]=1ll*b[x]*k[x]%p;
} int main(){
read(n),read(Q);read(st);int lim=1<<n;
for(int i=1,x,y;i<n;++i){
read(x),read(y),++deg[x],++deg[y];
a[++_].v=y,a[_].nxt=head[x],head[x]=_;
a[++_].v=x,a[_].nxt=head[y],head[y]=_;
}
for(int S=1;S<lim;++S){
bit[S]=bit[S>>1]+(S&1);
dfs(st,0,S);
f[S]=(bit[S]&1?b[st]:p-b[st]);
}
for(int i=1;i<lim;i<<=1)
for(int j=0;j<lim;++j)
if(i&j)pls(f[j],f[i^j]); int t,x,s;
while(Q--){
read(t),s=0;
while(t--)read(x),s|=1<<x-1;
printf("%d\n",f[s]);
}
return 0;
}

题解-PKUWC2018 随机游走的更多相关文章

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

    [LOJ#2542][PKUWC2018]随机游走(min-max容斥,动态规划) 题面 LOJ 题解 很明显,要求的东西可以很容易的进行\(min-max\)容斥,那么转为求集合的\(min\). ...

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

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

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

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

  4. [PKUWC2018] 随机游走

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

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

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

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

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

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

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

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

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

  9. [LOJ2542][PKUWC2018]随机游走(MinMax容斥+树形DP)

    MinMax容斥将问题转化为求x到S中任意点的最小时间. 树形DP,直接求概率比较困难,考虑只求系数.最后由于x节点作为树根无父亲,所以求出的第二个系数就是答案. https://blog.csdn. ...

随机推荐

  1. 5、MyBatis-parameterType 入参封装 Map 流程

    以如下入参为例,MyBatis 版本为 3.5.0 public MyUser selectMyUserIdAndAge(Integer id, @Param("user") My ...

  2. JAVA核心技术I---JAVA基础知识(二进制文件读写和zip文件读写)

    一:二进制文件读写 (一)写文件 –先创建文件,写入数据,关闭文件 –FileOutputStream, BufferedOutputStream,DataOutputStream –DataOutp ...

  3. zookeeper下的基本操作

    安装好zk之后 启动服务端:在bin目录下 zkServer.sh restart 启动客户端 zkCli.sh 检查是否启动 直接输入jps命令,显示下面则表示启动成功 [root@iZbp12gg ...

  4. ruby select 方法,可用于先查询结果后,再次用条件限制

    1. 用于条件过滤 @works=DworkPro.all.order(:work_type) @work_pro=@works.select{ |x| x.job_type == 7} 2. sel ...

  5. shop++改造之Filter类

    基于shop++源码进行商城改造.本来想大展手脚,结果一入手.发觉瞬间淹没了我的才华,sql语句也得贼溜没啥用. 不得不说这个商城源码价值很高,封装的很精屁. 下面是我第一天入手的坑. 数据库建好了表 ...

  6. 016、Dockerfile 常用命令(2019-01-07 周一)

    参考https://www.cnblogs.com/CloudMan6/p/6864000.html   Dokcerfile常见命令   FROM     指定base镜像   MAINTAINER ...

  7. nth-of-type(n)

    :nth-of-type(n) 选择器匹配属于父元素的特定类型的第 N 个子元素的每个元素. p:nth-of-type(2) { background:#ff0000; } 规定属于其父元素的第二个 ...

  8. luogu P3236 [HNOI2014]画框

    传送门 我们把一种方案的\(\sum a_{i,j}\)和\(\sum b_{i,j}\)看成点\((\sum a_{i,j},\sum b_{i,j})\),那么就只要求横纵坐标之积最小的点,类似于 ...

  9. 查看linux服务器CPU相关

    查看linux服务器CPU相关: 1.查看物理CPU个数 cat /proc/cpuinfo| grep "physical id"| sort| uniq| wc -l 2.查看 ...

  10. Codeforces #662C Binary Table

    听说这是一道$ Tourist$现场没出的题 Codeforces #662C 题意: 给定$n*m的 01$矩阵,可以任意反转一行/列($0$变$1$,$1$变$0$),求最少$ 1$的数量 $ n ...