Lecture 13: Dijkstra’s Algorithm - MIT OpenCourseWare
ocw.mit.edu › courses › 6-006-introduction-to• Claim: At end of Dijkstra’s algorithm, d(s, v) = δ(s, v) for all v ∈ V • Proof: – If relaxation sets d(s, v) to δ(s, v), then d(s, v) = δ(s, v) at the end of the algorithm ∗ Relaxation can only decrease estimates d(s, v) ∗ Relaxation is safe, i.e., maintains that each d(s, v) is weight of a path to v (or ∞)