Bài toán tìm các đường đi ngắn nhất là một bài toán khá quan trọng trong quá trình thiết kế và phân tích mạng. Hầu hết các bài toán định tuyến có thể giải quyết như giải quyết bài toán tìm đường đi ngắn nhất khi một "độ dài " thích hợp được gắn vào mỗi cạnh (hoặc cung) trong mạng. Trong khi các thuật toán thiết kế thì cố gắng tìm kiếm cách tạo ra các mạng thoả mãn tiêu chuẩn độ dài đường đi. Bài toán đơn giản nhất của loại toán này là tìm đường đi ngắn nhất giữa hai nút cho trước. Loại bài toán này có thể là bài toán tìm đường đi ngắn nhất từ một nút tới tất cả các nút còn lại, tương đương bài toán tìm đường đi ngắn nhất từ tất cả các điểm đến một điểm. Đôi khi đòi hỏi phải tìm đường đi ngắn nhất giữa tất cả các cặp nút. Các đường đi đôi khi có những giới hạn nhất định (chẳng hạn như giới hạn số lượng các cạnh trong đường đi).
Tiếp theo, chúng ta xét các graph hữu hướng và giả sử rằng đã biết độ dài của một cung giữa mỗi cặp nút i và j là lij. Các độ dài này không cần phải đối xứng. Khi một cung không tồn tại thì độ dài lij được giả sử là rất lớn (chẳng hạn lớn gấp
n lần độ dài cung lớn nhất trong mạng). Chú ý rằng có thể áp dụng quá trình này cho các mạng vô hướng bằng cách thay mỗi cạnh bằng hai cung có cùng độ dài. Ban đầu giả sử rằng lij là dương hoàn toàn; sau đó giả thiết này có thể được thay đổi.
Thuật toán Dijkstra
Tất cả các thuật toán tìm đường đi ngắn nhất đều dựa vào các nhận xét được minh hoạ trên hình 4.5, đó là việc lồng nhau giữa các đường đi ngắn nhất nghĩa là một nút k thuộc một đường đi ngắn
nhất từ i tới j thì đường đi ngắn nhất từ i tới j sẽ bằng đường đi ngắn nhất từ i tới k kết hợp với đường đi ngắn nhất từ j tới k. Vì thế, chúng ta có thể tìm đường đi ngắn nhất bằng công thức đệ quy sau:
) ( min ik kj k ij d d d = +
dxy là độ dài của đường đi ngắn nhất từ x tới y. Khó khăn của cách tiếp cận này là phải có một cách khởi động đệ quy nào đó vì chúng ta không thể khởi động với các giá trị bất kỳ ở vế phải của phương trình 4.2. Có một số cách để thực hiện việc này, mỗi cách là cơ sở cho một thuật toán khác nhau.
Hình 4.5. Các đường ngắn nhất lồng nhau
Thuật toán Dijkstra phù hợp cho việc tìm đường đi ngắn nhất từ một nút i tới tất cả các nút khác. Bắt đầu bằng cách thiết lập dii = 0 và dij = ∞ ∀ i ≠ j sau đó thiết lập dij ← lij ∀ j là nút kề cận của i
Sau đó tìm nút j có dij là bé nhất. Tiếp đó lấy chính nút j vừa chọn để khai triển các khoảng cách các nút khác, nghĩa là bằng cách thiết lập
dik←min (dik, dij+ljk)
Tại mỗi giai đoạn của quá trình, giá trị của dik là giá trị ước lượng hiện có của đường đi ngắn nhất từ i tới k; và thực ra là độ dài đường đi ngắn nhất đã được tìm cho tới thời điểm đó. Xem djk như là nhãn trên nút k. Quá trình sử dụng một nút để triển khai các nhãn cho các nút khác gọi là quá trình quét nút.
Thực hiện tương tự, tiếp tục tìm các nút chưa được quét có nhãn bé nhất và quét nó. Chú ý rằng, vì giả thiết rằng tất cả các ljk đều dương do đó một nút không thể gán cho nút khác một nhãn bé hơn chính nhãn của nút đó. Vì vậy, khi một nút được quét thì việc quét lại nó nhất thiết không bao giờ xảy ra. Vì thế, mỗi nút chỉ cần được quét một lần. Nếu nhãn trên một nút thay đổi, nút đó phải được quét lại. Thuật toán Dijkstra có thể được viết như sau:
array[n] <-Dijkstra (n, root, dist)
dcl dist[n,n], pred[n], sp_dist[n], scanned[n] index <- FindMin( )
d_min <- INFINITY for each (i , n )
if (!(scanned[j])&& (sp_dist[i]< d_min) ) i_min <- i d_min <- sp_dist[i] return (i_min) void <- Scan( i ) for each ( j , n) if((sp_dist[j] > sp_dist[i] + dist[i,j]))
sp_dist[j]<- sp_dist[i] + dist[i,j] pred[j]<- i sp_dist<- INFINITY pred <- -1 scanned <-FALSE sp_dist[root]<- 0 #_scanned <- 0 while (#_scanned < n ) i <- FindMin() Scan( i ) #_scanned= #_scanned + 1 return ( pred )
Trong thuật toán đã viết ở trên, hàm chỉ trả về dãy pred , dãy này chứa tất cả các đường đi. Hàm cũng có thể trả về dãy sp_dist, dãy này chứa độ dài của các đường đi, hoặc hàm trả về cả hai dãy nếu cần thiết.
Thuật toán trông rất quen thuộc. Nó gần giống với thuật toán tìm cây bắc cầu tối thiểu Prim. Chỉ khác nhau ở chỗ, các nút trong thuật toán này được gắn nhãn là độ dài của toàn bộ đường đi chứ không phải là độ dài của một cạnh. Chú ý rằng thuật toán này thực hiện với graph hữu hướng trong khi thuật toán Prim chỉ thực hiện với graph vô hướng. Tuy nhiên về mặt cấu trúc, các thuật toán là rất đơn giản. Độ phức tạp của thuật toán Dijkstra, cũng giống như độ phức tạp của thuật toán Prim , là O(N2).
Cũng giống như thuật toán Prim, thuật toán Dijkstra thích hợp với các mạng dày và đặc biệt thích hợp với các quá trình thực hiện song song (ở đây phép toán scan có thể được thực hiện song song, về bản chất độ phức tạp của quá trình đó là O(1) chứ không phải là O(N)). Hạn chế chủ yếu của thuật toán này là không có được nhiều ưu điểm khi mạng là mỏng và chỉ phù hợp với các mạng có độ dài các cạnh là dương.
Hình 4.6. Các đường đi ngắn nhất từ A
Ví dụ 4.7:
Xét một mạng trong hình 4.6. Mục tiêu ở đây là tìm các đường đi ngắn nhất từ nút A tới các nút khác. Khởi đầu, A được gắn nhãn 0 và các nút khác được gắn nhãn là vô cùng lớn. Quét nút A, B được gán bằng 5 và C được gán là 1. C là nút mang nhãn bé nhất nên sau đó C được quét và B được gán bằng 4 (=1+3), trong khi D được gán bằng 6. Tiếp theo B (có nhãn bằng 4) được quét; D và E được gán lần lượt là 5 và 10. Sau đó D (có nhãn bằng 5) được quét và F được gán bằng 9. E được quét và dẫn đến không có nhãn mới. F là nút có nhãn bé nhất nên không cần phải quét vì không có nút nào phải đánh nhãn lại. Mỗi nút chỉ được quét một lần. Chú ý rằng việc quét các nút có các nhãn theo thứ tự tăng dần là một điều cần lưu ý vì trong quá trình thực hiện thuật toán một số nút được đánh lại số. Các nút được quét ngay tức thì hoặc là phải được quét lại sau đó. Chú ý rằng các đường đi từ A đến các nút khác (nghĩa là (A, C), (C, B), (B, D),
(B, E) và (D, F)) tạo ra một cây. Điều này không là một sự trùng hợp ngẫu nhiên. Nó là hệ quả trực tiếp từ việc lồng nhau của các đường đi ngắn nhất. Chẳng hạn, nếu k thuộc đường đi ngắn nhất từ i tới j thì đường đi ngắn nhất từ i tới j sẽ là tổng của đường đi ngắn nhất từ i tới k và đường đi ngắn nhất từ k tới j.
Tương tự như trong ví dụ minh hoạ cho thuật toán Prim, kết quả của ví dụ trên có thể được trình bày một cách ngắn gọn như bảng sau:
Bảng 4.2
Nút init. A(0) C(1) B(4) D(5) F(9) E(10) A 0(-) 0(-) 0(-) 0(-) 0(-) 0(-) 0(-) B ∞ (-) 5(A) 4(C) 4(C) 4(C) 4(C) 4(C) C ∞ (-) 1(A) 1(A) 1(A) 1(A) 1(A) 1(A) D ∞ (-) ∞ (-) 6(C) 5(B) 5(B) 5(B) 5(B) E ∞ (-) ∞ (-) ∞ (-) 10(B) 10(B) 10(B) 10(B) F ∞ (-) ∞ (-) ∞ (-) ∞ (-) 9(D) 9(D) 9(D)
Thuật toán Bellman
Một thuật toán khác của dạng thuật toán Dijkstra do Bellman phát biểu và sau đó được Moore và Page phát triển, đó là việc quét các nút theo thứ tự mà chúng được đánh nhãn. Việc đó loại trừ việc phải tìm nhãn nhỏ nhất, nhưng tạo ra khả năng; một nút có thể cần quét nhiều hơn một lần.
Trong dạng đơn giản nhất, thuật toán Bellman duy trì một hàng đợi các nút để quét. Khi một nút được đánh nhãn nó được thêm vào hàng đợi trừ khi nó đã tồn tại trong hàng đợi. Hàng đợi được quản lý theo quy tắc vào trước, ra trước. Vì thế các nút được quét theo thứ tự mà chúng được đánh nhãn. Nếu một nút được đánh nhãn lại sau khi nút đó được quét thì nó được thêm vào sau hàng đợi và được quét lần nữa.
Ví dụ 4.8:
Trong ví dụ ở hình 4.6, chúng ta bắt đầu quá trình bằng các đặt nút A vào hàng đợi. Quét A các nhãn 5 và 1 lần lượt được gán cho nút B và C, đồng thời các nút
B và C được đưa vào hàng đợi (vì các nút này nhận giá trị mới và chưa có mặt trong hàng đợi). Tiếp đó chúng ta quét nút B và các nút E và D được đánh nhãn lần lượt là 11 và 6. D và E cũng được đặt vào hàng đợi. Sau đó chúng ta quét C, khi đó B được gán nhãn là 4 và lại được đặt vào sau hàng đợi. E được quét và F
được gán nhãn 13 và đưa vào hàng đợi. D được quét và F được gán nhãn là 10;
F vẫn còn ở trong hàng đợi nên F không được đưa vào hàng đợi. B được quét lần thứ hai. trong lần quét này E và D lần lượt được đánh nhãn là 10 và 5 đồng thời cả hai nút được đặt vào hàng đợi. F được quét và không đánh nhãn nút nào cả. E được quét không đánh nhãn nút nào cả. D được quét và F được đánh nhãn 9 và được đưa vào hàng đợi. F được quét và không đánh dấu nút nào cả. Các nút B, C, D và F được quét hai lần. Đó là cái giá phải trả cho việc không quét các nút theo thứ tự. Mặt khác trong thuật toán này không cần thiết phải tìm kiếm các nút có nhãn nhỏ nhất.
Cũng như trong hai ví dụ 4.4 và 4.5 cho thuật toán Prim và thuật toán Dijkstra, chúng ta có thể trình bày kết quả của các quá trình trong ví dụ này như trong bảng sau
Nút init. A(0) B(5) C(1) E(11) D(6) A 0(-) A 0(-) B 0(-) C 0(-) E 0(-) D 0(-) B B ∞ (-) 5(A) C 5(A) E 4(C) D 4(C) B 4(C) F C ∞ (-) 1(A) 1(A) D 1(A) B 1(A) F 1(A) D ∞ (-) ∞ (-) 6(B) 6(B) 6(B) 6(B) E ∞ (-) ∞ (-) 11(B) 11(B) 11(B) 11(B) F ∞ (-) ∞ (-) ∞ (-) ∞ (-) 13(E) 10(D) B(4) F(10) E(10) D(5) F(9) A 0(-) F 0(-) E 0(-) D 0(-) F 0(-) B 4(C) E 4(C) D 4(C) 4(C) 4(C) C 1(A) D 1(A) 1(A) 1(A) 1(A)
D 5(B) 5(B) 5(B) 5(B) 5(B)
E 10(B) 10(B) 10(B) 10(B) 10(B)F 10(D) 10(D) 10(D) 9(D) 9(D)