Codeforces Gym 100814C Connecting Graph 树剖并查集/LCA并查集

初始的时候有一个只有n个点的图(n <= 1e5), 现在进行m( m <= 1e5 )次操作

每次操作要么添加一条无向边, 要么询问之前结点u和v最早在哪一次操作的时候连通了

/*
 * Author: Gatevin
 * Created Time:  2015/11/21 14:02:38
 * File Name: Sakura_Chiyo.cpp
 */
#include<iostream>
#include<sstream>
#include<fstream>
#include<vector>
#include<list>
#include<deque>
#include<queue>
#include<stack>
#include<map>
#include<set>
#include<bitset>
#include<algorithm>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cctype>
#include<cmath>
#include<ctime>
#include<iomanip>
using namespace std;
const double eps(1e-);
typedef long long lint;

#define maxn 100010

int top[maxn];
int grandson[maxn];
int dep[maxn];
int siz[maxn];
int belong[maxn];
int father[maxn];
int Q[maxn];
int cnt;
int hson[maxn];

int q, s;
bool vis[maxn];
int T, n, m;
int id[maxn];
int antiID[maxn];

struct Edge
{
    int u, v, w, nex;
    Edge(int _u, int _v, int _w, int _nex)
    {
        u = _u, v = _v, w = _w, nex = _nex;
    }
    Edge(){}
};

int head[maxn];
int tot;
Edge edge[maxn << ];
int w[maxn];
int idx;

void add_Edge(int x, int y, int w)
{
    edge[++tot] = Edge(x, y, w, head[x]);
    head[x] = tot;
}

void split(int root)
{
    int l = , r = ;
    dep[Q[r] = root] = ;
    father[root] = -;
    w[root] = ;
    while(l < r)
    {
        int x = Q[++l];
        if(head[x] == -) continue;
        for(int j = head[x]; j + ; j = edge[j].nex)
        {
            int y = edge[j].v;
            if(y == father[x]) continue;
            w[y] = edge[j].w;
            dep[Q[++r] = y] = dep[x] + ;
            father[y] = x;
        }
    }
    for(int i = r ; i ; i--)
    {
        int x = Q[i], p = -;
        siz[x] = ;
        if(head[x] == -) continue;
        for(int j = head[x]; j + ; j = edge[j].nex)
        {
            int y = edge[j].v;
            if(y == father[x]) continue;
            siz[x] += siz[y];
            if(p == - || (p >  && siz[y] > siz[p]))
                p = y;
        }
        if(p == -)
        {
            hson[x] = -;
            grandson[++cnt] = x;
            belong[top[cnt] = x] = cnt;
        }
        else
        {
            hson[x] = p;
            belong[x] = belong[p];
            top[belong[x]] = x;
        }
    }
    //int idx = 0;
    //memset(vis, 0, sizeof(vis));
    for(int i = r; i; i--)
    {
        int x = Q[i];
        if(vis[x]) continue;
        vis[x] = ;
        id[x] = ++idx;
        antiID[idx] = x;
        while(father[x] != - && belong[father[x]] == belong[x] && !vis[father[x]])
        {
            x = father[x];
            id[x] = ++idx;
            antiID[idx] = x;
            vis[x] = ;
        }
    }
    return;
}

#define lson l, mid, rt << 1
#define rson mid + 1, r , rt << 1 | 1
int val[maxn << ];

void pushUp(int rt)
{
    val[rt] = max(val[rt << ], val[rt <<  | ]);
    return;
}

void build(int l, int r, int rt)
{
    if(l == r)
    {
        val[rt] = w[antiID[l]];
        return;
    }
    int mid = (l + r) >> ;
    build(lson);
    build(rson);
    pushUp(rt);
}

void update(int l, int r, int rt, int pos, int value)
{
    if(l == r)
    {
        val[rt] = value;
        return;
    }
    int mid = (l + r) >> ;
    if(pos <= mid) update(lson, pos, value);
    else update(rson, pos, value);
    pushUp(rt);
    return;
}

int query(int l, int r, int rt, int L, int R)
{
    if(l >= L && r <= R)
        return val[rt];
    int mid = (l + r) >> ;
    int ret = ;
    if(mid >= L) ret = max(ret, query(lson, L, R));
    if(mid +  <= R) ret = max(ret, query(rson, L, R));
    return ret;
}

int answer(int x, int y)
{
    int ans= ;
    while(top[belong[x]] != top[belong[y]])
    {
        if(dep[top[belong[x]]] < dep[top[belong[y]]])
            swap(x, y);
        ans = max(ans, query(, n, , id[x], id[top[belong[x]]]));
        x = father[top[belong[x]]];
    }
    if(x == y) return ans;
    if(dep[x] < dep[y]) swap(x, y);
    ans = max(ans, query(, n, , id[x], id[hson[y]]));
    return ans;
}

void change(int x, int w)
{
    x <<= ;
    int u = edge[x].u, v = edge[x].v;
    if(father[u] == v)
        update(, n, , id[u], w);
    else update(, n, , id[v], w);
    return;
}

struct Op
{
    int type, u, v, fu, fv, edge;
    bool add;
    Op(int _t, int _u, int _v)
    {
        type = _t, u = _u, v = _v;
        add = false;
    }
    Op(){}
};

Op op[maxn];

int fa[maxn];
int find(int x)
{
    return x == fa[x] ? x : fa[x] = find(fa[x]);
}
int E;//添加的边的次数
void Union(int x, int y, int opid)
{
    int fx = find(x);
    int fy = find(y);
    op[opid].fu = fx, op[opid].fv = fy;
    op[opid].add = false;
    if(fx != fy)
    {
        fa[fx] = fy;
        op[opid].add = true;
        op[opid].edge = ++E;
        add_Edge(fx, fy, opid);
        add_Edge(fy, fx, opid);
    }
}

int ans[maxn];

int read()
{
    int x = ;
    char c;
    while(!isdigit(c = getchar())) continue;
    x = (x << ) + (x << ) + c - '';
    while(isdigit(c = getchar())) x = (x << ) + (x << ) + c - '';
    return x;
}

int sis[maxn];

int main()
{
    //scanf("%d", &T);
    T = read();
    int cas = ;
    while(T--)
    {
        cas++;
        //scanf("%d %d", &n, &m);
        n = read(), m = read();
        memset(head, -, sizeof(head));
        tot = ; E = ;
        for(int i = ; i <= n; i++) fa[i] = i;
        for(int i = ; i <= m; i++)
        {
            //scanf("%d %d %d", &op[i].type, &op[i].u, &op[i].v);
            op[i].type = read(), op[i].u = read(), op[i].v = read();
            if(op[i].type == ) Union(op[i].u, op[i].v, i);
        }
        idx = ;
        memset(vis, , sizeof(vis));
        cnt = ;
        for(int i = ; i <= n; i++)
        {
            int fi = find(i);
            if(sis[fi] != cas)
            {
                split(fi);
                sis[fi] = cas;
            }
        }
        build(, n, );
        for(int i = m; i > ; i--)
        {
            if(op[i].type == )//query
            {
                int u = op[i].u, v = op[i].v;
                if(find(u) != find(v))//一直就是不连通的
                {
                    ans[i] = -;
                    continue;
                }
                ans[i] = answer(op[i].u, op[i].v);
            }
            else
            {
                if(op[i].add == false) continue;//这个操作没有造成过添加边的影响
                change(op[i].edge, 1e9);
            }
        }
        for(int i = ; i <= m; i++)
            if(op[i].type == )
                printf("%d\n", ans[i] == 1e9 ? - : ans[i]);
    }
    return ;
}