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 点分治 期望]的更多相关文章

  1. BZOJ 3451: Tyvj1953 Normal 点分治+FFT

    根据期望的线性性,我们算出每个点期望被计算次数,然后进行累加. 考虑点 $x$ 对点 $y$ 产生了贡献,那么说明 $(x,y)$ 之间的点中 $x$ 是第一个被删除的. 这个期望就是 $\frac{ ...

  2. 3451: Tyvj1953 Normal 点分治 FFT

    国际惯例的题面:代价理解为重心和每个点这个点对的代价.根据期望的线性性,我们枚举每个点,计算会产生的ij点对的代价即可.那么,i到j的链上,i必须是第一个被选择的点.对于i来说,就是1/dis(i,j ...

  3. BZOJ3451: Tyvj1953 Normal

    题解: 好神的一道题.蒟蒻只能膜拜题解. 考虑a对b的贡献,如果a是a-b路径上第一个删除的点,那么给b贡献1. 所以转化之后就是求sigma(1/dist(i,j)),orz!!! 如果不是分母的话 ...

  4. 【BZOJ 3451】Tyvj1953 Normal 思维题+期望概率+FFT+点分治

    我感觉是很强的一道题……即使我在刷专题,即使我知道这题是fft+点分治,我仍然做不出来……可能是知道是fft+点分治限制了我的思路???(别做梦了,再怎样也想不出来的……)我做这道题的话,一看就想单独 ...

  5. 【BZOJ3451】Tyvj1953 Normal 点分治+FFT+期望

    [BZOJ3451]Tyvj1953 Normal Description 某天WJMZBMR学习了一个神奇的算法:树的点分治!这个算法的核心是这样的:消耗时间=0Solve(树 a) 消耗时间 += ...

  6. 【BZOJ3451】Normal (点分治)

    [BZOJ3451]Normal (点分治) 题面 BZOJ 题解 显然考虑每个点的贡献.但是发现似乎怎么算都不好计算其在点分树上的深度. 那么考虑一下这个点在点分树中每一次被计算的情况,显然就是其在 ...

  7. hdu 5830 FFT + cdq分治

    Shell Necklace Time Limit: 16000/8000 MS (Java/Others)    Memory Limit: 65536/65536 K (Java/Others)T ...

  8. bzoj 3513: [MUTC2013]idiots FFT

    bzoj 3513: [MUTC2013]idiots FFT 链接 bzoj 思路 参考了学姐TRTTG的题解 统计合法方案,最后除以总方案. 合法方案要不好统计,统计不合法方案. \(a+b< ...

  9. Luogu 3810 & BZOJ 3262 陌上花开/三维偏序 | CDQ分治

    Luogu 3810 & BZOJ 3263 陌上花开/三维偏序 | CDQ分治 题面 \(n\)个元素,每个元素有三个值:\(a_i\), \(b_i\) 和 \(c_i\).定义一个元素的 ...

随机推荐

  1. hdu_3068 最长回文(Manacher算法)

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=3068 最长回文 Time Limit: 4000/2000 MS (Java/Others)    M ...

  2. Effective Java 第三版——23. 优先使用类层次而不是标签类

    Tips <Effective Java, Third Edition>一书英文版已经出版,这本书的第二版想必很多人都读过,号称Java四大名著之一,不过第二版2009年出版,到现在已经将 ...

  3. cin与cout详解

    输入和输出并不是C++语言中的正式组成成分。C和C++本身都没有为输入和输出提供专门的语句结构。输入输出不是由C++本身定义的,而是在编译系统提供的I/O库中定义的。C++的输出和输入是用" ...

  4. docker运行dubbo-admin

    一:简介 dubbo-admin是dubbo框架的管理平台. 二: 创建继续镜像 Dockerfile FROM fangjipu/jdk8:8 RUN yum -y install epel-rel ...

  5. electron 学习笔记

    一.快速搭建一个electron 项目结构 # 克隆示例项目的仓库 $ git clone https://github.com/electron/electron-quick-start # 进入这 ...

  6. Vuejs实例-00Vuejs2.0全家桶结合ELementUI制作后台管理系统

    Vuejs2.0全家桶结合ELementUI制作后台管理系统 0: 系统环境的介绍 1: Vuejs实例-01使用vue-cli脚手架搭建Vue.js项目 2: Vuejs实例-02Vue.js项目集 ...

  7. 使用 IDEA和Maven 整合SSH框架

    1.创建web工程 一路next 下去就行.完成后,IDEA会自动构建maven工程. 2.创建如下项目结构 需要将 java文件夹设置为SourcesRoot目录,否则无法创建package 设置操 ...

  8. 汇编编译器(masm.exe)对jmp的相关处理

    body, table{font-family: 微软雅黑; font-size: 13.5pt} table{border-collapse: collapse; border: solid gra ...

  9. Hystrix-命令名称、分组以及线程池划分

    命令名称: 1.1 以继承的方式实现Hystrix命令使用类名作为默认的命令名称,我们也可以在构造函数中通过Setter静态类来设置 1.2 为了保存每个命令分配的Setter分配,你也可以像这样缓存 ...

  10. OpenCv函数学习(一)

    Intel Image Processing Library (IPL) typedef struct _IplImage { int nSize; /* IplImage大小 */ int ID; ...