LCA(最近公共祖先)Tarjan算法

#include <iostream>
#include <cstdio>
#include <vector>
#include <cstring>
#include <map>
using namespace std;
const int MAXN = 1000 + 5;
vector<int> mp[MAXN],query[MAXN];
bool vis[MAXN];
int f[MAXN];
int ans[MAXN];
map<int,int> cs;
int n,m;
int find(int x)
{
    if(f[x] == x)
        return x;
    return f[x] = find(f[x]);
}
void merge(int u,int v)
{
    int f1 = find(u);
    int f2 = find(v);
    if(f1 != f2)
        f[f2] = f1;
}
void Tarjan(int u)
{
    for(int i = 0; i<(int)mp[u].size(); i++)
    {
        Tarjan(mp[u][i]);
        merge(u,mp[u][i]);
        vis[mp[u][i]] = true;
    }
    for(int i = 0; i<(int)query[u].size(); i++)
    {
        if(vis[query[u][i]])
        {
            if(cs[u*n+query[u][i]] != 0)
            {
                ans[cs[u*n+query[u][i]]] = find(query[u][i]);
            }
            else
            {
                ans[cs[query[u][i]*n+u]] = find(query[u][i]);
            }
        }
    }

}
int main()
{
    //设置1为树的根
    scanf("%d %d",&n,&m);
    int x,y;
    for(int i = 1; i<=m; i++)
    {
        scanf("%d %d",&x,&y);
        mp[x].push_back(y);
    }
    memset(vis,false,sizeof(vis));
    for(int i = 1; i<=n; i++)
        f[i] = i;
    cs.clear();
    int q;
    scanf("%d",&q);
    for(int i = 1; i<=q; i++)
    {
        scanf("%d %d",&x,&y);
        query[x].push_back(y);
        query[y].push_back(x);
        cs[x*n+y] = i;
    }
    Tarjan(1);
    for(int i = 1; i<=q; i++)
        printf("%d\n",ans[i]);
    return 0;
}

/*一些练习题目

CODEVS 2370 小机房的树
CODEVS 1036 商务旅行
METO CODE 223 拉力赛 
HDU 2586 How far way? 
ZOJ 3195 Design the city

*/                     


  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
最近公共祖先(Lowest Common Ancestor, LCA)问题是指在给定一棵树中找到两个节点的最短路径上的共同祖先。Tarjan算法通常用于解决这个问题,但它的主要目的是为了发现图中的强连通分量(Strongly Connected Components, SCC),而不是直接计算LCA。不过,由于这两种问题都涉及到深度优先搜索和拓扑排序的思想,所以我们可以借助Tarjan算法的思路来理解LCATarjan算法是基于深度优先搜索和一种称为“DFS树”的数据结构。在寻找LCA的过程中,如果能找到两个节点在同一棵DFS树或它们的DFS祖先相同,那么这两个节点就是最近公共祖先。这里的关键在于维护节点的前驱(pred)和后继(succ)指针,以及一个秩(rank)数组来判断边的方向,以确定节点是否构成一个回路。 下面是 Tarjan 算法的主要步骤: 1. 初始化:对于每个未访问的节点 u,设置其秩 rank[u] = 次序号(u 的编号),低link[u] = u(表示 u 的父节点),深度 depth[u] = 0,访问次数和栈顶指针为 null。 2. DFS 递归过程:从根节点开始遍历,对每个子节点 v,执行以下操作: a. 如果 v 没有被访问过,则进行一次深度优先搜索,更新深度、秩和低link信息。 b. 记录 v 的秩 rank[v] 和当前的深度 depth[v],并将 v 加入到相应的 DFS 树。 c. 更新 v 的所有前驱和后继指针。 d. 如果 v 是回路的一部分,将 v 设置为它自身的低link,这会导致算法在下一个阶段检测到回路。 3. 完成搜索后,对每个节点 u,检查 lowlink[u] 是否等于 u,如果是,说明 u 和 u 是同一个强连通分量内的节点。同时,这也帮助我们找到 u 和其他节点的最近公共祖先,因为他们在同一棵树上。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值