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;
}
View Code

 

以上是关于BZOJ2115 WC2011 Xor DFS+高斯消元的主要内容,如果未能解决你的问题,请参考以下文章

BZOJ 2115 [Wc2011] Xor ——线性基

BZOJ2115 [Wc2011] Xor

BZOJ-2115Xor 线性基 + DFS

2115: [Wc2011] Xor (线性基+dfs)

BZOJ 2115 [Wc2011] Xor

bzoj2115 [Wc2011] Xor