很好很有趣很神仙的题!

题目链接: https://loj.ac/problem/2542

题意: 请自行阅读

题解首先我们显然要求的是几个随机变量的最大值的期望(不是期望的最大值),然后这玩意很难求,根据Min-Max容斥化成最小值的期望来求。

Minn-max容斥是指\(\max(x_1,x_2,...,x_n)=\sum_{S\in \{1,2,...,n\} } (-1)^{|S|-1} \min_{i\in S}(x_i)\) (所有元素都是正整数,这个尽管式子本身和期望没关系但是经常是求期望的时候用它)

这个式子可以如此理解: 若把每个正整数\(x\)看作集合\({1,2,...,x}\)的话,则\(\max\)就是集合并,\(\min\)就是集合交,容斥原理直接推论

所以我们\(O(2^n)\)枚举每个关键点的子集,然后问题转化为: 按照同样的规则随机游走,走到任何一个关键点时即停,问期望步数

然后可以设\(dp[x]\)表示\(x\)节点作为起始点的期望步数

若\(x\)是关键点,\(dp[x]=0\), 否则\(dp[x]=\frac{1}{du[x]}\sum_{Edge(u,v)}{dp[v]}+1\) (\(du[]\)是度数)

然后我们就可以愉快地来个高斯消元\(O(2^nn^3)\)处理单个询问了。(能得多少分别问我,没试过……)

神仙之处在下面: \(O(n)\)求解树上高消

由于这是棵树,所以我们如果dfs的话,可以把\(dp[x]\)记成一个关于\(dp[fa]\) (\(fa\)是父亲)的一次函数,形如\(dp[x]=A_xdp[fa]+B_x\).

然后假设现在做到点\(u\)(非根)则$$dp[u]=\frac{dp[fa]+\sum_{v\in son(u)}{A_vdp[u]+B_v}}{du[u]}+1$$

\[(1-\frac{\sum_{v\in son(u)}{a_v}}{du[u]})dp[u]=\frac{dp[fa]}{du[u]}+(\frac{\sum_{v\in son(u)}B_v}{du[u]}+1) \]

归纳易证,只要有特殊点(\(A=B=0\))的存在,等式左边\(dp[u]\)的系数恒大于\(0\), 因此除过去就完成了\(A\)和\(B\)的递推!

裸做时间复杂度\(O(2^nnq)\), 子集和变换(高维前缀和,又称FMT)可以做到\(O(2^nn)\)预处理\(O(1)\)查询

代码

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<utility>
#define llong long long
using namespace std;const int N = 18;
const int P = 998244353;
llong fact[(1<<N)+3],finv[(1<<N)+3];
struct Edge
{int v,nxt;
} e[(N<<1)+3];
int cnt[(1<<N)+3];
llong f[(1<<N)+3];
int fe[N+3];
int fa[N+3];
int du[N+3];
int n,q,s,en;llong quickpow(llong x,llong y)
{llong cur = x,ret = 1ll;for(int i=0; y; i++){if(y&(1ll<<i)) {y-=(1ll<<i); ret = ret*cur%P;}cur = cur*cur%P;}return ret;
}
llong mulinv(llong x) {return quickpow(x,P-2);}void addedge(int u,int v)
{du[u]++;en++; e[en].v = v;e[en].nxt = fe[u]; fe[u] = en;
}void dfs0(int u)
{for(int i=fe[u]; i; i=e[i].nxt){if(e[i].v==fa[u]) continue;fa[e[i].v] = u;dfs0(e[i].v);}
}pair<llong,llong> dfs(int u,int sta)
{
//  printf("dfs(%d)\n",u);if(sta&(1<<u)) {return make_pair(0,0);}pair<llong,llong> ret = make_pair(1,1);if(u!=s && du[u]==1) return ret;llong s1 = 0ll,s2 = 0ll;for(int i=fe[u]; i; i=e[i].nxt){if(e[i].v==fa[u]) continue;pair<llong,llong> tmp = dfs(e[i].v,sta);s1 = (s1+tmp.first)%P,s2 = (s2+tmp.second)%P;}ret.first = mulinv(du[u]-s1+P)%P; ret.second = ret.first*(s2+du[u])%P;return ret;
}int main()
{cnt[0] = 0; for(int i=1; i<(1<<N); i++) cnt[i] = cnt[i>>1]+(i&1);scanf("%d%d%d",&n,&q,&s); s--;for(int i=1; i<n; i++){int x,y; scanf("%d%d",&x,&y); x--; y--;addedge(x,y); addedge(y,x);}fa[s] = -1; dfs0(s);for(int i=1; i<(1<<n); i++){if(i&(1<<s)) {f[i] = 0ll; continue;}pair<llong,llong> tmp = dfs(s,i);f[i] = tmp.second;if((cnt[i]&1)==0) {f[i] = P-f[i];}}for(int i=0; i<n; i++){for(int j=0; j<(1<<n); j++){if(j&(1<<i)) {f[j] = (f[j]+f[j^(1<<i)])%P;}}}for(int i=1; i<=q; i++){int n0; scanf("%d",&n0);int u = 0; for(int j=1; j<=n0; j++) {int x; scanf("%d",&x); x--; u+=(1<<x);}printf("%lld\n",f[u]);}return 0;
}

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

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

    loj#2542 [PKUWC2018]随机游走 (概率期望.组合数学.子集和变换.Min-Max容斥) 很好很有趣很神仙的题! 题目链接: https://loj.ac/problem/2542 题 ...

  2. P3175 [HAOI2015]按位或(Min - Max容斥,FMT,概率期望,全网最清晰的题解!)

    整理的算法模板合集: ACM模板 点我看算法全家桶系列!!! 实际上是一个全新的精炼模板整合计划 Weblink https://www.luogu.com.cn/problem/P3175 Prob ...

  3. 树上随机游走的期望距离

    无聊写写(顺便背板) d[i]表示i的度数,每条边的长度均为1(虽然不是1也能做,但是好写啊) 我们设FiFi表示i走到它父亲的期望距离,则 Fi=1+(∑j是i的儿子Fj+Fi+1)d[i] Fi= ...

  4. 第2章【思考与练习3】随机游走轨迹模拟。将随机游走的步数增加到100步,计算物体最终与原点的距离。重复多次随机游走过程,观察物体与原点距离的变化趋势。

    P33思考练习题3 1.将随机游走的步数增加到100步,计算物体最终与原点的距离. #第1题 #模拟每步生成方向 import numpy as np steps = 100 rndwlk = np. ...

  5. LOJ#2542. 「PKUWC2018」随机游走

    LOJ#2542. 「PKUWC2018」随机游走 题目描述 Solution 去过一个点集中所有节点的期望时间不好求,考虑min−maxmin-maxmin−max容斥,转化为求第一次到达某一个点集 ...

  6. 「PKUWC2018」随机游走

    Min-Max容斥真好用 LOJ #2542 题意:给一棵不超过1818个节点的树,50005000次询问,每次问从根随机游走走遍一个集合的期望步数 Solution: 考虑Min-Max容斥 有Ma ...

  7. 最值反演[PKUWC2018][loj2542]随机游走

    前言 这是学习容斥过程中的一个比较裸的题了 题意简介 题目链接 题目大意 给出一棵nnn个点的树,给出树上的一个点xxx 现在进行QQQ次询问,每次询问一个点集,求从xxx点开始进行随机随机游走,第一 ...

  8. 高斯消元配合概率dp-图上随机游走模型

    题目1:[HNOI2013]游走 题目大意 给你一张无向连通图,从第111点随机游走到nnn点.花费为经过的边的编号的和.问你如何安排边的编号使得期望花费最小化. n≤500,m≤n2n \leq 5 ...

  9. 概率统计笔记:白噪声与随机游走

    1 白噪声 1.1 定义         白噪声是一个理想中的时序模型,它有一个重要的特性,即序列不相关:一个白噪声序列中的每一个点都独立的来自某个未知的分布,即它们满足独立同分布. 考虑时间序列 . ...

最新文章

  1. oracle自动还原,什么是oracle自动恢复操作
  2. 【caffe-Windows】关于LSTM的使用-coco数据集
  3. POJ 3991 Seinfeld
  4. java peer_Java PeerConnection.getStats方法代码示例
  5. 漫步最优化二十——下降函数
  6. 2019百度之星 Polynomial
  7. 设计模式笔记二十四:模板模式
  8. 开发测试矛盾java吧_不愿看到Java开发者再做的10件事
  9. Go在容器运行时要注意的细节
  10. c++ 多线程_python要点-多线程
  11. ARM base instruction -- lsl asl lsr asr ror rrx
  12. 面试必备:VUE面试题(含答案)
  13. python适合创业吗-python创业
  14. 今日头条推荐算法原理全文详解之五
  15. jmeter(一)-上传图片
  16. Java Heap - Percolate Up, Percolate Down, and Heapify
  17. 小白学 Python 爬虫(27):自动化测试框架 Selenium 从入门到放弃(上)
  18. 赤壁游戏服务器获取玩家角色信息失败,赤壁进不去呀`````没服务器````
  19. 萌新记录自己刷过的题
  20. 生成CA根证书、公钥、私钥指令(数字证书)

热门文章

  1. esp32树莓派_用 ESP32 制造炫彩 LED 球
  2. 如何用tadodataset.append
  3. EffectiveC++编程的50个建议
  4. 使用ffmpeg打印音视频的详细信息
  5. 逆序输出(数组练习)
  6. shadow ssdt学习笔记
  7. stm32 独立看门狗学习
  8. 【快乐水题】495. 提莫攻击
  9. 1060 Are They Equal
  10. android的窗口机制分析------ViewRoot类