Luogu P3379【模板】最近公共祖先(LCA) dfs序+RMQ O1求LCA

这个方法求LCA可以O1查询。

而且会有一些神奇的性质:

st[x]<st[y]<=ed[y]<=ed[x],表示x是y的祖先。st是第一次访问节点的时间,ed是最后一次访问节点的时间

两个节点的LCA等于min(st[x],ed[y])中间dfs序最小的那个节点。//也可以写成min(st[x],st[y]),min(ed[x],st[y]),min(ed[x],ed[y])

因为先访问x,然后会遍历x的子树,这里面肯定没x的祖先。

然后会往上回溯,直到x和y 的LCA,然后会往下遍历,遍历到y,dfs序最小的一定刚好是xy的LCA,因为最多回溯到这里,否则会跳过y,与dfs序遍历规则矛盾。

由这个我们可以推出:多个点的LCA,等于min(min(st[i]),max(st[j])),即这些点中,dfs序最小的点与dfs序最大的点的LCA。

这是个很神奇的性质,由这个性质我们可以做出一道题。。。网上竟然没人说这个性质,。。

#include<bits/stdc++.h>
using namespace std;
const int M =1e6+7;
int head[M],cnt;
void init(){cnt=0,memset(head,0,sizeof(head));}
struct EDGE{int to,nxt,val;}ee[M*2];
void add(int x,int y){ee[++cnt].nxt=head[x],ee[cnt].to=y,head[x]=cnt;}

int st[M],ed[M],dep[M],lg[M],dp[M][20];
int euler[
  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值