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\).定义一个元素的 ...
随机推荐
- SecureCRT连接虚拟机中的Linux系统(Ubuntu)_Linux教程
有道云笔记链接地址: https://note.youdao.com/share/?id=826781e7ca1fd1223f6a43f4dc2c9b5d&type=note#/
- vi 方向键和Backspace键失效问题的解决方法
安装的ubuntu默认的编辑器是vi,遇到了两个问题: ① insert模式下,按方向键将产生A.B.C.D等字符,解决方案: :set nocompatible ② insert模式下Backspa ...
- 炫酷线条动画--svg
我们经常可以在一些页面看到看起来很酷的线条动画,有些可以用css实现,有些css就无能为力了,今天来研究另一种实现方式,svg 如果对svg是什么还不了解的话,可以先去看看svg的基础教程: 一般对于 ...
- PLSQL 注册码
注册码:Product Code:4t46t6vydkvsxekkvf3fjnpzy5wbuhphqzserial Number:601769 password:xs374ca 本人版本 Versio ...
- php中使用head进行二进制流输出,让用户下载PDF等附件的方法
http://blog.csdn.net/jallin2001/article/details/6872951 在PHP的手册中,有如下的方法,可以让用户方便的下载pdf或者其他类似的附件形式,不过这 ...
- ACTION_NAME等常量 不能在模板里直接取值?
在控制器里可以取得,显示模板之前需要向模板传递. condition 下用$Think.const.MODULE_NAME 在模板里要用{$Think.ACTION_NAME}
- mybatis_SQL映射(1)
文章摘录自:http://blog.csdn.net/y172158950/article/details/17258377 1. select的映射 <select id="sele ...
- X86寄存器全称
body, table{font-family: 微软雅黑; font-size: 13.5pt} table{border-collapse: collapse; border: solid gra ...
- Git初入
Git记录 使用git 也有一段时间了, git的入门级了解也就不再多说, 但平常使用中, 仍然会遇到很多问题, 在此记录一二. 在查资料的过程中, 发现了两个比较好的资料: 特别是第二个, 相当详细 ...
- maven的聚合和继承
Maven的聚合特性能够把项目的各个模块聚合在一起构建: 而Maven的继承特性则能帮组抽取各模块相同的依赖和插件等配置,在简化POM的同时,还能促进各个模块配置的一致性. 聚合:新建一个项目demo ...