If is a graph with vertices: