The sum of degrees of all vertices in a graph