风暴之眼(Eye of the Storm)

题目背景

通过月岛,帝王蟹和天体探测仪,你成功拼合了三个天体科技,接下来你要做的,就是来到风暴之眼的中心,准备那个神秘实验的最后一步。 最终的真相近在咫尺,你能否成功通过这场考验呢?

题目描述

天体风暴中的气象瞬息万变。 风暴中的道路构成一棵 $n$ 个结点的**无根树**,第 $i$ 个结点有初始权值 $w_i$($w_i$ 为 $0$ 或 $1$)和类型 $t_i$。 结点的类型分为两种:$\texttt{AND}$ 型结点和 $\texttt{OR}$ 型结点。 对于 $\texttt{AND}$ 型结点,每一秒结束后它的权值将变为**它与它所有邻居上一秒权值的 $\texttt{AND}$ 和**; 对于 $\texttt{OR}$ 型结点,每一秒结束后它的权值将变为**它与它所有邻居上一秒权值的 $\texttt{OR}$ 和**。 现在,已知从某一时刻起,所有结点的权值都不再发生任何变化,将此时点 $i$ 的权值称为 $a_i$。 现不知每个点的初始权值和类型,只知道最终每个点的权值 $a_i$,求出有多少种可能的初始权值和类型的组合,答案对 $998244353$ 取模。

输入输出格式

输入格式


第一行,一个整数 $n$,表示树的结点数。 第二行,$n$ 个整数 $a_1, a_2, \ldots , a_n$,表示每个结点最终的权值。 接下来 $n-1$ 行,每行两个整数 $x,y$,描述无根树中的一条边。

输出格式


输出一行一个整数,表示可能的初始权值和类型的组合数量。

输入输出样例

输入样例 #1

2
0 0
1 2

输出样例 #1

6

说明

**【样例 1 解释】** 有如下六种初始权值和类型的组合: 1. $((w_1, t_1), (w_2, t_2)) = ((0, \texttt{AND}), (0, \texttt{AND}))$。 2. $((w_1, t_1), (w_2, t_2)) = ((0, \texttt{AND}), (0, \texttt{OR}))$。 3. $((w_1, t_1), (w_2, t_2)) = ((0, \texttt{OR}), (0, \texttt{AND}))$。 4. $((w_1, t_1), (w_2, t_2)) = ((0, \texttt{OR}), (0, \texttt{OR}))$。 5. $((w_1, t_1), (w_2, t_2)) = ((1, \texttt{AND}), (0, \texttt{AND}))$。 6. $((w_1, t_1), (w_2, t_2)) = ((0, \texttt{AND}), (1, \texttt{AND}))$。 --- **【数据范围】** **本题采用捆绑测试。** 对于 $100 \%$ 的数据,$2 \le n \le 2 \times {10}^5$,$1 \le x, y \le n$,$a_i \in \{ 0, 1 \}$,保证输入构成一棵树。 | 子任务编号 | 分值 | $n\leq$ | 特殊限制 | |:-:|:-:|:-:|:-:| | $1$ | $10$ | $10$ | 无 | | $2$ | $22$ | $20$ | 无 | | $3$ | $22$ | $1000$ | 无 | | $4$ | $11$ | ${10}^5$ | $y=x+1$ | | $5$ | $15$ | ${10}^5$ | $a_i=0$ | | $6$ | $20$ | $2 \times {10}^5$ | 无 | --- ![](https://cdn.luogu.com.cn/upload/image_hosting/j4citkld.png)