BZOJ 4025 二分图

听说,一个优秀的oier是题目喂出来的

题意

n个点m条边,总时间为T。

每天边有一个存在的时间。问对于每个时间,该图是否为二分图。

解题思路

学过图论,我们知道一个图是二分图,当且仅当他没有奇环。

显然如果两个点不连通,那么我们可以在其中直接连边,无需考虑其他条件。所以我们知道需要一个并查集。

一开始发现边会消失,然后就自闭了。

经过dalao提点,发现有种叫可撤销并查集的东西。

考虑到对于每条边的存在时间,它可以被表示为线段树上的 log n 个节点。

遍历一遍线段树,然后把当前节点的边加入。递归左右儿子,然后撤销边。

判断奇环考虑暴力跳,会挂。套一个启发式合并。

启发式合并必须是根与根之间连边,所以我们要对连边稍作处理,把边权改一改,就可以等价于直接连边了。

代码

#include<bits/stdc++.h>
#define lson o<<1,l,mid
#define rson o<<1|1,mid+1,r
using namespace std;
const int sz=2e5+527;
int n,m,T;
int dep[sz],f[sz],d[sz];
queue<int>q[sz<<1];
int getfa(int x) { return x==f[x]?x:getfa(f[x]); }
int getdis(int x) { return x==f[x]?0:d[x]^getdis(f[x]); }
struct Edge{
    int u,v,w;
}e[sz];
void insert(int o,int l,int r,int x,int y,int num){
    if(x<=l&&r<=y) return (void)(q[o].push(num));
    int mid=(l+r)>>1;
    if(x<=mid) insert(lson,x,y,num);
    if(mid<y) insert(rson,x,y,num);
}
void resum(stack<Edge>S){
    while(!S.empty()){
        d[f[S.top().u]=S.top().u]=0;
        dep[S.top().v]-=S.top().w;
        S.pop();
    }
}
void solve(int o,int l,int r){
    stack<Edge>S;
    while(!q[o].empty()){
        int num=q[o].front();
        q[o].pop();
        int x=e[num].u,y=e[num].v;
        int fx=getfa(x),fy=getfa(y);
        int w=getdis(x)^getdis(y)^1;
        if(fx==fy&&w){
            for(int i=l;i<=r;i++) puts("No");
            return (void)(resum(S));
        }
        if(fx!=fy){
            if(dep[fx]>dep[fy]) swap(fx,fy),swap(x,y);
            Edge cur=(Edge){fx,fy,0};
            f[fx]=fy,d[fx]=w;
            if(dep[fx]==dep[fy]) ++dep[fy],cur.w=1;
            S.push(cur);
        }
    }
    if(l==r){ resum(S);return (void)(puts("Yes")); }
    int mid=(l+r)>>1;
    solve(lson);
    solve(rson);
    resum(S);
}
int main(){
    scanf("%d%d%d",&n,&m,&T);
    int u,v,L,R;
    for(int i=1;i<=n;i++) f[i]=i;
    for(int i=1;i<=m;i++){
        scanf("%d%d%d%d",&u,&v,&L,&R);
        L++;
        e[i]=(Edge){u,v,1};
        insert(1,1,T,L,R,i);
    }
    solve(1,1,T);
}

猜你喜欢

转载自www.cnblogs.com/river-flows-in-you/p/11286120.html