atcoder#AGC027C. [AGC027C] ABland Yard

[AGC027C] ABland Yard

配点 : 900900

問題文

NN 頂点 MM 本の辺からなる無向グラフが与えられます。 頂点には 11 から NN の番号が、辺には 11 から MM の番号がついています。 頂点には番号以外に AB のラベルがついており、頂点 ii には sis_i のラベルがついています。

ii は頂点 aia_ibib_i を双方向につなぐ辺です。

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

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

怪盗ヌスークが文字 A,B のみからなる任意の文字列が作れるかどうかを判定してください。

制約

  • 2N2×1052 \leq N \leq 2 \times 10^{5}
  • 1M2×1051 \leq M \leq 2 \times 10^{5}
  • s=N|s| = N
  • sis_iA または B
  • 1ai,biN1 \leq a_i, b_i \leq N
  • 与えられるグラフは単純とも連結とも限らない

入力

入力は以下の形式で標準入力から与えられる。

NN MM

ss

a1a_1 b1b_1

::

aMa_{M} bMb_{M}

出力

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

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

77e96cf8e213d606ddd8f3c3f8315d32.png

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

1ab1411cb9d6ee023d14ca4e77c4b584.png

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
Yes
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
No