Z国有n座城市,n−1条双向道路,每条双向道路连接两座城市,且任意两座城市都能通过若干条道路相互到达。 Z国的国防部长小Z要在城市中驻扎军队。驻扎军队需要满足如下几个条件:
小Z很快就规划出了一种驻扎军队的方案,使总花费最小。但是国王又给小Z提出了m个要求,每个要求规定了其中两座城市是否驻扎军队。小Z需要针对每个要求逐一给出回答。具体而言,如果国王提出的第j个要求能够满足上述驻扎条件(不需要考虑第j个要求之外的其它要求),则需要给出在此要求前提下驻扎军队的最小开销。如果国王提出的第j个要求无法满足,则需要输出-1 (1 ≤ j ≤ m)。现在请你来帮助小Z。
第1行包含两个正整数n,m和一个字符串type,分别表示城市数、要求数和数据类型。type是一个由大写字母A,B或C和一个数字1,2,3组成的字符串。它可以帮助你获得部分分。你可能不需要用到这个参数。这个参数的含义在【数据规模与约定】中有具体的描述。 第2行n个整数p_i,表示编号i的城市中驻扎军队的花费。 接下来n−1行,每行两个正整数u,v,表示有一条u到v的双向道路。 接下来m行,第j行四个整数a,x,b,y(a ≠ b),表示第j个要求是在城市a驻扎x支军队,在城市b驻扎y支军队。其中,x、y的取值只有0或1:若x为0,表示城市a不得驻扎军队,若x为1,表示城市a必须驻扎军队;若y为0,表示城市b不得驻扎军队,若y为1,表示城市b必须驻扎军队。 输入文件中每一行相邻的两个数据之间均用一个空格分隔。
输出共m行,每行包含1个整数,第j行表示在满足国王第j个要求时的最小开销,如果无法满足国王的第j个要求,则该行输出-1。
5 3 C3
2 4 1 3 9
1 5
5 2
5 3
3 4
1 0 3 0
2 1 3 1
1 0 5 0
12
7
-1
对于第一个要求,在4号和5号城市驻扎军队时开销最小。 对于第二个要求,在1号、2号、3号城市驻扎军队时开销最小。 第三个要求是无法满足的,因为在1号、5号城市都不驻扎军队就意味着由道路直接连接的两座城市中都没有驻扎军队。
对于100%的数据,n,m ≤ 300000,1 ≤ p_i ≤ 100000。
| 测试点编号 | type | n | m |
|---|---|---|---|
| 1~2 | A3 | 10 | 10 |
| 3~4 | C3 | 10 | 10 |
| 5~6 | A3 | 100 | 100 |
| 7 | C3 | 100 | 100 |
| 8~9 | A3 | 2000 | 2000 |
| 10~11 | C3 | 2000 | 2000 |
| 12~13 | A1 | 100000 | 100000 |
| 14~16 | A2 | 100000 | 100000 |
| 17 | A3 | 100000 | 100000 |
| 18~19 | B1 | 100000 | 100000 |
| 20~21 | C1 | 100000 | 100000 |
| 22 | C2 | 100000 | 100000 |
| 23~25 | C3 | 100000 | 100000 |