C - ABland Yard Editorial /

Time Limit: 2 sec / Memory Limit: 1024 MiB

配点 : 900 点

問題文

N 頂点 M 本の辺からなる無向グラフが与えられます。 頂点には 1 から N の番号が、辺には 1 から M の番号がついています。 頂点には番号以外に A か B のラベルがついており、頂点 i には s_i のラベルがついています。

辺 i は頂点 a_i と b_i を双方向につなぐ辺です。

怪盗ヌスークは好きな頂点を始点として選び、そこから 0 回以上辺を辿って移動するのが好きです。 今日は移動後に、訪れた頂点についているラベルを始点から訪問した順に並べて文字列を作ることにしました。

例えば、頂点 1 にラベル A が、頂点 2 にラベル B がついているグラフにおいて、ヌスークが 1 \rightarrow 2 \rightarrow 1 \rightarrow 2 \rightarrow 2 と移動した場合、ABABB が作られます。

怪盗ヌスークが文字 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}

出力

ヌスークが文字 A,B のみからなる任意の文字列が作ることが可能なら Yes を、そうでなければ No を出力せよ。

入力例 1

2 3
AB
1 1
1 2
2 2

出力例 1

Yes
  • ヌスークは頂点 1 と頂点 2 を自由に訪れることができるため、A,B のみからなる任意の文字列が作ることが可能です
77e96cf8e213d606ddd8f3c3f8315d32.png

入力例 2

4 3
ABAB
1 2
2 3
3 1

出力例 2

No
  • 例えば、BB を作ることができません
  • 与えられるグラフは連結とは限りません
1ab1411cb9d6ee023d14ca4e77c4b584.png

入力例 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

Score : 900 points

Problem Statement

You are given an undirected graph consisting of N vertices and M edges. The vertices are numbered 1 to N, and the edges are numbered 1 to M. In addition, each vertex has a label, A or B. The label of Vertex i is s_i. Edge i bidirectionally connects vertex a_i and b_i.

The phantom thief Nusook likes to choose some vertex as the startpoint and traverse an edge zero or more times. Today, he will make a string after traveling as above, by placing the labels of the visited vertices in the order visited, beginning from the startpoint.

For example, in a graph where Vertex 1 has the label A and Vertex 2 has the label B, if Nusook travels along the path 1 \rightarrow 2 \rightarrow 1 \rightarrow 2 \rightarrow 2, the resulting string is ABABB.

Determine if Nusook can make all strings consisting of A and B.

Constraints

  • 2 \leq N \leq 2 \times 10^{5}
  • 1 \leq M \leq 2 \times 10^{5}
  • |s| = N
  • s_i is A or B.
  • 1 \leq a_i, b_i \leq N
  • The given graph may NOT be simple or connected.

Input

Input is given from Standard Input in the following format:

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

Output

If Nusook can make all strings consisting of A and B, print Yes; otherwise, print No.

Sample Input 1

2 3
AB
1 1
1 2
2 2

Sample Output 1

Yes
  • Since Nusook can visit Vertex 1 and Vertex 2 in any way he likes, he can make all strings consisting of A and B.
77e96cf8e213d606ddd8f3c3f8315d32.png

Sample Input 2

4 3
ABAB
1 2
2 3
3 1

Sample Output 2

No
  • For example, Nusook cannot make BB.
  • The given graph may not be connected.
1ab1411cb9d6ee023d14ca4e77c4b584.png

Sample Input 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

Sample Output 3

Yes

Sample Input 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

Sample Output 4

No