問題にチャレンジして、ユーザー同士で解答を教え合ったり、コードを公開してみよう!
グラフ上の任意の頂点から出発して、すべての辺を使って一筆書きをすることができるようなグラフを準オイラーグラフと呼びます。ただし、始点と終点が同じ頂点である必要はありません。
n 頂点 m 辺の有向グラフが与えられます。i 番目の辺は頂点 a_i から頂点 b_i に向かっています。なお、グラフは自己ループや多重辺を含む場合があります。
以下の条件を用いて、このグラフが準オイラーグラフであるかどうかを判定してください。
有向グラフが準オイラーグラフである条件は、以下の 2 つを満たすことです。
・ グラフが連結である
・「入次数 = 出次数」を満たす頂点の数を a,「入次数 = 出次数 + 1」を満たす頂点の数を b,「入次数 + 1 = 出次数」を満たす頂点の数を c とすると、(a = n) または (a = n - 2 かつ b = c = 1) である
Note: 厳密には、グラフが準オイラーグラフであるための連結性の条件は「孤立点を除いたグラフが連結である」ですが、この問題では簡単のために「グラフが連結である」を条件として用いることにします。
n m
a_1 b_1
a_2 b_2
...
a_m b_m
与えられたグラフが準オイラーグラフである場合は 'Yes'、そうでない場合は 'No' を 1 行で出力してください。
また、末尾に改行を入れ、余計な文字を含んではいけません。
すべてのテストケースにおいて、以下の条件をみたします。
・ 入力はすべて整数
・ 2 ≦ n ≦ 100,000 = 10^5
・ 1 ≦ m ≦ 100,000 = 10^5
・ 1 ≦ a_i, b_i ≦ n (1 ≦ i ≦ m)
4 3
1 2
2 3
3 4
Yes
4 3
1 2
2 3
4 4
No
4 4
1 2
2 3
3 2
3 4
No