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
,pnt
,nxt
; ll a
,len
,d
,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
;
for (i=63; i>=0; i--) ans=max(ans,ans^c[i]);
printf("%lld\n",ans);
return 0;
}

by lych
2016.2.16