bzoj2115 Xor dfs&线性基

        对于两条路径，把这两条路径Xor一下会发现得到了若干个圈。

       然后一个大的圈可以由几个小的简单圈Xor一下得到。

       所以任意一条路径，都可以由另一条路径Xor几个简单圈得到。

       于是就变成那个随便找一条路径，然后看一下能不能加入几个简单圈使答案变大了。

       线性基维护一下就好了。

AC代码如下：

#include<iostream>
#include<cstdio>
#include<cstring>
#define ll long long
#define N 200005
using namespace std;

int n,m,cnt,tot,fst[N],pnt[N],nxt[N]; ll a[N],len[N],d[N],bin[105],c[105];
void add(int aa,int bb,ll cc){
	pnt[++tot]=bb; len[tot]=cc; nxt[tot]=fst[aa]; fst[aa]=tot;
}
void dfs(int x){
	int p;
	for (p=fst[x]; p; p=nxt[p]){
		int y=pnt[p];
		if (!d[y]){ d[y]=d[x]^len[p]; dfs(y); }
		else a[++cnt]=d[x]^d[y]^len[p];
	}
}
int main(){
	scanf("%d%d",&n,&m); int i,j;
	for (i=1; i<=m; i++){
		int x,y; ll z; scanf("%d%d%lld",&x,&y,&z);
		add(x,y,z); add(y,x,z);
	}
	dfs(1); bin[0]=1; for (i=1; i<=64; i++) bin[i]=bin[i-1]<<1;
	for (i=1; i<=cnt; i++) for (j=63; j>=0; j--)
		if (a[i]&bin[j]){
			if (!c[j]){ c[j]=a[i]; break; }
			else a[i]^=c[j];
		}
	ll ans=d[n];
	for (i=63; i>=0; i--) ans=max(ans,ans^c[i]);
	printf("%lld\n",ans);
	return 0;
}