洛谷P3398 仓鼠找sugar

LCA

题目传送门

其实就是让你判断树上的两条路径是否相交。
对于两条相交的路径，有这样一条性质：

一条路径的LCA必然与另一条路径相交

而一个点与一条路径相交需满足以下性质：

①：该节点的深度≥路径两端点LCA的深度
②：该节点与路径至少一个端点的LCA为他自己

于是不停跑LCA就行啦！

感觉Tarjan有点难搞，就写了ST

代码：

#include<cstdio>
#include<cstring>
#include<algorithm>
#define MAXN 100000
using namespace std;
struct edge{
    int next,to;
};
int n,q,k;
int h[MAXN+5],fa[MAXN+5][18],depth[MAXN+5];
edge ed[MAXN*2+5];
inline char readc(){
    static char buf[100000],*l=buf,*r=buf;
    if (l==r) r=(l=buf)+fread(buf,1,100000,stdin);
    if (l==r) return EOF; return *l++;
}
inline int _read(){
    int num=0; char ch=readc();
    while (ch<'0'||ch>'9') ch=readc();
    while (ch>='0'&&ch<='9') { num=num*10+ch-48; ch=readc(); }
    return num;
}
void dfs(int x,int dep){
    depth[x]=dep;
    for (int i=h[x];i;i=ed[i].next)
        if (ed[i].to!=fa[x][0]){
            fa[ed[i].to][0]=x;
            dfs(ed[i].to,dep+1);
        }
}
void make(){
    for (int j=1;j<=17;j++)
        for (int i=1;i<=n;i++)
            fa[i][j]=fa[fa[i][j-1]][j-1];
}
int lca(int x,int y){
    if (depth[x]<depth[y]) swap(x,y);
    for (int i=17;i>=0;i--)
        if (depth[fa[x][i]]>=depth[y]) x=fa[x][i];
    if (x==y) return x;
    for (int i=17;i>=0;i--)
        if (fa[x][i]!=fa[y][i]){
            x=fa[x][i]; y=fa[y][i];
        }
    return fa[x][0];
}
bool LCA(int u,int v,int x,int y){
    int t1=lca(u,v),t2=lca(x,y);
    if ((depth[t1]>=depth[t2]&&(lca(t1,x)==t1||lca(t1,y)==t1))||(depth[t1]<=depth[t2]&&(lca(t2,u)==t2||lca(t2,v)==t2)))
        return true;
    return false;
}
void addedge(int x,int y){
    ed[++k].next=h[x]; ed[k].to=y; h[x]=k;
}
int main(){
    n=_read(); q=_read();
    for (int i=1;i<n;i++){
        int u=_read(),v=_read();
        addedge(u,v); addedge(v,u);
    }
    fa[1][0]=1;
    dfs(1,0);
    make();
    for (int i=1;i<=q;i++){
        int u=_read(),v=_read(),x=_read(),y=_read();
        if (LCA(u,v,x,y)) printf("Y\n"); else printf("N\n");
    }
    return 0;
}