AGC005 E Sugigma: The Showdown

题意

一棵红树，一棵蓝树，共用节点
两个人分别在X、Y出发
x想不被抓，y要抓x
问如果它们足够聪明，什么时候y会抓到x，若不可能输出-1

题解

如果存在一条红边(u,v)，且蓝树上u到v的距离>=3，（以下我们把这个叫做长边）则若在x到u或v时之前（含）没被y抓到，就可以说明x成功逃脱了。这个性质比较简单，不予证明（实在要看证明见官方题解）
如果我们把Y作为蓝树的根，如图（这是个局部），

其中，紫色的边是长边
所以我们可以看出，如果只能走除长边外的红边，X往下面沉才是最优的
然后Y也就一直跟着X往下追
直到走到叶子，然后X就可以放弃治疗了
如果X能成功苟活在长边一回合以上，就成功逃脱了
具体的实现，我们先扫描出长边，然后通过bfs计算X不走长边能先于Y到达的点，如果能到达长边，则成功逃脱，否则就是能到达的深度最大的点的深度*2

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
using namespace std;
typedef long long ll;
const int N=200005;
int n,x,y;
struct node{
    int u,v,nxt;
}B[N*2],R[N*2];
int hB[N];
int hR[N];
int Bcnt,Rcnt;
int eu[N],ev[N];
void add_B(int u,int v){
    Bcnt++;
    B[Bcnt].u=u;
    B[Bcnt].v=v;
    B[Bcnt].nxt=hB[u];
    hB[u]=Bcnt;
}
void add_R(int u,int v){
    Rcnt++;
    R[Rcnt].u=u;
    R[Rcnt].v=v;
    R[Rcnt].nxt=hR[u];
    hR[u]=Rcnt;
}
int deep[N],fa[N];
int dfn[N],efn[N],tot;
void dfs(int u,int dep){
    deep[u]=dep;
    dfn[u]=++tot;
    for(int i=hB[u];i;i=B[i].nxt){
        int v=B[i].v;
        if(v==fa[u])
            continue;
        fa[v]=u;
        dfs(v,dep+1);
    }
    efn[u]=++tot;
}
bool check(int x,int y){//Islongedge?
    if(dfn[x]>dfn[y])
        swap(x,y);
    if(dfn[x]<=dfn[y]&&efn[y]<=efn[x])
        return deep[y]-deep[x]>2;
    return fa[x]!=fa[y];
}
bool Longedge[N];
queue<int>q;
bool vis[N];
int dist[N];
void bfs(){
    while(!q.empty())
        q.pop();
    vis[x]=1;
    q.push(x);
    while(!q.empty()){
        int u=q.front();
        q.pop();
        for(int i=hR[u];i;i=R[i].nxt){
            int v=R[i].v;
            if(!vis[v]){
                dist[v]=dist[u]+1;
                if(dist[v]<deep[v]){
                    vis[v]=1;
                    q.push(v);
                }
            }
        }
    }
}
int main()
{
    //freopen("coalesce.in","r",stdin);
    //freopen("coalesce.out","w",stdout);
    while(~scanf("%d%d%d",&n,&x,&y)){
        memset(hB,0,sizeof hB);
        memset(hR,0,sizeof hR);
        Bcnt=Rcnt=0;
        memset(fa,0,sizeof fa);
        tot=0;
        memset(Longedge,0,sizeof Longedge);
        memset(vis,0,sizeof vis);
        memset(dist,0,sizeof dist);
        for(int i=1;i<n;i++){
            scanf("%d%d",&eu[i],&ev[i]);
        }
        for(int i=1;i<n;i++){
            int u,v;
            scanf("%d%d",&u,&v);
            add_B(u,v);
            add_B(v,u);
        }
        dfs(y,0);
        for(int i=1;i<n;i++){
            int u=eu[i],v=ev[i];
            if(check(u,v))
                Longedge[u]=Longedge[v]=1;
            else
                add_R(u,v),add_R(v,u);
        }
        bfs();
        int ans=0;
        bool f=true;
        for(int i=1;i<=n&&f;i++)
            if(vis[i]&&Longedge[i]){
                puts("-1");
                f=false;
            }
            else
                if(vis[i])
                    ans=max(ans,deep[i]*2);
        if(f)
            printf("%d\n",ans);
    }
}