グラフ理論:頂点ラベル付きグラフ