グラフ理論:半閉路