グラフ理論:有向閉路