グラフ理論:半歩道