时间复杂度:

dfs树,求st表(状态数组f):O(NlgN)

处理M个查询:O(MlgN)

总:O((M+N)lgN)

#include<iostream>
#include<cstdio>
#include<cmath>
using namespace std;
const int maxn=500010;
struct edge{ int t; edge * nxt; edge(int to, edge * next){ t=to, nxt=next; } };
edge * h[maxn];
void add(int u, int v) { h[u]=new edge(v, h[u]); }
int N, M, S, fa[maxn], L[maxn], f[maxn][20]; //S为根节点,fa为父亲数组,L记录结点深度,f为状态数组 inline int read(){
int s=0, w=1; char ch=getchar();
while(ch<'0' || ch>'9' ){ if(ch=='-') w=-1; ch=getchar(); }
while(ch>='0' && ch<='9'){ s=s*10+ch-'0'; ch=getchar(); }
return s*w;
} void dfs(int x){ //在dfs过程中计算出每个节点的深度L、father
L[x]=L[fa[x]]+1;
f[x][0]=fa[x];
for(int i=1; (1<<i)<=L[x]; i++) //使用倍增思想[ST]计算出当前结点的2^i代祖先
f[x][i]=f[f[x][i-1]][i-1];
for(edge * p=h[x]; p; p=p->nxt){
if(p->t==fa[x]) continue;
fa[p->t]=x;
dfs(p->t);
}
} // void prep(){ //这是另一种形式dp计算所有节点的2^k祖宗
// int max_k=log(N)/log(2);
// for(int i=1; i<=N; i++) //依赖于dfs得到的fa数组作为初始状态
// f[i][0]=fa[i];
// for(int k=1; k<max_k; k++){ //状态转移的时间复杂度为O(NlgN)
// for(int i=1; i<=N; i++){
// if((L[i]-(1<<k))>0)
// f[i][k]=f[f[i][k-1]][k-1]; //但倍增计算放在dfs里面是最巧妙、高效的
// }
// }
// } int lca(int x, int y){
if(x==y) return x; //!!!!!!!!!!!!!非常重要,不用解释!!!!!!!!!!
if(L[x]<L[y]) swap(x, y); //如果x比y浅,交换,使得x比y深
int t=log(L[x]-L[y])/log(2); //计算x,y相差的层数,x最大可以向上跳2^t层
for(int i=t; i>=0; i--){ //从x位置以二进制的方式向上跳
if(L[f[x][i]]>=L[y]) x=f[x][i];
if(x==y) return x;
}
t=log(L[x])/log(2); //距离树根,最多可以向上跳2^t层
for(int i=t; i>=0; i--) //从x, y位置以二进制的方式一同向上跳
if(f[x][i]!=f[y][i]) x=f[x][i], y=f[y][i]; //father不一样,继续跳
return f[x][0];
} int main(){
N=read(); M=read(); S=read();
for(int i=1, x, y; i<N; i++) { x=read(); y=read(); add(x, y); add(y, x); }
dfs(S);
for(int i=1, a, b; i<=M; i++) { a=read(); b=read(); printf("%d\n", lca(a, b)); }
return 0;
}

LCA(ST倍增)的更多相关文章

  1. 关于LCA的倍增解法的笔记

    emmmmm近日刚刚学习了LCA的倍增做法,写一篇BLOG来加强一下印象w 首先 何为LCA? LCA“光辉”是印度斯坦航空公司(HAL)为满足印度空军需要研制的单座单发轻型全天候超音速战斗攻击机,主 ...

  2. 51nod 1766 树上的最远点对 | LCA ST表 线段树 树的直径

    51nod 1766 树上的最远点对 | LCA ST表 线段树 树的直径 题面 n个点被n-1条边连接成了一颗树,给出a~b和c~d两个区间,表示点的标号请你求出两个区间内各选一点之间的最大距离,即 ...

  3. LCA的倍增算法

    LCA,即树上两点之间的公共祖先,求这样一个公共祖先有很多种方法: 暴力向上:O(n) 每次将深度大的点往上移动,直至二者相遇 树剖:O(logn) 在O(2n)预处理重链之后,每次就将深度大的沿重链 ...

  4. [模板]LCA的倍增求法解析

    题目描述 如题,给定一棵有根多叉树,请求出指定两个点直接最近的公共祖先. 输入输出格式 输入格式: 第一行包含三个正整数N.M.S,分别表示树的结点个数.询问的个数和树根结点的序号. 接下来N-1行每 ...

  5. ST&倍增LCA

    回顾st算法,它的一大功能是求区间最值.先将整个区间划分成若干个小的区间,求出最值,然后将小的区间合并成一个大的区间,我们这里要用到一个数组minn[i][j],划重点!如果我们要求的是区间最小值,m ...

  6. [CF 191C]Fools and Roads[LCA Tarjan算法][LCA 与 RMQ问题的转化][LCA ST算法]

    参考: 1. 郭华阳 - 算法合集之<RMQ与LCA问题>. 讲得很清楚! 2. http://www.cnblogs.com/lazycal/archive/2012/08/11/263 ...

  7. 关于树论【LCA树上倍增算法】

    补了一发LCA,表示这东西表面上好像简单,但是细节真挺多. 我学的是树上倍增,倍增思想很有趣~~(爸爸的爸爸叫奶奶.偶不,爷爷)有一个跟st表非常类似的东西,f[i][j]表示j的第2^i的祖先,就是 ...

  8. Codevs 2370 小机房的树 LCA 树上倍增

    题目描述 Description 小机房有棵焕狗种的树,树上有N个节点,节点标号为0到N-1,有两只虫子名叫飘狗和大吉狗,分居在两个不同的节点上.有一天,他们想爬到一个节点上去搞基,但是作为两只虫子, ...

  9. LCA算法倍增算法(洛谷3379模板题)

    倍增(爬树)算法,刚刚学习的算法.对每一个点的父节点,就记录他的2k的父亲. 题目为http://www.luogu.org/problem/show?pid=3379 第一步先记录每一个节点的深度用 ...

随机推荐

  1. web渗透 学习计划(转载)

    作者:向生李链接:https://www.zhihu.com/question/21914899/answer/39344435来源:知乎著作权归作者所有.商业转载请联系作者获得授权,非商业转载请注明 ...

  2. python网络进阶篇

    并发编程 进程 操作系统的历史 # 手工操作 —— 穿孔卡片 # 程序员将对应于程序和数据的已穿孔的纸带(或卡片)装入输入机,然后启动输入机把程序和数据输入计算机内存,接着通过控制台开关启动程序针对数 ...

  3. Spring Boot:The field file exceeds its maximum permitted size of 1048576 bytes

    错误信息:The field file exceeds its maximum permitted size of 1048576 bytes原因是因为SpringBoot内嵌tomcat默认所能上传 ...

  4. UOJ188 Sanrd Min_25筛

    传送门 省选之前做数论题会不会有Debuff啊 这道题显然是要求\(1\)到\(x\)中所有数第二大质因子的大小之和,如果不存在第二大质因子就是\(0\) 线性筛似乎可以做,但是\(10^{11}\) ...

  5. sklearn.linear_model.LogisticRegression参数说明

    目录 sklearn.linear_model.LogisticRegression sklearn.linear_model.LogisticRegressionCV sklearn.linear_ ...

  6. 深入研究EF Core AddDbContext 引起的内存泄露的原因

    前两天逛园子,看到 @Jeffcky 发的这篇文章<EntityFramework Core依赖注入上下文方式不同造成内存泄漏了解一下>. 一开始只是粗略的扫了一遍没仔细看,只是觉得是多次 ...

  7. mybatis的where和if标签配合使用

    where标签用于简化sql的书写,if标签用于判断.大概的使用如下 <select id="getCountByPageInfo" parameterType=" ...

  8. Kafka--消息队列

    说明:解耦指的是客户端A和客户端B不需要同步,两者之间的通信是异步的:消息队列是可以复制备份的,因此消息队列具有冗余性和可恢复性:所谓拓展性指的是,在大型分布式系统中,消息队列是分布在集群中的:队列是 ...

  9. rxjs一句话描述一个操作符(1)

    之前一直在写LINQ之类的东西,对于函数式的面向对象还是有一些功底,所以对于rxjs,感觉上不是很难,但是每次看完过几天就忘,还是记一下笔记吧,好记性不如烂笔头真不是盖的. 首先介绍几个重要的概念. ...

  10. 第三章· Redis消息队列

    一.生产消费模型 二.Redis发布消息的两种模式