Half-degrees of vertices by edge lists#5075

Half-degrees of vertices by edge lists (Discussion)