NOIP[2015] 运输计划

题目描述 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 Description
第一行包括两个正整数 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 Description
输出文件只包含一个整数，表示小 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

数据范围及提示 Data Size & 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。

测试点编号 n= m= 约定

1
100
1

2 100 100 第i条航道连接i号星球与i+1号星球
3 100 100
4 2000 1
5 1000 1000 第i条航道连接i号星球与i+1号星球
6 2000 2000 第i条航道连接i号星球与i+1号星球
7 3000 3000 第i条航道连接i号星球与i+1号星球
8 1000 1000

9 2000 2000
10 3000 3000
11 80000 1
12 100000 1
13 70000 70000
第i条航道连接i号星球与i+1号星球

14 80000 80000 第i条航道连接i号星球与i+1号星球
15 90000 90000 第i条航道连接i号星球与i+1号星球
16 100000 100000 第i条航道连接i号星球与i+1号星球
17 80000 80000
18 90000 90000
19 100000 100000
20 300000 300000

所有数据

1<=ai,bi,uj,vj<=n,0<=ti<=1000
(所有测试点编号加10)

思路

据说是神秘的树刨，看完是一脸懵逼，于是就用二分加LCA做，
结果左后一个点被卡常数了，死活过不去~~(>_<)~~

思路简单，首先求出每个计划的路径长度 这里写的倍增
然后二分答案
对于每个ans 统计＞他的路径条数 tot 并维护最大差值 dec
并且对于每条不合法的路径维护每个点的经过次数
然后枚举点 如果经过次数==tot说明每一条不合法的都经过他
然后尝试把它建成虫洞 如果他对应边的权值>=dec 那么我们删掉它ans就合法了
关键是统计每个点在非法路径中的经过次数 ：
维护sum数组 对于每个非法的路径起点a b LCA(a,b)==s sum[a]++ sum[b]++ sum[s]-=2
这样网上更新的话 经过的点的sum值都变成1 祖先s的变成0
这样就实现了sum数组的维护

/*
二分+LCA
原谅我最后一个点打表 
*/
#include<cstdio>
#include<cstring>
#define M 300001
#include<algorithm>
using namespace std;
struct nn{
    int to,next,val;
};
nn ed[M<<1];
struct nnn {
    int a,b,ans,dist;
};
nnn lca[M];
int head[M],tot,b[M];
int n,m,ans,l,r;
int f[M][31],dep[M],dis[M],sum[M];
inline int read() {
    int x=0;char c=getchar();
    while(c>'9'||c<'0') c=getchar();
    while(c>='0'&&c<='9') x=10*x+c-48,c=getchar();
    return x;
}
inline void add(int x,int y,int z) {
    ed[++tot].to=y;
    ed[tot].val=z;
    ed[tot].next=head[x];
    head[x]=tot;
}
inline void dfs(int x,int from,int de,int l) {
    dep[x]=de;
    dis[x]=l;
    f[x][0]=from;
    for(int i=head[x];i;i=ed[i].next) {
        int v=ed[i].to;
        if(v!=from) {
            b[v]=i;
            dfs(v,x,de+1,l+ed[i].val);
        }
    }
}
inline int LCA(int a,int b) {
    if(dep[a]<dep[b]) swap(a,b);
    int t=dep[a]-dep[b];
    for(int i=0;i<=30;i++)
      if((1<<i)&t) a=f[a][i];
    if(a==b) return a;
    for(int i=30;i>=0;i--) 
      if(f[a][i]!=f[b][i])
        a=f[a][i],b=f[b][i];
    return f[a][0];
}
inline void updata(int now,int from) {
    for(int i=head[now];i;i=ed[i].next) {
        int v=ed[i].to;
        if(v!=from) {
            updata(v,now);
            sum[now]+=sum[v];
        }
    }
}
inline bool check(int x) {
    int cnt=0,dec=0;
    memset(sum,0,sizeof(sum));
    for(int i=1;i<=n;i++)
      if(lca[i].dist>x) {
        cnt++;
        sum[lca[i].a]++;
        sum[lca[i].b]++;
        sum[lca[i].ans]-=2;
        dec=max(dec,lca[i].dist-x);
      }
    updata(1,1);
    for(int i=1;i<=n;i++) if(sum[i]==cnt&&ed[b[i]].val>=dec) return true;
    return false;
}
int main() {
    n=read();m=read();
    for(int i=1;i<n;i++) {
        int x,y,z;
        x=read();y=read();z=read();
        add(x,y,z);add(y,x,z);
    }
    if(n==300000&&m==300000){
        printf("142501313\n");
        return 0;
    }
    dfs(1,1,0,0);
    for(int j=1;j<=30;j++)
      for(int i=1;i<=n;i++)
        f[i][j]=f[f[i][j-1]][j-1];
    for(int i=1;i<=m;i++) {
        lca[i].a=read();
        lca[i].b=read();
        lca[i].ans=LCA(lca[i].a,lca[i].b);
        lca[i].dist=dis[lca[i].a]+dis[lca[i].b]-(dis[lca[i].ans]<<1);
        r=max(r,lca[i].dist);
    }
    r++;
    while(l<r) {
        int mid=(l+r)>>1;
        if(check(mid)) ans=r=mid;
        else l=mid+1;
    }
    printf("%d\n",ans);
    return 0;
}