LCA离线tarjan算法模板

//并查集记录父亲的数组.
int father[MAXN];

//并查集的查找函数,有路径压缩功能.
int find ( int x )
{
    return father[x] == x ? x : father[x] = find ( father[x]);
}

//采用邻接表存储
struct 
{
    int v,next,lca,u;
}e[2][MAXN<<2];

//分别记录边对和查询数对
int head[2][MAXN];
int cc;

//添加边,flag表示模式
void add ( int flag , int u , int v )
{
    e[flag][cc].u = u;
    e[flag][cc].v = v;
    e[flag][cc].next = head[flag][u];
    head[flag][u] = cc++;
}
//标记当前点是否访问过
bool visited[MAXN];

void LCA ( int u )
{
    father[u] = u;
    visited[u] = true;
    //深度优先搜索整棵树
    for ( int i = head[0][u]; i != -1 ; i = e[0][i].next )
    {
        int v = e[0][i].v;
        if ( visited[v] ) continue;
        LCA ( v );
	//从叶节点开始,逐层标记父节点
        father[v] = u;
    }
    //当前子树已经维护,利用并查集找到当前子树的查询数对的LCA
    for ( int i = head[1][u]; i != -1 ; i = e[1][i].next )
    {
        int v = e[1][i].v;
        if ( !visited[v] ) continue;
	//如果当前u,v都已经访问过,那么一定维护过的子树中
        e[1][i].lca = e[1][i^1].lca = find ( v );
    }
}

LCA(最近公共祖先)是指在一棵树中,找到两个节点的最近的共同祖先节点。而Tarjan算法是一种用于求解强连通分量的算法,通常应用于有向图中。它基于深度优先搜索(DFS)的思想,通过遍历图中的节点来构建强连通分量。Tarjan算法也可以用于求解LCA问题,在有向无环图(DAG)中。 具体来说,在使用Tarjan算法求解LCA时,我们需要进行两次DFS遍历。首先,我们从根节点开始,遍历每个节点,并记录每个节点的深度(即从根节点到该节点的路径长度)。然后,我们再进行一次DFS遍历,但这次我们在遍历的过程中,同时进行LCA的查找。对于每个查询,我们将两个待查询节点放入一个查询列表中,并在遍历过程中记录每个节点的祖先节点。 在遍历的过程中,我们会遇到以下几种情况: 1. 如果当前节点已被访问过,说明已经找到了该节点的祖先节点,我们可以更新该节点及其所有后代节点的祖先节点。 2. 如果当前节点未被访问过,我们将其标记为已访问,并将其加入到查询列表中。 3. 如果当前节点有子节点,我们继续递归遍历子节点。 最终,对于每个查询,我们可以通过查询列表中的两个节点的最近公共祖先节点来求解LCA。 需要注意的是,Tarjan算法的时间复杂度为O(V+E),其中V为节点数,E为边数。因此,对于大规模的树结构,Tarjan算法是一种高效的求解LCA问题的方法。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值