GraphNumberer is an abstract class. The GraphNumberer
class defines the interface that all programmers must provide when
introducing new GraphNumberer subclasses. A GraphNumberer is an
algorithmic class for numbering the Vertices of a Graph; that is
assigning a unique integer value (0 through numVertex -1) to
each Vertex (uses tmp variable of Vertex) of the Graph.