Degree-biased vertex distribution (source code)

= Degree-biased vertex distribution

In a finite graph with at least one edge, the degree-biased vertex distribution assigns probability proportional to the <degree of a vertex>. It is the distribution of an endpoint on a specified side of a uniformly random edge.