LCA模板 ( 最近公共祖先 )
LCA 有几种经典的求取方法、这里只给出模板,至于原理我完全不懂。
1、RMQ转LCA、复杂度O(n+nlog2n+m)
大致就是 DFS求出欧拉序 => 对欧拉序做ST表 => LCA(u, v) 即为 u、v 最先出现在欧拉序中的编号之间的最小值。
因为 LCA 的子树中必定有一个节点是 u,一个是 v,而且必定在两个节点到根节点的唯一路径上。
例如有欧拉序列 1 2 1 3 4 3 1 则 LCA(2, 3) == 1 、首次出现 2 的下标是 2、首次出现 3 的下标是 4、则 LCA 就是下标 2~4 之间的最小值即 1
#include<bits/stdc++.h>
using namespace std;
;///顶点数
];
int Head[maxn], cnt;
int n, q, s;///点数、问询数、dfs起点
int fp[maxn]; int dfsLen;///每个顶点在欧拉序中第一次出现的位置、DFS序的长度(用做时间戳)
int id[maxn]; int idLen;///每个顶点在DFS序中访问次序(用于离散化)、id数组的长度
][];///跑ST表的dp数组(第二维应开到 ceil(log2(maxn<<1)) )
inline void init()
{
memset(dp, , sizeof(dp));
memset(Head, -, sizeof(Head));
cnt = ; idLen = dfsLen = ;
}
inline void AddEdge(int from, int to, int weight)
{
Edge[cnt].v = to;
Edge[cnt].nxt = Head[from];
Head[from] = cnt++;
}
void dfs(int v, int Fa)
{
int tmp;
id[tmp = ++idLen] = v;
dp[fp[v] = ++dfsLen][] = tmp;
; i=Edge[i].nxt){
int Eiv = Edge[i].v;
if(Eiv == Fa) continue;
dfs(Eiv, v, d);
dp[++dfsLen][] = tmp;
}
}
void GetST()
{
; (<<j)<=dfsLen; j++){
; i+(<<j)-<=dfsLen; i++){
dp[i][j] = min(dp[i][j-], dp[i+(<<(j-))][j-]);
}
}
}
int LCA(int u, int v)
{
if(fp[u] > fp[v]) swap(u, v);
int L = fp[u], R = fp[v];
)/log());
<<k)+][k])];
}
int main(void)
{
scanf("%d %d %d", &n, &s, &q);
; i<n; i++){
int u, v;
scanf("%d %d", &u, &v);
AddEdge(u, v);
AddEdge(v, u);
}
dfs(s, -);
GetST();
while(q--){
int u, v;
scanf("%d %d", &u, &v);
printf("%d\n", LCA(u, v));
}
;
}
2、树上倍增 、复杂度 O(n+nlog2maxDep+mlog2maxDep), maxDep在最坏情况下等于n
大致就是 DFS求出每个节点的深度、父亲节点这两个信息 => 通过倍增求出每个节点向根节点方向走 2^j 所能到达节点是什么
=> LCA(u, v) 就可以通过预先处理好的倍增数组先移动u、v使其深度一样、然后再一起 2^j 向上跳,直到跳转到 LCA
#include<bits/stdc++.h>
using namespace std;
;///顶点的数目
];
int Head[maxn], cnt;
int dep[maxn], maxDep;///每个点的深度、最深点的深度
];///倍增记录数组( Fa[i][j] 从 i 号节点开始走 2^j 步能到达的点 )
int n, m, s, q;///点、边、dfs起点、问询数
inline void init()
{
memset(Head, -, sizeof(Head));
memset(Fa, -, sizeof(Fa));
cnt = ; maxDep = ;
}
inline void AddEdge(int from, int to)
{
Edge[cnt].v = to;
Edge[cnt].nxt = Head[from];
Head[from] = cnt++;
}
void dfs(int v)
{
] != -)
maxDep = max(maxDep, dep[v] = dep[Fa[v][]]+);
; i=Edge[i].nxt){
int Eiv = Edge[i].v;
]) continue;
Fa[Eiv][] = v;
dfs(Eiv);
}
}
inline void Doubling()
{
));
; j<=UP; j++){
; i<=n; i++){
] != -)
Fa[i][j] = Fa[Fa[i][j-]][j-];
}
}
}
int LCA(int u, int v)
{
));
if(dep[u] < dep[v]) swap(u, v);
; j--)
&& dep[Fa[u][j]] >= dep[v])
u = Fa[u][j];
if(u == v) return v;
; j--){
if(Fa[u][j] != Fa[v][j]){
u = Fa[u][j];
v = Fa[v][j];
}
}
];
}
int main(void)
{
scanf("%d %d %d", &n, &s, &q);
; i<n; i++){
int u, v;
scanf("%d %d", &u, &v);
AddEdge(u, v);
AddEdge(v, u);
}
dfs(s);
Doubling();
while(q--){
int u, v;
scanf("%d %d", &u, &v);
printf("%d\n", LCA(u, v));
}
;
}
3、Tarjan算法( 离线 )、复杂度 O(n+m+nα(n))
大致就是 算了给个链接吧 Tarjan求LCA
#include<bits/stdc++.h>
using namespace std;
;
];
struct Query{ int v, id;
Query(){};
Query(int _v, int _id):v(_v),id(_id){};
}; vector<Query> q[maxn];
int Head[maxn], cnt;
int Fa[maxn];///并查集数组
int ans[maxn];///问询数数组大小要注意一下、不一定是 maxn
bool vis[maxn];///Tarjan算法中的标记数组
int n, m, s, qNum;///点、边、Tarjan递归起点、问询数
inline void init()
{
memset(Head, -, sizeof(Head));
memset(vis, false, sizeof(vis));
cnt = ;
}
inline void AddEdge(int from, int to)
{
Edge[cnt].v = to;
Edge[cnt].nxt = Head[from];
Head[from] = cnt++;
}
int Findset(int x)
{
int root = x;
while(Fa[root] != root) root = Fa[root];
int tmp;
while(Fa[x] != root){
tmp = Fa[x];
Fa[x] = root;
x = tmp;
}
return root;
}
void Tarjan(int v, int f)
{
Fa[v] = v;
; i=Edge[i].nxt){
int Eiv = Edge[i].v;
if(Eiv == f) continue;
Tarjan(Eiv, v);
Fa[Findset(Eiv)] = v;
}
vis[v] = true;
; i<q[v].size(); i++){
if(vis[q[v][i].v])
ans[q[v][i].id] = Findset(q[v][i].v);
}
}
int main(void)
{
init();
scanf("%d %d %d %d", &n, &m, &s, &qNum);
; i<=m; i++){
int u, v;
scanf("%d %d", &u, &v);
AddEdge(u, v);
AddEdge(v, u);
}
; i<q; i++){
int u, v;
scanf("%d %d", &u, &v);
q[u].push_back(Query(v, i));
q[v].push_back(Query(u, i));
}
Tarjan(s, -);
; i<q; i++) printf("%d\n", ans[i]);
;
}
4、树链剖分
并不会树剖,以后再补......
LCA模板 ( 最近公共祖先 )的更多相关文章
- HDU 2586 How far away ?(LCA模板 近期公共祖先啊)
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=2586 Problem Description There are n houses in the vi ...
- 【LCA求最近公共祖先+vector构图】Distance Queries
Distance Queries 时间限制: 1 Sec 内存限制: 128 MB 题目描述 约翰的奶牛们拒绝跑他的马拉松,因为她们悠闲的生活不能承受他选择的长长的赛道.因此他决心找一条更合理的赛道 ...
- CodeVs.2370 小机房的树 ( LCA 倍增 最近公共祖先)
CodeVs.2370 小机房的树 ( LCA 倍增 最近公共祖先) 题意分析 小机房有棵焕狗种的树,树上有N个节点,节点标号为0到N-1,有两只虫子名叫飘狗和大吉狗,分居在两个不同的节点上.有一天, ...
- 算法模板——LCA(最近公共祖先)
实现的功能如下——在一个N个点的无环图中,共有N-1条边,M个访问中每次询问两个点的距离 原理——既然N个点,N-1条边,则说明这是一棵树,而且联通.所以以1为根节点DFS建树,然后通过求两点的LCA ...
- [模板] 最近公共祖先/lca
简介 最近公共祖先 \(lca(a,b)\) 指的是a到根的路径和b到n的路径的深度最大的公共点. 定理. 以 \(r\) 为根的树上的路径 \((a,b) = (r,a) + (r,b) - 2 * ...
- 【洛谷 p3379】模板-最近公共祖先(图论--倍增算法求LCA)
题目:给定一棵有根多叉树,请求出指定两个点直接最近的公共祖先. 解法:倍增. 1 #include<cstdio> 2 #include<cstdlib> 3 #include ...
- LCA——求解最近公共祖先
LCA 在有根树中,两个节点 u 和 v 的公共祖先中距离最近的那个被称为最近公共祖先(LCA,Lowest Common Ancestor). 有多种算法解决 LCA 或相关的问题. 基于二分搜索的 ...
- LCA(最近公共祖先)——离线 Tarjan 算法
tarjan算法的步骤是(当dfs到节点u时):1 在并查集中建立仅有u的集合,设置该集合的祖先为u1 对u的每个孩子v: 1.1 tarjan之 1.2 合并v到父节点u的集合,确保集合的祖 ...
- 倍增法求lca(最近公共祖先)
倍增法求lca(最近公共祖先) 基本上每篇博客都会有参考文章,一是弥补不足,二是这本身也是我学习过程中找到的觉得好的资料 思路: 大致上算法的思路是这样发展来的. 想到求两个结点的最小公共祖先,我们可 ...
随机推荐
- python 列表的(总结)
列表(自我总结) 1.在python中什么是列表 列:排列,表:一排数据 在python中的表达就是 l = [1,2,3,4,5,6,7] 2.列表是可变类型还是不可变类型 也就是说列表能不能被ha ...
- spring boot-6.profile 多环境支持
在正式项目中一般都会区分多个环境,一般至少分为开发环境,测试生产环境,生产环境,实际可能会有更加精细的区分,针对不同的环境,项目的配置可能需要切换,spring boot 提供了很方便的环境切换方式. ...
- selenium获取微博用户粉丝数
selenum的安装 selenium文档 获取微博用户粉丝数 from selenium import webdriver from time import sleep wd = webdriver ...
- mysql 表相关操作(1)
查询语句 select * from t_deptselect empno,ename,sal from t_emp select empno, sal * 12 as "inco ...
- python计算1~100的和,1~100奇数的和,1~100偶数的和,一条代码求1~100的和
1.计算1~100的数之和----for循环实现1~100的和 sum1 = ,): sum1 = sum1 + i i += print(f"1-100之间的和是:{sum1}" ...
- 一个php文件就可以把数据库的数据导出Excel表格
数据库内容太多,复制粘贴太麻烦?那就用代码实现把,把代码写好了,导出还不容易吗,访问即可导出. excel.php <?php error_reporting(E_ALL ^ E_DEPRECA ...
- java hashmap&concurrentHashmap源理
Java集合:HashMap底层实现和原理(源码解析) https://www.cnblogs.com/java-jun-world2099/p/9258605.html HashMap源码解析JDK ...
- 085、如何快速部署 Prometheus (2019-05-07 周二)
参考https://www.cnblogs.com/CloudMan6/p/7724576.html 部署环境: 两台 Docker Host 10.12.31.211 10.12.3 ...
- vue 列表渲染 v-for
1.数组列表 v-for 块中,我们拥有对父作用域属性的完全访问权限.v-for 还支持一个可选的第二个参数为当前项的索引 1.1 普通渲染 v-for="item ...
- App原生、混合、纯WEB开发模式的优劣分析
什么叫做原生App? 什么是混合app? 什么是Web App开发? Native App开发即我们所称的传统APP开发模式(原生APP开发模式),该开发针对IOS.Android等不同的手机操作系统 ...