LCA就是求公共祖先。优质博客推荐
但是不推荐它的伪代码,感觉思路没错,但是有点问题。
我随手写了一个,有错欢迎之处
int get(int u)
{
if(f[u]==u) return u;
else f[u]=get(f[u]);
}
void dfs(int u,int pre)
{
//vis[u]=1;//位置1
for(int i=first[u];i!=-1;i=e[i].nex)
{
int v=e[i].v;
if(pre==v) continue;
if(!vis[v])
{
dfs(v,u);
f[v]=u;
}
}
vis[u]=1;//位置2
for(int i=first2[u];i!=-1;i=e2[i].nex)
{
int v=e2[i].v;
int id=e2[i].id;
if(!vis[v])
{
ans[id]=get(v);
}
}
}
vis[u]为什么放哪个地方而不放在f[v]=u前面,因为那样遍历不到根节点。
无向图可以放在位置1和位置2,讲道理,位置1更快。
但是有向图只能放在位置2,否则提前标记自己,但是自己不一定是祖先,因为自己是有向图。
那么公共祖先有什么用呢?
裸题有用,但是大部分都不是,我学了一个求两点间距离,有意思的很。
首先说一下无向图,只需在dfs的时候传递一个deep变量一直逐层加就好了。
然后dis[u]=deep,那么就两点间距离就是dis[u]+dis[v]-2*dis[get(v)]。
那么有向图必需从根节点dfs,无向图可以从任意节点。
无向图求两点距离
#include<stdio.h>
#include<string.h>
#include<string>
#include<iostream>
#include<algorithm>
#define mem(a,b) memset(a,b,sizeof(a))
#define LL long long
using namespace std;
const int maxn=20005;
const int maxm=2000005;
int n,m,c;
struct node
{
int v,w,nex;
} e[maxn];
struct node2
{
int id,v,nex;
} e2[maxm];
int first[maxn/2];
int first2[maxn/2];
int tot,tot2;
int vis[maxn];
int f[maxn];
int dis[maxn];
int ans[maxm/2];
void edge(int u,int v,int w)
{
e[tot].v=v;
e[tot].w=w;
e[tot].nex=first[u];
first[u]=tot++;
}
void edge2(int id,int u,int v)
{
e2[tot2].id=id;
e2[tot2].v=v;
e2[tot2].nex=first2[u];
first2[u]=tot2++;
}
void init()
{
mem(first,-1);
mem(first2,-1);
tot=0;
tot2=0;
mem(vis,