bzoj4025(二分图 线段树分治+带权并查集模板)

题目
这是线段树分治的模板把。。将每条边的存活时间放到时间线段树里。注意带权并查集。

#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");
}