题目
这是线段树分治的模板把。。将每条边的存活时间放到时间线段树里。注意带权并查集。
#include<cstdio>
#include<algorithm>
#include<vector>
using namespace std;
typedef pair<int,int>pii;
const int N=1e5+5;
struct Update{int x,y;}u[N<<1];
int ans[N],f[N],d[N],sz[N];
inline int seek(int &x){//找到x的祖先 以及x到祖先的路径奇偶性c
int c=0;
while(x!=f[x]) c^=d[x],x=f[x];
return c;
}
vector<int>vec[N<<2];
vector<pii>v[N<<2];
void ins(int id,int cl,int cr,int l,int r,int pos){
if(cl<=l&&r<=cr){vec[pos].push_back(id);return;}
int mid=(l+r)>>1;
if(cl<=mid) ins(id,cl,cr,l,mid,pos<<1);
if(cr>mid) ins(id,cl,cr,mid+1,r,pos<<1|1);
}
void divide(int l,int r,int pos){
int flag=0;
for(int i=0;i<vec[pos].size();++i){
int x=u[vec[pos][i]].x,y=u[vec[pos][i]].y,rx=x,ry=y,c1,c2;
c1=seek(rx),c2=seek(ry);
if(rx==ry&&c1==c2) {flag=1;break;}//加边后造成奇环 加边后偶环的话不用在并查集上加这个边 因为偶环存在无影响....
if(rx!=ry){
if(sz[rx]>sz[ry]) swap(rx,ry),swap(x,y);//也要交换x y!!!因为d[rx]=d[x]^1^d[y];要用到x,y。。。
f[rx]=ry,sz[ry]+=sz[rx];
d[rx]=d[x]^1^d[y];//按秩合并的带权并查集
v[pos].push_back(make_pair(rx,ry));
}
}
if(!flag){//flag时就不用继续分治了 子节点代表的时间段ans一定等于0...显然成立。。往下只会加边。。
if(l==r) ans[l]=1;
else{
int mid=(l+r)>>1;
divide(l,mid,pos<<1),divide(mid+1,r,pos<<1|1);
}
}
for(int i=v[pos].size()-1;i>=0;--i){//并查集的撤销
int x=v[pos][i].first,y=v[pos][i].second;
f[x]=x,sz[y]-=sz[x],d[x]=0;
}
}
int main(){
int n,m,tim;scanf("%d%d%d",&n,&m,&tim);
for(int i=1;i<=n;++i) f[i]=i,d[i]=0,sz[i]=1;
for(int i=1;i<=m;++i){
int t1,t2;scanf("%d%d%d%d",&u[i].x,&u[i].y,&t1,&t2);
ins(i,t1+1,t2,1,tim,1);
}
divide(1,tim,1);
for(int i=1;i<=tim;++i) puts(ans[i]?"Yes":"No");
}