BZOJ4326: 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。

接下来 m 行描述运输计划的情况，其中第 j 行包含两个正整数 uj 和 vj，表示第 j 个运输计划是从 uj 号星球飞往 vj号星球。

数据保证 1≤ui,vi≤n ,n,m<=300000

数据保证 1≤ai,bi≤n 且 0≤ti≤1000。

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
将第 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。

求最大值最小，那就二分一下

二分答案，所有大于当前二分值的路径都要减去一条共同边的权值才能符合答案

求这条共同边就树上查分一下，访问所有符合条件的边即可

代码如下：

//MT_LI
#include<cmath>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<algorithm>
using namespace std;
int bin[20],f[310000][20];
int n,m;
struct node{
    int x,y,d,next;
}a[610000];int len,last[610000];
void ins(int x,int y,int d)
{
    len++;
    a[len].x=x;a[len].y=y;a[len].d=d;
    a[len].next=last[x];last[x]=len;
}
int dep[310000],d[310000][20];
void pre_tree_node(int x,int fa)
{
    dep[x]=dep[fa]+1;f[x][0]=fa;
    for(int i=1;bin[i]<=dep[x];i++)
        f[x][i]=f[f[x][i-1]][i-1],d[x][i]=d[x][i-1]+d[f[x][i-1]][i-1];
    for(int k=last[x];k;k=a[k].next)
    {
        int y=a[k].y;
        if(y!=fa)
            d[y][0]=a[k].d,pre_tree_node(y,x);
    }
}
int get(int x,int y,int op)
{
    int sum=0;
    if(dep[x]<dep[y])swap(x,y);
    for(int i=18;i>=0;i--)
        if(dep[y]+bin[i]<=dep[x])
        {
            sum+=d[x][i];
            x=f[x][i];
        }
    if(x==y)return op==1?sum:x;
    for(int i=18;i>=0;i--)
        if(dep[x]>=bin[i]&&f[x][i]!=f[y][i])
        {
            sum+=d[x][i]+d[y][i];
            x=f[x][i];y=f[y][i];
        }
    return op==1?sum+d[x][0]+d[y][0]:f[x][0];
}
struct list{
    int u,v,dis;
}c[310000];
int t[310000];
void dfs(int x,int fa)
{
    for(int k=last[x];k;k=a[k].next)
        if(a[k].y!=fa)
            dfs(a[k].y,x),t[x]+=t[a[k].y];
}
bool check(int mid)
{
    int tot=0,maxx=0;
    memset(t,0,sizeof(t));
    for(int i=1;i<=m;i++)
        if(c[i].dis>mid)
            maxx=max(maxx,c[i].dis),tot++,t[c[i].u]++,t[c[i].v]++,t[get(c[i].u,c[i].v,0)]-=2;
    dfs(1,0);
    for(int i=1;i<=len;i++)
        if(dep[a[i].x]<dep[a[i].y]&&t[a[i].y]==tot&&maxx-a[i].d<=mid)
            return true;
    return false;
}
int main()
{
    bin[0]=1;
    for(int i=1;i<=18;i++)bin[i]=bin[i-1]<<1;
    scanf("%d%d",&n,&m);
    len=0;memset(last,0,sizeof(last));
    for(int i=1;i<n;i++)
    {
        int x,y,d;
        scanf("%d%d%d",&x,&y,&d);
        ins(x,y,d);ins(y,x,d);
    }
    dep[0]=-1;pre_tree_node(1,0);
    int l=0,r=0;
    for(int i=1;i<=m;i++)
    {
        scanf("%d%d",&c[i].u,&c[i].v);
        c[i].dis=get(c[i].u,c[i].v,1);
        r=max(r,c[i].dis);
    }
    int ans;
    while(l<=r)
    {
        int mid=(l+r)/2;
        if(check(mid))r=mid-1,ans=mid;
        else l=mid+1;
    }
    printf("%d
",ans);
    return 0;
}