[Boost-users] generate_random_graph