#ZTZ2616T5. 【张老师2026·4+1拓展·16套·T5】军队驻守

    ID: 3687 传统题 500~2000ms 512MiB 尝试: 2 已通过: 1 难度: 10 上传者: 标签>张老师拓展20264+1拓展20套第16套拓展题树上差分哈希边覆盖

【张老师2026·4+1拓展·16套·T5】军队驻守

来源:张老师 2026 CSP-J 4+1 拓展题 20 套;第 16 套,第 5 题。原题标号:E;原本地编号:Z4P1-16-E。

题目描述

城镇的结构可以看作一个 nn 个节点,n−1n - 1 条道路构成的树。

我方派出了 mm 支军队镇守城镇,每支军队会受到两个节点编号 xi,yix_i, y_i,之后在以下两种方案中选择一种:

  • 在 xix_i 到 yiy_i 的简单路径经过的道路上都部署军队。
  • 在除了 xix_i 到 yiy_i 的简单路径经过的道路之外的道路上都部署军队。

我方打算诱敌深入,因此计划把有限的兵力集中在更少的道路上,因此他需要你报告一种方案,使得有军队部署的道路数量尽可能少。

输入格式

第一行两个整数 n,mn, m。

接下来 n−1n - 1 行,每行两个整数 u,vu, v 代表一条道路连接了节点 u,vu, v。

接下来 mm 行,每行两个整数 xi,yix_i, y_i 代表一支军队的部署方案。

输出格式

一个整数代表有军队部署的道路数量的最小值。

样例输入1

6 8
1 2
1 3
1 4
1 5
3 6
2 1
4 5
6 2
6 1
6 5
6 6
1 5
2 5

样例输出1

3

样例2,3

见下发文件。

数据范围

对于 12%12\% 的数据,1≤n,m≤161 \leq n,m \leq 16。 对于 24%24\% 的数据,1≤n,m≤5001 \leq n,m \leq 500。 对于 40%40\% 的数据,1≤n,m≤50001 \leq n,m \leq 5000。 对于另外 12%12\% 的数据,1≤m≤201 \leq m \leq 20。 对于另外 12%12\% 的数据,xi,yix_i,y_i 之间有一条道路直接相连。 对于另外 12%12\% 的数据,树是一条链。 对于 100%100\% 的数据,1≤n,m≤1061 \leq n,m \leq 10^6。