3569: DZY Loves Chinese II
我们将每一条非树边异或上一个权值,覆盖树边。
每次询问这些删除的边是否可以异或为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;
}