参考→Quick Tour of Boost Graph Library, Boost Graph Library: Using Property Maps, グラフの辺や頂点にプロパティ（重みや名前、色などの情報）を付けるためにはプロパティ・マップを使う。 プロパティの管理方法には2種類ある 内部プロパティ：グラフ・…