BZOJ3563: DZY Loves Chinese【线性基】

3563: DZY Loves Chinese

我们将每一条非树边异或上一个权值，覆盖树边。

每次询问这些删除的边是否可以异或为0，线性基就可以了。

为什么这样可以请看这篇杜教的证明UOJ

#include<cstdio>
using namespace std;
const int MAXN=100005,MAXE=500005;
int n,m,Ans=0,fa[MAXN],Val[MAXE],W[MAXN],cnt[MAXN];
struct Edge{
	int tot,lnk[MAXN],nxt[MAXN<<1],son[MAXN<<1],ID[MAXN<<1];
	void Add(int x,int y,int id){nxt[++tot]=lnk[x];lnk[x]=tot;son[tot]=y,ID[tot]=id;}
}E;
struct Ed{int x,y,f;}a[MAXE];
#include<cctype>
int read(){
	int ret=0;char ch=getchar();bool f=1;
	for(;!isdigit(ch);ch=getchar()) f^=!(ch^'-');
	for(; isdigit(ch);ch=getchar()) ret=(ret<<1)+(ret<<3)+ch-48;
	return f?ret:-ret;
}
void merge(int x,int y){if(cnt[x]<cnt[y]) fa[x]=y,cnt[y]+=cnt[x];else fa[y]=x,cnt[x]+=cnt[y];}
int get(int x){return fa[x]==x?x:fa[x]=get(fa[x]);}
int Random1(){
	static int sed=703;
	return sed=sed*483671LL%2147483647;
}
int Random2(){
	static int sed=2333;
	return sed=sed*483671LL%2147483647;
}
void DFS(int x,int fa){
	for(int j=E.lnk[x];j;j=E.nxt[j])
	if(E.son[j]!=fa) DFS(E.son[j],x),W[x]^=W[E.son[j]],Val[E.ID[j]]=W[E.son[j]];
}
struct JI{
	int p[32];
	bool Insert(int x){
		if(!x) return 1;
		for(int i=31;i>=0;i--)
		if((x>>i)&1){
			if(!p[i]){p[i]=x;return 0;}
			x^=p[i];
			if(!x) return 1;
		}
	}
	void clear(){for(int i=0;i<=31;i++) p[i]=0;}
}J;
int main(){
	n=read(),m=read();
	for(int i=1;i<=n;i++) fa[i]=i,cnt[i]=1;
	for(int i=1;i<=m;i++) a[i]=(Ed){read(),read()},Val[i]=Random1();
	for(int i=1;i<=m;i++){
		int x=get(a[i].x),y=get(a[i].y);
		if(x==y) W[a[i].x]^=Val[i],W[a[i].y]^=Val[i];
		else a[i].f=1,merge(x,y),E.Add(a[i].x,a[i].y,i),E.Add(a[i].y,a[i].x,i);
	}
	DFS(1,0);
	for(int Q=read(),t;t=1,Q--;printf(t?"Connected\n":"Disconnected\n"),Ans+=t,J.clear())
	for(int K=read(),i=1;i<=K;i++) if(J.Insert(Val[read()^Ans])) t=0;
	return 0;
}