BZOJ 4326：NOIP2015 运输计划（二分+差分+lca）

NOIP2015 运输计划
Description
公元 2044 年，人类进入了宇宙纪元。L 国有 n 个星球，还有 n−1 条双向航道，每条航道建立在两个星球之间，这 n−1 条航道连通了 L 国的所有星球。小 P 掌管一家物流公司， 该公司有很多个运输计划，每个运输计划形如：有一艘物流飞船需要从 ui 号星球沿最快的宇航路径飞行到 vi 号星球去。显然，飞船驶过一条航道是需要时间的，对于航道 j，任意飞船驶过它所花费的时间为 tj，并且任意两艘飞船之间不会产生任何干扰。为了鼓励科技创新， L 国国王同意小 P 的物流公司参与 L 国的航道建设，即允许小P 把某一条航道改造成虫洞，飞船驶过虫洞不消耗时间。在虫洞的建设完成前小 P 的物流公司就预接了 m 个运输计划。在虫洞建设完成后，这 m 个运输计划会同时开始，所有飞船一起出发。当这 m 个运输计划都完成时，小 P 的物流公司的阶段性工作就完成了。如果小 P 可以自由选择将哪一条航道改造成虫洞， 试求出小 P 的物流公司完成阶段性工作所需要的最短时间是多少？
Input
第一行包括两个正整数 n,m，表示 L 国中星球的数量及小 P 公司预接的运输计划的数量，星球从 1 到 n 编号。接下来 n−1 行描述航道的建设情况，其中第 i 行包含三个整数 ai,bi 和 ti，表示第 i 条双向航道修建在 ai 与 bi 两个星球之间，任意飞船驶过它所花费的时间为 ti。数据保证 1≤ai,bi≤n 且 0≤ti≤1000。接下来 m 行描述运输计划的情况，其中第 j 行包含两个正整数 uj 和 vj，表示第 j 个运输计划是从 uj 号星球飞往 vj号星球。数据保证 1≤ui,vi≤n
Output
输出文件只包含一个整数，表示小 P 的物流公司完成阶段性工作所需要的最短时间。
Sample Input
6 3
1 2 3
1 6 4
3 1 7
4 3 6
3 5 5
3 6
2 5
4 5
Sample Output
11
HINT
将第 1 条航道改造成虫洞： 则三个计划耗时分别为：11,12,11，故需要花费的时间为 12。
将第 2 条航道改造成虫洞： 则三个计划耗时分别为：7,15,11，故需要花费的时间为 15。
将第 3 条航道改造成虫洞： 则三个计划耗时分别为：4,8,11，故需要花费的时间为 11。
将第 4 条航道改造成虫洞： 则三个计划耗时分别为：11,15,5，故需要花费的时间为 15。
将第 5 条航道改造成虫洞： 则三个计划耗时分别为：11,10,6，故需要花费的时间为 11。
故将第 3 条或第 5 条航道改造成虫洞均可使得完成阶段性工作的耗时最短，需要花费的时间为 11。
Source

分析：

二分还是很显然的，二分花费时间，对于这棵树，没超过这个时间的计划可以不用管，对于超过这一时间的运输计划，我们需要利用虫洞使它们时间缩小至允许范围内。显然，这个虫洞必须要在所有超时计划路径的交集中，同时超时计划中最耗时的点减去虫洞的边权后必须在允许范围内。我们可以利用差分，对于每个超时计划，我们在起点和终点+1，并在它们lca点与其父亲连的边-2，从下往上统计，如果某点当前数字和=超时计划总数，并且使所有计划都在允许时间内，则该点可作为虫洞。

别的网站测有95分，bzoj空间太小了会爆

代码：

program transport;
type
  point=^node;
   node=record
     x,v:longint; next:point;
   end;
const
  num=;
var
  a:array[..num]of point;
  q:array[..num*]of longint;
  h:array[..,..num*]of longint;
  w:array[..num,..]of longint;
  r,c,b,f,d,s,v:array[..num]of longint;
  pl:array[..]of longint;
  n,i,m,x,y,t:longint;  len,make,maxn:longint;
procedure add(x,y,v:longint);
var p:point;
begin
  new(p); p^.x:=y; p^.v:=v; p^.next:=a[x]; a[x]:=p;
end;
procedure dfs(x,y,deep:longint);
var p:point;
begin
  new(p); p:=a[x]; d[x]:=deep; inc(len); q[len]:=x; r[x]:=len;
  while p<>nil do
   begin
     if p^.x<>y then begin s[p^.x]:=s[x]+p^.v; dfs(p^.x,x,deep+); end; p:=p^.next;  inc(len); q[len]:=x;
   end;
end;
procedure dfs1(x,y,sum:longint);
var p:point;
begin
  new(p); p:=a[x];
  while p<>nil do
   begin
     if p^.x<>y then
      begin
         dfs1(p^.x,x,sum); if c[p^.x]>=sum then if p^.v>make then make:=p^.v;
         inc(c[x],c[p^.x]); end;
     p:=p^.next;
   end;
  inc(c[x],b[x]);
end;
procedure work;
var i,j,x,y:longint;
begin
  for i:= to len do h[,i]:=q[i]; pl[]:=;
  for i:= to trunc(ln(len)/ln()) do pl[i]:=pl[i-]*;
  for i:= to trunc(ln(len)/ln()) do
    for j:= to len+-*i do
      begin
        x:=h[i-,j]; y:=h[i-,j+pl[i-]];
        if d[x]<d[y] then h[i,j]:=x else h[i,j]:=y;
      end;
end;
function lca(x,y:longint):longint;
var i,t:longint;
begin
  x:=r[x]; y:=r[y];
  if x>y then begin t:=x; x:=y; y:=t; end;
  i:=trunc(ln(y-x+)/ln());
  x:=h[i,x];  y:=h[i,y-pl[i]+];
  if d[x]<d[y] then exit(x) else exit(y);
end;
function cheak(mid:longint):boolean;
var i,maxant,sum:longint;
begin
  fillchar(c,sizeof(c),);fillchar(b,sizeof(b),); maxant:=; sum:=;
  for i:= to m do
  if v[i]>mid then
   begin
     inc(c[w[i,]]); inc(c[w[i,]]); dec(b[f[i]],);
     if v[i]>maxant then maxant:=v[i];
     inc(sum);
   end;
  make:=;
  dfs1(,,sum);
  if make= then exit(false);
  if maxant-make>mid then exit(false);
  exit(true);
end;
procedure solve;
var l,r,ans,mid:longint;
begin
  l:=; r:=maxn*;
  while l<=r do
    begin
      mid:=(l+r) div ;
      if cheak(mid) then begin ans:=mid; r:=mid-; end else l:=mid+;
    end;
  writeln(ans);
end;
begin
  readln(n,m);
  fillchar(r,sizeof(r),);
  for i:= to n- do
   begin
     readln(x,y,t);
     add(x,y,t); add(y,x,t);
   end;
  len:=;
  s[]:=;  dfs(,,);
  work;
  for i:= to m do
   begin
     readln(w[i,],w[i,]);
     f[i]:=lca(w[i,],w[i,]);
     v[i]:=s[w[i,]]+s[w[i,]]-*s[f[i]];
     if v[i]>maxn then maxn:=v[i];
   end;
  solve;
end.