拉力赛_vijos1460_LCA

描述

车展结束后，游乐园决定举办一次盛大的山道拉力赛，平平和韵韵自然也要来参加大赛。
赛场上共有n个连通的计时点，n-1条赛道（构成了一棵树）。每个计时点的高度都不相同（父结点的高度必然大于子结点），相邻计时点间由赛道相连。由于马力不够，所以韵韵的遥控车只能从高处驶向低处。而且韵韵的车跑完每条赛道都需花费一定的时间。
举办方共拟举办m个赛段的比赛，每次从第u个计时点到第v个计时点，当然其中有不少比赛韵韵的遥控车是不能参加的（因为要上坡）。平平想知道他能参加多少个赛段的比赛，并且想知道他完成这些赛段的总用时。
赛道皆为单向。

输入格式

第一行两个整数n，m。
接下来n-1行每行3个整数a、b、t。
表示韵韵的遥控车可以花t秒从第a个计时点到第b个计时点。
接下来m行每行2个整数u、v，意义如描述所示。

输出格式

第一行输出一个正整数，表示能参加的赛段数。
第二行输出一个正整数，表示总用时。

样例输入1

6 2
1 2 1
2 4 1
2 5 1
5 6 1
1 3 1
2 6
4 5

样例输出1

1
2

限制

各个测试点1s
提示
第一个计时点的高度是最高的；
u≠v；
对于50％的数据 n≤1000 m≤1000；
对于100％的数据 n≤10000 m≤100000；
答案小于2^64。

来源

f1zsy birdor

思路

考试的时候看到这题是懵逼的

后来仔细一想水了一个n次判断的spfa，50分到手
后来又仔细一想，这似乎是求两点最近公共祖先，如下：

• 如果能从一点出发到达另一点，那么这两点分别为处在同一树枝上的不同节点，且出发点深度<终点深度

• 画个图看看可以发现，上面那段话==出发点为所求两点的祖先

  距离呢？距离怎么算？
  还是如下两种方法：

  1. 做之前dfs一下路径和代价求得dis[x]，表示从根节点1到x节点的距离
  2. 做tarjan的时候逐步累积当前访问过的节点到根节点的距离，同记为dis[x]
  3. 最后x到y节点的距离=abs(dis[x]-dis[y])-dis[最近公共祖先]
  4. 我们发现由于两点能连通的条件仅限于他们处在同一树枝上，所以dis[最近公共祖先]是个大酱油

  于是就在网上搜资料、找解题报告、手鲁题……
  于是我们就能发现这是一道模板水题
  于是我们就有了以下乱搞

乱搞的后果和产物：

type
  edge=record
    x,y,w,next:longint;
  end;
var
  n,m,maxE,maxQ:longint;
  f,ls,ls1,dis:array[1..110000]of longint;
  v:array[1..110000]of boolean;
  e,q:array[1..110000]of edge;
  dist,ans:int64;
procedure add(x,y,w:longint);
begin
  inc(maxE);
  e[maxE].x:=x;
  e[maxE].y:=y;
  e[maxE].w:=w;
  e[maxE].next:=ls[x];
  ls[x]:=maxE;
end;
procedure addq(x,y:Longint);
begin
  inc(maxQ);
  Q[maxQ].x:=x;
  Q[maxQ].y:=y;
  Q[maxQ].next:=ls1[x];
  ls1[x]:=maxQ;
end;
function find(x:longint):longint;
begin
  if (x=f[x]) then
  exit(x);
  find:=find(f[x]);
  f[x]:=find;
end;
procedure union(x,y:longint);
var
  a,b:Longint;
begin
  a:=find(x);
  b:=find(y);
  f[a]:=b;
end;
procedure dfs(dep,k:longint);
var
  i:longint;
begin
  dis[dep]:=k;
  v[dep]:=true;
  i:=ls[dep];
  while (i>0) do
  with e[i] do
  begin
    dfs(y,k+w);
    union(y,dep);
    i:=next;
  end;
  i:=ls1[dep];
  while i>0 do
  with q[i] do
  begin
    if v[y] then
    if find(y)=x then
    begin
      inc(ans);
      dist:=dist+dis[y]-dis[x];
    end;
    i:=next;
  end;
end;
procedure init;
var
  i,j,x,y,w:longint;
begin
  maxE:=0;
  ans:=0;
  dist:=0;
  fillchar(ls,sizeof(ls),0);
  readln(n,m);
  for i:=1 to n-1 do
  begin
    readln(x,y,w);
    add(x,y,w);
  end;
  for j:=1 to m do
  begin
    readln(x,y);
    addq(x,y);
  end;
  for i:=1 to n do f[i]:=i;
  dfs(1,0);
  writeln(ans);
  writeln(dist);
end;
begin
  init;
end.