Editing Topological sort

The '''topological sorting problem''' is the problem of determining a '''topological ordering''' of a digraph's vertices, that is, a list of the vertices such that an edge never exists from a vertex later in the list to a vertex earlier in the list.

==Motivation==
Topological sorting is perhaps best understood as the problem of ''dependency resolution''. Examples are given here:
* To earn a degree, a student has to complete certain required courses. However, these cannot be taken in just any order; some of these courses are prerequisites for others. For example, the ''Introduction to Algorithms in Bioinformatics'' course may depend on the ''Introduction to Algorithms'' course, which may depend on the ''Introduction to Data Structures'' course, which may in turn depend on the ''Introduction to Programming'' course. This is a ''dependency relationship''; taking later courses ''depends'' on taking prerequisite earlier courses. We can construct a graph in which each vertex is a course and a directed edge exists from <math>u</math> to <math>v</math> if and only if the course corresponding to <math>u</math> is a prerequisite for the course corresponding to <math>v</math>. Topologically sorting this graph will give a possible order in which the courses may be taken (although it cannot, of course, be used to solve the more serious problem of scheduling conflicts).
* Large software applications are usually heavily modularized, where, generally, each module is a chunk of code of manageable size containing a simple group of related functions stored in a single file or a small number of files. These modules may ''depend'' on simpler modules, which may in turn depend on simpler modules, and so on down. For example, the compiler <code>gcc</code> may depend on the arithmetic library <code>gmp</code>, which may depend on the macro language <code>m4</code>, which may depend on the C standard library <code>libc</code>. We cannot compile a module until all its dependencies have already been compiled. If each module is a vertex and an edge exists from one vertex to another if and only if the latter's module depends on the former's, then topologically sorting this graph gives a valid order in which we may compile all the modules. (The program <code>/usr/bin/tsort</code> was provided on many UNIX-based systems exactly for this purpose; it has been superseded by <code>make</code>, but it still exists on some modern systems.)
* In some video games, each level consists of exploring a particular part of the world map. There is no preset order on how to explore the map, but some areas may not be explored right away because they ''depend'' on "earlier" areas having been explored (and presumably "beaten"). We let each area of the map be a vertex and let there be an edge from one vertex to another if the former's area must be explored before the latter's. A topological ordering of this graph corresponds to a valid order in which the map may be explored.

==Existence of a solution==
We first note that ''being a [[DAG]] is necessary for a digraph to have a topological ordering''. This is not hard to see; if the graph contains a cycle, <math>v_1 v_2 ... v_n v_1</math>, then <math>v_2</math> must occur after <math>v_1</math> in the topological ordering, <math>v_3</math> must occur after <math>v_2</math>, and so on, but then <math>v_1</math> must occur after <math>v_1</math>, leading to the absurd conclusion that <math>v_1</math> must occur after ''itself'' in the list. Intuitively, if a cyclic dependency exists among a set of tasks, ''none'' of those tasks can ever be executed.

The next question is whether this condition is also ''sufficient''. That is, is it true that a digraph may be topologically ordered ''if and only if'' it is a DAG? The answer is yes.

''Theorem'': Every DAG may be topologically ordered.

''Proof'': By induction on the number of vertices. Clearly, a DAG with one vertex may be topologically ordered; the list in this case consists only of the vertex itself. Now, suppose that any DAG with <math>n</math> vertices may be ordered, and now consider any DAG with <math>n+1</math> vertices. Recall that every DAG has at least one source. We let this be the first entry in our list. The subgraph left behind, which has <math>n</math> vertices, is still acyclic; obviously cycles cannot be introduced by ''removing'' edges. By the inductive hypothesis, we can topologically order this subgraph. Then, we append the topological ordering of this subgraph to the end of our current list, to obtain a list of vertices of the original <math>n+1</math>-vertex graph with the source in the first position. Now, given any two vertices <math>u</math> and <math>v</math> on the list, where, without loss of generality, <math>u</math> precedes <math>v</math>, either <math>u</math> is the first entry (the source), in which case there is obviously no <math>v</math>-<math>u</math> edge, or <math>u</math> and <math>v</math> are both not the first entry, in which case they must be properly ordered as they belong to the topologically ordered tail of the list. Therefore this new list of <math>n+1</math> vertices is a topological ordering of the <math>n+1</math>-vertex graph. <math>_\blacksquare</math>

===Uniqueness===
In general, the topological ordering is ''not'' unique; there may be several different orders in which the graph may be traversed that satisfy the topological ordering property. It ''is'', however, unique if and only if the [[partial order]] represented by the DAG is in fact a total order; that is, when the DAG has a Hamiltonian path, or, equivalently, the [[transitive closure]] of the DAG is the complete graph.
@@ Line 18: / Line 18: @@
 ===Uniqueness===
 In general, the topological ordering is ''not'' unique; there may be several different orders in which the graph may be traversed that satisfy the topological ordering property. It ''is'', however, unique if and only if the [[partial order]] represented by the DAG is in fact a total order; that is, when the DAG has a Hamiltonian path, or, equivalently, the [[transitive closure]] of the DAG is the complete graph.
-==Algorithm==
-The algorithm for generating a topological ordering is embedded in the proof of the Theorem above:
-# Start with an empty list.
-# Find a source of the DAG. Add this vertex to the end of the list.
-# Remove the vertex and all incident edges.
-# If the DAG is nonempty, go back to step 2.
-After the termination of this procedure, the list will contain a topological ordering of the DAG.
-In order to implement this algorithm efficiently, we will not actually remove vertices from the graph in step 3, since this is a computationally expensive operation if the graph is represented as an adjacency matrix or an adjacency list. Nor will we scan through the entire graph each time step 2 is executed in order to find a source; this, too, is computationally expensive. Instead, we make the following observations, in this order:
-# A vertex is a source if and only if its in-degree is zero.
-# If a vertex is not originally a source, it will become one after all its incoming edges have been deleted. An incoming edge is deleted only when the vertex at the other side is removed.
-# Suppose we know where all the sources are in the DAG, and we execute steps 2 and 3 once. After this, the only vertices that might become sources are the ones with an incoming edge from the vertex just removed.
-Here, then, is a realistic implementation:
-<pre>
-for u &isin; V(G)
-    indegree[u] &larr; 0
-for (u,v) &isin; E(G)
-    indegree[v] &larr; indegree[v]+1
-let C be an empty container
-let L be an empty list
-for u &isin; V(G)
-    if indegree[u] = 0
-        insert u into C
-while C is not empty
-    u &larr; some element of C
-    remove u from C
-    add u to the end of L
-    for each v &isin; V(G) such that (u,v) &isin; E(G)
-        indegree[v] &larr; indegree[v]-1
-        if indegree[v] = 0
-            insert v into C
-if |L| &lt; |V(G)|
-    print "Error: graph contains a cycle"
-</pre>
-To implement this efficiently, we will need to be able to iterate through the neighbors of a vertex efficiently. This is best done using an adjacency list. Also, <code>C</code> should be a [[stack]] or a [[queue]], so that insertion and removal of elements can be accomplished in constant time. With that, notice that the first for loop takes <math>O(V)</math> time, the second <math>O(E)</math> time, and the third <math>O(V)</math> time; the while loop runs once for each vertex removed from the container, which only occurs <math>O(V)</math> times, since each vertex is inserted at most once (either at the beginning or just after the last incoming edge is removed), and each edge is examined at most once in the while loop (when the vertex it leaves is popped). Overall, then, this algorithm takes <math>O(E+V)</math> time (linear).
-The algorithm will always find a topological ordering if one exists. If one does not exist, the list <code>L</code> will not be fully populated, and an error message will be printed.
-The topological ordering will be unique if and only if <code>C</code> contains exactly one vertex at the beginning of each iteration of the while loop. The proof is left as an exercise to the reader.
-''Theorem'': A topological ordering can also be obtained by running [[depth-first search]] and then reversing the postordering generated.
-''Proof'': This is equivalent to the statement that if the edge <math>u-v</math> exists then <math>u</math> has a higher postorder number than <math>v</math>. So consider the DFS tree. If <math>u</math> is an ancestor of <math>v</math>, then <math>u</math> has a higher postorder number, as desired. If <math>u</math> is a descendant of <math>v</math> in the DFS tree, then a cycle exists from <math>u</math> back to itself, a contradiction. And if neither <math>u</math> nor <math>v</math> is an ancestor of the other, then <math>u-v</math> is a cross edge, and <math>u</math> has a higher postorder number, as desired. <math>_\blacksquare</math>
-==External links==
-* {{SPOJ|PFDEP|Project File Dependencies}}
-* {{SPOJ|DEPEND|Dependency Problems}}