BZOJ2115: [Wc2011] Xor（洛谷P4151）

线性基

BZOJ题目传送门
洛谷题目传送门

妙蛙

假如我们已经找到一条路径，如果要使答案变大，显然只能在这条路径上加环。而从路径到环的边会走两遍，因此不会影响答案。那么我们把所有环扔进线性基里，然后用这条路径求出最大值即可。

至于这条路径，其实是可以随便选的。因为如果另一条路径比它更优，它们就会形成环，在线性基里就会变成另一条路径了。

代码：

#include<cctype>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define N 50005
#define F inline
using namespace std;
typedef long long LL;
struct edge{ int nxt,to; LL d; }ed[N<<2];
int n,m,k,h[N]; LL s[N],p[64]; bool f[N];
F char readc(){
	static char buf[100000],*l=buf,*r=buf;
	if (l==r) r=(l=buf)+fread(buf,1,100000,stdin);
	return l==r?EOF:*l++;
}
F LL _read(){
	LL x=0; char ch=readc();
	while (!isdigit(ch)) ch=readc();
	while (isdigit(ch)) x=(x<<3)+(x<<1)+(ch^48),ch=readc();
	return x;
}
#define add(x,y,z) ed[++k]=(edge){h[x],y,z},h[x]=k
F void nsrt(LL x){
	for (int i=63;~i;i--)
		if ((x>>i)&1) if (!p[i]){ p[i]=x; break; } else x^=p[i];
}
F LL srch(LL x){ for (int i=63;~i;i--) if ((x^p[i])>x) x^=p[i]; return x; }
void dfs(int x,LL sum){
	s[x]=sum,f[x]=true;
	for (int i=h[x],v;i;i=ed[i].nxt)
		if (!f[v=ed[i].to]) dfs(v,sum^ed[i].d);
		else nsrt(sum^ed[i].d^s[v]);
}
int main(){
	n=_read(),m=_read();
	for (int i=1;i<=m;i++){
		int x=_read(),y=_read(); LL z=_read();
		add(x,y,z),add(y,x,z);
	}
	return dfs(1,0),printf("%lld\n",srch(s[n])),0;
}