[SDOI2013]森林【启发式合并 线段树】

题目链接

---

题目描述

小Z有一片森林，含有N个节点，每个节点上都有一个非负整数作为权值。初始的时候，森林中有M条边。

小Z希望执行T个操作，操作有两类：

1. Q x y k查询点x到点y路径上所有的权值中，第k小的权值是多少。此操作保证点x和点y连通，同时这两个节点的路径上至少有k个点。
2. L x y在点x和点y之间连接一条边。保证完成此操作后，仍然是一片森林。

为了体现程序的在线性，我们把输入数据进行了加密。设lastans为程序上一次输出的结果，初始的时候lastans为0。

• 对于一个输入的操作Q x y k,其真实操作为Q x^lastans y^lastans k^lastans。
• 对于一个输入的操作L x y，其真实操作为L x^lastans y^lastans。其中^运算符表示异或，等价于pascal中的xor运算符。

请写一个程序來帮助小Z完成这些操作。

对于所有的数据，n,m,T<=8*10^48∗104.

输入格式

第一行包含一个正整数testcase，表示当前测试数据的测试点编号。保证1<=testcase<=20。

第二行包含三个整数N，M，T，分别表示节点数、初始边数、操作数。

第三行包含N个非负整数表示 N个节点上的权值。

接下来 M行，每行包含两个整数x和 y，表示初始的时候，点x和点y 之间有一条无向边。

接下来 T行，每行描述一个操作，格式为”Q x y k“或者”L x y “，其含义见题目描述部分。

输出格式

对于每一个第一类操作，输出一个非负整数表示答案。

---

  如果我们直接去暴力合并的话，其中的时间复杂度是很高的，所以在这里我们是需要用到启发式合并去解决这个问题，比较size，用小的连接上大的上面。

  然后，这里的数组需要开大一点，因为这里的启发式合并，其实空间复杂度，大致在O(N * logN * logN)，其中多出来的一个log是一个期望，所以如果开平时的空间复杂度是会RE的。

#include <iostream>
#include <cstdio>
#include <cmath>
#include <string>
#include <cstring>
#include <algorithm>
#include <limits>
#include <vector>
#include <stack>
#include <queue>
#include <set>
#include <map>
#define lowbit(x) ( x&(-x) )
#define pi 3.141592653589793
#define e 2.718281828459045
#define INF 0x3f3f3f3f
#define efs 1e-6
#define HalF (l + r)>>1
#define lsn rt<<1
#define rsn rt<<1|1
#define Lson lsn, l, mid
#define Rson rsn, mid+1, r
#define QL Lson, ql, qr
#define QR Rson, ql, qr
#define myself rt, l, r
#define max3(a, b, c) max(a, max(b, c))
using namespace std;
typedef unsigned long long ull;
typedef unsigned int uit;
typedef long long ll;
const int maxN = 8e4 + 7;
int N, M, Q, _UP, a[maxN], lsan[maxN], root[maxN], siz[maxN], head[maxN], cnt, gen[maxN], fa[maxN][20], deep[maxN];
int fid(int x) { return x == root[x] ? x : root[x] = fid(root[x]); }
struct Eddge
{
    int nex, to;
    Eddge(int a=-1, int b=0):nex(a), to(b) {}
}edge[maxN<<1];
inline void addEddge(int u, int v)
{
    edge[cnt] = Eddge(head[u], v);
    head[u] = cnt++;
}
inline void _add(int u, int v) { addEddge(u, v); addEddge(v, u); }
int tot;
struct Tree
{
    int s, lc, rc;
    Tree(int a=0, int b=0, int c=0):s(a), lc(b), rc(c) {}
}t[maxN * 400];
inline void pushup(int rt)
{
    int rc = t[rt].rc, lc = t[rt].lc;
    t[rt].s = t[rc].s + t[lc].s;
}
void build(int &rt, int l, int r)
{
    rt = ++tot;
    t[rt] = Tree();
    if(l == r) return;
    int mid = HalF;
    build(t[rt].lc, l, mid); build(t[rt].rc, mid + 1, r);
}
void Insert(int &now, int old, int l, int r, int pos)
{
    now = ++tot; t[now] = t[old];
    t[now].s++;
    if(l == r) return;
    int mid = HalF;
    if(pos <= mid) Insert(t[now].lc, t[old].lc, l, mid, pos);
    else Insert(t[now].rc, t[old].rc, mid + 1, r, pos);
}
int query(int p1, int p2, int lca, int falca, int l, int r, int kth)
{
    if(l == r) return lsan[l];
    int mid = HalF;
    if(t[t[p1].lc].s + t[t[p2].lc].s - t[t[lca].lc].s - t[t[falca].lc].s >= kth) return query(t[p1].lc, t[p2].lc, t[lca].lc, t[falca].lc, l, mid, kth);
    else return query(t[p1].rc, t[p2].rc, t[lca].rc, t[falca].rc, mid + 1, r, kth - (t[t[p1].lc].s + t[t[p2].lc].s - t[t[lca].lc].s - t[t[falca].lc].s));
}
void dfs(int u, int father, int depth)
{
    deep[u] = depth;
    fa[u][0] = father;
    for(int i=0; i<log2(1. * N + efs); i++)
    {
        if(fa[u][i] < 0) fa[u][i + 1] = -1;
        else fa[u][i + 1] = fa[fa[u][i]][i];
    }
    Insert(gen[u], gen[father], 1, _UP, a[u]);
    for(int i=head[u], v; ~i; i=edge[i].nex)
    {
        v = edge[i].to;
        if(v == father) continue;
        dfs(v, u, depth + 1);
    }
}
inline int get_lca(int x, int y)
{
    if(deep[x] < deep[y]) swap(x, y);
    int tmp = deep[x] - deep[y];
    for(int i=log2(1. * tmp + efs); i>=0; i--) if((tmp >> i) & 1) x = fa[x][i];
    if(x == y) return x;
    for(int i=log2(1. * N); i>=0; i--)
    {
        if(fa[x][i] != fa[y][i])
        {
            x = fa[x][i];
            y = fa[y][i];
        }
    }
    return fa[x][0];
}
inline void init()
{
    cnt = tot = 0;
    for(int i=1; i<=N; i++)
    {
        head[i] = -1;
        root[i] = i;
        siz[i] = 1;
        gen[i] = 0;
        fa[i][0] = -1;
        deep[i] = 0;
    }
}
int main()
{
    int Cas; scanf("%d", &Cas); Cas = 1;
    while(Cas--)
    {
        scanf("%d%d%d", &N, &M, &Q);
        init();
        for(int i=1; i<=N; i++) { scanf("%d", &a[i]); lsan[i] = a[i]; }
        sort(lsan + 1, lsan + N + 1);
        _UP = (int)(unique(lsan + 1, lsan + N + 1) - lsan - 1);
        for(int i=1; i<=N; i++) a[i] = (int)(lower_bound(lsan + 1, lsan + _UP + 1, a[i]) - lsan);
        for(int i=1, u, v, fu, fv; i<=M; i++)
        {
            scanf("%d%d", &u, &v);
            _add(u, v);
            fu = fid(u); fv = fid(v);
            root[fu] = fv;
            siz[fv] += siz[fu];
        }
        for(int i=1; i<=N; i++)
        {
            if(!deep[i]) dfs(i, 0, 1);
        }
        char op[3]; int x, y, k, u, v, las_ans = 0, lca, fa_lca;
        while(Q--)
        {
            scanf("%s", op);
            if(op[0] == 'Q')
            {
                scanf("%d%d%d", &x, &y, &k);
                x ^= las_ans; y ^= las_ans; k ^= las_ans;
                lca = get_lca(x, y); fa_lca = fa[lca][0];
                if(fa_lca < 0) fa_lca = 0;
                printf("%d\n", las_ans = query(gen[x], gen[y], gen[lca], gen[fa_lca], 1, _UP, k));
            }
            else
            {
                scanf("%d%d", &x, &y);
                x ^= las_ans; y ^= las_ans;
                _add(x, y);
                u = fid(x); v = fid(y);
                root[u] = v;
                if(siz[u] > siz[v]) dfs(y, x, deep[x] + 1);
                else dfs(x, y, deep[y] + 1);
                siz[v] += siz[u];
            }
        }
    }
    return 0;
}