Codeforces891C. Envy

$n \leq 5e5$，$m \leq 5e5$的无向边权图，$q \leq 5e5$个询问，每次问一系列边是否能同时存在于某棵最小生成树上。

一条边在最小生成树上，当比他小的边都加入后，加入他会使连通块数-1，也就是他两端的点在加入比他小的所有边后仍不在一起。

于是乎把所有询问的所有边排序，每次处理一个询问的一种边，新开一个并查集看看把这个询问的边加进去之后会不会有一条边是废的（没使连通块数-1，也就是两端点的并查集父亲相同）。

//#include<iostream>
#include<cstring>
#include<cstdlib>
#include<cstdio>
#include<vector>
//#include<queue>
//#include<time.h>
//#include<complex>
#include<algorithm>
#include<stdlib.h>
using namespace std;

int n,m,lq;
#define maxn 500011
struct Edge{int from,to,v;}edge[maxn];
int ufs[maxn],vis[maxn],ufsb[maxn];
int find(int x) {return ufs[x]==x?x:(ufs[x]=find(ufs[x]));}
int findb(int Time,int x) {return vis[x]==Time?(ufsb[x]==x?x:(ufsb[x]=findb(Time,ufsb[x]))):(vis[x]=Time,(ufsb[x]=find(x)));}

bool ans[maxn];
struct vnode{int id,e;};
vector<vnode> v[maxn],ve[maxn];

int main()
{
    scanf("%d%d",&n,&m); int maxv=0;
    for (int i=1,x,y,val;i<=m;i++) scanf("%d%d%d",&x,&y,&val),maxv=max(maxv,val),
    edge[i]=(Edge){x,y,val},ve[val].push_back((vnode){x,y});
    
    scanf("%d",&lq);
    for (int i=1,x,y;i<=lq;i++)
    {
        scanf("%d",&x);
        while (x--) scanf("%d",&y),v[edge[y].v].push_back((vnode){i,y});
    }
    
    for (int i=1;i<=n;i++) ufs[i]=i;
    int Time=0;
    for (int i=1;i<=maxv;i++)
    {
        for (int j=0,last=0,to=v[i].size();j<to;j++)
        {
            int id=v[i][j].id,x=edge[v[i][j].e].from,y=edge[v[i][j].e].to;
            if (last!=id) ++Time;
            if (vis[x]!=Time) vis[x]=Time,ufsb[x]=find(x);
            if (vis[y]!=Time) vis[y]=Time,ufsb[y]=find(y);
            if (findb(Time,x)==findb(Time,y)) ans[id]=1;
            ufsb[ufsb[x]]=ufsb[y];
            last=id;
        }
        for (int j=0,to=ve[i].size();j<to;j++)
        {
            int x=find(ve[i][j].id),y=find(ve[i][j].e);
            if (x!=y) ufs[x]=y;
        }
    }
    for (int i=1;i<=lq;i++) puts(ans[i]?"NO":"YES");
    return 0;
}