Giáo trình toán rời rạc - Chương V: Một số bài toán tối ưu trên đồ thị

CHƯƠNG V
MỘT SỐ BÀI TOÁN TỐI ƯU TRÊN ĐỒ THỊ
5.1. ĐỒ THỊ CÓ TRỌNG SỐ VÀ BÀI TOÁN ĐƯỜNG ĐI NGẮN NHẤT.
5.1.1. Mở đầu:
	Trong đời sống, chúng ta thường gặp những tình huống như sau: để đi từ địa điểm A đến địa điểm B trong thành phố, có nhiều đường đi, nhiều cách đi; có lúc ta chọn đường đi ngắn nhất (theo nghĩa cự ly), có lúc lại cần chọn đường đi nhanh nhất (theo nghĩa thời gian) và có lúc phải cân nhắc để chọn đường đi rẻ tiền nhất (theo nghĩa chi phí), v.v...
	Có thể coi sơ đồ của đường đi từ A đến B trong thành phố là một đồ thị, với đỉnh là các giao lộ (A và B coi như giao lộ), cạnh là đoạn đường nối hai giao lộ. Trên mỗi cạnh của đồ thị này, ta gán một số dương, ứng với chiều dài của đoạn đường, thời gian đi đoạn đường hoặc cước phí vận chuyển trên đoạn đường đó, ...
	Đồ thị có trọng số là đồ thị G=(V,E) mà mỗi cạnh (hoặc cung) eÎE được gán bởi một số thực m(e), gọi là trọng số của cạnh (hoặc cung) e.
	Trong phần này, trọng số của mỗi cạnh được xét là một số dương và còn gọi là chiều dài của cạnh đó. Mỗi đường đi từ đỉnh u đến đỉnh v, có chiều dài là m(u,v), bằng tổng chiều dài các cạnh mà nó đi qua. Khoảng cách d(u,v) giữa hai đỉnh u và v là chiều dài đường đi ngắn nhất (theo nghĩa m(u,v) nhỏ nhất) trong các đường đi từ u đến v.
	Có thể xem một đồ thị G bất kỳ là một đồ thị có trọng số mà mọi cạnh đều có chiều dài 1. Khi đó, khoảng cách d(u,v) giữa hai đỉnh u và v là chiều dài của đường đi từ u đến v ngắn nhất, tức là đường đi qua ít cạnh nhất.
5.1.2. Bài toán tìm đường đi ngắn nhất:
	Cho đơn đồ thị liên thông, có trọng số G=(V,E). Tìm khoảng cách d(u0,v) từ một đỉnh u0 cho trước đến một đỉnh v bất kỳ của G và tìm đường đi ngắn nhất từ u0 đến v.
	Có một số thuật toán tìm đường đi ngắn nhất; ở đây, ta có thuật toán do E. Dijkstra, nhà toán học người Hà Lan, đề xuất năm 1959. Trong phiên bản mà ta sẽ trình bày, người ta giả sử đồ thị là vô hướng, các trọng số là dương. Chỉ cần thay đổi đôi chút là có thể giải được bài toán tìm đường đi ngắn nhất trong đồ thị có hướng.
	Phương pháp của thuật toán Dijkstra là: xác định tuần tự đỉnh có khoảng cách đến u0 từ nhỏ đến lớn.
	Trước tiên, đỉnh có khoảng cách đến a nhỏ nhất chính là a, với d(u0,u0)=0. Trong các đỉnh v ¹ u0, tìm đỉnh có khoảng cách k1 đến u0 là nhỏ nhất. Đỉnh này phải là một trong các đỉnh kề với u0. Giả sử đó là u1. Ta có:
d(u0,u1) = k1.
Trong các đỉnh v ¹ u0 và v ¹ u1, tìm đỉnh có khoảng cách k2 đến u0 là nhỏ nhất. Đỉnh này phải là một trong các đỉnh kề với u0 hoặc với u1. Giả sử đó là u2. Ta có:
d(u0,u2) = k2.
Tiếp tục như trên, cho đến bao giờ tìm được khoảng cách từ u0 đến mọi đỉnh v của G. Nếu V={u0, u1, ..., un} thì:
0 = d(u0,u0) < d(u0,u1) < d(u0,u2) < ... < d(u0,un).
5.1.3. Thuật toán Dijkstra:
procedure Dijkstra (G=(V,E) là đơn đồ thị liên thông, có trọng số với trọng số dương)
{G có các đỉnh a=u0, u1, ..., un=z và trọng số m(ui,uj), với m(ui,uj) = 
¥ nếu (ui,uj) không là một cạnh trong G}
	for i := 1 to n
	L(ui) := ¥
	L(a) := 0
	S := V \ {a}
	u := a
	while S ¹ Æ
	begin
	for tất cả các đỉnh v thuộc S
	if L(u) +m(u,v) < L(v) then L(v) := L(u)+m(u,v)
	u := đỉnh thuộc S có nhãn L(u) nhỏ nhất 
 {L(u): độ dài đường đi ngắn nhất từ a đến u}
	S := S \ {u}
	end
4
a
Thí dụ 1: Tìm khoảng cách d(a,v) từ a đến mọi đỉnh v và tìm đường đi ngắn nhất từ a đến v cho trong đồ thị G sau.
6
d
c
b
2
1
1
2
2
4
2
3
2
3
h
g
e
3
1
5
33
n
3
5
k
m
6
L(a)
L(b)
L(c)
L(d)
L(e)
L(g)
L(h)
L(k)
L(m)
L(n)
3
¥
-
¥
¥
¥
¥
¥
¥
¥
¥
¥
0
3
¥
¥
¥
¥
¥
1
2
3
¥
5
-
¥
¥
¥
2
2
5
-
-
-
¥
¥
¥
2
3
-
-
¥
¥
¥
3
6
4
-
-
-
-
¥
¥
4
6
6
-
-
-
-
-
¥
6
6
10
-
-
-
-
-
8
8
6
9
-
-
-
-
-
-
-
-
7
-
-
-
-
-
-
-
8
-
-
-
-
-
-
-
-
-
5.1.4. Định lý: Thuật toán Dijkstra tìm được đường đi ngắn nhất từ một đỉnh cho trước đến một đỉnh tuỳ ý trong đơn đồ thị vô hướng liên thông có trọng số.
Chứng minh: Định lý được chứng minh bằng quy nạp. Tại bước k ta có giả thiết quy nạp là:
(i) Nhãn của đỉnh v không thuộc S là độ dài của đường đi ngắn nhất từ đỉnh a tới đỉnh này;
(ii) Nhãn của đỉnh v trong S là độ dài của đường đi ngắn nhất từ đỉnh a tới đỉnh này và đường đi này chỉ chứa các đỉnh (ngoài chính đỉnh này) không thuộc S.
	Khi k=0, tức là khi chưa có bước lặp nào được thực hiện, S=V \ {a}, vì thế độ dài của đường đi ngắn nhất từ a tới các đỉnh khác a là ¥ và độ dài của đường đi ngắn nhất từ a tới chính nó bằng 0 (ở đây, chúng ta cho phép đường đi không có cạnh). Do đó bước cơ sở là đúng.
	Giả sử giả thiết quy nạp là đúng với bước k. Gọi v là đỉnh lấy ra khỏi S ở bước lặp k+1, vì vậy v là đỉnh thuộc S ở cuối bước k có nhãn nhỏ nhất (nếu có nhiều đỉnh có nhãn nhỏ nhất thì có thể chọn một đỉnh nào đó làm v). Từ giả thiết quy nạp ta thấy rằng trước khi vào vòng lặp thứ k+1, các đỉnh không thuộc S đã được gán nhãn bằng độ dài của đường đi ngắn nhất từ a. Đỉnh v cũng vậy phải được gán nhãn bằng độ dài của đường đi ngắn nhất từ a. Nếu điều này không xảy ra thì ở cuối bước lặp thứ k sẽ có đường đi với độ dài nhỏ hơn Lk(v) chứa cả đỉnh thuộc S (vì Lk(v) là độ dài của đường đi ngắn nhất từ a tới v chứa chỉ các đỉnh không thuộc S sau bước lặp thứ k). Gọi u là đỉnh đầu tiên của đường đi này thuộc S. Đó là đường đi với độ dài nhỏ hơn Lk(v) từ a tới u chứa chỉ các đỉnh không thuộc S. Điều này trái với cách chọn v. Do đó (i) vẫn còn đúng ở cuối bước lặp k+1.
	Gọi u là đỉnh thuộc S sau bước k+1. Đường đi ngắn nhất từ a tới u chứa chỉ các đỉnh không thuộc S sẽ hoặc là chứa v hoặc là không. Nếu nó không chứa v thì theo giả thiết quy nạp độ dài của nó là Lk(v). Nếu nó chứa v thì nó sẽ tạo thành đường đi từ a tới v với độ dài có thể ngắn nhất và chứa chỉ các đỉnh không thuộc S khác v, kết thúc bằng cạnh từ v tới u. Khi đó độ dài của nó sẽ là Lk(v)+m(v,u). Điều đó chứng tỏ (ii) là đúng vì Lk+1(u)=min(Lk(u), Lk(v)+m(v,u)).
5.1.5. Mệnh đề: Thuật toán Dijkstra tìm đường đi ngắn nhất từ một đỉnh cho trước đến một đỉnh tuỳ ý trong đơn đồ thị vô hướng liên thông có trọng số có độ phức tạp là O(n2).
Chứng minh: Thuật toán dùng không quá n-1 bước lặp. Trong mỗi bước lặp, dùng không hơn 2(n-1) phép cộng và phép so sánh để sửa đổi nhãn của các đỉnh. Ngoài ra, một đỉnh thuộc Sk có nhãn nhỏ nhất nhờ không quá n-1 phép so sánh. Do đó thuật toán có độ phức tạp O(n2).
5.1.6. Thuật toán Floyd:
	Cho G=(V,E) là một đồ thị có hướng, có trọng số. Để tìm đường đi ngắn nhất giữa mọi cặp đỉnh của G, ta có thể áp dụng thuật toán Dijkstra nhiều lần hoặc áp dụng thuật toán Floyd được trình bày dưới đây.
	Giả sử V={v1, v2, ..., vn} và có ma trận trọng số là W º W0. Thuật toán Floyd xây dựng dãy các ma trận vuông cấp n là Wk (0 £ k £ n) như sau:
procedure Xác định Wn 
	for i := 1 to n
	for j := 1 to n
	W[i,j] := m(vi,vj) {W[i,j] là phần tử dòng i cột j của ma trận W0}
	for k := 1 to n
	if W[i,k] +W[k,j] < W[i,j] then W[i,j] := W[i,k] +W[k,j]
	{W[i,j] là phần tử dòng i cột j của ma trận Wk}
5.1.7. Định lý: Thuật toán Floyd cho ta ma trận W*=Wn là ma trận khoảng cách nhỏ nhất của đồ thị G.
Chứng minh: Ta chứng minh bằng quy nạp theo k mệnh đề sau:
	Wk[i,j] là chiều dài đường đi ngắn nhất trong những đường đi nối đỉnh vi với đỉnh vj đi qua các đỉnh trung gian trong {v1, v2, ..., vk}.
	Trước hết mệnh đề hiển nhiên đúng với k=0.
Giả sử mệnh đề đúng với k-1.
	Xét Wk[i,j]. Có hai trường hợp:
1) Trong các đường đi chiều dài ngắn nhất nối vi với vj và đi qua các đỉnh trung gian trong {v1, v2, ..., vk}, có một đường đi g sao cho vk Ï g. Khi đó g cũng là đường đi ngắn nhất nối vi với vj đi qua các đỉnh trung gian trong {v1, v2, ..., vk-1}, nên theo giả thiết quy nạp,
Wk-1[i,j] = chiều dài g £ Wk-1[i,k]+Wk-1[k,j].
Do đó theo định nghĩa của Wk thì Wk[i,j]=Wk-1[i,j].
2) Mọi đường đi chiều dài ngắn nhất nối vi với vj và đi qua các đỉnh trung gian trong {v1, v2, ..., vk}, đều chứa vk. Gọi g = vi ... vk ... vj là một đường đi ngắn nhất như thế thì v1 ... vk và vk ... vj cũng là những đường đi ngắn nhất đi qua các đỉnh trung gian trong {v1, v2, ..., vk-1} và
Wk-1[i,k]+Wk-1[k,j] = chiều dài(v1 ... vk) + chiều dài(vk ... vj)
 = chiều dài g < Wk-1[i,j].
Do đó theo định nghĩa của Wk thì ta có:
Wk[i,j] = Wk-1[i,k]+Wk-1[k,j] .
4
Thí dụ 2: Xét đồ thị G sau:
7
v1
v3
1
2
v6
v2
3
1
2
2
4
v4
v5
	Áp dụng thuật toán Floyd, ta tìm được (các ô trống là ¥)
W = W0 = 
W1 = , W2 = 
W3 = , W4 = 
W5 = , W* = W6 = .
	Thuật toán Floyd có thể áp dụng cho đồ thị vô hướng cũng như đồ thị có hướng. Ta chỉ cần thay mỗi cạnh vô hướng (u,v) bằng một cặp cạnh có hướng (u,v) và (v,u) với m(u,v)=m(v,u). Tuy nhiên, trong trường hợp này, các phần tử trên đường chéo của ma trận W cần đặt bằng 0.
	Đồ thị có hướng G là liên thông mạnh khi và chỉ khi mọi phần tử nằm trên đường chéo trong ma trận trọng số ngắn nhất W* đều hữu hạn.
5.2. BÀI TOÁN LUỒNG CỰC ĐẠI.
5.2.1. Luồng vận tải:
5.2.1.1. Định nghĩa: Mạng vận tải là một đồ thị có hướng, không có khuyên và có trọng số G=(V,E) với V={v0, v1, ..., vn} thoả mãn:
1) Mỗi cung e Î E có trọng số m(e) là một số nguyên không âm và được gọi là khả năng thông qua của cung e.
2) Có một và chỉ một đỉnh v0 không có cung đi vào, tức là degt(v0)=0. Đỉnh v0 được gọi là lối vào hay đỉnh phát của mạng.
3) Có một và chỉ một đỉnh vn không có cung đi ra, tức là dego(vn)=0. Đỉnh vn được gọi là lối ra hay đỉnh thu của mạng.
5.2.1.2. Định nghĩa: Để định lượng khai thác, tức là xác định lượng vật chất chuyển qua mạng vận tải G=(V,E), người ta đưa ra khái niệm luồng vận tải và nó được định nghĩa như sau.
	Hàm j xác định trên tập cung E và nhận giá trị nguyên được gọi là luồng vận tải của mạng vận tải G nếu j thoả mãn:
1) j(e) ³ 0, "e Î E.
2) =, "v ÎV, v¹v0, v¹vn. Ở đây, (v)={eÎE | e có đỉnh cuối là v}, (v)={eÎE | e có đỉnh đầu là v}.
3) j(e) £ m(e), "e Î E.
	Ta xem j(e) như là lượng hàng chuyển trên cung e=(u,v) từ đỉnh u đến đỉnh v và không vượt quá khả năng thông qua của cung này. Ngoài ra, từ điều kiện 2) ta thấy rằng nếu v không phải là lối vào v0 hay lối ra vn, thì lượng hàng chuyển tới v bằng lượng hàng chuyển khỏi v.
	Từ quan hệ 2) suy ra:
4) ==:.
	Đại lượng (ta còn ký hiệu là ) được gọi là luồng qua mạng, hay cường độ luồng tại điểm vn hay giá trị của luồng j. Bài toán đặt ra ở đây là tìm j để đạt giá trị lớn nhất, tức là tìm giá trị lớn nhất của luồng.
5.2.1.3. Định nghĩa: Cho mạng vận tải G=(V,E) và A Ì V. Ký hiệu
(A)={(u,v)ÎE | vÎA, uÏA}, (A)={(u,v)ÎE | uÎA, vÏA}.
	Đối với tập cung M tuỳ ý, đại lượng j(M)= được gọi là luồng của tập cung M.
	Từ điều kiện 2) dễ dàng suy ra hệ quả sau.
5.2.1.4. Hệ quả: Cho j là luồng của mạng vận tải G=(V,E) và A Ì V \{v0,vn}. Khi đó:
j((A))=j((A)).
5.2.2. Bài toán luồng cực đại:
	Cho mạng vận tải G=(V,E). Hãy tìm luồng j để đạt max trên mạng G.
	Nguyên lý của các thuật toán giải bài toán tìm luồng cực đại là như sau.
5.2.2.1. Định nghĩa: Cho A Ì V là tập con tuỳ ý không chứa lối vào v0 và chứa lối ra vn. Tập (A) được gọi là một thiết diện của mạng vận tải G.
	Đại lượng m((A))= được gọi là khả năng thông qua của thiết diện (A).
	Từ định nghĩa thiết ... eo một tiêu chuẩn nào đó (thí dụ làm cho hàm mục tiêu đạt giá trị nhỏ nhất). Ta sẽ tìm cách phân chia tập phương án đang xét thành hai tập con không giao nhau. Với mỗi tập này, ta sẽ tính “cận dưới” (chặn dưới đủ tốt) của các giá trị hàm mục tiêu ứng với các phương án trong đó. Mang so sánh hai cận dưới vừa tính được, ta có thể phán đoán xem tập con nào có nhiều triển vọng chứa phương án tối ưu và tiếp tục phân chia tập con đó thành hai tập con khác không giao nhau, lại tính các cận dưới tương ứng ... Lặp lại quá trình này thì sau một số hữu hạn bước, cuối cùng sẽ được một phương án tốt, nói chung là tối ưu. Nếu không thì lặp lại quá trình phân chia để kiểm tra và sau một vài bước, ta sẽ được phương án tối ưu.
Người ta thường mô tả quá trình phân chia đó bằng một “cây có gốc” mà gốc sẽ tượng trưng cho tập toàn bộ các phương án, còn các đỉnh ở phía dưới lần lượt tượng trưng cho các tập con trong quá trình “phân nhánh nhị phân”. Vì vậy, phương pháp này mang tên nhánh và cận.
5.3.3. Cơ sở lý luận của phép toán: Nếu không xác định thành phố xuất phát thì có n! hành trình, mỗi hành trình ứng với một hoán vị nào đó của tập {1, 2, ..., n}. Còn nếu cho trước thành phố xuất phát thì có tất cả là (n-1)! hành trình.
	Giả sử h=(p(1), p(2), ..., p(n), p(1)) (p là một hoán vị) là một hành trình qua các thành phố p(1), ..., p(n) theo thứ tự đó rồi quay về p(1) thì hàm mục tiêu
f(h) =,
sẽ biểu thị tổng độ dài đã đi theo hành trình h, trong đó (i,j) ký hiệu một chặng đường của hành trình, tức là một cặp thành phố kề nhau theo hành trình h.
5.3.4. Ma trận rút gọn: Quá trình tính toán sẽ được thực hiện trên các ma trận suy từ ma trận trọng số M=(mij) ban đầu bằng những phép biến đổi rút gọn để các số liệu được đơn giản.
	Phép trừ phần tử nhỏ nhất của mỗi dòng (t.ư. cột) vào tất cả các phần tử của dòng (t.ư. cột) đó được gọi là phép rút gọn dòng (t.ư. cột). Phần tử nhỏ nhất đó được gọi là hằng số rút gọn dòng (t.ư. cột) đang xét. Ma trận với các phần tử không âm và có ít nhất một phần tử bằng 0 trên mỗi dòng và mỗi cột được gọi là ma trận rút gọn của ma trận ban đầu.
3
Thí dụ 4: 
0
0
1
5
2
M = M’ = ,
tất nhiên có thể rút gọn cách khác
4
2
5
0
0
0
M = M’’ = .
5.3.5. Mệnh đề: Phương án tối ưu xét trên ma trận trọng số ban đầu cũng là phương án tối ưu của bài toán xét trên ma trận rút gọn và đảo lại.
Chứng minh: Có thể xem việc đi tìm chu trình Hamilton của người du lịch như là một bài toán vận tải đặc biệt dưới dạng bảng. Như vậy thì trong bảng (ma trận trọng số hoặc ma trận rút gọn) ta phải có đúng n ô chọn, mỗi ô chọn tượng trưng cho một cặp thành phố trên hành trình cần tìm, trên mỗi dòng và mỗi cột có đúng một ô chọn. Mỗi hành trình h sẽ tương ứng một-một với một tập n ô chọn xác định. f(h) chính là tổng các trọng số ban đầu ghi trong n ô chọn đang xét.
	Với mỗi hành trình h bất kỳ, nếu ký hiệu f¢(h)=là giá trị của hàm mục tiêu ứng với ma trận rút gọn M’ và s là tổng các hằng số rút gọn thì ta có:
f(h) = f¢(h)+s.
	Gọi X là tập toàn bộ các phương án đang xét ở một giai đoạn nào đó, h0 là phương án tối ưu của bài toán xét trên ma trận trọng số ban đầu M, ta có:
f(h0) £ f(h), "hÎX
hay f(h0)-s £ f(h)-s, "hÎX hay f¢(h0) £ f¢(h), "hÎX hay h0 là phương án tối ưu của bài toán xét trên ma trận rút gọn M’.
5.3.6. Phân nhánh: Sự phân hoạch tập hợp tất cả các hành trình ở một giai đoạn nào đó thành hai tập con rời nhau được biểu diễn bằng sự phân nhánh của một cây. Trên cây, mỗi đỉnh được biểu diễn thành một vòng tròn và sẽ tượng trưng cho môt tập hành trình nào đó. Đỉnh X đầu tiên là tập toàn bộ các hành trình. Đỉnh (i,j) biểu diễn tập các hành trình có chứa cặp (i,j) kề nhau. Đỉnh biểu diễn tập các hành trình không chứa cặp (i,j) kề nhau. Tại đỉnh (i,j) lại có sự phân nhánh: đỉnh (k,l) biểu diễn tập các hành trình có chứa cặp (i,j) và cặp (k,l), đỉnh biểu diễn tập các hành trình có chứa cặp (i,j) nhưng không chứa cặp (k,l) ...
	Nếu quá trình diễn ra đủ lớn thì cuối cùng sẽ có những đỉnh chỉ biểu diễn một hành trình duy nhất.
	Vấn đề đặt ra là nên chọn cặp thành phố nào để tiến hành phân nhánh xuất phát từ một đỉnh cho trước trên cây? Một cách tự nhiên ta nên chọn cặp thành phố nào gần nhau nhất để phân nhánh trước, trên ma trận rút gọn thì những cặp thành phố (i,j) như vậy đều có =0 và những hành trình nào chứa cặp (i,j) đều có triển vọng là tốt.
	Trên ma trận rút gọn thường có nhiều cặp thành phố thoả mãn điều kiện đó (=0). Để quyết định ta phải tìm cách so sánh. Vì thành phố i nhất thiết phải nối liền với một thành phố nào đó nên các hành trình h không chứa (i,j) tức là hÎ phải ứng với những độ dài hành trình ít ra có chứa phần tử nhỏ nhất trong dòng i không kể =0 và phần tử nhỏ nhất trong cột j không kể =0 vì thành phố j nhất thiết phải nối liền với một thành phố nào đó ở trước nó trên hành trình. Ký hiệu tổng của hai phần tử nhỏ nhất đó là qij thì ta có f¢(h) ³ qij, "hÎ.
	Vì lý do trên, số qij có thể dùng làm tiêu chuẩn so sánh giữa các cặp thành phố (i,j) cùng có =0. Một cách tổng quát, ở mỗi giai đoạn ta sẽ chọn cặp thành phố (i,j) có =0 trong ma trận rút gọn và có qij lớn nhất để tiến hành phân nhánh từ một đỉnh trên cây.
5.3.7. Tính cận: Với mỗi đỉnh của cây phân nhánh, ta phải tính cận dưới của các giá trị hàm mục tiêu ứng với tập phương án mà đỉnh đó biểu diễn. Cận dưới tính được sẽ ghi bên dưới đỉnh đang xét.
	Theo công thức f(h)=f¢(h)+s và do f¢(h) ³ 0 nên f(h) ³ s, "hÎX. Vì vậy tổng các hằng số rút gọn của ma trận ban đầu có thể lấy làm cận dưới của đỉnh X đầu tiên trên cây. Mặt khác, ta lại có f¢(h) ³ qij, "hÎ, do đó f(h)=f¢(h)+s ³ qij+s, "hÎ. Vì vậy tổng qij+s có thể lấy làm cận dưới cho đỉnh . Sau khi chọn (i,j) để phân nhánh xuất phát từ đỉnh X thì trên bảng có thể xoá dòng i và cột j vì trên đó ô chọn (i,j) là duy nhất. Sau khi bỏ dòng i và cột j thì ma trận M’ lại có thể rút gọn thành ma trận M’’ với s’ là tổng các hằng số rút gọn, f²(h) là giá trị của hàm mục tiêu xét trên M’’. Khi đó ta có f¢(h)=f²(h)+s’, "hÎ(i,j), do đó f(h)=f¢(h)+s=f²(h)+s+s’, "hÎ(i,j). Do f²(h) ³ 0 nên f(h) ³ s+s’, "hÎ(i,j), nghĩa là tổng s+s’ có thể lấy làm cận dưới cho đỉnh (i,j) trong cây phân nhánh.
	Nếu tiếp tục phân nhánh thì cận dưới của các đỉnh tiếp sau được tính toán tương tự, vì đây là một quá trình lặp. Ta chỉ cần xem đỉnh xuất phát của các nhánh giống như đỉnh X ban đầu.. Để tiết kiệm khối lượng tính toán, người ta thường chọn đỉnh có cận dưới nhỏ nhất để phân nhánh tiếp tục.
5.3.8. Thủ tục ngăn chặn hành trình con: Một đường đi hoặc chu trình Hamilton không thể chứa chu trình con với số cạnh tạo thành nhỏ hơn n. Vì vậy ta sẽ đặt mii=¥ (i=1, ..., n) để tránh các khuyên.
	Với i¹j và nếu (i,j) là ô chọn thì phải đặt ngay m’ji=¥ trong ma trận rút gọn.
	Nếu đã chọn (i,j) và (j,k) và n>3 thì phải đặt ngay m’ji=m’kj=m’ki=¥.
Chú ý rằng việc đặt m’ij=¥ tương đương với việc xoá ô (i,j) trong bảng hoặc xem (i,j) là ô cấm, nghĩa là hai thành phố i và j không được kề nhau trong hành trình định kiến thiết. Ở mỗi giai đoạn của quá trình đều phải tiến hành thủ tục ngăn chặn này trước khi tiếp tục rút gọn ma trận.
5.3.9. Tính chất tối ưu: Quá trình phân nhánh, tính cận, ngăn chặn hành trình con, rút gọn ma trận phải thực hiện cho đến khi nào có đủ n ô chọn để kiến thiết một hành trình Hamilton, nói cách khác là cho đến khi trên cây phân nhánh đã xuất hiện một đỉnh chỉ biểu diễn một hành trình duy nhất và đã xoá hết được mọi dòng mọi cột trong bảng. Cận dưới của đỉnh cuối cùng này chính là độ dài của hành trình vừa kiến thiết.
a) Nếu cận dưới của đỉnh này không lớn hơn các cận dưới của mọi đỉnh treo trên cây phân nhánh thì hành trình đó là tối ưu.
b) Nếu trái lại thì phải xuất phát từ đỉnh treo nào có cận dưới nhỏ hơn để phân nhánh tiếp tục và kiểm tra xem điều kiện a) có thoả mãn không.
16
Thí dụ 5: Xét bài toán với 6 thành phố, các số liệu cho theo bảng sau:
0
0
0
0
0
5
5
5
16
0
1
M = 
	Tổng các hằng số rút gọn bước đầu là s=48. Trong ma trận rút gọn ta có:
m’14=m’24=m’36=m’41=m’42=m’56=m’62=m’63=m’65=0
và q14=10, q24=1, q36=5, q41=1, q42=0, q56=2, q62=0, q63=9, q65=2. Sau khi so sánh ta thấy q14=10 là lớn nhất nên ta chọn ô (1,4) để phân nhánh. Cận dưới của đỉnh là s+q14=58. Xoá dòng 1 cột 4 rồi đặt m’41=¥.
6
1
2
3
4
1
5
4
6
5
3
2
M’ = .
2
6
6
5
5
3
3
2
2
1
1
6
6
5
5
4
4
3
3
2
M’’ = .
Tổng hằng số rút gọn là s’=1. Vậy cận dưới của đỉnh (1,4) là s+s’=49. Vì 49<58 nên tiếp tục phân nhánh tại đỉnh (1,4). Trong ma trận còn lại, sau khi rút gọn ta có
m”21=m”36=m”42=m”56=m”62=m”63=m”65=0.
6
5
3
2
6
5
3
2
3
3
Ở giai đoạn này, sau khi tính toán ta thấy q21=14 là lớn nhất nên chọn tiếp ô (2,1). Cận dưới của đỉnh là 49+q21=63. Xoá dòng 2 cột 1. Đặt m”42=¥. Rút gọn ma trận còn lại, ta có:
6
5
6
5
4
4
M’’’= .
Tổng hằng số rút gọn là 2. Cận dưới của đỉnh (2,1) là 49+2=51.
	Tiếp tục như vậy cuối cùng ta được 6 ô chọn là:
(1,4), (2,1), (5,6), (3,5), (4,3), (6,2)
và kiến thiết hành trình h0=(1 4 3 5 6 2 1) với f(h0)=63 là cận dưới của đỉnh cuối cùng. cận dưới của đỉnh cuối cùng là 63, trong khi đó đỉnh treo có cận dưới là 58<63 nên phải tiếp tục phân nhánh từ đó để kiểm tra. Sau sự phân nhánh này thì mọi đỉnh treo đều có cận dưới không nhỏ hơn 63 nên có thể khẳng định rằng hành trình h0=(1 4 3 5 6 2 1) là tối ưu.
	Sự phân nhánh từ đỉnh được làm như sau: trong ma trận rút gọn đợt 1, ta đặt m’14=¥ vì xem ô (1,4) là ô cấm, q63=9 là lớn nhất trong các qij, do đó chọn ô (6,3) để phân nhánh. Cận dưới của đỉnh là 58+9=67. Đặt m’36=¥. Rút gọn ma trận với tổng hằng số rút gọn là 15. Cận dưới của đỉnh (6,3) là 58+15=73.
X
X
63
64
56
73
51
49
65
63
67
58
48
X
X
X
X
63
BÀI TẬP CHƯƠNG V:
1. Dùng thuật toán Dijkstra tìm đường đi ngắn nhất từ đỉnh a đến các đỉnh khác trong đồ thị sau:
3
k
d
12
7
2
1
2
2
4
4
b
e
5
4
g
a
h
3
7
5
1
11
c
b
4
h
f
g
d
c
2. Dùng thuật toán Dijkstra tìm đường đi ngắn nhất từ đỉnh a đến các đỉnh khác trong đồ thị sau:
5
2
10
4
1
k
i
2
1
3
6
10
e
8
5
4
3
a
5
3
2
8
6
3
7
3. Cho đồ thị có trọng số như hình dưới đây. Hãy tìm đường đi ngắn nhất từ đỉnh A đến đỉnh N.
4
2
2
2
9
2
8
3
M
H
L
G
K
J
F
A
3
6
2
5
B
C
D
E
1
4
2
2
3
I
3
2
5
3
4
3
2
4
7
5
A
N
G
F
D
C
4. Tìm đường đi ngắn nhất từ B đến các đỉnh khác của đồ thị có ma trận trọng số là (các ô trống là ¥):
A
E
B
G
F
E
D
C
B
5. Tìm W* bằng cách áp dụng thuật toán Floyd vào đồ thị sau:
8
C
B
6
2
3
8
13
5
20
F
3
E
D
A
v1
4
1
6. Giải bài toán mạng vận tải sau bằng thuật toán Ford-Fulkerson với luồng vận tải khởi đầu bằng 0.
4
4
2
v2
v5
8
2
4
2
v7
v0
v4
8
3
4
4
6
6
v3
v6
6
6
7. Giải bài toán mạng vận tải sau bằng thuật toán Ford-Fulkerson với luồng vận tải khởi đầu được cho kèm theo.
v1
6
0
2
8
15
10
8
10
v0
16
8
20
10
8
v7
25
3
16
0
6
10
28
v6
v5
v4
v2
v3
3
6
4
10
0
2
15
5
0
0
7
0
0
8
6
7
2
2
2
v10
30
1
15
4
2
v11
v8
2
12
v9
0
20
8. Hãy giải bài toán người du lịch với 6 thành phố, có số liệu cho trong ma trận trọng số sau:
.