博客

传送门

题解：

每个边分给








log




n










$\log n$
个区间，之后从上往下做并查集即可。

注意按秩合并，这样才可以撤销操作。

（给写LCT的dalao们跪烂，因为博主对代码长度比较敏感所以弃疗了。。）

#include<bits/stdc++.h>
using namespace std;
const int Maxn=4e5+50;
inline int rd(){
    char ch=getchar();int i=0,f=1;
    while(!isdigit(ch)){if(ch=='-')f=-1;ch=getchar();}
    while(isdigit(ch)){i=(i<<1)+(i<<3)+ch-'0';ch=getchar();}
    return i*f; 
}
typedef pair<int,int> pii;
struct node{
    pii t;int v;
    node(pii t,int v):t(t),v(v){}
};
vector<pii>eg[Maxn];
vector<node>op[Maxn];
int n,m,T,anc[Maxn],v[Maxn],ans[Maxn],rk[Maxn];
inline void modify(int k,int l,int r,int L,int R,int x,int y){
    if(L<=l&&r<=R){eg[k].push_back(make_pair(x,y));return;}
    int mid=(l+r)>>1;
    if(R<=mid)modify(k<<1,l,mid,L,R,x,y);
    else if(L>mid)modify(k<<1|1,mid+1,r,L,R,x,y);
    else modify(k<<1,l,mid,L,R,x,y),modify(k<<1|1,mid+1,r,L,R,x,y);
}
inline int eval(int &x){
    int t=0;
    while(anc[x]!=x)t^=v[x],x=anc[x];
    return t;
}
inline void getans(int k,int l,int r){
    int bz=0;
    for(int i=0;i<eg[k].size();++i){
        int x=eg[k][i].first,y=eg[k][i].second;
        int v1=eval(x),v2=eval(y);
        if(x==y){
            if(!(v1^v2)){
                for(int i=l;i<=r;i++)ans[i]=0;
                bz=1;break;
            }else continue;
        }
        if(rk[x]<rk[y])swap(x,y);
        anc[y]=x;v[y]=v1^v2^1;int t=0;
        if(rk[x]==rk[y])++rk[x],t=1;
        op[k].push_back(node(make_pair(x,y),t));
    }
    int mid=(l+r)>>1;
    if(!bz&&l!=r)getans(k<<1,l,mid),getans(k<<1|1,mid+1,r);
    for(int i=op[k].size()-1;i>=0;i--){
        int x=op[k][i].t.first,y=op[k][i].t.second;
        anc[y]=y;v[y]=0;if(op[k][i].v)--rk[x];
    }
}
int main(){
    n=rd(),m=rd(),T=rd();
    for(int i=1;i<=T;i++)anc[i]=i,ans[i]=1,rk[i]=1;
    for(int i=1;i<=m;i++){
        int x=rd(),y=rd(),l=rd()+1,r=rd();
        if(l>r)continue;
        modify(1,1,T,l,r,x,y);
    }
    getans(1,1,T);
    for(int i=1;i<=T;i++)(ans[i]?puts("Yes"):puts("No"));
    return 0;
}