问题描述

给定一个由$N$个顶点和$M$条边组成的无向图。顶点编号为$1$到$N$，边编号为$1$到$M$。此外，每个顶点都有一个标签，A或B。第$i$个顶点的标签是$s_i$。第$i$条边双向连接顶点$a_i$和$b_i$。

幻影小偷Nusook喜欢选择某个顶点作为起点，通过零次或多次遍历边来形成一个字符串。今天，他将根据以上行程，从起点开始依次放置所访问顶点的标签，形成一个字符串。

例如，在一个图中，顶点$1$的标签为A，顶点$2$的标签为B，如果Nusook沿着路径$1 \\rightarrow 2 \\rightarrow 1 \\rightarrow 2 \\rightarrow 2$行进，那么得到的字符串是ABABB。

确定Nusook是否可以形成所有由A和B组成的字符串。

约束条件

• $2 \\leq N \\leq 2 \\times 10^{5}$
• $1 \\leq M \\leq 2 \\times 10^{5}$
• $|s| = N$
• $s_i$ 是 A 或 B。
• $1 \\leq a_i, b_i \\leq N$
• 给定的图可能不是简单图或者连通图。

输入

输入以以下格式从标准输入给出：

$N$ $M$ $s$ $a_1$ $b_1$ $:$ $a_{M}$ $b_{M}$

输出

如果Nusook可以形成所有由A和B组成的字符串，则打印Yes；否则，打印No。

示例输入1

2 3
AB
1 1
1 2
2 2

示例输出1

Yes

由于Nusook可以随意访问顶点$1$和顶点$2$，所以他可以形成所有由A和B组成的字符串。

示例输入2

4 3
ABAB
1 2
2 3
3 1

示例输出2

No

例如，Nusook无法形成BB。 给定的图可能不是连通图。

示例输入3

13 23
ABAAAABBBBAAB
7 1
10 6
1 11
2 10
2 8
2 11
11 12
8 3
7 12
11 2
13 13
11 9
4 1
9 7
9 6
8 13
8 6
4 10
8 7
4 3
2 1
8 12
6 9

示例输出3

Yes

示例输入4

13 17
BBABBBAABABBA
7 1
7 9
11 12
3 9
11 9
2 1
11 5
12 11
10 8
1 11
1 8
7 7
9 10
8 8
8 12
6 2
13 11

示例输出4

No