Luogu P3412 仓鼠找$sugar$ $II$
Luogu P3412 仓鼠找\(sugar\) \(II\)
题目大意:
给定一棵\(n\)个点的树,
仓鼠每次移动都会等概率选择一个与当前点相邻的点,并移动到此点。
现在随机生成一个起点、一个终点(可能相同)。
仓鼠希望知道它从起点走到终点的期望步数是多少。
数据范围:
对于\(30\%\),\(n\leq 5\)
对于\(60\%\),\(n\leq 5\times 10^3\)
对于\(100\%\),\(n \leq 7\times 10^6\)
请将输出答案(一个分数)模上\(998244353\)。
思路与解法
比较套路的一题了......
那个\(30\%\)实在是不会,难道是手玩?
对于 \(60\%\) 的数据:
我们枚举一个树根。设\(f[x]\) 表示 由\(x\) 移动到 \(x\)的父亲\(fa\) 的 期望步数。
转移老套路,同这里所介绍的递推式法:
\[f[u] = 1 + \frac{\sum_{v \in son\{u\}}(f[v] + f[u])}{degree(u)}\]
化简一波可得:
\[f[u] = degree(u) + \sum_{v \in son\{u\}} f[v]\]
所以枚举终点,并将终点作为根,然后\(DP\)一遍利用\(size\)统计答案。
时间复杂度\(O(n^2)\),可以跑过\(60\%\)
对于 \(100\%\) 的数据:
其实都会\(60\%\),\(100\%\)简直就是送的......
我们考虑一条边,经过它的路径只有两种情况:从下往上,从上往下。
从下往上的情况我们用上面的\(f[u]\)即可统计。
所以再算一遍从上往下的即可。
设\(g[v]\)表示 从v的父亲\(u\) 移动到 v 的期望步数
用一样的方法设计\(DP\)的转移即可:
\[g[v] = 1 + \frac{(g[u] + g[v]) + \sum_{i \in son\{u\}}^{i \neq v} (f[i] + g[v])}{degree[u]}\]
然后化简一波:
\[g[v] = degree(u) + g[u] + \sum_{i \in son\{u\}}^{i \neq v} f[i] \]
计算答案的公式(考虑路径贡献即可得到):
\[ans = \frac{\sum_{i=1}^n (f[i]+g[i])\times size[i] \times (n - size[i])}{n^2}\]
所以就以 \(1\)号结点为根,只做一遍\(DP\),最后统计答案即可,时间复杂度\(O(n)\)。
实现代码:
注:代码中,\(Work\)函数求\(f[u]\),\(Work2\)函数求\(g[u]\)
#include<bits/stdc++.h>
#define RG register
#define IL inline
#define ll long long
#define _ 100005
#define mod 998244353
using namespace std;
IL int gi(){
RG int data = 0 , m = 1; RG char ch = 0;
while(ch != '-' && (ch < '0' || ch > '9'))ch = getchar();
if(ch == '-'){m = -1; ch = getchar();}
while(ch >= '0' && ch <= '9'){data = (data << 1) + (data << 3) + (ch ^ 48); ch = getchar(); }
return ( m ) ? data : -data;
}
ll f[_],g[_],deg[_],n,m,ans,sz[_];
struct Road{int to , next;}t[2*_]; int head[_],cnt;
IL ll Pow(RG ll T , RG ll js , RG ll S){
while(js){
if(js & 1)S = S * T % mod;
js >>= 1; T = T * T % mod;
}return S;
}
IL ll Inv(RG ll x){ return Pow(x , mod - 2 , 1); }
IL void Work(RG int u , RG int fa){
RG ll b = 0; f[ u ] = 0; sz[u] = 1;
for(RG int i = head[u] ; i ; i = t[i].next){
RG int v = t[i].to; if(v == fa)continue;
Work(v , u); b = b + f[ v ]; if(b >= mod)b -= mod;
sz[u] += sz[v];
}
if(!fa)return; if(!b){f[ u ] = 1; return;}
f[ u ] = ( deg[ u ] + b ) ; if( f[ u ] >= mod )f[ u ] -= mod;
}
IL void Work2(RG int u , RG int fa){
RG ll b = 0;
for(RG int i = head[u] ; i ; i = t[i].next){
RG int v = t[i].to; if(v == fa)continue;
b = b + f[ v ]; if(b >= mod)b -= mod;
}b = (b + g[ u ]) % mod;
for(RG int i = head[u] ; i ; i = t[i].next){
RG int v = t[i].to; if(v == fa)continue;
g[ v ] = ((deg[u] + b - f[v]) % mod + mod) % mod;
Work2(v , u);
}return;
}
int main(){
freopen("testdata.in","r",stdin);
n = gi();
for(RG int i = 1; i <= n - 1; i ++){
RG int u = gi() , v = gi();
t[ ++ cnt ] = (Road){ v , head[u] }; head[u] = cnt;
t[ ++ cnt ] = (Road){ u , head[v] }; head[v] = cnt;
deg[ u ] ++; deg[ v ] ++;
}
Work(1 , 0); g[1] = g[0] = 0; Work2(1 , 0);
ans = 0;
for(RG int i = 1; i <= n; i ++)
ans = (ans + f[i] * sz[i] % mod * (n - sz[i]) % mod) % mod;
for(RG int i = 1; i <= n; i ++)
ans = (ans + g[i] * sz[i] % mod * (n - sz[i]) % mod) % mod;
ans = ans * Inv(n * n % mod) % mod;
cout << ans; return 0;
}
随机推荐
- Orleans例子源码
这是Orleans系列文章中的一篇.首篇文章在此 我共享以下我现在写教程的简单的Orleans例子源码. 这个代码已经是我为了写word改动过了的.不过大体内容是通用的. 我写博客总体想法是:去除所有 ...
- LNMP搭建04 -- 配置Nginx支持PHP
首先建立存放网页文件的目录,执行 mkdri /usr/local/server/www 然后进入到该目录中 cd /usr/local/server/www 然后创建一个测试文件: phpinfo ...
- PPPoE拨号流程
PPPoE(Point to Point Protocol over Ethernet,基于以太网的点对点协议)的工作流程包含发现(Discovery)和会话(Session)两个阶段,发现阶段是无状 ...
- linux磁盘及分区详解
1.Linux 分区简介 1.1 主分区 vs 扩展分区 硬盘分区表中最多能存储四个分区,但我们实际使用时一般只分为两个分区,一个是主分区(Primary Partion)一个是扩展分区(extend ...
- centos6.9 开机进入grub界面问题解决
安装系统时没把之前的磁盘分区格式化,导致安装新系统grub冲突 解决办法:删除当前磁盘分区,重新安装系统
- 工作笔记--自动切换host的python code
修改host代码: #coding:utf-8import os,timepwd = os.path.dirname(__file__) #获取当前文件夹的绝对路径pull_host_cmd = 'a ...
- maven常用命令介绍
mvn 3.0.4 创建maven项目命令 mvn archetype:generate -DgroupId=damocles-autocredit -DartifactId=damocles ...
- String类为什么是final的
首先我们使用new创建一个String对象的时候比如: String str=new String("123"); 这句话里面创建了两个对象,第一个在系统中创建了一个"a ...
- UVA - 10723 类似LCS
思路:dp(i, j)表示第一个串前i个字符和第二个串前j个字符需要的最短字符串长度,cnt(i, j)表示第一个串前i个字符和第二个串前j个字符需要的最短字符串的个数. 转移方程: if(s1[i] ...
- POJ - 1733 Parity game 种类并查集+离散化
思路:d(i, j)表示区间(i, j]的1的个数的奇偶性.输入最多共有5000*2个点,需要离散化处理一下.剩下的就是并查集判冲突. AC代码 #include <cstdio> #in ...