有向グラフが与えられ、閉路が存在するか判定する。