Chúng tôi có μ (s, v) = 1≤j≤k c (ej). Cho tôi ∈ 1..k cho vi là nút mục tiêu của ei và
define t0 = 0 và v0 = s. Sau đó d [vi] ≤1≤j≤i c (ej) sau khi thời gian ti là một đơn giản
cho thấy cảm ứng. Đây là rõ ràng cho tôi = 0 kể từ khi d [s] được khởi tạo zero và d-giá trị
chỉ giảm. Sau khi thư giãn ei = R [ti] cho tôi > 0, chúng tôi có d [vi] ≤
d [vi−1] c (ei) ≤ 1≤j≤i c (ej). Vì vậy sau khi thời gian tk, chúng tôi có d [v] ≤ μ (s, v). Kể từ khi
d [v] không thể đi dưới đây μ (s, v) bởi bổ đề 26, chúng tôi có d [v] = μ (s, v) sau thời gian tk và
do đó sau khi thực hiện tất cả thư giãn ở R.
cho chúng tôi tiếp theo chứng minh rằng thông tin phụ huynh dấu vết trong con đường ngắn nhất. Chúng tôi làm như vậy
theo giả định bổ sung rằng con đường ngắn nhất là duy nhất và để lại tướng
trường hợp đến người đọc. Sau khi thư giãn trong R, chúng tôi có d [vi] = μ (s, vi) với 1 ≤ tôi ≤ k.
khi d [vi] đã được thiết lập để μ (s, vi) bởi một hoạt động thư giãn (u, vi), sự tồn tại của một con đường
chiều dài μ (s, vi) từ s để vi được thành lập. Kể từ khi, bởi giả định, ngắn nhất
đường đi từ s tới vi là duy nhất, chúng ta phải có u = vi−1 và do đó phụ huynh [vi] = vi−1.
đang được dịch, vui lòng đợi..
