图论 LCA离线算法 Tarjan

Least Common Ancestors:

对于一棵树求A，B两点的最小公共祖先。从根节点DFS，在回溯时将当前点加入集合，如搜索到A时判断B是否已在集合中，如B已在集合中则合集中最浅的结点为A，B的最小公共祖先；如B不在集合中，则继续搜索B。

离线算法Tarjan：在O(n + q)时间内，一次性计算出所有请求的LCA，但结果是无序的，得到结果的次序与请求发出的次序不相同。（n 为结点数，q为询问数）

Template:

#define NODE_SIZE 1000

int ans[NODE_SIZE];
vector<int> querys[NODE_SIZE];
vector<int> childs[NODE_SIZE];

bool visited[NODE_SIZE];
int parents[NODE_SIZE];

int FindSet(int x) {
    if (parents[x] == x) {
        return x;
    }
    return parents[x] = FindSet(parents[x]);
}
void UnionSet(int rt, int cd) {
    parents[FindSet(cd)] = FindSet(rt);
}

void TarjanLCA(int rt) {

    for (int i = 0 ; i < childs[rt].size(); ++i) {
        TarjanLCA(childs[rt][i]);
        UnionSet(rt, childs[rt][i]);
    }
    visited[rt] = true;
    
    for (int i = 0 ; i < querys[rt].size() ; ++i) {
        if (visited[querys[rt][i]]) {
           ;// The LCA(rt, querys[rt][i]) is "FindSet(querys[rt][i])"
        }
    }
}