lyzqs的博客

一个简单毒瘤结论：对于两条路径a,b和c,d

有其中一条路径的lca一定在另一个路径上

然后就可以用lca判断了

#include <bits/stdc++.h>
#define il inline
#define Max 100005
#define getchar() (tt==ss&&(tt=(ss=In)+fread(In,1,Max,stdin),ss==tt)?EOF:*ss++)
using namespace std;
namespace lyzqs
{
    char In[Max],*ss=In,*tt=In;
    il int read()
    {
        char c=getchar();
        int x=0,f=1;
        while(c>'9'||c<'0')
        {
            if(c=='-') f=-1;
            c=getchar();
        }
        while(c>='0'&&c<='9')
        {
            x=x*10+c-'0';
            c=getchar();
        }
        return x*f;
    }
    struct node
    {
        int t,nt,w;
    }e[Max<<1];
    int n,m,head[Max],tot,cnt,d[Max],f[Max][25];
    il void add(int u,int v)
    {
        e[++tot].t=v;
        e[tot].nt=head[u];
        head[u]=tot;
    }
    il void dfs(int u,int fa)
    {
        d[u]=d[fa]+1;
        f[u][0]=fa;
        for(int i=1;i<=20;i++)
            f[u][i]=f[f[u][i-1]][i-1];
        for(int i=head[u];i;i=e[i].nt)
        {
            int v=e[i].t;
            if(v==fa) continue;
            dfs(v,u);
        }
    }
    il int lca(int u,int v)
    {
        if(d[u]<d[v]) swap(u,v);
        for(int i=20;i>=0;i--)
            if(d[f[u][i]]>=d[v]) u=f[u][i];
        if(u==v) return u;
        for(int i=20;i>=0;i--)
            if(f[u][i]!=f[v][i]) u=f[u][i],v=f[v][i];
        return f[u][0];
    }
    il int dis(int a,int b)
    {
        int c=lca(a,b);
        return abs(d[a]-d[c])+abs(d[c]-d[b]);
    }
    void main()
    {
        n=read(),m=read();
        for(int i=1;i<n;i++)
        {
            int u=read(),v=read();
            add(u,v),add(v,u);
        }
        dfs(1,0);
        for(int i=1;i<=m;i++)
        {
            int a=read(),b=read(),c=read(),d=read();
            int x=lca(a,b),y=lca(c,d);
            if(dis(a,y)+dis(b,y)==dis(a,b)||dis(c,x)+dis(x,d)==dis(c,d)) puts("Y");
            else puts("N");
        }
    }
}
int main()
{
    lyzqs::main();
}