题解：CF832D Misha, Grisha and Underground

同步发表于洛谷文章区

原题链接

前置知识：LCA。

思路

画个图：

$2$ 个路径，三个点，必定有 $1$ 个点是重复的（红色的 $6$）。我们可以分类讨论一下哪个点是重复的，最后取三种答案中的最大值即可。假设这个点为 $a$，另两个点为 $b,c$。

首先，两条路径会从 $a$ 开始向上，后向下（也有可能只向上或只向下，但不影响）,中间“转向”的拐点分别是 $\mathrm{lca}(a,b)$ 和 $\mathrm{lca}(a,c)$。向上走的共同点(节点 $2$)的深度为 $\max (de{p}_{\mathrm{lca}(a,b)},de{p}_{\mathrm{lca}(a,c)})$。向下走的部分可能有共同点（比如深蓝和浅蓝的路径），也有可能没有（比如说蓝色和红色）。向下走的部分在 $\mathrm{lca}(b,c)$ 处分离。如果 $de{p}_{\mathrm{lca}(c,b)}\le \max (de{p}_{\mathrm{lca}(a,b)},de{p}_{\mathrm{lca}(a,c)})$，说明两条路径没有向下走的共同部分，为 $0$。

CODE：

int n,_,a,b,c,fa[N][20],tot,edge[N<<1],head[N],nxt[N<<1],dep[N];
void add(int x,int y){edge[++tot]=y,nxt[tot]=head[x],head[x]=tot;return;}
void dfs(int x){
    dep[x]=dep[fa[x][0]]+1;
    for(int i=1;i<=19;i++)fa[x][i]=fa[fa[x][i-1]][i-1];
    for(int i=head[x];i;i=nxt[i])dfs(edge[i]);
    return;
}
int lca(int x,int y){/*为节省空间略去*/}
int solve(int a,int b,int c){
    return dep[a]-max(dep[lca(a,b)],dep[lca(a,c)])+1+max(dep[lca(b,c)]-max(dep[lca(a,b)],dep[lca(a,c)]),0);
}
int main(){
    scanf("%d%d",&n,&_);
    for(int i=2;i<=n;i++)scanf("%d",fa[i]),add(fa[i][0],i);
    dfs(1);
    while(_--)scanf("%d%d%d",&a,&b,&c),printf("%d\n",max(solve(a,b,c),max(solve(b,a,c),solve(c,a,b))));
    return 0;
}