Returns the number of vertices in the edge-weighted graph.

public int V { get; }