51NOD 1709：复杂度分析——题解

http://www.51nod.com/onlineJudge/questionCode.html#!problemId=1709

（我什么时候看到二进制贡献才能条件反射想到按位处理贡献呢……）

参考：https://www.cnblogs.com/hzoier/p/8593825.html

最朴素当然是LCA暴算。

但是更聪明的做法是考虑每个节点$u$，固定$lca$求贡献，能够$LCA(u,v)=lca$的点$v$的个数显然为$size[lca]-size[u$所在的以$lca$为根的子树$]$。

于是答案也就出来了，就是$bit[u->lca]*(size[lca]-size[u$所在的以$lca$为根的子树$])$。

当然复杂度不理想，因为有很多节点的贡献我们应该是可以一起算的。于是我们按照二进制位每位计算贡献。

如果你画个图你就会发现，设$anc[i][j]$为$i$的第$2^j-1$个祖先（注意，不是第$2^j$个祖先，原因请画图理解），则对于$u$，其第$j$位所带来的贡献就是$size[anc[u][j+1]]-size[anc[u][j]]$。

当然还没完，在这之上还有能够为其做出第j位贡献的点，所以我们还要加上$w[fa[anc[u][j+1]]]$才行。

（强烈建议画图体验，仅凭文字很难说明。）

（其实也就是$2^{j+1}$及以上有贡献的点，我们可以通过u一次跳跃过去，然后就是递归了）

#include<map>
#include<cmath>
#include<stack>
#include<queue>
#include<cstdio>
#include<cctype>
#include<vector>
#include<cstdlib>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
typedef long long ll;
const int N=1e5+5;
const int INF=1e9;
const int B=17;
inline int read(){
    int X=0,w=0;char ch=0;
    while(!isdigit(ch)){w|=ch=='-';ch=getchar();}
    while(isdigit(ch))X=(X<<3)+(X<<1)+(ch^48),ch=getchar();
    return w?-X:X;
}
struct node{
    int to,nxt;
}e[N*2];
int n,cnt,head[N],anc[N][B+4],fa[N];
int size[N],sum[N],idx[N],tot;
ll w[N];
inline void add(int u,int v){
    e[++cnt].to=v;e[cnt].nxt=head[u];head[u]=cnt;
}
void dfs(int u){
    idx[++tot]=u;size[u]=1;
    for(int i=head[u];i;i=e[i].nxt){
        int v=e[i].to;
        if(v==fa[u])continue;
        fa[v]=u;dfs(v);size[u]+=size[v];
    }
}
int main(){
    n=read();
    for(int i=1;i<n;i++){
        int u=read(),v=read();
        add(u,v);add(v,u);
    }
    dfs(1);
    for(int i=1;i<=n;i++)
        anc[i][0]=i,anc[i][1]=fa[i];
    for(int j=2;j<=B+1;j++){
        for(int i=1;i<=n;i++){
            anc[i][j]=fa[anc[anc[i][j-1]][j-1]];
        }
    }
    ll ans=0;
    for(int j=0;j<=B;j++){
        memset(w,0,sizeof(w));
        for(int i=1;i<=n;i++){
            int u=idx[i],v1=anc[u][j+1],v2=anc[u][j];
            if(!v1)v1=1;if(!v2)v2=1;
            w[u]=size[v1]-size[v2];
            w[u]+=w[fa[anc[u][j+1]]];
            ans+=w[u];
        }
    }
    printf("%lld
",ans);
    return 0;
}

+++++++++++++++++++++++++++++++++++++++++++

+本文作者：luyouqi233。 　　　　　　　　　　　　　　+

+欢迎访问我的博客：http://www.cnblogs.com/luyouqi233/ +

+++++++++++++++++++++++++++++++++++++++++++