グラフ理論:不変量