06723. USACO·牛群接触追踪 未做

Farmer John 有 $N$（$2\le N\le 10^5$）头编号为 $1\dots N$ 的奶牛，奶牛之间的连接关系是一棵树。一场疾病正在蔓延：起初有一些奶牛已被感染；每天夜里，每头被感染的奶牛都会把疾病传染给相邻的邻居，被感染的奶牛会一直保持感染。若干个夜晚过去之后，FJ 意识到出了问题，于是检测出当前所有被感染的奶牛。给定 $Q$（$1\le Q\le 20$）个不同的夜数（每个都是 $[0,N]$ 内的整数），对每个夜数求最初被感染奶牛的最少头数，或判定该夜数与检测结果相矛盾。

第一行包含 $N$。

接下来一行包含一个长度为 $N$ 的 01 串，第 $i$ 位为 1 表示第 $i$ 头奶牛被感染，为 0 表示未被感染。至少有一头奶牛被感染。

接下来 $N-1$ 行包含这棵树的边。

然后是 $Q$，以及随后的 $Q$ 个夜数值。

$Q$ 行，输出每个夜数对应的答案；如果不可能，输出 $-1$。

【样例解释】

对于第一组询问（0 夜），一种可能是奶牛 1、2、3 一开始就感染了疾病。对于第二组询问（1 夜），一种可能是只有奶牛 2 一开始感染了疾病。对于第三组询问（2 夜），一种可能是只有奶牛 1 一开始感染了疾病。对于第四至第六组询问，不存在一致的可能性。

【数据规模与约定】

• 测试点 4-5：$N\le 10$

• 测试点 6-8：所有奶牛都被感染。

• 测试点 9-11：$N\le 400$

• 测试点 12-23：无附加限制。