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. vue表单校验提交报错TypeError: Cannot read property 'validate' of undefined

    TypeError: Cannot read property 'validate' of undefined at VueComponent.submitForm (plat_users.html: ...

  2. HDU 1263(水果统计 **)

    题意是对水果的产地和种类进行统计再按格式输出. 代码如下: #include <bits/stdc++.h> using namespace std; struct node { ],pl ...

  3. JS创建对象之动态原型模式

    动态原型模式把所有信息都封装在了构造函数中,而通过在构造函数中初始化原型(仅在必要的情况下),又保持了 同时使用构造函数和原型的优点:换句话说,可以通过检查某个应该存在的方法是否有效,来决定是否需要初 ...

  4. oracle 利用over 查询数据和总条数,一条sql搞定

    select count(*) over()总条数 ,a.*from table a

  5. [C++]PAT乙级1012.数字分类 (20/20)

    /* 1012. 数字分类 (20) 给定一系列正整数,请按要求对数字进行分类,并输出以下5个数字: A1 = 能被5整除的数字中所有偶数的和: A2 = 将被5除后余1的数字按给出顺序进行交错求和, ...

  6. luogu P3722 [AH2017/HNOI2017]影魔

    传送门 我太弱了,只会乱搞,正解是不可能正解的,这辈子不可能写正解的,太蠢了又想不出什么东西,就是乱搞这种东西,才能维持得了做题这样子 考虑将询问离线,按右端点排序,并且预处理出每个位置往前面第一个大 ...

  7. CPU缓存一致性协议—MESI详解

    MESI(也称伊利诺斯协议)是一种广泛使用的支持写回策略的缓存一致性协议,该协议被应用在Intel奔腾系列的CPU中. MESI协议中的状态 CPU中每个缓存行使用的4种状态进行标记(使用额外的两位b ...

  8. 【深入分析Java Web技术内幕】2、深入分析Java I/O的工作机制

    Java的I/O类库的基本架构 基于字节操作的IO接口:InputStream.OutputStream 基于字符操作的IO接口:Writer.Reader 基于磁盘操作的IO接口:File 基于网络 ...

  9. NIO & Netty框架学习

    channle buffer selector.selectionKey 关于websocket http://lixiaohui.iteye.com/blog/2328068 长连接和短连接 htt ...

  10. keepalived高可用系列~keepalived+mysql

    一 简介:建立读写分离模式 二 keepalived相关配置 vrrp_instance VI_1 {  state MASTER  // 可修改  interface eth0  virtual_r ...