#P10104. [GDKOI2023 提高组] 异或图

[GDKOI2023 提高组] 异或图

题目描述

给定一张 nn 个点 mm 条边的无向图和一个长度为 nn 的数组 a1,a2,⋯ ,ana_1, a_2, \cdots , a_n 以及一个整数 CC,你需要求出有多少个长度为 nn 的数组 bb 满足:

  1. 0≤bi≤ai,∀1≤i≤n0 ≤ b_i ≤ a_i,\forall 1 ≤ i ≤ n。
  2. 对于每条边 (u,v)(u, v),bu≠bvb_u \ne b_v。
  3. b1⊕b2⊕⋯⊕bn=Cb_1 ⊕ b_2 ⊕ \cdots ⊕ b_n = C,其中 ⊕\oplus 代表异或。

答案对 998244353998244353 取模。

输入格式

第一行输入三个整数 n,m,cn, m, c。

第二行输入 nn 个整数 a1,a2,⋯ ,ana_1, a_2, \cdots , a_n。

接下来的 mm 行,每行输入两个正整数 u,vu, v,表示一条无向边。

输出格式

一行一个整数表示答案。

3 1 2
1 2 3
1 2

4
4 6 2
7 11 14 0
1 2
1 3
2 3
2 4
4 1
4 3
44

提示

可行的 bb 数组有 (0,1,3),(0,2,0),(1,0,3),(1,2,1)(0, 1, 3),(0, 2, 0),(1, 0, 3),(1, 2, 1) 四种。

对于所有数据,满足 1≤n≤151 ≤ n ≤ 15,0≤m≤n(n−1)2 0 ≤ m ≤ \frac{n(n−1)}{2},0≤ai,C≤1018 0 ≤ a_i, C ≤ 10^{18}。

  • Subtask 1 (20pts):n≤5n ≤ 5,0≤ai,C≤15 0 ≤ a_i, C ≤ 15。
  • Subtask 2 (50pts):n≤13n ≤ 13。
  • Subtask 3 (10pts):m=0m = 0。
  • Subtask 4 (20pts):无特殊限制。