zoukankan      html  css  js  c++  java
  • LCA与RMQ

    一、什么是LCA?

          LCA:Least Common Ancestors(最近公共祖先),对于一棵有根树T的任意两个节点u,v,求出LCA(T, u, v),即离跟最远的节点x,使得x同时是u和v的祖先。

    二、算法分类

      求LCA的算法很多,按照是否在线可以分为在线算法和离线算法。
          在线算法:用比较长的时间做预处理,但是等信息充足以后每次回答询问只需要用比较少的时间。
          离线算法:先把所有的询问读入,然后一起把所有询问回答完成,不是本文所讲,Click here

    三、在线算法

      (1)什么是RMQ?

      RMQ:给出一个数组A,回答询问RMQ(A, i, j),即A[i...j]之间的最值的下标。

      (2)RMQ算法,不是本文所讲,Click here

      (3)RMQ与LCA 

      假设一颗有根树,如图所示:

      

      我们可以通过深搜(从1节点开始)得到这样一个序列:

      欧拉序列V:1 2 1 3 4 3 5 6 5 7 5 3 1

      深度序列D:0 1 0 1 2 1 2 3 2 3 2 1 0

      First:1 2 4 5 7 8 10

      First表示节点i在欧拉序列V中第一次出现的位置

      

      现在比如我们要求LCA(4,7)

      那么找到节点4和7第一次出现的位置即:First(4)=5,First(7)=10

      对应到欧拉序列V中区间[5,10]即:4 3 5 6 5 7

      发现正好是以3为根的子树,然我我们找到这几个数中深度最小的即D(3),说明3就是4和7的最近公共祖先

      同理再比如说要求LCA(2,5),First(2)=2,First(5)=7,找到对应区间[2,7]即2 1 3 4 3 5

      然后找到深度最小的即1,说明1就是2和5的最近公共祖先。

    四:例题

      HDU 2586

      AC CODE:

      

    #include <iostream>
    #include <cstdio>
    #include <cstring>
    #include <cmath>
    using namespace std;
    #define min(a,b) ((a)<(b)?(a):(b))
    #define N 40010
    #define M N*2
    
    struct edge
    {
        int u,v,w,next;
    }edge[M];
    int tot,head[N];
    
    int n,m;
    int idx;
    bool vis[N];
    int ver[2*N];
    int dep[2*N];
    int first[N];
    int dis[N];
    int dp[2*N][20];
    
    void init()
    {
        tot=0;
        memset(head,-1,sizeof(head));
    }
    void add(int u,int v,int w)
    {
        edge[tot].u=u;
        edge[tot].v=v;
        edge[tot].w=w;
        edge[tot].next=head[u];
        head[u]=tot++;
    }
    void init2()
    {
        idx=0;
        dis[1]=0;
        memset(vis,0,sizeof(vis));
    }
    void dfs(int u,int d)
    {
        vis[u]=1;
        ver[++idx]=u;
        first[u]=idx;
        dep[idx]=d;
        for(int i=head[u];i!=-1;i=edge[i].next){
            int v=edge[i].v;
            if(!vis[v]){
                int w=edge[i].w;
                dis[v]=dis[u]+w;
                dfs(v,d+1);
                ver[++idx]=u;
                dep[idx]=d;
            }
        }
    }
    void ST(int n)
    {
        int i,j;
        for(i=1;i<=n;i++) dp[i][0]=i;
        for(j=1;(1<<j)<=n;j++){
            for(i=1;i<=n;i++){
                if(i+(1<<j)-1<=n){
                    int a=dp[i][j-1];
                    int b=dp[i+(1<<(j-1))][j-1];
                    dp[i][j]=dep[a]<dep[b]?a:b;
                }
            }
        }
    }
    int RMQ(int i,int j)
    {
        int k=(int)(log((double)(j-i+1))/log(2.0));
        int a=dp[i][k],b=dp[j-(1<<k)+1][k];
        return dep[a]<dep[b]?a:b;
    }
    int LCA(int u,int v)
    {
        int x=first[u];
        int y=first[v];
        if(x>y) swap(x,y);
        int res=RMQ(x,y);
        return ver[res];
    }
    int main()
    {
        int T;
        scanf("%d",&T);
        while(T--)
        {
            init();
            scanf("%d%d",&n,&m);
            for(int i=1;i<n;i++)
            {
                int u,v,w;
                scanf("%d%d%d",&u,&v,&w);
                add(u,v,w);
                add(v,u,w);
            }
            init2();
            dfs(1,0);
            ST(2*n-1);
            while(m--)
            {
                int u,v;
                scanf("%d%d",&u,&v);
                int lca=LCA(u,v);
                printf("%d
    ",dis[u]+dis[v]-2*dis[lca]);
            }
        }
        return 0;
    }
  • 相关阅读:
    React开发小问题记录
    React 生命周期
    CSS 函数
    React props
    React State 状态
    React 组件 复合组件
    React JSX语法
    js动态创建标签,并设置样式。
    jq 二级筛选切换
    从算法看背包问题(1)
  • 原文地址:https://www.cnblogs.com/hate13/p/4584531.html
Copyright © 2011-2022 走看看