グラフ理論:閉路