グラフ理論:孤立頂点