分析
我们可以尝试去记录一下每一条附加边能覆盖多少主要边,这样,我们砍掉一条主要边,一条附加边就可以
用树上查分维护就可以了,两个节点的权值+1,LCA的权值-2,最后判断是不是被唯一覆盖即可
代码
#include <iostream>
#include <cstring>
#include <algorithm>
#include <cstdio>
#include <queue>
using namespace std;
const int N = 4e5 + 10,M = N * 2;
int h[N],ne[M],e[M],idx;
int d[N],f[N][16];
int n,m;
int w[N];
void add(int a,int b){
ne[idx] = h[a],e[idx] = b,h[a] = idx++;
}
void bfs(int root){
memset(d,0x3f,sizeof d);
d[0] = 0,d[root] = 1;
queue<int> Q;
Q.push(root);
while(Q.size()){
int t = Q.front();
Q.pop();
for(int i = h[t];~i;i = ne[i]){
int j = e[i];
if(d[j] > d[t] + 1){
d[j] = d[t] + 1;
Q.push(j);
f[j][0] = t;
for(int k = 1;k <= 15;k++)
f[j][k] = f[f[j][k - 1]][k - 1];
}
}
}
}
void dfs(int x,int fa){
for(int i = h[x];~i;i = ne[i]){
int j = e[i];
if(j == fa) continue;
dfs(j,x);
w[x] += w[j];
}
}
int LCA(int a,int b){
if(d[a] < d[b]) swap(a,b);
for(int i = 15;i >= 0;i--)
if(d[f[a][i]] >= d[b])
a = f[a][i];
if(a == b) return a;
for(int i = 15;i >= 0;i--)
if(f[a][i] != f[b][i])
a = f[a][i],b = f[b][i];
return f[a][0];
}
int main(){
memset(h,-1,sizeof h);
scanf("%d%d",&n,&m);
for(int i = 1;i < n;i++){
int a,b;
scanf("%d%d",&a,&b);
add(a,b),add(b,a);
}
bfs(1);
for(int i = 1;i <= m;i++){
int a,b;
scanf("%d%d",&a,&b);
int c = LCA(a,b);
w[a]++,w[b]++,w[c] -= 2;
}
dfs(1,0);
int res = 0;
for(int i = 2;i <= n;i++){
if(!w[i]) res += m;
if(w[i] == 1) res++;
}
printf("%d\n",w[1]);
}