[HAOI 2017]八纵八横

线段树分治+线形基。

线段树分治是个锤子？？

以时间轴构建线段树，把每个环以“对线段树产生影响的时间区间”的形式加入线段树即可。

#include<bits/stdc++.h>
#define ll bitset<1005>
using namespace std;
const int N=1005;
struct base{
	ll p[N];
	void insert(ll x){
		for (int i=N-1;i>=0;i--)
			if (x[i])
				if (p[i].any()) x^=p[i];
				else {p[i]=x;return;}
	}
} tmp;
struct edge{
	int u,v,l,r;ll dist;
} loop[N<<1];
int head[N],vet[N],nxt[N],fa[N],pos[N];
int n,m,q,x,y,tot,cnt,len,now;
ll dist[N],d[N],z,res;
char ch[N],opt[20];
vector <int> E[N<<2];
int getint(){
    int x=0,w=1;
	char ch=getchar();
    while ((ch<'0'||ch>'9')&&ch!='-') ch=getchar();
    if (ch=='-') w=0,ch=getchar();
    while (ch>='0'&&ch<='9') x=(x<<3)+(x<<1)+ch-'0',ch=getchar();
    return w?x:-x;
}
ll getll(){
    scanf("%s",ch);int len=strlen(ch);ll x;
    for (int i=0;i<len;++i) x[len-i-1]=ch[i]-'0';return x;
}
void add(int x,int y,ll z){
	nxt[++tot]=head[x];
	vet[tot]=y;
	head[x]=tot;
	dist[tot]=z;
}
int find(int x){return x==fa[x]?x:fa[x]=find(fa[x]);}
void dfs(int u,int father){
	for (int i=head[u];i;i=nxt[i]){
		int v=vet[i];
		if (v!=father) d[v]=d[u]^dist[i],dfs(v,u);
	}
}
void modify(int u,int l,int r,int ql,int qr,int i){
	if (ql<=l&&r<=qr){
		E[u].push_back(i);
		return;
	}
	int mid=l+r>>1;
	if (ql<=mid) modify(u<<1,l,mid,ql,qr,i);
	if (qr>mid) modify(u<<1|1,mid+1,r,ql,qr,i);
}
void query(int u,int l,int r,base b){
	for (int i=0;i<E[u].size();i++){
		int j=E[u][i];
		b.insert(d[loop[j].u]^d[loop[j].v]^loop[j].dist);
	}
	if (l==r){
		ll res=0;int j=N-1;
        for (int i=N-1;i>=0;i--)
            if (!res[i]) res^=b.p[i];
		while (j>=0&&!res[j]) j--;
		while (j>=0)
			if (res[j]) putchar('1'),j--; else putchar('0'),j--;
		puts("");
		return;
	}
	int mid=l+r>>1;
	query(u<<1,l,mid,b);
	query(u<<1|1,mid+1,r,b);
}
int main(){
	scanf("%d%d%d",&n,&m,&q);
	for (int i=1;i<=n;i++) fa[i]=i;
	for (int i=1;i<=m;i++){
		x=getint(),y=getint(),z=getll();
		if (find(x)^find(y)){
			add(x,y,z),add(y,x,z);
			fa[find(x)]=find(y);
		}
		else loop[++cnt]=(edge){x,y,0,q,z};
	}
	dfs(1,0);
	for (int i=1;i<=q;i++){
		scanf("%s",opt);
		if (opt[0]=='A'){
			x=getint(),y=getint(),z=getll();
			loop[++cnt]=(edge){x,y,i,q,z};
			pos[++now]=cnt;
		} else
		if (opt[1]=='h'){
			x=getint(),z=getll();
            loop[++cnt]=(edge){loop[pos[x]].u,loop[pos[x]].v,i,q,z};
			loop[pos[x]].r=i-1;
			pos[x]=cnt;
		}
		else{
			x=getint();
			loop[pos[x]].r=i-1;
			pos[x]=-1;
		}
	}
	for (int i=1;i<=cnt;i++)
		modify(1,0,q,loop[i].l,loop[i].r,i);
	query(1,0,q,tmp);
	return 0;
}