Trajan详解

//Tarian-LCA
/*
分析：
基本理论：若u ,v  为 t 的子节点，当 u , v 在 t 的做左子树u在右子树，
那么t 为u，v的父节点，若u，v在 t 的左子树上，那么 把 t 的左子树当作
t 继续寻找 u，v的父节点。在右子树上同理
Tarian 理论：对于新搜索到的节点，首先创建由这个节点构成的集合，再对当前节点
的每个子树进行搜索，没搜索完一颗字数，则可确定子树内的LCA询问都解决。其他的
LCA询问的结构必然在这个子树之外，这时把子树所形成的集合与当前节点的集合合并，
并将当前节点设为这个集合的祖先。之后继续搜索下一颗子树。当搜索完所有子树，把

当前节点也设为被检查过的，同时可以处理有关当前节点LCA的询问，如果有一个从当

前节点的到节点V的询问，且V已经被检查过，则由于进行的是深度优先搜索，当前节点

与v的最近公共祖先一定还没有被检查，而这个最近公共祖先的包含V的子树一定已经被

搜索过了，那么这个最近公共祖先一定是V所在集合的祖先。

其实就是如果V 已经搜索过了，那么fa[V] 一定是合并集合后的集合的祖先V

*/

真正的详解：

http://www.tuicool.com/articles/ZvmIJjQ

int p[maxn];
int head[maxn];
int qhead[maxn];
struct Node
{
    int to;
    int next;
    int lca;
};
NODE edge[maxn];
NODE qedg[maxn];
int find(int x)
{
    if(p[x]!=x)p[x] = find(p[x]);
    return p[x];
}
bool visit[maxn];
void LCA(int u)
{
    p[u] = u;//此时把u 设为 t 进行寻找
    int k;
    visit[u] = 1;
    for( k = head[u] ; k != -1 ; k = edge[k].next)
    {
        if(!visit[edge[k].to])
        {
            LCA(edge[k].to);
            p[edge[k.to] = u;//设合并后集合的祖先为u
        }
    }
    for( k = qhead[u] ; k != -1 ; k = qedge[k].next)
    {
        if(visit[qedge[k].to)
        {
            qedge[k].lca = find(qedge[k].to);
            qedge[k^1].lca = qedge[k].lca;//有向图 u->v , v->u
        }
    }
}