グラフ理論:有向グラフ