#P16961. [SCCPC 2026] 永恒的奥古斯都

    ID: 19045 远端评测题 1000ms 1024MiB 尝试: 0 已通过: 0 难度: 6 上传者: 标签>动态规划 DP四川树形 DP2026省赛/邀请赛

[SCCPC 2026] 永恒的奥古斯都

题目描述

有一棵 nn 个点的树 TT,树的根节点为 11。初始时点 ii 有颜色 cic_i0ci10 \le c_i \le 1)。

小 L 进行了若干次(可以为 00)操作,每次操作她会选择一个满足 cu=0c_u =0 的节点 uu,对 uu 子树内的所有点 vv 执行 cv1cvc_v \gets 1 - c_v。所有操作结束后得到树 TT',其中点 ii 的颜色变为了 cic'_i

现在给你最后得到的树 TT' 和每个点的颜色 cic'_i,你需要求出有多少种不同的可能初始状态 TT。答案对 998244353998244353 取模。

在此题中,我们认为两棵树 T1,T2T_1,T_2 不同,当且仅当存在点 1un1 \le u \le n,满足其在 T1T_1 中的颜色为 c1,uc_{1,u},在 T2T_2 中的颜色为 c2,uc_{2,u},且 c1,uc2,uc_{1,u} \neq c_{2,u}

输入格式

输入第一行一个正整数 nn1n2×1051 \le n \le 2 \times 10^5),表示 TT' 的点数。

第二行 nn 个整数 c1,c2,,cnc'_1,c'_2,\cdots,c'_n0ci10 \le c'_i \le 1),表示最终状态下每个点的颜色。

接下来 n1n-1 行,每行两个正整数 u,vu,v1u,vn1 \le u,v \le nuvu \neq v),表示 TT' 中存在一条边 (u,v)(u,v)。保证所有边构成一棵树。

输出格式

输出一行一个整数,表示可能的初始状态 TT 的个数对 998244353998244353 取模后的值。

3
0 0 1
1 2
1 3
2
5
1 0 0 1 1
1 2
1 3
2 4
2 5
20