bzoj 3237: [Ahoi2013]连通图 cdq分治+可撤销并查集

题意

给一个n个点m条边的无向图，有K个询问，每次询问删掉一些边后原图是否仍然连通。
N<=100000 M<=200000 K<=100000

分析

这题的分治思路很棒棒呀。
由于是离线，可以把询问全部扒下来，然后对询问进行分治。
每次把左边没有右边有的边加进来，然后分治左边，右边同理。
连通性的话就用可撤销并查集维护一下就好了。

什么？你问我如果强制在线的话要怎么做？当然是随机大法好啦，具体可以看这题的加强版

代码

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
#define mp(x,y) make_pair(x,y)
using namespace std;

typedef pair<int,int> pi;

const int N=200005;

int n,m,q,top,size[N],f[N],now,ans[N],tot[N],a[N][5];
bool vis[N];
struct edge{int x,y;}e[N];
pi stack[N];

int read()
{
    int x=0,f=1;char ch=getchar();
    while (ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while (ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
    return x*f;
}

int find(int x)
{
    if (f[x]==x) return x;
    else return find(f[x]);
}

void merge(int id)
{
    int x=find(e[id].x),y=find(e[id].y);
    if (x==y) return;
    now--;
    if (size[x]>size[y]) swap(x,y);
    f[x]=y;size[y]+=size[x];
    stack[++top]=mp(x,y);
}

void pop(int tim)
{
    while (top>tim)
    {
        int x=stack[top].first,y=stack[top].second;
        size[y]-=size[x];f[x]=x;
        now++;top--;
    }
}

void solve(int l,int r)
{
    if (l==r) {ans[l]=(now==1);return;}
    int tim=top,mid=(l+r)/2;
    for (int i=l;i<=mid;i++)
        for (int j=1;j<=tot[i];j++)
            vis[a[i][j]]=1;
    for (int i=mid+1;i<=r;i++)
        for (int j=1;j<=tot[i];j++)
            if (!vis[a[i][j]]) merge(a[i][j]),vis[a[i][j]]=1;
    for (int i=l;i<=r;i++)
        for (int j=1;j<=tot[i];j++)
            vis[a[i][j]]=0;
    solve(l,mid);
    pop(tim);
    for (int i=mid+1;i<=r;i++)
        for (int j=1;j<=tot[i];j++)
            vis[a[i][j]]=1;
    for (int i=l;i<=mid;i++)
        for (int j=1;j<=tot[i];j++)
            if (!vis[a[i][j]]) merge(a[i][j]),vis[a[i][j]]=1;
    for (int i=l;i<=r;i++)
        for (int j=1;j<=tot[i];j++)
            vis[a[i][j]]=0;
    solve(mid+1,r);
    pop(tim);
}

int main()
{
    n=read();m=read();
    for (int i=1;i<=m;i++) e[i].x=read(),e[i].y=read();
    q=read();
    for (int i=1;i<=q;i++)
    {
        tot[i]=read();
        for (int j=1;j<=tot[i];j++) a[i][j]=read(),vis[a[i][j]]=1;
    }
    for (int i=1;i<=n;i++) f[i]=i,size[i]=1;
    now=n;
    for (int i=1;i<=m;i++)
        if (!vis[i]) merge(i);
        else vis[i]=0;
    solve(1,q);
    for (int i=1;i<=q;i++) puts(ans[i]?"Connected":"Disconnected");
    return 0;
}