【BZOJ2115】Xor（线性基）

【BZOJ2115】Xor（线性基）

题面

BZOJ

Description

Input

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

Output

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

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

HINT

题解

答案是怎么来的？

对于任意一个环，我们一定可以走到某条路径，

使得这条路径的异或和恰好是环的异或和

因此，对于答案有贡献的就是环

所以，\(dfs\)找到所有环的异或和（其实并不是所有环）

这样来想，\(dfs\)强制所有点只能访问一次

这样遍历出来的相当于是一棵生成树

此时，多出来的边就是返祖边

此时形成了环

如果存在更大的环，一定可以表示为两个或更多个小环的异或和

最后把任意一条\(1～n\)路径的异或和丢到线性基里面求最大值就行了

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<set>
#include<map>
#include<vector>
#include<queue>
using namespace std;
#define ll long long
#define RG register
#define MAXL 120000
#define MAX 55555
inline ll read()
{
    RG ll x=0,t=1;RG char ch=getchar();
    while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
    if(ch=='-')t=-1,ch=getchar();
    while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
    return x*t;
}
struct Line{int v,next;ll w;}e[MAXL<<1];
int h[MAX],cnt=1,n,m;
inline void Add(int u,int v,ll w){e[cnt]=(Line){v,h[u],w};h[u]=cnt++;}
bool vis[MAX];
ll Xor[MAX];
struct xxj
{
	ll p[60];
	void insert(ll x)
	{
		for(int i=59;i>=0;--i)
		{
			if(~x&(1ll<<i))continue;
			if(!p[i]){p[i]=x;break;}
			x^=p[i];
		}
	}
	ll Query(ll x)
	{
		for(int i=59;i>=0;--i)x=max(x,x^p[i]);
		return x;
	}
}G;
void dfs(int u,int ff)
{
	vis[u]=true;
	for(int i=h[u];i;i=e[i].next)
	{
		int v=e[i].v;
		if(v==ff)continue;
		if(vis[v])
		{
			G.insert(Xor[u]^Xor[v]^e[i].w);
			continue;
		}
		Xor[v]=Xor[u]^e[i].w;
		dfs(v,u);
	}
}

int main()
{
	n=read();m=read();
	for(int i=1;i<=m;++i)
	{
		int u=read(),v=read();ll w=read();
		Add(u,v,w);Add(v,u,w);
	}
	dfs(1,0);
	printf("%lld\n",G.Query(Xor[n]));
	return 0;
}