Đồ thị có hướng G = (V, E), |V| = n, |E| = m. Thuật toán đơn giản tìm đường đi ngắn nhất từ s đến t: Mỗi cặp đỉnh s và t ≠ s → tìm được đỉnh v E sao cho: d(s,t)=d(s,v)+d(v, t),v như vậy gọi là đỉnh trước của t. Từ giả thiết không âm về các trọng số ta có dãy s, v, t, xác định, không lặp lại và kết thúc tại t. Rõ ràng dãy thu được là xác định (lật ngược thứ tự các đỉnh) ta được đường đi ngắn nhất từ s tới t.