Rewrite the procedure DFS, using a stack to eliminate recursion.

Dag SSSP(G, S): Initialize -Single-Source (G, S) for all vertices v in topological order: for all edges u->v: Relax (u, v, w) PushDag SSSP(G, S): Initialize -Single-Source (G, s) for all vertices u in topological order: for all edges u->v: Relax(u, v, w) Dag SSSP(G, S): Initialize -Single-Source (G, S) for all vertices v in topological order: for all edges u->v: Relax (u, v, w) PushDag SSSP(G, S): Initialize -Single-Source (G, s) for all vertices u in topological order: for all edges u->v: Relax(u, v, w)