bzoj 3451: Tyvj1953 Normal [fft 点分治 期望]
3451: Tyvj1953 Normal
题意:
N 个点的树,点分治时等概率地随机选点,代价为当前连通块的顶点数量,求代价的期望值
百年难遇的点分治一遍AC!!!
今天又去翻了一下《具体数学》上的离散概率,对期望有了一点新认识吧。
本题根据期望的线性性质,计算每个点的代价期望加起来。
一个点v产生了代价,它在u选为中心时所在的cc里,并且(u,v)路径上没有其他点已经被选择。概率为\(\frac{1}{(u,v)之间包含u,v点的个数}\)
统计每种长度的路径有多少个
点分治+生成函数统计就好了
值得注意的是,要用总-同一个子树的做法,否则fft的次数界会与最大子树深度相关,可以被卡成n^2
#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
#include <ctime>
using namespace std;
typedef long long ll;
const int N = (1<<16) + 5, M = 1e5+5;
const double PI = acos(-1.0);
inline int read() {
char c=getchar(); int x=0,f=1;
while(c<'0'||c>'9') {if(c=='-')f=-1;c=getchar();}
while(c>='0'&&c<='9') {x=x*10+c-'0';c=getchar();}
return x*f;
}
struct meow{
double x, y;
meow(double a=0, double b=0):x(a), y(b){}
};
meow operator +(meow a, meow b) {return meow(a.x+b.x, a.y+b.y);}
meow operator -(meow a, meow b) {return meow(a.x-b.x, a.y-b.y);}
meow operator *(meow a, meow b) {return meow(a.x*b.x-a.y*b.y, a.x*b.y+a.y*b.x);}
meow conj(meow a) {return meow(a.x, -a.y);}
typedef meow cd;
namespace fft {
int maxlen = 1<<16, rev[N];
cd omega[N], omegaInv[N];
void init(int lim) {
maxlen = 1; while(maxlen < lim) maxlen<<=1;
for(int i=0; i<maxlen; i++) {
omega[i] = cd(cos(2*PI/maxlen*i), sin(2*PI/maxlen*i));
omegaInv[i] = conj(omega[i]);
}
}
void dft(cd *a, int n, int flag) {
cd *w = flag == 1 ? omega : omegaInv;
int k = 0; while((1<<k) < n) k++;
for(int i=0; i<n; i++) {
rev[i] = (rev[i>>1]>>1) | ((i&1)<<(k-1));
if(i < rev[i]) swap(a[i], a[rev[i]]);
}
for(int l=2; l<=n; l<<=1) {
int m = l>>1;
for(cd *p = a; p != a+n; p += l)
for(int k=0; k<m; k++) {
cd t = w[maxlen/l*k] * p[k+m];
p[k+m] = p[k] - t;
p[k] = p[k] + t;
}
}
if(flag == -1) for(int i=0; i<n; i++) a[i].x /= n;
}
void sqr(cd *a, int n) {
dft(a, n, 1);
for(int i=0; i<n; i++) a[i] = a[i] * a[i];
dft(a, n, -1);
}
}
int n;
struct edge{int v, ne;} e[N<<1];
int cnt, h[N];
inline void ins(int u, int v) {
e[++cnt] = (edge){v, h[u]}; h[u] = cnt;
e[++cnt] = (edge){u, h[v]}; h[v] = cnt;
}
int rt, f[N], vis[N], size[N], all;
void dfs_rt(int u, int fa) {
size[u] = 1; f[u] = 0;
for(int i=h[u];i;i=e[i].ne) {
int v = e[i].v;
if(vis[v] || v == fa) continue;
dfs_rt(v, u);
size[u] += size[v];
f[u] = max(f[u], size[v]);
}
f[u] = max(f[u], all-size[u]);
if(f[u] < f[rt]) rt = u;
}
int d[N], c[N], lim;
void dfs_get(int u, int fa) {
for(int i=h[u];i;i=e[i].ne) {
int v = e[i].v;
if(vis[v] || v == fa) continue;
d[v] = d[u] + 1; c[d[v]]++;
lim = max(lim, d[v]+1);
dfs_get(v, u);
}
}
cd a[N];
int g[N], t[N];
void cal(int lim, int flag) {
int n = 1; while(n<lim<<1) n<<=1; //printf("cal------- %d %d %d\n", lim, n, flag);
//for(int i=0; i<lim; i++) printf("%d ", c[i]); puts(" c");
for(int i=0; i<lim; i++) a[i] = cd(c[i]), c[i] = 0;
for(int i=lim; i<n; i++) a[i] = cd();
fft::sqr(a, n);
//for(int i=0; i<lim<<1; i++) printf("%.0lf ", a[i].x); puts(" a");
for(int i=1; i<lim<<1; i++) t[i] += flag * (int) floor(a[i-1].x + 0.5);
//for(int i=0; i<lim<<1; i++) printf("%d ", t[i]); puts(" t");
}
void dfs(int u) { //printf("\n-----------dfs---------- %d\n", u);
vis[u] = 1;
d[u]=0; c[0]++; lim=1; dfs_get(u, 0);
for(int i=0; i<lim<<1; i++) t[i] = 0;
cal(lim, 1);
int _lim = lim;
for(int i=h[u];i;i=e[i].ne) {
int v = e[i].v;
if(vis[v]) continue;
d[v] = 1; c[1]++; lim = 2; dfs_get(v, u);
cal(lim, -1);
}
for(int i=0; i<_lim<<1; i++) g[i] += t[i];// printf("final %d %d\n", i, t[i]);
for(int i=h[u];i;i=e[i].ne) {
int v = e[i].v;
if(vis[v]) continue;
all = size[v]; rt=0; dfs_rt(v, u);
dfs(rt);
}
}
int main() {
freopen("in", "r", stdin);
n=read();
fft::init(n<<1);
for(int i=1; i<n; i++) ins(read()+1, read()+1);
all=n; rt=0; f[0]=1e9; dfs_rt(1, 0);
dfs(rt);
double ans = 0;
//for(int i=1; i<=n; i++) printf("%d ", g[i]); puts("");
for(int i=1; i<=n; i++) if(g[i]) ans += (double) g[i] / i;
printf("%.4lf", ans);
}
bzoj 3451: Tyvj1953 Normal [fft 点分治 期望]的更多相关文章
- BZOJ 3451: Tyvj1953 Normal 点分治+FFT
根据期望的线性性,我们算出每个点期望被计算次数,然后进行累加. 考虑点 $x$ 对点 $y$ 产生了贡献,那么说明 $(x,y)$ 之间的点中 $x$ 是第一个被删除的. 这个期望就是 $\frac{ ...
- 3451: Tyvj1953 Normal 点分治 FFT
国际惯例的题面:代价理解为重心和每个点这个点对的代价.根据期望的线性性,我们枚举每个点,计算会产生的ij点对的代价即可.那么,i到j的链上,i必须是第一个被选择的点.对于i来说,就是1/dis(i,j ...
- BZOJ3451: Tyvj1953 Normal
题解: 好神的一道题.蒟蒻只能膜拜题解. 考虑a对b的贡献,如果a是a-b路径上第一个删除的点,那么给b贡献1. 所以转化之后就是求sigma(1/dist(i,j)),orz!!! 如果不是分母的话 ...
- 【BZOJ 3451】Tyvj1953 Normal 思维题+期望概率+FFT+点分治
我感觉是很强的一道题……即使我在刷专题,即使我知道这题是fft+点分治,我仍然做不出来……可能是知道是fft+点分治限制了我的思路???(别做梦了,再怎样也想不出来的……)我做这道题的话,一看就想单独 ...
- 【BZOJ3451】Tyvj1953 Normal 点分治+FFT+期望
[BZOJ3451]Tyvj1953 Normal Description 某天WJMZBMR学习了一个神奇的算法:树的点分治!这个算法的核心是这样的:消耗时间=0Solve(树 a) 消耗时间 += ...
- 【BZOJ3451】Normal (点分治)
[BZOJ3451]Normal (点分治) 题面 BZOJ 题解 显然考虑每个点的贡献.但是发现似乎怎么算都不好计算其在点分树上的深度. 那么考虑一下这个点在点分树中每一次被计算的情况,显然就是其在 ...
- hdu 5830 FFT + cdq分治
Shell Necklace Time Limit: 16000/8000 MS (Java/Others) Memory Limit: 65536/65536 K (Java/Others)T ...
- bzoj 3513: [MUTC2013]idiots FFT
bzoj 3513: [MUTC2013]idiots FFT 链接 bzoj 思路 参考了学姐TRTTG的题解 统计合法方案,最后除以总方案. 合法方案要不好统计,统计不合法方案. \(a+b< ...
- Luogu 3810 & BZOJ 3262 陌上花开/三维偏序 | CDQ分治
Luogu 3810 & BZOJ 3263 陌上花开/三维偏序 | CDQ分治 题面 \(n\)个元素,每个元素有三个值:\(a_i\), \(b_i\) 和 \(c_i\).定义一个元素的 ...
随机推荐
- MongoDB模拟多文档事务操作
Mongodb不支持多文档原子性操作,因此依据两阶段提交协议(Two Phase Commits protocol)来模拟事务. 以两个银行账户之间的转账行为为例,来说明如何实现多文档间的事务操作. ...
- UEP-添加表格
UEP中添加新的表格标签:function initCustomToolBar(){ var strHtml="<table> <tr> <td id=\&qu ...
- 再起航,我的学习笔记之JavaScript设计模式29(节流模式)
节流模式 概念介绍 节流模式(Throttler): 对重复的业务逻辑进行节流控制,执行最后一次操作并取消其他操作,以提高性能. 优化滚动事件 有的时候我们再为滚动条添加动画的时候,会发现滚动条不停的 ...
- MFC中打开一个获取路径的对话框
不废话,上代码 CString m_FileDir; BROWSEINFO bi; ZeroMemory(&bi, sizeof(BROWSEINFO)); bi.hwndOwner = m_ ...
- kafka producer生产数据到kafka异常:Got error produce response with correlation id 16 on topic-partition...Error: NETWORK_EXCEPTION
kafka producer生产数据到kafka异常:Got error produce response with correlation id 16 on topic-partition... ...
- ceil与intval区别
float ceil(float value)ceil返回不小于value的最小整数,返回值仍是float型 int intval ( mixed value [, int base]) int ...
- phpstorm(或webstorm) 打开后 一直停留在scanning files to index....,或跳出内存不够的提示框
记得3月份做项目时就遇到过这个问题,当时解决的 ,但是忘记怎么解决的啦,所以 ,写博文是多么的重要啊. 说明: 在npm install 后,会出现Scanning files to index .. ...
- Python3 的函数(2)
1.形参和实参 def MyFun(x): return x ** 3 y = 3 print(MyFun(y)) x为形参,y为实参. 2.函数文档 在函数内用单引号引起来的一段文字,在调用函数时不 ...
- Python3 的列表
1:列表: Python的列表比C语言的数组强大的多,数组只能存放相同类型的数据,而列表则像一个大集装箱可以存放整形.浮点型.字符串.对象等 2:创建列表的方法 #创建一个普通列表 list1=[1, ...
- 学习javascript数据结构(四)——树
前言 总括: 本文讲解了数据结构中的[树]的概念,尽可能通俗易懂的解释树这种数据结构的概念,使用javascript实现了树,如有纰漏,欢迎批评指正. 原文博客地址:学习javascript数据结构( ...