グラフ理論:半通路