グラフ理論:有向小道