最近公共祖先LCA:Tarjan算法
来源:互联网 发布:linux 查看防火墙端口 编辑:程序博客网 时间:2024/06/05 20:45
1,并查集+dfs
对整个树进行深度优先遍历,并在遍历的过程中不断地把一些目前可能查询到的并且结果相同的节点用并查集合并.
2,分类,使每个结点都落到某个类中,到时候只要执行集合查询,就可以知道结点的LCA了。
对于一个结点u.类别有:
以u为根的子树、除类一以外的以f(u)为根的子树、除前两类以外的以f(f(u))为根的子树、除前三类以外的以f(f(f(u)))为根的子树……
类一的LCA为u,类二为f(u),类三为f(f(u)),类四为f(f(f(u)))。这样的分类看起来好像并不困难。
但关键是查询是二维的,并没有一个确定的u。接下来就是这个算法的巧妙之处了。
利用递归的LCA过程。
当lca(u)执行完毕后,以u为根的子树已经全部并为了一个集合。而一个lca的内部实际上做了的事就是对其子结点,依此调用lca.
当v1(第一个子结点)被lca,正在处理v2的时候,以v1为根的子树+u同在一个集合里,f(u)+编号比u小的u的兄弟的子树 同在一个集合里,f(f(u)) + 编号比f(u)小的 f(u)的兄弟 的子树 同在一个集合里……
而这些集合,对于v2的LCA都是不同的。因此只要查询x在哪一个集合里,就能知道LCA(v2,x)
还有一种可能,x不在任何集合里。当他是v2的儿子,v3,v4等子树或编号比u大的u的兄弟的子树(等等)时,就会发生这种情况。即还没有被处理。还没有处理过的怎么办?把一个查询(x1,x2)往查询列表里添加两次,一次添加到x1的列表里,一次添加到x2的列表里,如果在做x1的时候发现 x2已经被处理了,那就接受这个询问。(两次中必定只有一次询问被接受).
3,应用:http://acm.pku.edu.cn/JudgeOnline/problem?id=1330
实现代码:
对整个树进行深度优先遍历,并在遍历的过程中不断地把一些目前可能查询到的并且结果相同的节点用并查集合并.
2,分类,使每个结点都落到某个类中,到时候只要执行集合查询,就可以知道结点的LCA了。
对于一个结点u.类别有:
以u为根的子树、除类一以外的以f(u)为根的子树、除前两类以外的以f(f(u))为根的子树、除前三类以外的以f(f(f(u)))为根的子树……
类一的LCA为u,类二为f(u),类三为f(f(u)),类四为f(f(f(u)))。这样的分类看起来好像并不困难。
但关键是查询是二维的,并没有一个确定的u。接下来就是这个算法的巧妙之处了。
利用递归的LCA过程。
当lca(u)执行完毕后,以u为根的子树已经全部并为了一个集合。而一个lca的内部实际上做了的事就是对其子结点,依此调用lca.
当v1(第一个子结点)被lca,正在处理v2的时候,以v1为根的子树+u同在一个集合里,f(u)+编号比u小的u的兄弟的子树 同在一个集合里,f(f(u)) + 编号比f(u)小的 f(u)的兄弟 的子树 同在一个集合里……
而这些集合,对于v2的LCA都是不同的。因此只要查询x在哪一个集合里,就能知道LCA(v2,x)
还有一种可能,x不在任何集合里。当他是v2的儿子,v3,v4等子树或编号比u大的u的兄弟的子树(等等)时,就会发生这种情况。即还没有被处理。还没有处理过的怎么办?把一个查询(x1,x2)往查询列表里添加两次,一次添加到x1的列表里,一次添加到x2的列表里,如果在做x1的时候发现 x2已经被处理了,那就接受这个询问。(两次中必定只有一次询问被接受).
3,应用:http://acm.pku.edu.cn/JudgeOnline/problem?id=1330
实现代码:
- #include<iostream>
- #include<vector>
- using namespace std;
- const int MAX=10001;
- int f[MAX];
- int r[MAX];
- int indegree[MAX];//保存每个节点的入度
- int visit[MAX];
- vector<int> tree[MAX],Qes[MAX];
- int ancestor[MAX];
- void init(int n)
- {
- for(int i=1;i<=n;i++)
- {
- r[i]=1;
- f[i]=i;
- indegree[i]=0;
- visit[i]=0;
- ancestor[i]=0;
- tree[i].clear();
- Qes[i].clear();
- }
- }
- int find(int n)
- {
- if(f[n]==n)
- return n;
- else
- f[n]=find(f[n]);
- return f[n];
- }//查找函数,并压缩路径
- int Union(int x,int y)
- {
- int a=find(x);
- int b=find(y);
- if(a==b)
- return 0;
- //相等的话,x向y合并
- else if(r[a]<=r[b])
- {
- f[a]=b;
- r[b]+=r[a];
- }
- else
- {
- f[b]=a;
- r[a]+=r[b];
- }
- return 1;
- }//合并函数,如果属于同一分支则返回0,成功合并返回1
- void LCA(int u)
- {
- ancestor[u]=u;
- int size = tree[u].size();
- for(int i=0;i<size;i++)
- {
- LCA(tree[u][i]);
- Union(u,tree[u][i]);
- ancestor[find(u)]=u;
- }
- visit[u]=1;
- size = Qes[u].size();
- for(int i=0;i<size;i++)
- {
- //如果已经访问了问题节点,就可以返回结果了.
- if(visit[Qes[u][i]]==1)
- {
- cout<<ancestor[find(Qes[u][i])]<<endl;
- return;
- }
- }
- }
- int main()
- {
- int cnt;
- int n;
- cin>>cnt;
- while(cnt--)
- {
- cin>>n;;
- init(n);
- int s,t;
- for(int i=1;i<n;i++)
- {
- cin>>s>>t;
- tree[s].push_back(t);
- indegree[t]++;
- }
- //这里可以输入多组询问
- cin>>s>>t;
- //相当于询问两次
- Qes[s].push_back(t);
- Qes[t].push_back(s);
- for(int i=1;i<=n;i++)
- {
- //寻找根节点
- if(indegree[i]==0)
- {
- LCA(i);
- break;
- }
- }
- }
- return 0;
- }
- LCA最近公共祖先(tarjan离线算法)
- 最近公共祖先LCA:Tarjan算法
- 最近公共祖先LCA Tarjan算法
- 最近公共祖先LCA Tarjan算法
- 最近公共祖先LCA Tarjan算法
- 最近公共祖先LCA:Tarjan算法
- LCA(最近公共祖先)Tarjan算法
- [算法] LCA 最近公共祖先 (Tarjan)
- 最近公共祖先LCA--Tarjan算法
- 最近公共祖先LCA tarjan
- 【算法】【树】最近公共祖先LCA——Tarjan算法
- 算法摘记 最近公共祖先LCA Tarjan算法
- LCA最近公共祖先——tarjan算法
- Tarjan算法求LCA(最近公共祖先)
- Tarjan离线算法求最近公共祖先(LCA)
- POJ1986 DistanceQueries 最近公共祖先LCA 离线算法Tarjan
- Tarjan离线算法求最近公共祖先(LCA)
- LCA(最近公共祖先)tarjan算法学习笔记
- 面向对象思想--最简单、最容易理解面向对象思想的文章
- 一种让程序支持多渲染器的方法
- TEST
- open新页面数据post过去
- java不同版本特性
- 最近公共祖先LCA:Tarjan算法
- 正确使用Block避免Cycle Retain和Crash
- c++模拟反射机制-方法1
- 浅析Cocos2dx CCProgressTimer 进度条计时器
- JBoss 系列二十三:JBossCache 架构
- 扩展欧几里得算法的笔记
- java线程同步的各种方法
- c++模拟反射机制-方法2
- 黑马程序员_银行业务调度系统 _11