ＬＣA——最近公共祖先

祖孙询问

给定一棵包含 n 个节点的有根无向树，节点编号互不相同，但不一定是 1∼n。

有 m 个询问，每个询问给出了一对节点的编号 x 和 y，询问 x 与 y 的祖孙关系。

输入格式
输入第一行包括一个整数 表示节点个数；

接下来 n 行每行一对整数 a 和 b，表示 a 和 b 之间有一条无向边。如果 b 是 −1，那么 a 就是树的根；

第 n+2 行是一个整数 m 表示询问个数；

接下来 m 行，每行两个不同的正整数 x 和 y，表示一个询问。

输出格式
对于每一个询问，若 x 是 y 的祖先则输出 1，若 y 是 x 的祖先则输出 2，否则输出 0。

数据范围
$1\le n,m\le 4\times 10^4$,
$1\le 每个节点的编号\le 4\times 10^4$
输入样例：
10
234 -1
12 234
13 234
14 234
15 234
16 234
17 234
18 234
19 234
233 19
5
234 233
233 12
233 13
233 15
233 19
输出样例：
1
0
0
0
2

题解：

这个模板题步骤和之前写的笔记一样，默认depth[0]=0，depth也是所说的哨兵数组防止出界的。这里建树的时候用的ｂｆｓ可以避免爆栈。

#include <bits/stdc++.h>
using namespace std;
const int N=1e5+7;
int cnt,n,ne[N],e[N],head[N],depth[N],fa[N][16];
void add(int a,int b)
{
    e[cnt]=b,ne[cnt]=head[a],head[a]=cnt++;
}
void build(int rt)
{
    memset(depth,0x3f3f3f3f,sizeof depth);
    depth[rt]=1;depth[0]=0;
    queue<int> q;
    q.push(rt);
    while(!q.empty()){
        int u=q.front(); q.pop();
        for(int i=head[u];~i;i=ne[i]){
            int j=e[i];
            if(depth[j]>depth[u]+1){
                depth[j]=depth[u]+1;
                q.push(j);
                fa[j][0]=u;
                for(int k=1;k<=15;k++){
                    fa[j][k]=fa[fa[j][k-1]][k-1];
                }
            }
        }
    }
}
int lca(int a,int b)
{
    if(depth[a]<depth[b]) swap(a,b);
    for(int i=15;i>=0;i--){
        if(depth[fa[a][i]]>=depth[b]) a=fa[a][i];
    }
    if(a==b) return a;
    for(int i=15;i>=0;i--){
        if(fa[a][i]!=fa[b][i]){
            a=fa[a][i];
            b=fa[b][i];
        }
    }
    return fa[a][0];
}
int main()
{
    cin>>n;
    int root=0;
    memset(head,-1,sizeof head);
    for(int i=1;i<=n;++i){
        int a,b; scanf("%d%d",&a,&b);
        if(b==-1) root=a;
        else add(a,b),add(b,a);
    }
    build(root);
    int m; cin>>m;
    for(int i=1;i<=m;i++){
        int a,b; scanf("%d%d",&a,&b);
        int p=lca(a,b);
        if(p==a) cout<<1<<endl;
        else if(p==b) cout<<2<<endl;
        else cout<<0<<endl;
    }
    return  0;
}