Rename complete_subgraph_on_vertices -> full_subgraph.