BZOJ3569: DZY Loves Chinese II

在线判无向图删掉一些边后是否还连通

我们建出这个无向图的一棵生成树，如果删掉一些边后这个图不连通，一定存在某一条树边，他被删去且覆盖他的所有非树边也被删去
于是我们给每条非树边随机一个权值，每条树边的权值为所有覆盖他的非树边的权值的异或和，那么“他被删去且覆盖他的所有非树边也被删去”对应的就是删去的边权中存在一个子集的异或和为0
于是每次我们对删去的边权建一个线性基，判一下有没有异或和为0的子集即可

code：

#include<set>
#include<map>
#include<deque>
#include<queue>
#include<stack>
#include<cmath>
#include<ctime>
#include<bitset>
#include<string>
#include<vector>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<climits>
#include<complex>
#include<iostream>
#include<algorithm>
#define ll long long
using namespace std;

inline void read(int &x)
{
    char c; while(!((c=getchar())>='0'&&c<='9'));
    x=c-'0';
    while((c=getchar())>='0'&&c<='9') (x*=10)+=c-'0';
}
const int maxn = 210000;
const int maxm = 1100000;

int n,m,q;
ll val[maxm];
int e[maxm][2],ok[maxm];

struct edge{int i,y,nex;}a[maxm]; int len,fir[maxn];
inline void ins(const int x,const int y,const int i){a[++len]=(edge){i,y,fir[x]};fir[x]=len;}

int dep[maxn];
void dfs(const int x,const int fa)
{
    for(int k=fir[x],y=a[k].y,i=a[k].i;k;k=a[k].nex,y=a[k].y,i=a[k].i) if(y!=fa)
        if(!dep[y]) ok[i]=1,dep[y]=dep[x]+1,dfs(y,x);
}
ll fl[maxn];
ll getval(const int x,const int fa)
{
    ll vv=fl[x];
    for(int k=fir[x],y=a[k].y;k;k=a[k].nex,y=a[k].y) if(y!=fa&&ok[a[k].i])
    {
        val[a[k].i]=getval(y,x);
        vv^=val[a[k].i];
    }
    return vv;
}

ll base[70],t[maxn];
int u=63,tp;
int build()
{
    for(int i=0;i<u;i++) base[i]=0;
    for(int i=1;i<=tp;i++)
    {
        for(int j=u-1;j>=0;j--) if(t[i]>>j&1ll)
        {
            if(base[j]) t[i]^=base[j];
            else { base[j]=t[i]; break; }
        }
        if(!t[i]) return 0;
    }
    return 1;
}

int main()
{
    srand(200713241);

    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)
    {
        int x,y; read(x),read(y);
        ins(x,y,i),ins(y,x,i);
        e[i][0]=x,e[i][1]=y;
    }
    dep[1]=1; dfs(1,0);
    for(int i=1;i<=m;i++) if(!ok[i])
    {
        int x=e[i][0],y=e[i][1]; if(dep[x]>dep[y]) swap(x,y);
        val[i]=(ll)rand()*rand();
        fl[y]^=val[i],fl[x]^=val[i];
    }
    getval(1,0);

    read(q); int lastans=0;
    for(int i=1;i<=q;i++)
    {
        int ans=0;
        read(tp);
        for(int i=1;i<=tp;i++)
        {
            int x; read(x); x^=lastans;
            t[i]=val[x];
        }
        ans=build();
        puts(ans?"Connected":"Disconnected");
        lastans+=ans;
    }

    return 0;
}