2019 acm-icpc 西安全国邀请赛 J

2019 acm-icpc 西安全国邀请赛 J

题目链接: https://nanti.jisuanke.com/t/39277

题意:
给一棵树,X(u,v)为uv两点件所有边的异或值
求:在这里插入图片描述
结果取模1e9+7
数据范围:n<=1e5, 边权w<=1e18

不太正确的思路(树上启发式合并):
用map记录 每个异或值子树大小
在子节点与父节点合并过程中更新答案
合并时采取启发式合并
注意对每个子节点更新时需先减去子节点对父节点异或值为0的贡献,计算结束后再加上
特别的:在计算异或值得时候不需要对map内每个点异或,只需对标记数组进行异或更新,计算答案时异或标记数组即可

代码

#include <bits/stdc++.h>
using namespace std;

const int maxn=100005;
const long long mod=1e9+7;

long long ecnt=1,head[maxn<<1];
struct edge{
    long long next,to,w;
}e[maxn<<1];
void add(long long u,long long v,long long w){
    e[ecnt].to=v;
    e[ecnt].next=head[u];
    e[ecnt].w=w;
    head[u]=ecnt++;
}

long long siz[maxn];

int to[maxn];
long long jwj[maxn],temp; //jwj为标记数组

long long ans=0;
map<long long,long long> m[maxn];

void dfs(int x,int fa){

    m[to[x]][0]+=siz[x];

    for(long long i=head[x];i;i=e[i].next){
        long long v=e[i].to;
        long long w=e[i].w;
        if(v==fa) continue;
        dfs(v,x);

        m[to[x]][0^jwj[x]]-=siz[v];
        temp=jwj[v]^jwj[x]^w;

        ans=(ans+((m[to[v]][w^jwj[v]]%mod)*((siz[1]-siz[x])%mod)))%mod;

        map<long long,long long>::iterator iter;
        if(m[to[x]].size()<m[to[v]].size()){
            for(iter=m[to[x]].begin();iter!=m[to[x]].end();iter++){
                long long a=iter->first;
                long long b=iter->second;
                ans=(ans+((m[to[v]][a^temp]%mod)*(b%mod))%mod)%mod;
            }
            for(iter=m[to[x]].begin();iter!=m[to[x]].end();iter++){
                long long a=iter->first;
                long long b=iter->second;
                m[to[v]][a^temp]+=b;
            }
            to[x]=to[v];
            jwj[x]=jwj[v]^w;
        }
        else{
            for(iter=m[to[v]].begin();iter!=m[to[v]].end();iter++){
                long long a=iter->first;
                long long b=iter->second;
                ans=(ans+((m[to[x]][a^temp]%mod)*(b%mod))%mod)%mod;
            }
            for(iter=m[to[v]].begin();iter!=m[to[v]].end();iter++){
                long long a=iter->first;
                long long b=iter->second;
                m[to[x]][a^temp]+=b;
            }
        }
        m[to[x]][0^jwj[x]]+=siz[v];

    }
}

void dfs1(int x,int fa){
    siz[x]=1;
    for(int i=head[x];i;i=e[i].next){
        int v=e[i].to;
        if(v==fa) continue;
        dfs1(v,x);
        siz[x]+=siz[v];
    }
}
int main(){
    int n;
    cin>>n;
    for(int i=1;i<maxn;i++) to[i]=i;
    for(int i=2;i<=n;i++){
        long long x=i,y,w;
        cin>>y>>w;
        add(x,y,w);
        add(y,x,w);
    }
    dfs1(1,0);
    dfs(1,0);
    cout<<ans%mod<<endl;
}

以上为5月的我的做法,对树上问题理解还不够深刻(虽然现在也不是很深刻),虽然通过了这题,但现在回头再看这个算法,仔细考虑会发现用到的空间大小是有问题的,因为对每个点都开了一个map来存该子树上由此点开始的所有异或值,空间复杂度是有可能来到 n 2 n^2 n2 级别的,因此我们重新考虑做法。

由于异或值具有特殊性,如果由同一个点开始到另外两个点的链上异或值相同,那么即可以得到这两个点之间链上异或值为0。
由这个特性,我们在第一遍dfs时可以处理出由1号点开始到每个点的异或值,之后第二遍dfs只需用一个map即可进行计数,计数时只需考虑map里异或值相同的值即可。
特别的,在向子节点v进行dfs过程中,如果temp为到该点的异或值, s i z [ v ] siz[v] siz[v] 为子树v的大小,那么我们将 m a p [ t e m p ] map[temp] map[temp] 值修改为 n − s i z [ v ] n-siz[v] nsiz[v],并在该点子节点都遍历完后将 m a p [ t e m p ] map[temp] map[temp] 的值修改为 s i z [ x ] siz[x] siz[x]

代码也变得简单清晰明了了很多

#include<bits/stdc++.h>
using namespace std;

typedef pair<long long,long long> P;

long long siz[100005],xx[100005],res=0,mod=1e9+7;
int n;

vector<P> E[100005];
unordered_map<long long,long long> m;

void dfs1(int x){
    siz[x]=1;
    for(auto i:E[x]){
        xx[i.first]=xx[x]^i.second;
        dfs1(i.first);
        siz[x]+=siz[i.first];
    }
}

void dfs2(int x){
    long long temp=xx[x];
    res=(res+siz[x]*m[temp])%mod;
    for(auto i:E[x]){
        long long v=i.first,w=i.second;
        m[temp]+=n-siz[v];
        dfs2(v);
        m[temp]-=n-siz[v];
    }
    m[temp]+=siz[x];
}

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);

    cin>>n;
    for(int i=2;i<=n;i++){
        long long x,w;
        cin>>x>>w;
        E[x].push_back(P(i,w));
    }
    dfs1(1);
    dfs2(1);
    cout<<res<<endl;
}

  • 1
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值