AT_agc027_c [AGC027C] ABland Yard

[problemUrl]: https://atcoder.jp/contests/agc027/tasks/agc027_c $ 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` のみからなる任意の文字列が作れるかどうかを判定してください。

入力は以下の形式で標準入力から与えられる。 > $ N $ $ M $ $ s $ $ a_1 $ $ b_1 $ $ : $ $ a_{M} $ $ b_{M} $

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

### 制約 - $ 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 $ - 与えられるグラフは単純とも連結とも限らない ### Sample Explanation 1 \- ヌスークは頂点 $ 1 $ と頂点 $ 2 $ を自由に訪れることができるため、`A`,`B` のみからなる任意の文字列が作ることが可能です !\[77e96cf8e213d606ddd8f3c3f8315d32.png\](https://img.atcoder.jp/agc027/77e96cf8e213d606ddd8f3c3f8315d32.png) ### Sample Explanation 2 \- 例えば、`BB` を作ることができません - 与えられるグラフは連結とは限りません !\[1ab1411cb9d6ee023d14ca4e77c4b584.png\](https://img.atcoder.jp/agc027/1ab1411cb9d6ee023d14ca4e77c4b584.png)