RE: [Boost-Users] Graphs: vertex_index vs. edge_index