atcoder#ABC292D. [ABC292D] Unicyclic Components

[ABC292D] Unicyclic Components

配点 : 400400

問題文

頂点に 11 から NN の番号が、辺に 11 から MM の番号がついた NN 頂点 MM 辺の無向グラフが与えられます。辺 ii は頂点 uiu_i と頂点 viv_i を結んでいます。

このグラフのすべての連結成分が次の条件を満たすかどうかを判定してください。

  • その連結成分に含まれる頂点の個数と辺の本数が等しい。

注釈

無向グラフ とは、辺に向きの無いグラフのことをいいます。 あるグラフの 部分グラフ とは、元のグラフのいくつかの頂点といくつかの辺を選んでできるグラフのことをいいます。 グラフが 連結 であるとは、グラフに含まれるすべての頂点同士が辺を経由して互いに行き来できることをいいます。 連結成分 とは、連結な部分グラフのうち、そのグラフを含んだより大きい連結な部分グラフが存在しないものをいいます。

制約

  • 1N2×1051 \leq N \leq 2 \times 10^5
  • 0M2×1050 \leq M \leq 2 \times 10^5
  • 1uiviN1 \leq u_i \leq v_i \leq N
  • 入力はすべて整数

入力

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

NN MM

u1u_1 v1v_1

\vdots

uMu_M vMv_M

出力

すべての連結成分が条件を満たすならば Yes と、そうでなければ No と出力せよ。

3 3
2 3
1 1
2 3
Yes

このグラフには頂点 11 のみからなる連結成分と頂点 2,32,3 からなる連結成分があります。 前者には 11 本の辺(辺 22 )が、後者には 22 本の辺(辺 1,31,3 )が含まれており、条件を満たします。

5 5
1 2
2 3
3 4
3 5
1 5
Yes
13 16
7 9
7 11
3 8
1 13
11 11
6 11
8 13
2 11
3 3
8 12
9 11
1 11
5 13
3 12
6 9
1 10
No