[Boost-users] [graph] filtered graph and num_vertices