3451: Tyvj1953 Normal 点分治 FFT

Posted Cmd2001

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了3451: Tyvj1953 Normal 点分治 FFT相关的知识,希望对你有一定的参考价值。

国际惯例的题面:

代价理解为重心和每个点这个点对的代价。根据期望的线性性,我们枚举每个点,计算会产生的ij点对的代价即可。
那么,i到j的链上,i必须是第一个被选择的点。
对于i来说,就是1/dis(i,j)。
所以答案就是sigma(i,j) 1/(dis(i,j)+1)。
然而这样计算是n^2的,考虑优化。
如果我们能计算出边长为某个数值的边的数量的话,是不是就能计算答案呢?
统计路径的题,一眼点分治。
考虑怎样计算,我们能dfs出每个子树中距离分治重心为x的点有多少个,然后我们枚举两个点让他们取去组成路径即可。
这显然是个卷积,FFT优化。我们补集转化,先计算全部方案,再减去本身对本身(两个点来自相同子树)的方案。
为什么这样算复杂度正确?因为当当前分治层数一定时,所有子树的最深点的深度总和是O(n)的,并且那个log还会更小。这样分析的话发现复杂度是O(nlog^2n)。
正常的二元关系计算方式是前缀和和当前的卷积贡献,为什么这次不能这样呢?
给你一棵扫把形的树,一半的点形成一条链,显然你会选择扫把的重心(一边是一堆叶子,一边是链)当做重心。
然后你发现链的那边长度为n/2,如果你对每个叶子都和链做一次卷积的话,恭喜你卡成n^2logn,不如暴力......

代码:

 1 #include<cstdio>
 2 #include<cstring>
 3 #include<algorithm>
 4 #include<cmath>
 5 const int maxn=262145;
 6 const int inf=0x3f3f3f3f;
 7 const double pi = acos(-1.0);
 8 
 9 int tim[maxn];
10 
11 namespace FFT {
12     struct Complex {
13         double r,i;
14         friend Complex operator + (const Complex &a,const Complex &b) { return (Complex){a.r+b.r,a.i+b.i}; }
15         friend Complex operator - (const Complex &a,const Complex &b) { return (Complex){a.r-b.r,a.i-b.i}; }
16         friend Complex operator * (const Complex &a,const Complex &b) { return (Complex){a.r*b.r-a.i*b.i,a.r*b.i+a.i*b.r}; }
17     }cp[maxn];
18     inline void FFT(Complex* dst,int n,int tpe) {
19         for(int i=0,j=0;i<n;i++) {
20             if( i < j ) std::swap(dst[i],dst[j]);
21             for(int t=n>>1;(j^=t)<t;t>>=1) ;
22         }
23         for(int len=2;len<=n;len<<=1) {
24             const int h = len >> 1;
25             const Complex per = (Complex){cos(pi*tpe/h),sin(pi*tpe/h)};
26             for(int st=0;st<n;st+=len) {
27                 Complex w = (Complex){1.0,0.0};
28                 for(int pos=0;pos<h;pos++) {
29                     const Complex u = dst[st+pos] , v = dst[st+pos+h] * w;
30                     dst[st+pos] = u + v , dst[st+pos+h] = u - v , w = w * per;
31                 }
32             }
33         }
34         if( !~tpe ) for(int i=0;i<n;i++) dst[i].r /= n;
35     }
36     inline void mul(int* dst,int n) {
37         int len = 1;
38         while( len <= ( n << 1 ) ) len <<= 1;
39         for(int i=0;i<len;i++) cp[i] = (Complex){(double)dst[i],0.0};
40         FFT(cp,len,1);
41         for(int i=0;i<len;i++) cp[i] = cp[i] * cp[i];
42         FFT(cp,len,-1);
43         for(int i=0;i<len;i++) dst[i] = (int)(cp[i].r+0.5);
44     }
45 }
46 
47 namespace Tree {
48     int s[maxn],t[maxn<<1],nxt[maxn<<1];
49     int siz[maxn],mxs[maxn],ban[maxn];
50     int su[maxn],tp[maxn];
51     
52     inline void addedge(int from,int to) {
53         static int cnt = 0;
54         t[++cnt] = to , nxt[cnt] = s[from] , s[from] = cnt;
55     }
56     inline void findroot(int pos,int fa,const int &fs,int &rt) {
57         siz[pos] = 1 , mxs[pos] = 0;
58         for(int at=s[pos];at;at=nxt[at]) if( t[at] != fa && !ban[t[at]] ) findroot(t[at],pos,fs,rt) , siz[pos] += siz[t[at]] , mxs[pos] = std::max( mxs[pos] , siz[t[at]] );
59         if( ( mxs[pos] = std::max( mxs[pos] , fs - siz[pos]) ) <= mxs[rt] ) rt = pos;
60     }
61     inline void dfs(int pos,int fa,int dep,int &mxd) {
62         mxd = std::max( mxd , dep ) , ++tp[dep];
63         for(int at=s[pos];at;at=nxt[at]) if( t[at] != fa && !ban[t[at]] ) dfs(t[at],pos,dep+1,mxd);
64     }
65     inline void solve(int pos,int fs) {
66         int root = 0 , mxd = 0 , ths ;
67         *mxs = inf, findroot(pos,-1,fs,root) , ban[root] = 1;
68         for(int at=s[root];at;at=nxt[at]) if( !ban[t[at]]) {
69             ths = 0 , dfs(t[at],root,1,ths) , mxd = std::max( mxd , ths );
70             for(int i=1;i<=ths;i++) su[i] += tp[i];
71             FFT::mul(tp,ths);
72             for(int i=1;i<=ths<<1;i++) tim[i] -= tp[i];
73             memset(tp,0,sizeof(int)*(ths<<1|1));
74         }
75         ++*su , FFT::mul(su,mxd);
76         for(int i=1;i<=mxd<<1;i++) tim[i] += su[i];
77         memset(su,0,sizeof(int)*(mxd<<1|1));
78         for(int at=s[root];at;at=nxt[at]) if( !ban[t[at]] ) solve(t[at],siz[t[at]]<siz[root]?siz[t[at]]:fs-siz[root]);
79     }
80 }
81 
82 int main() {
83     static int n;
84     static long double ans;
85     scanf("%d",&n);
86     for(int i=1,a,b;i<n;i++) scanf("%d%d",&a,&b) , ++a , ++b , Tree::addedge(a,b) , Tree::addedge(b,a);
87     Tree::solve(1,n) , ans = n;
88     for(int i=1;i<=n<<1;i++) ans += (long double) tim[i] / ( i + 1 );
89     printf("%0.4Lf\\n",ans);
90     return 0;
91 }
View Code


ここでこのまま
即使在这里就这样
僕が消えてしまっても 誰も知らずに
我消失不见了 谁也不会知道吧
明日が来るのだろう
明天依然会来临吧
わずか 世界のひとかけらに過ぎない
我仅仅是 这个世界的微小碎屑
ひとりを夜が包む
夜晚怀抱孤独的身影

以上是关于3451: Tyvj1953 Normal 点分治 FFT的主要内容,如果未能解决你的问题,请参考以下文章

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

bzoj3451Tyvj1953 Normal 期望+树的点分治+FFT

概率期望 FFT bzoj 3451 Tyvj1953 Normal

Tyvj 1953 Normal:多项式

bzoj3451 Normal

●Joyoi Normal