The graph generated by this function is taken from [CLRS09], figure 22.8.
Returns:
a two-tuple containing a
Universe of the graph, and a
list of all Vertex
objects. The order of this list is shown by the numbers in the above
diagram; the number of a vertex is its index in the list.