hdu 2586 How far away ？（Tarjan）

这道题题意是，给定一棵树，每条边都有一定的权值，q次询问，每次询问某两点间的距离。这样就可以用LCA来解，首先找到u, v 两点的lca，然后计算一下距离值就可以了。这里的计算方法是，记下根结点到任意一点的距离dis[]，这样ans = dis[u] + dis[v] - 2 * dis[lca(v,v)]了，这个表达式还是比较容易理解的。。在求解最近公共祖先为问题上，用到的是Tarjan的思想，从根结点开始形成一棵深搜树，非常好的处理技巧就是在回溯到结点u的时候，u的子树已经遍历，这时候才把u结点放入合并集合中，这样u结点和所有u的子树中的结点的最近公共祖先就是u了，u和还未遍历的所有u的兄弟结点及子树中的最近公共祖先就是u的父亲结点。以此类推。。这样我们在对树深度遍历的时候就很自然的将树中的结点分成若干的集合，两个集合中的所属不同集合的任意一对顶点的公共祖先都是相同的，也就是说这两个集合的最近公共最先只有一个。对于每个集合而言可以用并查集来优化，时间复杂度就大大降低了，为O(n+ q)，n为总结点数，q为询问结点对数。

//parent为并查集，FIND为并查集的查找操作
//QUERY为询问结点对集合
//TREE为基图有根树
Tarjan(u)
visit[u] = true
for each (u, v) in QUERY
if visit[v]
ans(u, v) = FIND(v)
for each (u, v) in TREE
if !visit[v]
Tarjan(v)
parent[v] = u

<pre name="code" class="cpp">#include <cstdio>#include <iostream>#include <cstring>#include <string>#include <cstdlib>#include <algorithm>#include <cmath>#include <vector>#include <set>#include <list>#include <queue>#include <map>using namespace std;#define L(i) i<<1#define R(i) i<<1|1#define INF 0x3f3f3f3f#define pi acos(-1.0)#define eps 1e-4#define maxn 500010#define NN 40002 // number of house#define MM 202   // number of querytypedef struct node{int v;int d;struct node *nxt;}NODE;NODE *Link1[NN];NODE edg1[NN * 2]; // 树中的边NODE *Link2[NN];NODE edg2[NN * 2]; // 询问的点对int idx1, idx2, N, M;int res[MM][3]; // 记录结果，res[i][0]: u   res[i][1]: v  res[i][2]: lca(u, v)int fat[NN];int vis[NN];int dis[NN];void Add(int u, int v, int d, NODE edg[], NODE *Link[], int &idx){edg[idx].v = v;edg[idx].d = d;edg[idx].nxt = Link[u];Link[u] = edg + idx++;edg[idx].v = u;edg[idx].d = d;edg[idx].nxt = Link[v];Link[v] = edg + idx++;}int find(int x){ // 并查集路径压缩if(x != fat[x]){return fat[x] = find(fat[x]);}return x;}void Tarjan(int u){vis[u] = 1;fat[u] = u;for (NODE *p = Link2[u]; p; p = p->nxt){if(vis[p->v]){res[p->d][2] = find(p->v); // 存的是最近公共祖先结点}}for (NODE *p = Link1[u]; p; p = p->nxt){if(!vis[p->v]){dis[p->v] = dis[u] + p->d;Tarjan(p->v);fat[p->v] = u;}}}int main() {int T, i, u, v, d;scanf("%d", &T);while(T--){scanf("%d%d", &N, &M);idx1 = 0;memset(Link1, 0, sizeof(Link1));for (i = 1; i < N; i++){scanf("%d%d%d", &u, &v, &d);Add(u, v, d, edg1, Link1, idx1);}idx2 = 0;memset(Link2, 0, sizeof(Link2));for (i = 1; i <= M; i++){scanf("%d%d", &u, &v);Add(u, v, i, edg2, Link2, idx2);res[i][0] = u;res[i][1] = v;}memset(vis, 0, sizeof(vis));dis[1] = 0;Tarjan(1);for (i = 1; i <= M; i++){printf("%d\n", dis[res[i][0]] + dis[res[i][1]] - 2 * dis[res[i][2]]);}}return 0;}