#167. [noip2018-提高] 保卫王国

[noip2018-提高] 保卫王国

题目描述

Z 国有nn座城市,n1n - 1条双向道路,每条双向道路连接两座城市,且任意两座城市 都能通过若干条道路相互到达。

Z 国的国防部长小 Z 要在城市中驻扎军队。驻扎军队需要满足如下几个条件:

  • 一座城市可以驻扎一支军队,也可以不驻扎军队。
  • 由道路直接连接的两座城市中至少要有一座城市驻扎军队。
  • 在城市里驻扎军队会产生花费,在编号为i的城市中驻扎军队的花费是p_ip\_i

小 Z 很快就规划出了一种驻扎军队的方案,使总花费最小。但是国王又给小 Z 提出 了mm个要求,每个要求规定了其中两座城市是否驻扎军队。小 Z 需要针对每个要求逐一 给出回答。具体而言,如果国王提出的第jj个要求能够满足上述驻扎条件(不需要考虑 第 jj 个要求之外的其它要求),则需要给出在此要求前提下驻扎军队的最小开销。如果 国王提出的第jj个要求无法满足,则需要输出1(1jm)-1 (1 ≤ j ≤ m)。现在请你来帮助小 Z。

输入输出格式

输入格式:

11 行包含两个正整数n,mn,m和一个字符串typetype,分别表示城市数、要求数和数据类型。typetype是一个由大写字母 AABBCC 和一个数字 112233 组成的字符串。它可以帮助你获得部分分。你可能不需要用到这个参数。这个参数的含义在【数据规模与约定】中 有具体的描述。

22nn个整数p_ip\_i,表示编号ii的城市中驻扎军队的花费。

接下来 n1n - 1 行,每行两个正整数u,vu,v,表示有一条uuvv的双向道路。

接下来 mm 行,第jj行四个整数a,x,b,y(ab)a,x,b,y(a ≠ b),表示第jj个要求是在城市aa驻扎xx支军队, 在城市bb驻扎yy支军队。其中,xxyy 的取值只有 0011:若 xx00,表示城市 aa 不得驻 扎军队,若 xx11,表示城市 aa 必须驻扎军队;若 yy 00,表示城市 bb不得驻扎军队, 若 yy 11,表示城市 bb 必须驻扎军队。

输入文件中每一行相邻的两个数据之间均用一个空格分隔。

输出格式:

输出共 mm 行,每行包含 11 个整数,第jj行表示在满足国王第jj个要求时的最小开销, 如果无法满足国王的第jj个要求,则该行输出 1-1

输入输出样例

输入样例#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

输出样例#1: 复制

12 7 -1

说明

【样例解释】

对于第一个要求,在 44 号和 55 号城市驻扎军队时开销最小。

对于第二个要求,在 11 号、22 号、33 号城市驻扎军队时开销最小。

第三个要求是无法满足的,因为在 11 号、55 号城市都不驻扎军队就意味着由道路直接连 接的两座城市中都没有驻扎军队。

【数据规模与约定】

对于 100100\\%的数据,n,m100000,1p_i100000n,m ≤ 100000,1 ≤ p\_i ≤ 100000

数据类型的含义:

AA:城市ii与城市i+1i + 1直接相连。
BB:任意城市与城市 11 的距离不超过 100100(距离定义为最短路径上边的数量),即如果这 棵树以 11 号城市为根,深度不超过 100100
CC:在树的形态上无特殊约束。
11:询问时保证a=1,x=1a = 1,x = 1,即要求在城市 11 驻军。对b,y没有限制。
22:询问时保证a,ba,b是相邻的(由一条道路直接连通)
33:在询问上无特殊约束。