Predecessor Subgraph for G = (V, E).
The unique simple path from s to v in Gpred is a shortest path from s to v in G.