Topological sorting Suppose we have a DAG a topological sorting on is a linear ordering of such that for all edges we have .