題目描述

公元2044 年，人類進入了宇宙紀元。

L 國有 n 個星球，還有 n-1 條雙向航道，每條航道建立在兩個星球之間，這 n-1 條航道連通了 L 國的所有星球。

小 P 掌管一家物流公司， 該公司有很多個運輸計劃，每個運輸計劃形如：有一艘物流飛船需要從 ui​ 號星球沿最快的宇航路徑飛行到 vi​ 號星球去。顯然，飛船駛過一條航道是需要時間的，對於航道 j，任意飛船駛過它所花費的時間為 tj​，並且任意兩艘飛船之間不會產生任何干擾。

為了鼓勵科技創新， L 國國王同意小 P 的物流公司參與 L 國的航道建設，即允許小P 把某一條航道改造成蟲洞，飛船駛過蟲洞不消耗時間。

在蟲洞的建設完成前小 P 的物流公司就預接了 m 個運輸計劃。在蟲洞建設完成後，這 m 個運輸計劃會同時開始，所有飛船一起出發。當這 m 個運輸計劃都完成時，小 P 的物流公司的階段性工作就完成了。

如果小 P 可以自由選擇將哪一條航道改造成蟲洞， 試求出小 P 的物流公司完成階段性工作所需要的最短時間是多少？

輸入

第一行包括兩個正整數 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

輸出

一個整數，表示小 P 的物流公司完成階段性工作所需要的最短時間。

樣例輸入

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

樣例輸出

11

題解

最大值最小，二分答案，樹上差分。

二分最終答案x，找出距離大於x的路徑，共k條，算出這些路徑上的邊被這k條路徑經過了多少次，如果有邊被經過 k 次且路徑的最大值減這條邊小於等於 x，那麼x是可行的，否則不可行。

#include<cmath>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
#define ll long long

const int maxn=300000+50;
const int maxm=600000+50;

int n,m,maxx,cf[maxn],val[maxn],w[maxn],ma;
int fir[maxn],nex[maxm],to[maxm],wi[maxm],ecnt;
int fa[maxn],dep[maxn],son[maxn],sz[maxn],top[maxn];

struct road{int st,ed,len,an;}a[maxn];

void add(int u,int v,int w){
    nex[++ecnt]=fir[u];fir[u]=ecnt;to[ecnt]=v;wi[ecnt]=w;
}

void dfs1(int x,int f,int deep){
    fa[x]=f;
    dep[x]=deep;
    sz[x]=1;
    for(int e=fir[x];e;e=nex[e]){
        int v=to[e];
        if(v==f) continue;
        val[v]=wi[e];
        dfs1(v,x,deep+wi[e]);
        sz[x]+=sz[v];
        if(sz[v]>sz[son[x]]) son[x]=v;
    }
}

void dfs2(int x,int topf){
    top[x]=topf;
    if(!son[x]) return ;
    dfs2(son[x],topf);
    for(int e=fir[x];e;e=nex[e]){
        int v=to[e];
        if(v==son[x]||v==fa[x]) continue;
        dfs2(v,v);
    }
}

void dfs3(int x,int cnt){
    w[x]=cf[x];
    for(int e=fir[x];e;e=nex[e]){
        int v=to[e];
        if(v==fa[x]) continue;
        dfs3(v,cnt);
        w[x]+=w[v];
    }
    if(w[x]==cnt) ma=max(ma,val[x]);
}

int lca(int x,int y){
    int f1=top[x],f2=top[y];
    while(f1!=f2){
        if(dep[f1]<dep[f2]) swap(f1,f2),swap(x,y);
        x=fa[f1];f1=top[x];
    }
    return dep[x]<=dep[y]?x:y;
}

bool check(int x){
    int cnt=0;ma=-1;
    memset(cf,0,sizeof(cf));
    memset(w,0,sizeof(w));
    for(int i=1;i<=m;i++)
    if(a[i].len>x){
        cf[a[i].st]++;cf[a[i].ed]++;
        cf[a[i].an]-=2;cnt++;
    }
    dfs3(1,cnt);
    if(maxx-ma<=x) return true;
    return false;
}

template<typename T>void read(T& aa){
    char cc; ll ff;aa=0;cc=getchar();ff=1;
    while((cc<'0'||cc>'9')&&cc!='-') cc=getchar();
    if(cc=='-') ff=-1,cc=getchar();
    while(cc>='0'&&cc<='9') aa=aa*10+cc-'0',cc=getchar();
    aa*=ff;
}

int main(){
    read(n),read(m);
    for(int i=1;i<n;i++){
        int x,y,z;
        read(x),read(y),read(z);
        add(x,y,z);add(y,x,z);
    }
    dfs1(1,0,1);dfs2(1,1);
    for(int i=1;i<=m;i++){
        read(a[i].st),read(a[i].ed);
        int an=lca(a[i].st,a[i].ed);
        a[i].len=dep[a[i].st]+dep[a[i].ed]-2*dep[an];
        a[i].an=an;
        maxx=max(maxx,a[i].len);
    }
    int l=0,r=maxx;
    while(l<=r){
        int mid=l+r>>1;
        if(check(mid)) r=mid-1;
        else l=mid+1;
    }
    cout<<l<<endl;
    return 0;
}