这个题和疫情控制差不多,但那个题更恶心。
先二分答案,找需要减少的边,看他们有没有一条边是一样的
如果没有的话,肯定不行,如果有的话,看删掉最大的能不能让所有的路大于答案
树上的最短边就是到公共祖先的距离,这里用tarjan求得,也可以用倍增,不会的话看前面的博客
找一条边经过多少次用差分
把两个节点+一就代表这两个叉上的点都走过一遍,可是祖先上面的点没有走,所以把祖先-2,求树的后缀和就行了
类似区间差值维护
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define ll long long
using namespace std;
int n,m;
const int M=300010;
int tot,head[M],nex[M*2],cos[M*2],to[M*2],dep[M],f[M],sum[M],vis[M],lca[M*2],dis[M],a[M];
int tot2,h[M],net[M*2],t[M*2],b[M],v[M];
void add(int x,int y,int z){
nex[++tot]=head[x];
to[tot]=y;
cos[tot]=z;
head[x]=tot;
}
void add2(int x,int y){
net[++tot2]=h[x];
t[tot2]=y;
h[x]=tot2;
}
int find(int x){
return f[x]=f[x]==x?x:find(f[x]);
}
void dfs(int x){//tarjan求lca
vis[x]=1;
f[x]=x;
for(int i=head[x];i;i=nex[i]){
int tmp=to[i];
if(!vis[tmp]){
dep[tmp]=dep[x]+cos[i];
v[tmp]=cos[i];
dfs(tmp);
f[tmp]=x;
}
}
for(int i=h[x];i;i=net[i]){
int tmp=t[i];
if(vis[tmp]){
lca[i]=find(tmp);
if(i%2) lca[i+1]=lca[i];
else lca[i-1]=lca[i];
}
}
}
void xgm(int x,int fa){//西格玛,求和
for(int i=head[x];i;i=nex[i]){
int tmp=to[i];
if(tmp!=fa){
xgm(tmp,x);
sum[x]+=sum[tmp];
}
}
}
int check(int x){
int cnt=0,s=0;
memset(sum,0,sizeof sum);
for(int i=1;i<=m;i++){
if(dis[i]>x){
cnt++;
s=max(s,dis[i]-x);
sum[a[i]]++;
sum[b[i]]++;
sum[lca[i*2]]-=2;
}
}
xgm(1,1);
for(int i=1;i<=n;i++)
if((sum[i]==cnt)&&(v[i]>=s)) return 1;//找需要减的边
return 0;
}
int main(){
scanf("%d%d",&n,&m);
for(int i=1;i<n;i++){
int x,y,z;
scanf("%d%d%d",&x,&y,&z);
add(x,y,z);
add(y,x,z);
}
for(int i=1;i<=m;i++){
scanf("%d%d",&a[i],&b[i]);
add2(a[i],b[i]);
add2(b[i],a[i]);
}
dfs(1);
for(int i=1;i<=m;i++)
dis[i]=dep[a[i]]+dep[b[i]]-2*dep[lca[i*2]];//书上距离
int l=0,r=1000000009;
while(l<=r){
int mid=(l+r)>>1;
int w=check(mid);
if(w) r=mid-1;
else l=mid+1;
}//二分
printf("%d",l);
}