『MdOI R3』Fallen Lord
题目背景
统治着世界,统治着寂寞。
题目描述
L 国有 $n$ 个城市,它们之间有 $n-1$ 条道路,形成了一棵树的结构。
国王 L 派遣了一些军队来驻守这些道路,驻守每一条道路的军队战斗力都可以被量化为 $[1,m]$ 中的整数。
每个城市都有一个城主,第 $i$ 个城主有一个忍耐度 $a_i$。如果国王 L 在与第 $i$ 个城市相连的所有道路上驻守的军队战斗力的**中位数**超过了**城主**的忍耐度,那么**城主**就会认为国王不信任他而产生谋反的心理。
国王 L 当然不希望有人造反,但他又想使驻守道路的军队的总战斗力**最大**来保证国防安全。现在他找到了 L 国最强的 OIer —— 您,去来帮助他解决这个问题。
如果无论如何安排军队都会有人想要造反,那么输出 `-1`。
**注:对于任意 $k$ 个数,它们的中位数是将这些数从小到大排序后第 $\left\lfloor\dfrac{k}{2}\right\rfloor+1$ 个数。**
输入输出格式
输入格式
第一行两个正整数,表示 $n,m$。
第二行 $n$ 个整数,第 $i$ 个数表示 $a_i$。
接下来 $n-1$ 行,每行两个数 $u_i,v_i$,表示一条直接连接城市 $u_i$ 与城市 $v_i$ 的道路。
**输入数据保证构成一棵树**。
输出格式
一行一个整数,表示最大的总战斗力。
输入输出样例
输入样例 #1
7 100
50 25 25 12 12 12 12
1 2
1 3
2 4
2 5
3 6
3 7
输出样例 #1
148
说明
更多样例请[到这里](https://www.luogu.com.cn/paste/0wcdzik5)领取。
对于所有数据,$1\le u_i,v_i \le n\le 5\times 10^5$,$n\ge 2$,$1\le a_i\le m\le 10^9$。
|子任务编号|$n\leq$|$m\leq$|其他性质|分值|
|:-:|:-:|:-:|:-:|:-:|
|1|$8$|$8$|无|$5$|
|2||$1$|无|$1$|
|3|||树的形态为一条链|$10$|
|4|||存在度数为 $n-1$ 的节点|$12$|
|5|$10^5$||每个节点度数 $\le 6$|$17$|
|6|$5\times 10^3$||无|$20$|
|7|||无|$35$|
其中,留空的表示和 $100\%$ 的数据范围限制相同。
### 样例解释
![](https://cdn.luogu.com.cn/upload/image_hosting/ipkyy6az.png)
如图驻守 $n-1=6$ 条道路的军队战斗力(按照输入中的顺序)依次为 $50,50,12,12,12,12$。