Bài giảng Lý thuyết về đồ thị - Bài 5: Cây khung của đồ thị

Bài 5 
Cây khung của đồ thị 
Bài toán mở đầu 
Hệ thống đường giao thông ở Maine như hình bên. 
Tuyết đang phủ toàn bộ các con đường. 
Cần khôi phục lại hệ thống bằng cách cào tuyết một số con đường. 
Không nhất thiết phải cào tuyết hết mọi con đường. 
2 
Cây khung 
Định nghĩa: Cho G là đơn đồ thị. Một cây T được gọi là cây khung của G nếu và chỉ nếu: 
T là đồ thị con của G 
T chứa tất cả các đỉnh của G 
VD: 
Đồ thị và các cây khung của nó 
3 
Cây khung (tt) 
Định lý: Một đơn đồ thị liên thông nếu và chỉ nếu nó có cây khung. 
Chứng minh: 
Nếu G có chứa cây khung thì do tính chất của cây khung là liên thông và cây khung chứa tất cả các đỉnh của G. Suy ra các đỉnh của G luôn được nối với nhau hay G liên thông. 
Xét G liên thông. Giả sử trong G còn tồn tại chu trình, xóa bớt một cạnh trong chu trình này, khi đó đồ thị vẫn còn liên thông. Nếu vẫn còn chu trình thì lặp lại bước trên. Cứ thế cho đến khi không còn chu trình nữa. Khi đó ta sẽ được cây khung 
4 
Đồ thị có trọng số 
Đồ thị có trọng số: là đồ thị mà mỗi cạnh của nó được gán với một con số thực chỉ chi phí phải tốn khi đi qua cạnh đó. 
Ký hiệu: c(u,v) là trọng số của cạnh (u,v) 
Trọng số có thể âm, có thể dương tùy theo ứng dụng. 
VD: 
5 
1 
2 
3 
4 
5 
6 
5 
7 
2 
- 3 
8 
1 
6 
Đồ thị có trọng số (tt) 
Đồ thị có trọng số có thể được biểu diễn bằng ma trận kề trọng số. 
Cụ thể, Cho đồ thị G = , với V = {v 1 , v 2 , , v n }. Ma trận kề trọng số biểu diễn G là một ma trận vuông A, kích thước nxn, được xác định như sau: 
6 
Đồ thị có trọng số (tt) 
VD: 
7 
1 
2 
3 
4 
5 
6 
5 
7 
2 
- 3 
8 
1 
6 
Bài toán cây khung nhỏ nhất 
Tìm các con đường để cào tuyết sao cho chi phí là nhỏ nhất 
8 
15 
5 
10 
3 
8 
20 
15 
10 
9 
15 
5 
20 
10 
9 
15 
10 
20 
15 
10 
59 
70 
Bài toán cây khung nhỏ nhất (tt) 
Định nghĩa. Cho đồ thị có trọng số G. Cây khung nhỏ nhất của G (nếu tồn tại) là cây khung có tổng trọng số nhỏ nhất trong số các cây khung của G. 
Các thuật toán tìm cây khung nhỏ nhất: 
Thuật toán Prim 
Thuật toán Kruskal 
9 
Thuật toán Prim 
Ý tưởng: 
Xuất phát từ 1 đỉnh bất kỳ. Đưa đỉnh này vào cây khung T. 
Tại mỗi bước, luôn chọn cạnh có trọng số nhỏ nhất trong số các cạnh liên thuộc với một đỉnh trong T (đỉnh còn lại nằm ngoài T) 
Đưa cạnh mới chọn và đỉnh đầu của nó vào cây T 
Lặp lại quá trình trên cho đến khi đưa đủ n-1 cạnh vào T 
10 
Thuật toán Prim (tt) 
11 
15 
5 
10 
3 
8 
20 
15 
10 
9 
E 
O 
R 
B 
A 
H 
3 
8 
5 
9 
10 
H 
E 
O 
R 
B 
A 
Thuật toán Prim (tt) 
Để biểu diễn lời giải, ta sẽ sử dụng 2 mảng: 
Mảng d: d[v] dùng để lưu độ dài cạnh ngắn nhất nối với v trong số các cạnh chưa xét. 
Mảng near: near[v] dùng để lưu đỉnh còn lại của cạnh ngắn nhất nói ở trên. 
12 
E 
O 
R 
B 
A 
H 
3 
8 
5 
9 
10 
v 
d[v] 
near[v] 
E 
0 
0 
B 
3 
E 
A 
8 
B 
H 
5 
A 
R 
9 
B 
O 
10 
R 
Thuật toán Prim (tt) 
(* Khởi tạo *) 
Chọn s là một đỉnh nào đó của đồ thị 
V H := {s};	 (* Tập những đỉnh đã đưa vào cây *) 
T :=  ;	(* Tập cạnh của cây *) 
d[s] = 0;	near[s] = s; 
For v V\V H do 
	Begin 
	 d[v] := a[s,v]; 
	near[v] := s; 
	End; 
13 
(* Bước lặp *) 
Stop := False; 
While (not Stop) do 
 Begin 
 Tìm u V\V H thỏa mãn d[u] = min{d[v]: v V\V H }; 
 V H := V H  {u}; 
 T := T  { (u, near[u]) }; 
 If |V H | = n then 
 Begin 
	 H := (V H , T) là cây khung của đồ thị. 
	 Stop := True; 
 End; 
 Else 
 For v V\V H do 
	 If d[v] > a[u,v] then 
	 Begin 
	 d[v] := c[u,v]; 
	 near[v] := u; 
	 End; 
 End; 
Thuật toán Prim (tt) 
Bước lặp 
Đỉnh 1 
Đỉnh 2 
Đỉnh 3 
Đỉnh 4 
Đỉnh 5 
Đỉnh 6 
V H 
T 
Khởi tạo 
[0,1] 
[33,1] 
[17,1]* 
[ ,1] 
[ ,1] 
[ ,1] 
1 
 
1 
- 
[18,3] 
- 
[16,3] 
[4,3]* 
[ ,1] 
1,3 
(3,1) 
2 
- 
[18,3] 
- 
[9.5]* 
- 
[14,5] 
1,3,5 
(3,1),(5,3) 
3 
- 
[18,3] 
- 
- 
- 
[8,4]* 
1,3,5,4 
(3,1),(5,3),(4.5) 
4 
- 
[18,3]* 
- 
- 
- 
- 
1,2,3,4,6 
(3,1),(5,3),(4.5) 
(6,4) 
5 
- 
- 
- 
- 
- 
- 
1,2,3,4,6,2 
(3,1),(5,3),(4.5) 
(6,4),(2,3) 
14 
20 
4 
9 
8 
14 
16 
18 
33 
17 
1 
2 
3 
4 
5 
6 
4 
9 
8 
18 
17 
1 
2 
3 
4 
5 
6 
Thuật toán Kruskal 
Ý tưởng: 
Lần lượt xét các cạnh theo thứ tự trọng số tăng dần 
Ứng với mỗi cạnh đang xét, ta thử đưa nó vào cây khung T: 
Nếu không tạo thành chu trình với các cạnh đã chọn thì chấp nhận cạnh mới này và đưa vào cây. 
Nếu tạo thành chu trình với các cạnh đã chọn thì bỏ qua và xét cạnh kế tiếp. 
Cứ tiếp tục như vậy cho đến khi tìm đủ n-1 cạnh để đưa vào cây T 
15 
Thuật toán Kruskal (tt) 
16 
E 
O 
R 
B 
A 
H 
3 
8 
5 
9 
10 
H 
E 
O 
R 
B 
A 
15 
5 
10 
3 
8 
20 
15 
10 
9 
Thuật toán Kruskal (tt) 
Trọng số 
Cạnh 
4 
(3,5) 
8 
(4,6) 
9 
(4,5) 
14 
(5,6) 
16 
(3,4) 
17 
(1,3) 
18 
(2,3) 
20 
(2,4) 
33 
(1,2) 
17 
20 
4 
9 
8 
14 
16 
18 
33 
17 
1 
3 
5 
6 
4 
9 
8 
18 
17 
1 
3 
5 
6 
2 
4 
2 
4 
Chọn 
Chọn 
Chọn 
Chọn 
Chọn. Dừng vì đã đủ cạnh. 
Không chọn vì tạo chu trình: 4 5 6 4 
Không chọn vì tạo chu trình: 3 4 5 3