void graph_update(graph_t &g, vector<uint64_t> IDs) { for (size_t i=0;i<IDs.size();i++) { if (g.num_vertices()==0) break; g.delete_vertex(IDs[i]); } }