tarjan-LCA模板

洛谷P3379

 #include <cstdio>

 using namespace std;

 const int max_n=;

 struct etype{
     int t,next;
 };
 struct qtype{
     int t,next,id;
 };

 etype e[*max_n];
 qtype q[*max_n];
 int a[max_n],b[max_n],ans[max_n],fa[max_n];
 bool vis[max_n];
 int cnt;

 void addedge(int u,int v)
 {
     cnt++;
     e[cnt].t=v;e[cnt].next=a[u];a[u]=cnt;
 }

 void addquery(int i,int u,int v)
 {
     cnt++;
     q[cnt].t=v;q[cnt].id=i;q[cnt].next=b[u];b[u]=cnt;
 }

 int findfather(int k)
 {
     if (fa[k]==k) return k;
     fa[k]=findfather(fa[k]);
     return fa[k];
 }

 void dfs(int k)
 {
     fa[k]=k;vis[k]=true;
     int i=b[k];
     while (i>)
     {
         if (vis[q[i].t])
         {
             if (ans[q[i].id]==) ans[q[i].id]=findfather(q[i].t);
         }
         i=q[i].next;
     }
     i=a[k];
     while (i>)
     {
         if (!vis[e[i].t])
         {
             dfs(e[i].t);
             fa[e[i].t]=k;
         }
         i=e[i].next;
     }
 }
 int main()
 {
     int n,m,s;
     scanf("%d%d%d",&n,&m,&s);
     for (int i=;i<=n;i++) a[i]=;
     cnt=;
     for (int i=;i<n;i++)
     {
         int x,y;
         scanf("%d%d",&x,&y);
         addedge(x,y);addedge(y,x);
     }
     for (int i=;i<=n;i++) b[i]=;
     cnt=;
     for (int i=;i<=m;i++)
     {
         int x,y;
         scanf("%d%d",&x,&y);
         addquery(i,x,y);addquery(i,y,x);
     }
     for (int i=;i<=n;i++) vis[i]=false;
     for (int i=;i<=m;i++) ans[i]=;
     dfs(s);
     for (int i=;i<=m;i++) printf("%d\n",ans[i]);
     return ;
 }