Let G = (V, E) be a directed graph with edge weights w : E R (which may be positive, negative, or zero), and let s be an arbitrary vertex of G.

Suppose instead that every vertex v 6= s stores a pointer pred(v) to another vertex in G. Describe and analyze an algorithm that returns yes if these predecessor pointers define a single-source shortest path tree rooted at s. Otherwise, your algorithm should return no.

Your algorithm should be asymptotically faster than one that computes shortest path distances from scratch. The running time should be in terms of V and E, the number of vertices and edges in the input graph.