弱連結判定（有向グラフ） F#(Beta)編（paizaランク B 相当）

問題にチャレンジして、ユーザー同士で解答を教え合ったり、コードを公開してみよう！

問題

下記の問題をプログラミングしてみよう！

オイラー路問題とは、グラフの辺をすべて 1 回ずつ使用して、一筆書きをすることができるかどうかを判定する問題です。
オイラー路が存在する条件のうちの 1 つは、グラフが連結であることです。

ここでは、有向グラフが弱連結であるかどうかを判定するプログラムを作成してみましょう。

n 頂点 m 辺の有向グラフが与えられます。i 番目の辺は頂点 a_i から頂点 b_i に向かっています。なお、グラフは自己ループや多重辺を含む場合があります。

このグラフが弱連結であるかどうかを判定してください。ただし、あるグラフが弱連結であるとは、そのグラフを無向グラフとみなしたときに、任意の 2 頂点間に経路が存在することを指します。

入力される値

n m
a_1 b_1
a_2 b_2
...
a_m b_m

・ 1 行目に、グラフの頂点数を表す整数 n, グラフの辺数を表す整数 m が半角スペース区切りで与えられます。
・続く m 行では、各辺の情報を表す整数 a_i, b_i が半角スペース区切りで与えられます。(1 ≦ i ≦ m) a_i, b_i は、辺の始点・終点の頂点の番号を表します。

入力値最終行の末尾に改行が１つ入ります。
文字列は標準入力から渡されます。標準入力からの値取得方法はこちらをご確認ください

期待する出力: 与えられたグラフが弱連結である場合は 'Yes'、そうでない場合は 'No' を 1 行で出力してください。

また、末尾に改行を入れ、余計な文字を含んではいけません。

条件: すべてのテストケースにおいて、以下の条件をみたします。

・入力はすべて整数
・ 2 ≦ n ≦ 100,000 = 10^5
・ 1 ≦ m ≦ 100,000 = 10^5
・ 1 ≦ a_i, b_i ≦ n (1 ≦ i ≦ m)

入力例1: 4 3
1 2
2 3
3 4

出力例1: Yes

入力例2: 4 3
1 2
2 3
4 4

出力例2: No

問題一覧へ戻る