P11529 [THUPC 2025 初赛] 辞甲猾扎

给你一棵 $n$ 个点的无根树，有 $k$ 个点初始为黑色，其余点初始为灰色，你可以在一开始将一些**灰色**点染成白色。染完后，现在进行如下操作，直到树上不存在灰色点。 每一轮对所有灰色点**同时**进行如下操作： 1. 检查与该灰色点 $u$ 直接相连的点有没有黑色或白色点，如果没有，则 $u$ 保持灰色。 2. 如果与 $u$ 直接相连的点有白色点，则 $u$ 变为白色。 3. 如果与 $u$ 直接相连的点有黑色点，则 $u$ 变为黑色。 这个顺序说明同时与白色和黑色相邻时会被染成白色。 注意此处对所有灰色点同时进行操作，也就是说在这一轮被染上颜色的点不能作为其它点改变颜色的根据。 现在求一开始最少染几个点为白色，可以使树最终黑色点不超过 $k$ 个。

第一行两个整数 $n,k\;(1\le n\le 10^6,1\le k \le n)$，含义见上文。 第二行 $k$ 个整数，代表一开始被染成黑色的点的标号。 第 $3\sim n+2$ 行每行两个整数 $u,v\;(1\le u,v\le n)$，代表一条树上的边。

一行一个整数，为答案。

- 对于第一组样例，一开始将 $2$ 号点染白即可 - 对于第二组样例，一开始将 $3,4,9$ 号点染白为满足条件且数量最小一组方案 #### 题目来源 来自 2025 清华大学学生程序设计竞赛暨高校邀请赛（THUPC2025）初赛。 题解等资源可在 查看。