Professional Documents
Culture Documents
7 Mang-Va Ham Tai (BC)
7 Mang-Va Ham Tai (BC)
1
Nội dung
Mạng và hàm tải.
Hàm tải tối đại – Thuật toán FORD-FULKERSON.
2
I. Mạng và hàm tải
6 6
3 3
a z
6 5
d 1 e
4
Định nghĩa
Xét mạng = ( , ), với mỗi đỉnh , đặt:
= ∈ ớ }
= ∈ ớ à }
Ví dụ:
b 5 c
={ } 6
6
={ , } 3 3
a z
6 5
d 1 e
5
Định nghĩa
Một hàm tải (flow function) trên mạng là một hàm
∶ →
Thỏa các điều kiện
1. 0 ≤ ≤ , ∀ ∈
2. = 0, ∀ ∈ ∪
3. ∑ ∈ ( ) =∑ ∈ ( ) , ∀ ∈ \{ , }
Trong đó là trọng số cạnh
6
Định nghĩa
Phép cắt: Xét ⊂ , phép cắt của ký hiệu , là tập
hợp:
, = = ∈ Î à Ï }
b 5 c
Ví dụ: ={ , } 6
6
, ={ , , , } 3 3
a z
6 5
d 1 e
Nếu Î à Ï thì , được gọi là phép cắt a-z
7
Định lý
Cho là hàm tải trên mạng , ⊂ \{ , } thì
=
∈( , ) ∈( , )
CM: Theo tính chất 3. của hàm tải ta có:
=
∈ ( ) ∈ ( )
Lấy tổng 2 vế theo ∈
=
∈ ∈ ( ) ∈ ∈ ( )
Đơn giản 2 vế cho những cạnh với , Î , suy ra điều phải chứng minh
8
Định lý
Hệ quả: Cho là hàm tải trên mạng , thì
=
∈ ( ) ∈ ( )
CM: Áp dụng định lý với = \{ , }
= = =
∈ ( ) ∈( , ) ∈( , ) ∈ ( )
9
Tải trọng hàm tải
Tải trọng hàm tải , ký hiệu được định nghĩa như
sau:
= =
∈ ( ) ∈ ( )
Trọng số phép cắt ( , ) được định nghĩa như sau:
, =
∈( , )
Bài toán đặt ra là tìm hàm tải tối đại (tải trong lớn nhất)
trên mạng
10
Định lý
là hàm tải trên mạng , ( , ) là phép cắt a-z, thì
≤ ( , )
CM: Từ mạng ta xây dựng mạng ′ bằng cách thêm cạnh 0 với trọng
số là ∞ và hàm ′
a0 a
= ớ = 0
z
( ) ≠ 0
Đặt = Þ ′= ∪ { 0}
= ′ = ′ ≤ = = ≤ = ,
∈ ( ) ∈ , ∈ , ∈ , ∈ ,
11
Hệ quả
Từ chứng minh định lý, suy ra hệ quả sau:
là hàm tải trên mạng , ( , ) là phép cắt a-z, thì
= 0; ∀ ∈( , )
= , Û
= ; ∀ ∈( , )
12
II. Thuật toán Ford-Fulkerson
b 5, 3 c
=5−2=3
6, 6 6,6
=1+2=3 3, 3 3, 3
=2+2=4 a z
6, 4 5, 4
d 1, 1 e
18
Chu trình Euler
Gán nhãn cho a là (-, ∞) =8
Xét a
Gán nhãn cho d là (a+, 2) b 5, 3 c
Xét d 6, 6 6,6
3, 3 3, 3
Không gán nhãn được (-, ∞)
a z
Thuật toán dừng 6, 4 5, 4
= , tạo thành phép cắt d 1, 1 e
(a+, 2)
, tối tiểu và qua đó hàm tải
tối đại
19
Tóm tắt
Mạng và hàm tải.
Hàm tải tối đại – Thuật toán FORD-FULKERSON.
20