Node ordering in a graph.
Maps a node number to a number describing its order in the graph (and vice versa).