Bài giảng Lý thuyết về đồ thị - Bài 3: Đường đi, chu trình Hamilton

Bài 3 
Đường đi, chu trình Hamilton 
3.1. Đồ thị Hamilton 
Giới thiệu 
Năm 1857, nhà toán học người Ailen là Hamilton(1805-1865) đưa ra trò chơi “đi vòng quanh thế giới” như sau. 
Cho một hình thập nhị diện đều (đa diện đều có 12 mặt, 20 đỉnh và 30 cạnh), mỗi đỉnh của hình mang tên một thành phố nổi tiếng, mỗi cạnh của hình (nối hai đỉnh) là đường đi lại giữa hai thành phố tương ứng. Xuất phát từ một thành phố, hãy tìm đường đi thăm tất cả các thành phố khác, mỗi thành phố chỉ một lần, rồi trở về chỗ cũ. 
3 
Giới thiệu (tt) 
Trước Hamilton, có thể là từ thời Euler, người ta đã biết đến một câu đố hóc búa về “đường đi của con mã trên bàn cờ”. Trên bàn cờ, con mã chỉ có thể đi theo đường chéo của hình chữ nhật 2 x 3 hoặc 3 x 2 ô vuông. Giả sử bàn cờ có 8 x 8 ô vuông. 
Hãy tìm đường đi của con mã qua được tất cả các ô của bàn cờ, mỗi ô chỉ một lần rồi trở lại ô xuất phát. 
 K hảo sát một lớp đồ thị đặc biệt : đồ thị Hamilton. 
4 
Đường đi, chu trình Hamilton 
Xét đồ thị G = . 
Một đường đi trên đồ thị được gọi là đường đi Hamilton nếu nó đi qua tất cả các đỉnh, mỗi đỉnh một lần. 
Một chu trình trên đồ thị được gọi là chu trình Hamilton nếu nó đi qua tất cả các đỉnh, mỗi đỉnh một lần. 
VD: Đồ thị sau có các đường đi và chu trình Hamilton là: 
d1: 1 2 3 4 5 
d2: 1 5 2 4 3 
C1: 1 2 3 4 5 1 
C2: 2 5 1 4 3 2 
5 
1 
2 
3 
4 
5 
Đồ thị Hamilton 
Xét đồ thị G = . 
Đồ thị G được gọi là đồ thị Hamilton nếu và chỉ nếu tồn tại một chu trình Hamilton trong G. 
Đồ thị G được gọi là đồ thị nửa Hamilton nếu và chỉ nếu tồn tại một đường đi Hamilton trong G. 
6 
1 
2 
3 
4 
5 
1 
2 
3 
4 
6 
5 
Đồ thị nửa Hamilton 
Đồ thị Hamilton (hiển nhiên cũng là đồ thị nửa Hamilton). 
Một số kết quả trên đồ thị Hamilton 
Định lý (Dirak, 1952). Xét G là đơn đồ thị vô hướng với n đỉnh (n>2). Nếu mỗi đỉnh của G đều có bậc không nhỏ hơn n/2 thì G là đồ thị Hamilton 
Định lý (Dirak, 1952). Xét G là đơn đồ thị có hướng, liên thông mạnh với n đỉnh. Nếu mọi đỉnh của G đều có bán bậc ra và bán bậc vào không nhỏ hơn n/2 thì G là đồ thị Hamilton 
7 
Một số kết quả trên đồ thị Hamilton (tt) 
Định lý. 
Mọi đồ thị đấu loại là nửa Hamilton ( Đồ thị đấu loại : là đồ thị có hướng mà trong đó 2 đỉnh bất kỳ của nó được nối với nhau bởi đúng một cung. ) 
Mọi đồ thị đấu loại, liên thông mạnh là Hamilton 
Định lý (Ore, 1960). Cho đồ thị G có n đỉnh. Nếu hai đỉnh không kề nhau bất kỳ của G đều có tổng bậc không nhỏ hơn n thì G là đồ thị Hamilton. Nghĩa là: 
8 
Kiểm tra đồ thị Hamilton??? 
Các quy tắc để xác định chu trình Hamilton (H) của đồ thị: 
Quy tắc 1: Nếu có 1 đỉnh bậc 2 thì hai cạnh của đỉnh này bắt buộc phải nằm trong H 
Quy tắc 2: Không được có chu trình con (độ dài nhỏ hơn n) trong H 
Quy tắc 3: Ứng với một đỉnh nào đó, nếu đã chọn đủ 2 cạnh vào H thì phải loại bỏ tất cả các cạnh còn lại (vì không thể chọn thêm) 
Không có đỉnh cô lập hoặc đỉnh treo nào khi áp dụng quy tắc 3. 
9 
Kiểm tra đồ thị Hamilton (tt) 
Đồ thị sau đây có Hamilton không? 
10 
1 
2 
3 
4 
5 
6 
7 
8 
9 
3.2. Đồ thị phẳng – Bài toán tô màu đồ thị 
12 
Đồ thị phẳng 
Bài toán mở đầu: 
Có 3 gia đình, 3 nhà cung cấp điện, nước, gas. 
Các gia đình đều cần điện, nước, gas và đều muốn đi dây riêng. 
Cần nối dây từ các gia đình đến các nhà cung cấp sao cho không dây nào cắt dây nào. 
13 
A 
B 
C 
? 
Đồ thị phẳng 
Định nghĩa: Đồ thị vô hướng G là đồ thị phẳng nếu ta có thể biểu diễn nó trên một mặt phẳng sao cho không có cạnh nào cắt nhau. 
VD: 
14 
Đồ thị phẳng 
Không là đồ thị phẳng 
Đồ thị phẳng (tt) 
Các đồ thị không phẳng nổi tiếng 
15 
Đồ thị K 5 – đồ thị đầy đủ 
Đồ thị K 3x3 – đồ thị hai phía đầy đủ 
Công thức Euler 
Xét đồ thị sau: 
Định lý: Cho G là đồ thị phẳng, liên thông với n đỉnh và m cạnh. Gọi r là số miền trong biểu diễn phẳng của G. Khi đó, ta có: 
r = m - n + 2 
16 
1 
4 
3 
2 
5 
6 
Công thức Euler (tt) 
Hệ quả. Nếu G là đơn đồ thị phẳng liên thông với e cạnh, v đỉnh, trong đó v 3. Khi đó ta có: 
e 3v – 6 
Chứng minh: 
Gọi r là số miền 
Mỗi miền đều tương ứng với ít nhất 3 cạnh 
Mỗi cạnh tướng ứng với đúng 2 miền 
Gọi bậc của mỗi miền là số cạnh tương ứng với nó 
Suy ra, tổng bậc của các miền ít nhất là bằng 2 lần số cạnh 
Áp dụng công thức Euler suy ra điều phải chứng minh. 
17 
Định lý Kuratowski 
Định lý: Đồ thị G là đồ thị phẳng nếu và chỉ nếu G không chứa đồ thị con đẳng cấu với K 5 hoặc K 3x3 
VD: các đồ thị sau đây không là đồ thị phẳng 
18 
Tô màu đồ thị 
19 
Tô màu đồ thị (tt) 
20 
Phải dùng 3 màu để tổ 
? 
Phải dùng 4 màu để tổ 
Tô màu đồ thị (tt) 
21 
Tô màu đồ thị (tt) 
22 
1 
3 
2 
4 
5 
6 
7 
8 
9 
1 
2 
3 
5 
4 
7 
6 
8 
9 
1 
2 
3 
4 
5 
6 
7 
1 
2 
4 
3 
5 
6 
7 
Bài toán tô màu đồ thị 
Định nghĩa. Tô màu một đồ thị vô hướng là một sự gán màu cho các đỉnh sao cho hai đỉnh kề nhau phải khác màu nhau. 
Định nghĩa. Số màu (sắc số) của một đồ thị là số màu tối thiểu cần thiết để tô màu đồ thị này. 
23 
1 
2 
3 
5 
4 
7 
6 
8 
9 
1 
2 
4 
3 
5 
6 
7 
Đồ thị có số màu là 3 
Đồ thị có số màu là 4 
Bài toán tô màu đồ thị (tt) 
Định lý. (Định lý 4 màu) Số màu của một đồ thị phẳng là không lớn hơn 4. 
Một số thông tin liên quan: 
Bài toán được đưa ra năm 1850 
Có rất nhiều chứng minh sai về bài toán này 
Chứng minh sai nổi tiếng là của Alfred Kempe vào năm 1879 
Percy Heawood phát hiện ra chứng minh sai ở trên vào năm 1890 
Dựa vào đó, năm 1976 Appel và Haken đã chứng minh bằng cách sử dụng máy tính 
24 
Bài toán tô màu đồ thị (tt) 
Tìm số màu của các đồ thị sau: 
25 
(Tham khảo) 
3.3. Tập cắt – Bài toán luồng cực đại 
Khái niệm mạng 
Định nghĩa. Mạng là một đồ thị có hướng G = , trong đó: 
Có duy nhất một đỉnh s không có cạnh đi vào, gọi là điểm phát. 
Có duy nhất một đỉnh t không có cung đi ra, gọi là điểm thu. 
Mỗi cạnh của đồ thị được gán với một con số không âm gọi là khả năng thông qua (băng thông) của cạnh đó. 
27 
s 
t 
1 
2 
3 
4 
4 
3 
3 
2 
3 
1 
4 
3 
Luồng trên mạng 
Định nghĩa. Xét mạng G = . Ta gọi luồng f trong mạng là ánh xạ f: E R + , gán cho mỗi cạnh e = (u,v) một số thực không âm f(e), gọi là luồng trên cung e, thỏa mãn các điều kiện sau: 
Luồng trên mỗi cung không đượt vượt quá khả năng thông qua của nó: f(e) c(e). 
Tại mỗi đỉnh, tổng luồng đi vào phải bằng tổng luồng đi ra (trừ tại s và t). 
Giá trị của mỗi luồng f được tính bằng tổng luồng đi ra tại s (cũng chính là tổng luồng đi vào tại t). 
28 
Luồng trên mạng (tt) 
VD: 
Ký hiệu 
Điều kiện cân bằng luồng: 
Giá trị của luồng f: 
29 
s 
t 
1 
2 
3 
4 
4 
3 
3 
2 
3 
1 
4 
3 
(1) 
(3) 
(1) 
(1) 
(1) 
(1) 
(2) 
(3) 
Val(f) = 4 
Lát cắt 
Một lát cắt (X,X * ) là một cách phân hoạch tập đỉnh V của mạng thành hai tập X và X * = V\X, trong đó s X và t X * . 
Khả năng thông qua của lát cắt (X,X*) là số: 
Lát cắt với khả năng thông qua nhỏ nhất được gọi là lát cắt hẹp nhất 
30 
Lát cắt (tt) 
VD: 
Xét lát cắt (X,X*) với X = {s, 3, 4}, X* = {t, 1, 2} 
Ta có c(X, X*) = 4 + 1 + 2 + 4 = 11 
Lát cắt nhỏ nhất??? 
Lát cắt nhỏ nhất là: X = {s, 1}, X* = {t, 2, 3, 4} 
31 
s 
t 
1 
2 
3 
4 
4 
3 
3 
2 
3 
1 
4 
3 
Lát cắt – ví dụ 
Xác định lát cắt hẹp nhất của mạng sau: 
32 
3 
2 
4 
5 
6 
1 
5 
6 
1 
6 
6 
5 
3 
3 
3 
2 
4 
5 
t 
s 
5 
6 
1 
6 
6 
5 
3 
3 
Lát cắt (tt) 
Bổ đề: Giá trị của luồng f trong mạng luôn nhỏ hơn hay bằng khả năng thông qua của lát cắt bất kỳ. 
Bổ đề: Giá trị luồng cực đại trong mạng không vượt quá khả năng thông qua của lát cắt hẹp nhất trong mạng. 
33 
Đồ thị tăng luồng 
Xét mạng G với luồng f như sau: 
34 
s 
t 
1 
2 
3 
4 
4 
3 
3 
2 
3 
1 
4 
3 
(1) 
(3) 
(1) 
(1) 
(1) 
(1) 
(2) 
(3) 
s 
t 
1 
2 
3 
4 
3 
Mạng G và luồng f 
1 
1 
2 
3 
3 
1 
1 
1 
1 
2 
3 
1 
Đồ thị tăng luồng G f 
Cung nghịch 
Cung thuận