BZOJ 2115 Xor（线性基）

Description

考虑一个边权为非负整数的无向连通图，节点编号为$1$到$N$，试求出一条从$1$号节点到$N$号节点的路径，使得路径上经过的边的权值的异或和最大。路径可以重复经过某些点或边，当一条边再路径中出现了多次时，其权值在计算异或和时也要被计算相应多的次数，具体见样例。

Input

第一行包含两个整数$N$和$M$， 表示该无向图中点的数目与边的数目。 接下来$M$行描述$M$条边，每行三个整数$S_i,T_i ,D_i$，表示$S_i$与$T_i$之间存在 一条权值为$D_i$的无向边。 图中可能有重边或自环。

$(N\le 5\times 10^5,M\le 10^6,D_i\le 10^{18})$

Output

仅包含一个整数，表示最大的异或和（十进制结果）,注意输出后加换行回车。

Sample Input

5 7

1 2 2

1 3 2

2 4 1

2 5 1

4 5 3

5 3 4

4 3 2

Sample Output

6

Solution

容易看出$1$到$n$的所有路径都是由一条由$1$到$n$的简单路径和若干基本环组成，且随意找一条$1$到$n$的简单路径和另一条$1$到$n$的简单路径都可以组成一个基本环，那么由一条简单路径加上一个大环就可以找到所有从$1​$到$n​$的简单路径，故一遍$dfs$找到一条$1$到$n$的简单路径并且找到所有基本环的权值（环的权值定义为环上边权异或和），那么我们要找的边权异或和最大的路径可以通过这条已经找到的简单路径的边权异或和这些基本环的权值适当异或得到，进而只要找到这些基本环权值的线性基，然后从高位到低位看当前最大值异或这一位的基是否可以更大即可

Code

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<vector>
#include<queue>
#include<map>
#include<set>
#include<ctime>
using namespace std;
typedef long long ll;
typedef pair<int,int>P;
const int INF=0x3f3f3f3f,maxn=50005;
int n,m,vis[maxn],tot,head[maxn];
ll dis[maxn],base[66];
vector<ll>a;
struct node
{
    int v,next;
    ll w;
}g[200005];
void add(int u,int v,ll w)
{
    g[tot].v=v,g[tot].next=head[u],g[tot].w=w,head[u]=tot++;
}
void dfs(int u,ll d)
{
    dis[u]=d,vis[u]=1;
    for(int i=head[u];~i;i=g[i].next)
    {
        int v=g[i].v;
        ll w=g[i].w;
        if(vis[v])a.push_back(dis[u]^dis[v]^w);
        else dfs(v,dis[u]^w);
    }
}
int main()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++)head[i]=-1;
    while(m--)
    {
        int u,v;
        ll w;
        scanf("%d%d%lld",&u,&v,&w);
        add(u,v,w),add(v,u,w);
    }
    dfs(1,0);
    ll ans=dis[n];
    for(int i=0;i<a.size();i++)
        for(int j=62;j>=0;j--)
            if((a[i]>>j)&1)
            {
                if(!base[j])
                {
                    base[j]=a[i];
                    break;
                }
                else a[i]^=base[j];
            }
    for(int i=62;i>=0;i--)ans=max(ans,ans^base[i]);
    printf("%lld\n",ans);
    return 0;
}