グラフ理論:縮約