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

    ID: 16961 Type: RemoteJudge 1000ms 1024MiB Tried: 0 Accepted: 0 Difficulty: 6 Uploaded By: Tags>动态规划 DP四川树形 DP2026省赛/邀请赛

[SCCPC 2026] 永恒的奥古斯都

题目描述

有一棵 nn 个点的树 TT,树的根节点为 11。初始时点 ii 有颜色 cic_i(0≤ci≤10 \le c_i \le 1)。

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

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

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

输入格式

输入第一行一个正整数 nn(1≤n≤2×1051 \le n \le 2 \times 10^5),表示 T′T' 的点数。

第二行 nn 个整数 c1′,c2′,⋯ ,cn′c'_1,c'_2,\cdots,c'_n(0≤ci′≤10 \le c'_i \le 1),表示最终状态下每个点的颜色。

接下来 n−1n-1 行,每行两个正整数 u,vu,v(1≤u,v≤n1 \le u,v \le n,u≠vu \neq v),表示 T′T' 中存在一条边 (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