atcoder#ABC292D. [ABC292D] Unicyclic Components
[ABC292D] Unicyclic Components
配点 : 点
問題文
頂点に から の番号が、辺に から の番号がついた 頂点 辺の無向グラフが与えられます。辺 は頂点 と頂点 を結んでいます。
このグラフのすべての連結成分が次の条件を満たすかどうかを判定してください。
- その連結成分に含まれる頂点の個数と辺の本数が等しい。
注釈
無向グラフ とは、辺に向きの無いグラフのことをいいます。 あるグラフの 部分グラフ とは、元のグラフのいくつかの頂点といくつかの辺を選んでできるグラフのことをいいます。 グラフが 連結 であるとは、グラフに含まれるすべての頂点同士が辺を経由して互いに行き来できることをいいます。 連結成分 とは、連結な部分グラフのうち、そのグラフを含んだより大きい連結な部分グラフが存在しないものをいいます。
制約
- 入力はすべて整数
入力
入力は以下の形式で標準入力から与えられる。
出力
すべての連結成分が条件を満たすならば Yes
と、そうでなければ No
と出力せよ。
3 3
2 3
1 1
2 3
Yes
このグラフには頂点 のみからなる連結成分と頂点 からなる連結成分があります。 前者には 本の辺(辺 )が、後者には 本の辺(辺 )が含まれており、条件を満たします。
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