グラフ理論:有向歩道