分析

原因如下（参考网址）：

#include <iostream>
#include <vector>
#include <cstring>

using namespace std;

typedef pair<int, int> PII;

const int N = 10010, M = N * 2;

int n, m;  // n: 节点数, m: 询问数
int h[N], e[M], w[M], ne[M], idx;
int dist[N];  // 某个点到根节点经过的边的权值和
int p[N];  // 并查集
int res[M];  // 存储询问的结果
int st[N];  // 存储当前节点的状态，可以为2,1,0
vector<PII> query[N];  // 存储查询，first存查询的另外一个点，second存查询编号

void add(int a, int b, int c) {
    e[idx] = b, w[idx] = c, ne[idx] = h[a], h[a] = idx++;
}

int find(int x) {
    if (p[x] != x) p[x] = find(p[x]);
    return p[x];
}

void dfs(int u, int fa)
{
    for (int i = h[u]; ~i; i = ne[i])
    {
        int j = e[i];
        if (j == fa) continue;
        dist[j] = dist[u] + w[i];
        dfs(j, u);
    }
}

void tarjan(int u) {

    st[u] = 1;  // 表示该点正在搜索分支上

    for (int i = h[u]; ~i; i = ne[i]) {
        int j = e[i];
        if (!st[j]) {
            // 这两句话不能调换顺序，细节可以参考上面的解释
            // 简言之，调换顺序后之后的find函数会做路径压缩，导致结果错误
            tarjan(j);
            p[j] = u;
        }
    }

    for (auto item : query[u]) {
        int y = item.first, id = item.second;
        if (st[y] == 2) {
            int anc = find(y);  // anc是点u和y的LCA
            res[id] = dist[u] + dist[y] - 2 * dist[anc];
        }
    }

    st[u] = 2;  // 已经遍历过且回溯过的点
}

int main() {

    scanf("%d%d", &n, &m);
    memset(h, -1, sizeof h);
    for (int i = 0; i < n - 1; i++) {
        int a, b, c;
        scanf("%d%d%d", &a, &b, &c);
        add(a, b, c), add(b, a, c);
    }

    for (int i = 0; i < m; i++) {
        int a, b;
        scanf("%d%d", &a, &b);
        if (a != b) {
            query[a].push_back({b, i});
            query[b].push_back({a, i});
        }
    }

    for (int i = 1; i <= n; i++) p[i] = i;

    // 将1号点当做根节点
    dfs(1, -1);
    tarjan(1);

    for (int i = 0; i < m; i++) printf("%d\n", res[i]);

    return 0;
}