vertex-labeled_graph