AGC002 D Stamp Rally 整体二分

题意

有n个点，m条无向边，根据输入编号。
现在我们已经占领了两个点，我们可以通过走边，然后要求至少占领z个节点，问你走过的边的最大编号最小是多少

题解

首先我们考虑n^2算法怎么写
对于每组询问我们可以，依次加边，利用并查集判断大小
对于x、y，若它们不在一个集合中，则我们占领的所有点是这两个之和，若不在，则是它们这个集合的大小
又由于询问显然具有单调性，所以我们可以考虑二分
所以…
整体二分？
具体的做法， 就是建log个并查集，每层独立，然后对询问二分

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=1e5+5,D=25;
int u[N],v[N];
struct query{
    int x,y,z,pos;
}q[N],s[N];
int ans[N];
int n,m,t;
int fa[D][N],sz[D][N];
int Find_father(int *fa,int x){
    if(x==fa[x])
        return x;
    return fa[x]=Find_father(fa,fa[x]);
}
void Merge(int *fa,int *sz,int x,int y){
    int f1=Find_father(fa,x);
    int f2=Find_father(fa,y);
    if(f1==f2)
        return ;
    fa[f1]=f2;
    sz[f2]+=sz[f1];
}
void Solve(int l,int r,int ql,int qr,int d){
    if(l==r){
        for(int i=ql;i<=qr;i++)
            ans[q[i].pos]=l;
        Merge(fa[d],sz[d],u[l],v[l]);
        return ;
    }
    int mid=(l+r)>>1;
    for(int i=l;i<=mid;i++){
        Merge(fa[d],sz[d],u[i],v[i]);
    }
    int tl=ql,tr=qr;
    for(int i=ql;i<=qr;i++){
        int f1=Find_father(fa[d],q[i].x);
        int f2=Find_father(fa[d],q[i].y);
        if((f1!=f2&&sz[d][f1]+sz[d][f2]>=q[i].z)||(f1==f2&&sz[d][f1]>=q[i].z))
            s[tl++]=q[i];
        else
            s[tr--]=q[i];
    }
    for(int i=mid+1;i<=r;i++){
        Merge(fa[d],sz[d],u[i],v[i]);
    }
    for(int i=ql;i<=qr;i++)
        q[i]=s[i];
    Solve(l,mid,ql,tl-1,d+1);
    Solve(mid+1,r,tl,qr,d+1);
}
int main()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)
        scanf("%d%d",&u[i],&v[i]);
    for(int i=1;i<D;i++)
        for(int j=1;j<=n;j++)
            fa[i][j]=j,sz[i][j]=1;
    scanf("%d",&t);
    for(int i=1;i<=t;i++){
        scanf("%d%d%d",&q[i].x,&q[i].y,&q[i].z);
        q[i].pos=i;
    }
    Solve(1,m,1,t,1);
    for(int i=1;i<=t;i++)
        printf("%d\n",ans[i]);
}