#P6580. [Petrozavodsk Summer 2021] Power Station of Art 图同构

[Petrozavodsk Summer 2021] Power Station of Art 图同构

有两张边集相同的图 A,BA,B,每个点都是红黑二色之一,并且带着点权 aia_i

你可以执行以下操作零次或任意次:

  1. 选择一张图和相邻的两个点 u,vu,v
  2. 交换 aua_uava_v
  3. 如果 uuvv 同色,则将他们同时反色,否则颜色保持不变。

你想要知道,两张图能否变得相同,即所有点的颜色和点权对应相同。

输入格式

本题多测。

第一行包含一个整数 TT 表示数据组数。

对于每组数据:

第一行两个整数 n,mn,m 表示点的个数和边的个数。

接下来 mm 行每行两个整数 u,vu,v 表示一条边。

接下来一行 nn 个整数,第 ii 个整数 aia_i 表示 AA 上第 ii 个点的点权。

接下来一行一个长为 nn 的字符串,第 ii 个字符 cic_i 表示 AA 上第 ii 个点的颜色,为 RB

接下来一行 nn 个整数,第 ii 个整数 bib_i 表示 BB 上第 ii 个点的点权。

接下来一行一个长为 nn 的字符串,第 ii 个字符 did_i 表示 BB 上第 ii 个点的颜色,为 RB

输出格式

对于每组数据,输出一行,YES 表示两张图可以变得相同,NO 表示不能。

样例一

3
2 1
1 2
3 4
RR
4 3
BB
3 2
1 2
2 3
1 1 1
RBR
1 1 1
BBB
3 3
1 2
2 3
3 1
1 1 1
RBR
1 1 1
BBB
YES
NO
YES

数据范围与提示

测试点编号$n\leq$$\sum n\leq$特殊性质
$1\sim 2$$5$$500$
$3\sim 4$$10^6$$10^6$保证图是二分图
$5\sim 7$保证图连通且不是二分图
$8\sim 10$

对于所有数据,保证 $1\leq T\leq 3\times 10^4, 1\leq n,\sum n\leq 10^6, 0\leq m, \sum m\leq 10^6, 1\leq u, v\leq n, 0\leq a_i, b_i\leq 10^9, c_i, d_i\in \{'R', 'B'\}$,图中无重边无自环。