A topological ordering, or a topological sort, orders the vertices
in a directed acyclic graph on a line, i.e. in a list, such that all directed
edges go from left to right. Such an ordering cannot exist
if the graph contains a directed cycle because there is no way that you can keep going right ...