题目传送门
其实就是让你判断树上的两条路径是否相交。
对于两条相交的路径,有这样一条性质:
一条路径的LCA必然与另一条路径相交
而一个点与一条路径相交需满足以下性质:
①:该节点的深度≥路径两端点LCA的深度
②:该节点与路径至少一个端点的LCA为他自己
于是不停跑LCA就行啦!
感觉Tarjan有点难搞,就写了ST
代码:
#include
#include
#include
#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]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;iint 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;
}