BZOJ3451 Tyvj1953 Normal 点分治 多项式 FFT
原文链接https://www.cnblogs.com/zhouzhendong/p/BZOJ3451.html
题目传送门 - BZOJ3451
题意
给定一棵有 $n$ 个节点的树,在树上随机点分治,问消耗时间的期望。
计算点分治耗时由如下函数给出:
Time = 0
Solve( T ){
Time += |T|
if ( |T| = 1 ) then
return ;
x = 一个随机节点 in T
for y in {与 x 直接连边的节点 in T} do
Solve( SubTree y )
}
$n\leq 3\times 10^4$
题解
考虑最终在点分树上,如果 $y$ 是 $x$ 的祖先,那么就会产生一点贡献。我们把它记为:数对 $(x,y)$ 产生了一点贡献。
回到原树,如果数对 $(x,y)$ 能产生贡献,那么 $y$ 一定是 $x$ 到 $y$ 路径上面最先被选中的。因为, $x$ 显然不能先选,而如果选择了 $x$ 到 $y$ 之间的节点,那么 $x$ 和 $y$ 在点分树中就被分到了两个子树中,不能产生贡献。
由于是等概率随机选点,所以对于任何两个点 $(x,y)$ ,$y$ 最先被选中的概率显然是 $\cfrac{1}{dis(x,y)}$ 。
所以,答案被转化为:
$$\sum_{i=1}^{n}\sum_{j=1}^{n}\cfrac{1}{dis(x,y)}$$
于是我们就可以 点分治 + FFT 了。
具体地:
我们需要得到每一个长度的路径条数。
对于每一个点分中心,我们先分治处理所有子树。
然后,dfs 遍历所有子树,对于每一个子树得到子树内的深度值的情况。注意,用 vector 存。
然后,任意两个子树的信息就可以合并了。
但是暴力合并显然是不对的,$n^2$ 复杂度肯定超时。(下面把子树深度数组当作多项式)
考虑将子树按照最深深度排序,从深度小到深度大,通过多项式前缀和一下,FFT 优化多项式乘法即可。
再具体??看代码吧……
时间复杂度 $O(n\log^2 n)$ 。
代码
#include <bits/stdc++.h>
using namespace std;
int read(){
int x=0;
char ch=getchar();
while (!isdigit(ch))
ch=getchar();
while (isdigit(ch))
x=(x<<1)+(x<<3)+ch-48,ch=getchar();
return x;
}
const int N=30005;
struct Gragh{
static const int M=N*2;
int cnt,y[M],nxt[M],fst[N];
void clear(){
cnt=0;
memset(fst,0,sizeof fst);
}
void add(int a,int b){
y[++cnt]=b,nxt[cnt]=fst[a],fst[a]=cnt;
}
}g;
int Pow(int x,int y,int mod){
int ans=1;
for (;y;y>>=1,x=1LL*x*x%mod)
if (y&1)
ans=1LL*ans*x%mod;
return ans;
}
namespace FaFaTa{
static const int N=1<<15,mod=998244353;
int n,d;
int w[N],R[N],A[N],B[N];
vector <int> res;
void FFT(int a[],int n){
for (int i=0;i<n;i++)
if (R[i]<i)
swap(a[i],a[R[i]]);
for (int d=1,t=n>>1;d<n;d<<=1,t>>=1)
for (int i=0;i<n;i+=(d<<1))
for (int j=0;j<d;j++){
int tmp=1LL*w[t*j]*a[i+j+d]%mod;
a[i+j+d]=(a[i+j]-tmp+mod)%mod;
a[i+j]=(a[i+j]+tmp)%mod;
}
}
void FFT_Mul(vector <int> &a,vector <int> &b){
int la=a.size(),lb=b.size();
for (n=1,d=0;n<la+lb-1;n<<=1,d++);
for (int i=0;i<n;i++)
R[i]=(R[i>>1]>>1)|((i&1)<<(d-1));
w[0]=1,w[1]=Pow(3,(mod-1)/n,mod);
for (int i=2;i<n;i++)
w[i]=1LL*w[i-1]*w[1]%mod;
for (int i=0;i<n;i++)
A[i]=i<la?a[i]:0;
for (int i=0;i<n;i++)
B[i]=i<lb?b[i]:0;
FFT(A,n),FFT(B,n);
for (int i=0;i<n;i++)
A[i]=1LL*A[i]*B[i]%mod;
w[1]=Pow(w[1],mod-2,mod);
for (int i=2;i<n;i++)
w[i]=1LL*w[i-1]*w[1]%mod;
FFT(A,n);
int inv=Pow(n,mod-2,mod);
for (int i=0;i<n;i++)
A[i]=1LL*A[i]*inv%mod;
res.clear();
for (int i=0;i<n;i++)
res.push_back(A[i]);
}
}
int n,Time;
int ans[N],vis[N],size[N],Max[N],root;
int id[N],id_cnt,dcnt[N];
vector <int> depth[N];
void Get_root(int x,int pre){
id[++id_cnt]=x;
size[x]=1,Max[x]=0;
for (int i=g.fst[x];i;i=g.nxt[i])
if (g.y[i]!=pre&&!vis[g.y[i]]){
Get_root(g.y[i],x);
size[x]+=size[g.y[i]];
Max[x]=max(Max[x],size[g.y[i]]);
}
}
void Get_depth(int rt,int y,int x,int pre,int d){
if (depth[y].size()<=0.1+d)
depth[y].push_back(0);
depth[y][d]++;
for (int i=g.fst[x];i;i=g.nxt[i])
if (g.y[i]!=pre&&vis[rt]<vis[g.y[i]])
Get_depth(rt,y,g.y[i],x,d+1);
}
bool cmp(int a,int b){
return depth[a].size()<depth[b].size();
}
void solve(int root){
id_cnt=0;
Get_root(root,0);
int n=size[root],x=root;
for (int i=1;i<=id_cnt;i++){
int y=id[i];
Max[y]=max(Max[y],n-size[y]);
if (Max[y]<Max[x])
x=y;
}
vis[x]=++Time;
for (int i=g.fst[x];i;i=g.nxt[i])
if (!vis[g.y[i]])
solve(g.y[i]);
id_cnt=0;
for (int i=g.fst[x];i;i=g.nxt[i])
if (vis[g.y[i]]>vis[x]){
int y=id[++id_cnt]=g.y[i];
depth[y].clear();
depth[y].push_back(0);
Get_depth(x,y,y,x,1);
}
sort(id+1,id+id_cnt+1,cmp);
depth[id[0]=0].clear();
depth[0].push_back(1);
for (int i=1;i<=id_cnt;i++){
FaFaTa :: FFT_Mul(depth[id[i-1]],depth[id[i]]);
for (int j=0;j<FaFaTa :: n;j++)
ans[j]+=FaFaTa :: res[j];
for (int j=0;j<depth[id[i-1]].size();j++)
depth[id[i]][j]+=depth[id[i-1]][j];
}
}
int main(){
n=read();
g.clear();
for (int i=1,a,b;i<n;i++){
a=read()+1,b=read()+1;
g.add(a,b);
g.add(b,a);
}
memset(ans,0,sizeof ans);
memset(vis,0,sizeof vis);
Time=0;
solve(1);
long double tot=n;
for (int i=1;i<n;i++)
tot+=((long double)ans[i])*2/(i+1);
printf("%.4Lf",tot);
return 0;
}
BZOJ3451 Tyvj1953 Normal 点分治 多项式 FFT的更多相关文章
- [BZOJ3451][Tyvj1953]Normal(点分治+FFT)
https://www.cnblogs.com/GXZlegend/p/8611948.html #include<cmath> #include<cstdio> #inclu ...
- 【BZOJ3451】Tyvj1953 Normal 点分治+FFT+期望
[BZOJ3451]Tyvj1953 Normal Description 某天WJMZBMR学习了一个神奇的算法:树的点分治!这个算法的核心是这样的:消耗时间=0Solve(树 a) 消耗时间 += ...
- BZOJ3451: Tyvj1953 Normal
题解: 好神的一道题.蒟蒻只能膜拜题解. 考虑a对b的贡献,如果a是a-b路径上第一个删除的点,那么给b贡献1. 所以转化之后就是求sigma(1/dist(i,j)),orz!!! 如果不是分母的话 ...
- 【BZOJ3451】Tyvj1953 Normal - 点分治+FFT
题目来源:NOI2019模拟测试赛(七) 非原题面,题意有略微区别 题意: 吐槽: 心态崩了. 好不容易场上想出一题正解,写了三个小时结果写了个假的点分治,卡成$O(n^2)$ 我退役吧. 题解: 原 ...
- 3451: Tyvj1953 Normal 点分治 FFT
国际惯例的题面:代价理解为重心和每个点这个点对的代价.根据期望的线性性,我们枚举每个点,计算会产生的ij点对的代价即可.那么,i到j的链上,i必须是第一个被选择的点.对于i来说,就是1/dis(i,j ...
- BZOJ3451 Tyvj1953 Normal 【期望 + 点分治 + NTT】
题目链接 BZOJ3451 题解 考虑每个点产生的贡献,即为该点在点分树中的深度期望值 由于期望的线性,最后的答案就是每个点贡献之和 对于点对\((i,j)\),考虑\(j\)成为\(i\)祖先的概率 ...
- BZOJ 3451: Tyvj1953 Normal 点分治+FFT
根据期望的线性性,我们算出每个点期望被计算次数,然后进行累加. 考虑点 $x$ 对点 $y$ 产生了贡献,那么说明 $(x,y)$ 之间的点中 $x$ 是第一个被删除的. 这个期望就是 $\frac{ ...
- CodeForces 958F3 Lightsabers (hard) 启发式合并/分治 多项式 FFT
原文链接http://www.cnblogs.com/zhouzhendong/p/8835443.html 题目传送门 - CodeForces 958F3 题意 有$n$个球,球有$m$种颜色,分 ...
- UOJ#23. 【UR #1】跳蚤国王下江南 仙人掌 Tarjan 点双 圆方树 点分治 多项式 FFT
原文链接https://www.cnblogs.com/zhouzhendong/p/UOJ23.html 题目传送门 - UOJ#23 题意 给定一个有 n 个节点的仙人掌(可能有重边). 对于所有 ...
随机推荐
- HDU 1796 (容斥原理)
容斥原理练习题,忘记处理gcd 和 lcm,wa了几发0.0. #include<iostream> #include<cstdio> #include<cstring& ...
- springboot 文件上传大小配置
转自:https://blog.csdn.net/shi0299/article/details/69525848 springboot上传文件大小的配置有两种,一种是设置在配置文件里只有两行代码,一 ...
- 7)django-示例(cbv)
CBV(class base view)一个url根据method方式调用相应的方法.method常用有get,post 如果是GET请求,Home类会调用get方法,如果是POST提交数据,则类会调 ...
- LONG数据类型转换为VARCHAR2并相互转换
--方法1,支持表 --plsql中将long类型隐式转换为varchar2,但是sql不能CREATE OR REPLACE FUNCTION LONG_TO_CHAR( in_rowid rowi ...
- LuoGu P1541 乌龟棋
题目传送门 乌龟棋我并不知道他为啥是个绿题0.0 总之感觉思维含量确实不太高(虽然我弱DP)(毛多弱火,体大弱门,肥胖弱菊,骑士弱梯,入侵弱智,沙华弱Dp) 总之,设计出来状态这题就很简单了 设 f[ ...
- Confluence 6 SQL Server 数据库驱动修改
从 Confluence 6.4 开始,我们使用官方的 Microsoft SQL Server JDBC 驱动来替换掉开源的 jTDS 驱动.从这个版本开始所有的安装都会默认使用官方的 Micros ...
- Confluence 6 包括从其他 Confluence 服务器上来的通知
Confluence workbox 可以显示从 Confluence 服务器上发送过来的消息. 让我们假设你有 2 个 Confluence 服务器, ConfluenceChatty 和 Conf ...
- Java的家庭记账本程序(D)
日期:2019.2.8 博客期:031 星期一 今天是把程序的查询功能以列表的形式完成了! 截图如下:
- linux 下安装vscode
下载安装包 https://code.visualstudio.com/docs/?dv=linux64_deb (注意是deb包) sudo dpkg -i code_1.18.1-15108573 ...
- Django Admin的相关知识
一.面向对象复习 1.类的继承 class Base(object): def __init__(self,val): self.val = val def func(self): self.test ...