【题解】DZY Loves Chinese

【题解】DZY Loves Chinese II

不吐槽这题面了...

考虑如何维护图的连通性，如果把图的变成一颗的(dfs)生成树，那么如果把一个节点的父边和他接下来所有的返祖边删除，那么我们就可以确定图的连通性改变了。

考虑如何快速维护这个东西。

可以考虑这样

• 对于每条非树边，给他一个随机数的权值。
• 对于每条树边，他的权值是横跨他的所有非树边的(xor)和。

那么也就是说，将非树边的状态通过(xor)压缩2到其他树边上了。树边的权值是由与他有关的非树边决定的。

查询的时候建基底，如果有数到最后被基底表示出来了，连通性就发生了变化。

正确性(忽略随机数的影响)我不知道怎么说，分情况讨论吧。

• 假设多条权值一样的在集合内

  • 可能都是树边->权值一样代表这些点在一条链上，一条链断开了(ge 2)条边，就算有一条非树边的帮助，肯定发生了连通性的改变。

  • 可能有一条返祖边->树边的后路被切断了，切掉这两条边后，肯定有节点脱节了。

• 假设不存在多条权值一样的在几何内，但是有的权值被线性基表示出来了

  • 说明有至少一个点，横跨他的所有返祖边都被切断了，自己的树边也被切断了。

• 假设这些点是线性无关的，不存在被表示出来的情况

  • 说明不存在有点的返祖边和树边被同时切断，说明图的连通性没有改变。

这道题其实也启示了我们一个做题的技巧，可以利用线性基将许多状态都压缩起来。

最终时间复杂度(O(32qk))很快了

#include<bits/stdc++.h>
using namespace std;
#define RP(t,a,b) for(register int t=(a),edd_=(b);t<=edd_;(t)++)
#define DRP(t,a,b) for(int t=(a),edd_=(b);t>=edd_;(t)--)
#define ERP(t,a) for(register int t=head[a];t!=-1;t=e[t].nx)
#define TMP template < class ccf>
typedef long long ll;
#define Max(a,b) ((a)>(b)?(a):(b))


TMP inline ccf qr(ccf b) {
	char c=getchar();
	int q=1;
	ccf x=0;
	while(c<48||c>57)
		q=c==45?-1:q,c=getchar();
	while(c>=48&&c<=57)
		x=x*10ll+c-48,c=getchar();
	return q==-1?-x:x;

}
const int maxm=500005;
const int maxn=100005;
struct E {
	int to,nx;
} e[maxm<<1];
int cnt(1);
int head[maxn];
inline void add(int fr,int to,bool f) {
	cnt++;
	e[cnt].to=to;
	e[cnt].nx=head[fr];
	head[fr]=cnt;
	if(f)
		add(to,fr,0);
}
int ew[maxm];
int dfn[maxn];
int had[maxn];
int timer;

void dfs(int now,int last) {
	dfn[now]=++timer;
	ERP(t,now) {
		if(e[t].to!=last) {
			if(!dfn[e[t].to]) {
				dfs(e[t].to,now);
				had[now]^=had[e[t].to];
				ew[t>>1]=had[e[t].to];

			} else if(dfn[now]>dfn[e[t].to]) {
				register int x=rand();
				ew[t>>1]=x;
				had[e[t].to]^=x;
				had[now]^=x;
			}
		}
	}
}


int base[35];
int num[35];
inline int upd(int x) {
	DRP(t,31,1) {
		if(x&num[t]) {
			if(base[t])
				x^=base[t];
			else {
				base[t]=x;
				break;
			}
		}
	}
	return x==0;
}

int q,n,k,m;
int t1,t2,t3;
int sigma,temp;

int main() {
	memset(head,-1,sizeof head);
	srand(19491001);
	num[1]=1;
	RP(t,2,32)
	num[t]=num[t-1]<<1;
//	cout<<(int)'0'<<' '<<(int)'9'<<' '<<(int)'-'<<endl;
	n=qr(1);
	m=qr(1);
	
	RP(t,1,m) {
		t1=qr(1);
		t2=qr(1);
		add(t1,t2,1);
	}

	dfs(1,0);

	q=qr(1);
	RP(t0,1,q) {
		k=qr(1);
		temp=1;
		memset(base,0,sizeof base);
		RP(qaqqqq,1,k) {
			register int x=ew[qr(1)^sigma];
			if(upd(x))
				temp=0;
		}
		sigma+=temp;
		if(temp)
			puts("Connected");
		else
			puts("Disconnected");
	}
	return  0;
}