BZOJ2115 WC2011 Xor DFS+高斯消元
Posted WDZRMPCBIT
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了BZOJ2115 WC2011 Xor DFS+高斯消元相关的知识,希望对你有一定的参考价值。
题意:给定一张无向图,求1到N异或和最大的路径,允许重复经过。
题解:首先跑出1到N的一条路径,答案就是在这条路径上不断加环。首先用DFS处理出所有基环的异或和(其他环一定由基环构成,重复部分异或之后就会消掉),然后就是从一堆数里选任意个数使得异或和最小了,怎么做可以去看莫涛的课件(同解01异或方程),这里我简单介绍一下。
通过高斯消元,我们对原来的数进行操作,使得所有原来的数都可以用操作之后的数来组合而成(这玩意貌似叫线性基啊)。具体做法就是从高到低暴力枚举每一位i,找到一个第i位为1的数j,然后将所有除这个数外第i位为1的数x^=j,最后消出来的b就是线性基了。直观看起来很显然,具体的证明我也不会QAQ。
然后可以暴力枚举,看某个环是不是要加进去了。
#include <cstdio> #include <cstring> #include <cstdlib> #include <iostream> #include <algorithm> using namespace std; #define ll long long const int MAXN=50000+2; const int MAXM=100000+2; struct HASH{ int u; ll w; HASH *next; HASH(){} HASH(int _u,ll _w,HASH *_next):u(_u),w(_w),next(_next){} }*table[MAXN],mem[MAXM]; int N,M,C,cnt; ll ans,d[MAXN],w[2*MAXM]; bool flag[MAXN]; void Insert(int u,int v,ll w){ table[u]=&(mem[cnt++]=HASH(v,w,table[u]));} void DFS(int x){ flag[x]=1; for(HASH *p=table[x];p;p=p->next) if(!flag[p->u]) d[p->u]=d[x]^p->w,DFS(p->u); else cnt++,w[cnt]=d[x]^d[p->u]^p->w; } void Gauss(){ ll i=1; for(int j=60;j;j--) i<<=1; for(;i;i>>=1){ int j=C+1; while(j<=cnt && !(w[j]&i)) j++; if(j>cnt) continue; C++; swap(w[C],w[j]); for(int k=1;k<=cnt;k++) if(k!=C && (w[k]&i)) w[k]^=w[C]; } } int main(){ cin >> N >> M; for(int i=1;i<=M;i++){ int a,b;ll c; scanf("%d %d %lld",&a,&b,&c); Insert(a,b,c),Insert(b,a,c); } cnt=0,DFS(1); Gauss(),ans=d[N]; for(int i=1;i<=C;i++) ans=max(ans,ans^w[i]); cout << ans << endl; return 0; }
以上是关于BZOJ2115 WC2011 Xor DFS+高斯消元的主要内容,如果未能解决你的问题,请参考以下文章