Dijkstra's algorithm - Wikipedia
en.wikipedia.org › wiki › Dijkstra&Dijkstra's algorithm uses a data structure for storing and querying partial solutions sorted by distance from the start. Dijkstra's original algorithm does not use a min-priority queue and runs in time (where is the number of nodes). [10] The idea of this algorithm is also given in Leyzorek et al. 1957.
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 ∞)