Đồ án tốt nghiệp
Điều hành dự án bằng
phương pháp PERT-PCM
và ứng dụng giải bài tốn
lập lịch thi công công trình
Trang:
1
Chương mở đầu
GIỚI THIỆU CHUNG VỀ NHIỆM VỤ
Đề tài “Điều hành dự án bằng phương pháp PERT-PCM và ứng dụng giải
bài tốn lập lịch thi công công trình”, bao gồm
- Tìm hiểu phương pháp PERT-PCM (phương pháp sơ đồ mạng lưới).
- Ứng dụng giải bài tốn lập lịch thi công công trình.
+ Lưu trữ lịch thi công các dự án
+ Cho biết thới gian bắt đầu một dự án và thời gian kết thúc dự án
+ Thêm một số hạng mục khi dự án
đang được thi công
+ Bỏ một số hạng mục khi dự án đang thi công
nghiên cứu và phát triển chương trình tên lửa đối cực. Hai phương pháp được hình
thành độc lập nhưng rất giống nhau, cùng nhằm vào mục đích điều hành thời gian
là chính. Sự khác nhau chính là trong CPM thời gian ước lượng cho công việc,
được coi là tất định (Deterministic), còn trong PERT có thể là ng
ẫu nhiên
(Probabilistic). Ngồi ra CPM có tính đến quan hệ thời gian. Ngày nay, khi đã phát
triển lên, hai phương pháp được coi là một, dưới một tên chung là Phương pháp
điều hành dự án PERT-CPM, hoặc Phương pháp sơ đồ mạng lưới hoặc hệ thống
kiểu PERT (PERT-type system). Nó được dùng để thực hiện rất nhiều kiểu dự án,
từ xây dựng, lập trình máy tính, sản xuất phim đến vận động tranh cử chính trị
hoặc các cuộc giải phẫu phức tạp.
Phương pháp điều hánh dự án PERT-CPM gồm ba pha (tức là ba khâu): kế
hoạch, điều hành và kiểm tra điều chỉnh. Pha kế hoạch có nội dung là lập một sơ
đồ mạng lưới (arrow network diagram hoặc arrow diagram), tương tự một đồ thị
có hướng. Pha này mở đầu bằng việc tách dự án thành nhiều hoạt động riêng và
định thời gian hồn thành chúng. Trong mạng, mỗi cung có hướng biểu diễn hoạt
động và c
ả sơ đồ mạng biểu thị mối quan hệ giữa các hoạt động. Mỗi nút biểu thị
một biến cố hoặc sự kiện (event), đánh dấu hồn thành một số hoạt động (activity)
là các cung đi vào nút, và bắt đầu các hoạt động ứng với các cung ra khỏi nút.
Pha điều hành (scheduling phase) có nhiệm vụ xây dựng biểu đồ thời gian, chỉ
rõ thời điểm bắt đầu và kết thúc của mỗi hoạt động và mối quan hệ giữa các hoạt
động. Nói riêng, điều quan trọng là phải tính chính xác các hoạt động tới hạn, tức
là găng (critical), cần chú ý đặc biệt khi thực hiện, để tồn bộ dự án được hồn thành
đúng hạn.
Trang:
3
c sơ đồ mạng lưới phải thể hiện đủ quan hệ
thứ tự cần có.
Nếu quan hệ thời gian có dạng: việc x
2
bắt đầu khi xong 1/3 việc x
1
, việc x
3
bắt đầu khi xong một nửa x
1
, thì ta phải thêm các nút đánh dấu các biến cố xong
1/3x
1
và xong 1/2x
1
đó như ở H1.2.
Khởi công
2 Đào móng 4 Xây móng
0 Hồn thiện trong
6
Kết thúc
Hình 1.1
Tóm lại: Sơ đồ mạng lưới phải là một đồ thị có hướng, đơn, liên thông,
không có khuyên (tức là cung có gốc và ngọn cùng là một nút), không có chu trình
có hướng (directed cycle), có nút khởi công và nút kết thúc.
2
1
x
1
3
1
x
1
2
1
x
1
12
, ở đây t
12
là thời gian thực hiện
hoạt động (1, 2). Việc tính E
3
, E
4
, E
5
, E
6
, E
9
, E
10
và E
11
cũng tương tự vì các nút
tương ứng chỉ có một cung vào, khi đó:
E
i
= E
j
+ t
ji
Ở đây j là nút ngay trước i. Chẳng hạn E
6
+ t
58
,E
6
+ t
68
} = max {20 + 0, 22 + 7} = 29
Tổng quát, công thức tính E
i
cho mọi trường hợp là :
E
i
= maxmax {E
j
+ t
ji
},
j
ở đây j là các nút ngay trước i, tức là có cung nối tới i. Các E
i
được ghi ở H.1.3 là
số đầu trong ngoặc ở mỗi nút.
Thời điểm muộn (latest time) của biến cố j là thời điểm muộn nhất mọi cung
đi vào biến cố j đều hồn thành mà không làm thay đổi thời điểm kết thúc dự án
sớm nhất có thể, ký hiệu là L
j
. Đối lại với E
j
, các L
j
được tính theo hướng lùi
Ở đây min theo các
nút i ngay sau j và
t
ji
là thời gian thực
hiện hoạt động nối
(j, i). Các nút 9, 5, 4
là ở trường hợp
này, chẳng hạn :
L
9
= min {L
11
– t
9
11
, L
12
– t
9 12
} = min
(38 – 4, 38 - 5) = 33
Hãy chú ý sự ‘’đối
xứng ‘‘ của quá
trình tính E
i
và L
j
.
Các L
4
4
4
4
4
4
(44, 44)
6
0
2
(38, 42)
(29, 33)
(22, 26)
(0, 0)
(2, 2)
(6, 6)
(16, 16)
(20, 20)
(25, 25)
(33, 33)
1
4
5
(38, 38)
2
4
10
4
5
8
thực hiện là t
ij
. Thời gian dự trữ độc lập (free float hoặc free slack), ký hiệu là FF
ij
,
cũng là ký hiệu thời gian dành cho (i, j) và thời gian thực hiện là t
ij
, nhưng với giả
thiết là mọi hoạt động đều bắt đầu sớm có thể, vậy :
FF
ij
= E
j
– E
i
– t
ij
.
Trên sơ đồ mạng lưới thì d
i
là hiệu hai số trong ngoặc ở nút i, thường được ghi
bằng số trong ô vuông cạnh nút. Thời gian dự trữ chung của hoạt động TF
ij
được
ghi trong ô vuông cạnh ở mỗi cung. Còn thời gian dự trữ độc lập của hoạt động
FF
ij
ít quan trọng hơn, thường không ghi, xem H.1.3.
II.3.
47
= 2.
5. Đường găng là đường dài nhất trong các đường nối nút khởi công đến
nút kết thúc.
Điều 5 này là rõ từ định nghĩa vì ở nút khởi công và kết thúc hai thời điểm
sớm và muộn trùng nhau và thời gian hồn thành dự án chính là hiệu thời gian ở hai
nút (ở H.1.3 là 44 - 0). Đường găng là đường gồm các hoạt động không có dự trữ
nên tổng chiều dài, tức là thời gian thực hiện, là tồn bộ thời gian thực hi
ện dự án (ở
H.1.3 là 44), nên phải dài nhất. Trên H.1.3 đường găng được tô đậm.
Một thí dụ dự án có nhiều đường găng là sơ đồ ở H.1.3 nhưng với t
46
thay
từ 6 thành 10. Khi đó thời gian dự trữ của các hoạt động (6, 8), (8, 10) và (10, 13)
và thời gian dự trữ của các biến cố 6, 8 và 10 đều thay từ 4 thành 0. Lúc này đường
1 –> 2 –> 3 –> 4 –> 6 –> 8 –> 10 –> 13 là đường găng thứ hai.
Các chỉ tiêu thời gian của dự án ở H.1.3 được ghi vào bảng 1.1
Hình 1.3
Trang:
7Biến cố Thời điểm
sớm
Thời điểm
muộn
Thời gian
dự trữ
Hoạt động Thời gian dự
trữ chung
ij
.
Thời điểm khởi công muộn (latest start) của hoạt động (i, j) là LS
ij
= L
j
- t
ij
.
Thời điểm hồn thành muộn (latest completion) của hoạt động (i, j) là LC
jj
= L
j
tức là thời điểm muộn của nút ngọn.
Nhận xét rằng EC
ij
≤ E
j
, LS
ij
≥ L
i
. Thật vậy, ta có
E
j
=
k
max
{E
∑
là độ dài đường găng và
∑
≡ TPt
P
ij
là độ dài đường P, là tổng
thời gian thực hiện hoạt động trên đường P.
Hệ số găng (critital coefficient) biểu thị mức độ căng thẳng về thời gian của
một đường P nối nút khởi công và kết thúc, không phải đường găng G, được định
nghĩa là
PGG
PGP
P
TT
TT
K
−
−
=:
,
Trang:
8
ở đây T
PG
là độ dài quãng đường (tức là một phần của đường) mà P trùng với G.
Rõ ràng O < K
P
< 1 và K
P
=
∑
P
ij
t
=40
Nên thời gian dự trữ của P là T
G
– T
P
= 44 – 40 = 40. Hệ số găng là
K
P
=
11
10
4
40
=
(không có quãng chung với đường găng). Gọi Q là đường 1 –> 2 –>
3 –> 4 –> 7 –> 9 –> 12 –> 13 thì T
Q
= 42, K
Q
=
11
10
9
7
H.1.4 Biến cố E
i
L
i
d
i
Hoạt
động
TF
ij
1
2
3
4
5
6
7
0
2
3
6
6
13
19
0
4
5
6
7
Trang:
9
(4, 7)
(5, 6)
(5, 7)
(6, 7)
11
0
8
0
Bảng 1.2
Biểu đồ thời gian cho H.1.5. Ở đây chỉ có ttrục hồnh là thời gian . Cao độ
không quan trọng. Ta biểu diễn các hoạt động găng phía trên. Độ dài (thời gian) là
cố định, chặt chẽ cho các hoạt động găng. Hoạt động giả (4, 5) có độ dài bằng 0
nên biểu diễn bằng đoạn đứng.
Mỗi hoạt động không găng biểu diễn ở độ cao khác nhau để nhìn rõ vì các
hoạ
t động này có độ cơ động và được điều hành bằng biểu đồ thời gian.
2
ij
thì hoạt động (i, j) có thể cơ động tuỳ ý trong khoảng thời gian vẽ biểu
đồ. Nếu FF
ij
< TF
ij
thì hoạt động (i, j) chỉ được bắt đầu muộn hơn thời điểm khởi
công sớm ES
ij
một khoảng thời gian không quá FF
ij
thì mới không ảnh hưởng đến
các hoạt động ngay sau nó (duy nhất) là
(2, 4) mới được xê dịch tuỳ ý trong khoảng thời gian 2 đến 6. Nếu (1, 2) thực hiện
lùi lại khoảng 1 đến 3 chẳng hạn, thì ảnh hưởng đến hoạt động (2, 4). Mặc dù có
FF
24
= TF
24
nhưng lúc này có chỉ còn được xê dịch thực hiện trong khoảng từ 3
đến 6. III.
Điều khiển nhân lực.
1
Thí Dụ III.1. Giả sử nhân lực cho các hoạt động của dự án ở Thí Dụ II.2 đòi
hỏi như sau:
Hoạt động Số nhân
công
Hoạt động s
ố nhân công
(1, 2) 0 (4, 6) 2
(1, 3) 5 (4, 7) 1
(2, 4) 0 (5, 6) 2
(3, 4) 7 (5, 7) 5
(3, 5) 3 (6, 7) 6
Chú ý rằng tại thời điểm hai hoạt động cùng tiến hành thì số nhân lực cần là
tổng hai số công nhân. Vì vậy cần phải sắp xếp khéo các hoạt động không găng để
đòi hỏi tổng nhân công của cả dự án ít (tạm coi là mỗi người biết làm mọi việc).
Việc sắp xếp tối ưu là phức tạp, đến nay ta sử dụng biểu đồ thời gian biểu diễ
n
thêm nhân lực để sắp xếp theo trực quan. H.1.6 (a) biểu diễn tổng công nhân cần ở
mỗi thời điểm nếu tất cả các hoạt động không găng xếp vào lúc sớm nhất có thể,
còn H.1.6 (b) là tương ứng khi xếp vào lúc muộn nhất có thể. Hai biểu đồ này nên
vẽ thẳng dưới H.1.5 nữa. Sắp đặt sớm nhất ở hình (a) cho thấy ở mỗi thời điểm dự
án cần nhiều nhất là 10 công nhân còn ở sắp đặt muộn nhất (b) là 12 công nhân. Ở
hai phương án này, số công nhân cần ở các thời điểm không đều. Theo trực quan ta
chỉnh lại từ (a) như sau: chuyển hoạt động (4, 6) đếân thời điểm muộn nhất có thể,
chuyển (4, 7) đến ngay sau khi (5, 7) kết thúc. Kết quả được vẽ lại ở biểu đồ H.1.7.
(chú ý là hoạt động (1, 2) và (2, 4) không cần công nhân nên không cần v
ẽ.). H .I.6 (a)
(4, 7)
(3, 5) (3, 4) (5, 7) (1, 3) (4, 6) (6, 7) (5, 6)
H .I.6 (b)
Trang:
12 Hình 1.7
IV.
Hồn thành sớm dự án.
Trên đây đã xét thời điểm hồn thành dự án là cố định và xác định các đường
găng, phải thực hiện chặt chẽ để dự án hồn thành đúng thời gian qui định. Nếu
muốn giảm thời gian hồn thành dự án thì làm thế nào ? Ta cũng sử dụng đường
găng, nhưng phải dựa vào kỹ thuật và công nghệ, chứ không phải quản lý bằng tốn
học được n
ữa. Cụ thể là phải dùng công nghệ mới, tăng vật tư, công nhân .. để có
thời gian thực hiện các hoạt động ngắn hơn. Nhưng tập chung vào hoạt động nào ?
0
~
ij
GG
tTT
ở đây tổng lấy trên mọi hoạt động găng.
V.
Dự án có tính ngẫu nhiên.
Trong các mục trên ta đã coi thời gian thực hiện các hoạt động t
ij
là xác định
hồn tồn từ đầu, khi lập sơ đô mạng lưới. Do đó ta có mô hình tất định
(detreministic model). Trong thực tế, nhiều yếu tố bất định phải được tính đến, do
đó thời gian thực hiện hoạt động (i, j) là một biến ngẫu nhiên (random variable),
mà ta chỉ xác định được phân bố xác suất (probability distributtion) qua kinh
nghiệm và sớ liệu thống kê. Từ đó dẫn đêùn phải sử dụ
ng mô hình ngẫu nhiên
hoặc gọi khác là mô hình xác suất (probabilistic model). Việc tính tốn các chỉ tiêu
để điều hành dự án có hai nhiệm vụ chính. Một là tính kỳ vọng (mean hoặc
expected value) của các đại lượng cần tính, chẳng hạn thời gian thực hiện hoạt
Trang:
13
động (activity time), thời gian hồn thành dự án (project time), và phương sai
(variance) của các đại lượng này. Hai là tính xác suất của biến cố nào đó, chẳng
hạn biến cố là dự án hồn thành trước thời điểm T.
Thời gian thực hiện mỗi hoạt động, thường gọi tắt là thời gian hoạt động,
⎢
⎣
⎡
−= ab
σ
. (1.1)
Điều này đúng cho nhiều biến ngẫu nhiên hay gặp.
Giả thiết 2. Phân bố xác suất của mỗi thời gian hoạt động đêøu là phân bố beta
(beta distribution).
Ta hãy nhắc lại vài kiến thức xác suất. Mỗi đại lương ngẫu nhiên x có hai hàm
quan trọng nhất. Hàm mật độ xác suất (probability density fuction) f(x), a ≤ x ≤ b,
và hàm phân bố tích luỹ (cumulative distribution function) F(X), gọi là hàm phân
bố. Ở đây giả thiết là x chỉ lấy giá tr
ị trong [a, b] . Ta có các quan hệ sau
∫
∫
=≤=
=
X
a
b
a
dxxfXxPXF
dxxf
,)(}{)(
,1)(
∫
∫
−=
)()(
)(
)(
−−−−
−=−
Γ×Γ
+Γ
=
βαβα
βαβα
βα
xx
B
xxxf
, (1.2)
Trang:
14
ở đây α, β là tham số, Γ(.) là hàm đặc biệt gamma và B(., .) là hàm đặc biệt beta,
được định nghĩa bằng tích phân phụ thuộc tham số
f(x)
α < β α >β
∫
∫
−−
+∞
−−
−=
=Γ
1
nghĩa bởi hàm mậ
t độ sau.
,,
2
1
)(
2
2
2
)(
2
+∞<<−∞=
−
−
xexf
x
σ
μ
πσ
ở đây tham số μ chính là kỳ vọng
và σ
2
chính là phương sai của biến
ngẫu nhiên x có phân bố chuẩn.
Khi đó biến
σ
μ
−
=
thuộc vào phân bố của từng biến ngẫu nhiên).
Trở lại mô hình ngẫu nhiên điều hành dự án. Để tính kỳ vọng t
e
của thời gian
hoạt động, người ta giả thiết là điểm giữa
2
ba
+
chiếm tỷ trọng bằng nửa điểm hợp
lý nhất m. Khi đó
f(x)
μ
x
Hình 1.9
Trang:
15
⎥
⎦
⎤
⎢
⎣
⎡
++=
)(
2
1
2
3
1
(4, 6)
(4, 7)
(5, 7)
(6, 8)
(7, 9)
(8, 10)
(9, 11)
(9, 12)
(10, 13)
(12, 13)
1
2
6
1
4
3
4
4
2
1
6
9
8
4
2
1
52
2
1
5
3
8
18
5
10
9
9
4
5
2
6
9
1
1
4
9
4
1
1
1
1
1
4
0
4
đường găng (xây dựng theo các kỳ vọng). Đến đây ta nhận xét rằng một trong các
cách áp dụng thực tế là dùng các kỳ vọng của các biến, rồi áp dụng mọi tính tốn và
lý luận ở các mục trước vào các kỳ vọng, thay cho các biến tất định.
Ở Thí dụ V.1 kỳ vọng và phương sai của thời gian d
ự án là 44 và 9, vì đường
găng là 1 –> 2 –> 3 –> 4 –> 5 –> 7 –> 9 –> 12 –> 13 .
Bây giờ ta xét vấn đề quan trọng là tính xác suất để dự án hồn thành trước một
thời hạn bắt buộc (deadline). Theo định lý giới hạn trung tâm, thời gian dự án là
biến ngẫu nhiên có phân bố chuẩn. Do đó ta tính được xác suất P(x ≤ X), thường
được tính sẵn để tra theo bảng. Chẳng hạn Bảng A
1
ở cuối sách cho biết P {x ≤ x
e
+ σK
α
}, ở đây σ là độ lệch chuẩn. Do đó K
σ
là đơn vị lệch chuẩn.
Thí dụ, hãy tính xác suất để thời gian xây nhà ở Thí dụ V.1 không quá 47
ngày. Ta thấy 47 = 44 + 3.1 = x
e
+ σK
σ
nên K
σ
= 1. Theo bảng thì P {x ≥ 47} =
0,1584. Do đó xác suất cần tìm là ≅ 1 – 0,1584 ≅ 0,84.
Phương pháp điều hành dự án có tính ngẫu nhiên trên đây thường được gọi là
phương pháp ba ước lượng PERT (PERT three estimate method).
) quy ước lấy lượng của đường có tổng các σ
2
dái nhất.
Bây giờ hãy tính xác suất để biến cố i xong trước thời gian bắt buộc T
i
cho
trước. Theo định lý giới hạn trung tâm μ
i
tuân theo phân bố chuẩn, ta chỉ việc tra
bảng các xác suất ứng với phân bố chuẩn để tính P{μ
i
≤ T
i
}. Cụ thể, để tra bảng,
quy về trường hợp đại lương z có phân bố chuẩn với kỳ vọng 0 và phương sai 1
như sau:
{}
}{:
)(
)(
)(
)(
i
i
ii
i
ii
ii
KzP
Var
Var
ET
K
μ
μ
−
=
đã biết.
VI.
Dự án có thoả hiệp thời gian – Cước phí.
Trong các mục trước ta trình bày về các dựa án có yêu cầu chủ yếu là điều
hành thời gian. Theo ngôn ngữ ban đầu thì đây là phương pháp PERT, các thời
gian ở đây có thể xét như các biến tất định hoặc ngẫu nhiên. Còn phương pháp
đường găng PCM thì đặt ngang nhau về thời gian và cước phí. Mục tiêu chính của
Trang:
17
PCM là chọn cách thoả hiệp thời gian thực hiện mỗi hoạt động (theo ngôn ngữ
hình học) tức là biết đường cong thời gian – cước phí (time – cost curve) của mỗi
hoạt động. Trong mô hình tốn học (xấp xỉ thô tình trạng thực tế) người ta giả thiết
quan hệ thời gian và cước phiù là tuyến tính. Do đó chỉ cần biết hai điểm. Người ta
chọn hai điển nút như sau:
Điểm chuẩ
n (normal point) có toạ độ là thời gian và cước phí của hoạt động
khi nó được tiến hành trong điều kiện bình thường, tức là chuẩn, không có cước
phí bổ xung tăng cường (như làm ngồi giờ, tăng thiết bị nhân lực …). Cực điểm
(crash point) là điểm ứng với thời gian và cước phí khi đầu tư hết mức để thời gian
thực hiện hoạt động ngắn nhất có thể. M
ij
là độ xiên,
tức là hệ số góc đường thẳng biểu thị đường cong thời gian – cước phí , tức là:
ijij
dD
ij
dD
CC
S
ijij
−
−
=
.
Gọi K
ij
là tung độ điểm đường thẳng cắt trục tung. Khi đó cước phí của hoạt
động (i, j) tương ứng với thời gian hoạt động (i, j) ứng với thời gian hoạt động x
ij
rõ ràng là:
Bài tốn: Chọn các x
ij
để thời gian dự án không quá thời hạn bắt buộc T cho
trước và làm cực tiểu cước phí dự án C.
Nhận xét rằng các yếu tố của bài tốn đều là tuyến tính, ta cố gắng đưa về quy
hoạch tuyến tính như sau:
Đưa vào các biến bổ xung y
k
C
dij
Cực điểm
Điểm chuẩn
Thời gian
C
xij
C
Dij
d
ij
x
ij
D
ij
Trang:
18
(số ràng buộc là số các biến cố ngay trước k). Gọi 1 là nút xuất phát và n là nút kết
thúc dự án thì
y
1
= 0, y
n
≤T.
Ở mục tiêu thì K
ij
là hằng. Tóm lại ta được quy hoạch tuyến tính
ij
≥ d
ij
trở thành ràng buộc dấu x
’
ij
≥ 0. Thêm ràng buộc hình
thức y
i
≥ 0, ∀i. Ràng buộc này tự nhiên thoả do y
1
= 0 và y
j
≥ y
i
+ d
ij
+ X
’
ij
.
Trường hợp không có thời hạn bắt buộc T cho trước, tức là cần tìm thoả hiệp
tốt nhất giữa tổng cước phí và tổng thời gian dự án, người ta coi T là tham số và
giải quy hoạch tuyến tính tham số để được nghiệm tối ưu như hàm của T.
VII.
Kiểm tra hiệu chỉnh dự án.
Sau khi dùng phương pháp điều hành dự án PERT – CPM xác định được sơ đồ
mạng lưới, các biểu đồ và bảng tính các chỉ tiêu và dự án đang được tiến hành,
ền hình…
1.1. Định nghĩa đồ thị.
Đồ thị là một cấu trúc rời rạc bao gồm các đỉnh và các cạnh nối các đỉnh này.
Chúng ta phân biệt các loại đồ thị khác nhau bởi kiểu và số lượng cạnh nối hai
đỉnh nào đó của đồ thị. Để có thể hình dung được tại sao lại cần đến các loại đồ thị
khác nhau, chúng ta sẽ nêu ví dụ sử dụng chúng để mô tả một mạng máy tính. Giả
sử ta có một mạng gồ
m các máy tính và các kênh điện thoại (gọi tắt là kênh thoại)
nối các máy tính này.
Định nghĩa 1: Đơn đồ thị vô hướng G = (V,E) bao gồm V là tập hợp các đỉnh
và E là tập hợp các cặp không có thứ tự gồm hai phần tử khác nhau của V gọi là
các cạnh.
Trong trường hợp giữa hai máy tính nào đó thường xuyên phải truyền tải
nhiều thông tin người ta phải nối hai máy tính này bởi nhiều kênh thoại.
Định nghĩa 2: Đa đồ thị vô hướng G = (V,E) bao gồm là tập các đỉnh, và E là
họ các cặp không có thứ tự gồm hai phần tử khác nhau của V gọi là các cạnh. Hai
cạnh e
1
và e
2
được gọi là cạnh lặp nếu chúng cùng tương ứng với một cặp đỉnh.
Rõ ràng mỗi đơn đồ thị đều là đa đồ thị, nhưng không phải đa đồ thị nào cũng
là đơn đồ thị, vì đa đồ thị có thể có 2 (hoặc nhiều hơn) cạnh nối một cặp đỉnh nào
đó.
Trong mạng máy tính có thể có những kênh thoại nối một máy nào đó vớ
i
(u,v) là cạnh của đồ thị G. Nếu e = (u,v) là cạnh của đồ thị thì ta nói cạnh này là
liên thuộc với hai đỉnh u và v, hoặc cũng nói là cạnh e là nối đỉnh u và đỉnh v,
đồng thời các đỉnh u và v sẽ được gọi là các đỉnh đầu của cạnh (u,v).
Để có thể biết bao nhiêu cạnh liên thuộc với một đỉnh, ta đư
a vào định nghĩa
sau:
Định nghĩa 2: Ta gọi bậc của đỉnh v trong đồ thị vô hướng là số cạnh liên
thuộc với nó và sẽ kí hiệu là deg(v). b c d
a f e g
Hình 1: Đồ thị vô hướng G.
Thí dụ 1: Xét đồ thị trong hình 1, ta có:
deg(a)= 1, deg(b)=4, deg(c)=4, deg(f)=3, deg(d)=1, deg(e)=3, deg(g)=0.
Đỉnh bậc 0 gọi là đỉnh cô lập. Đỉnh bậc 1 gọi là đỉnh treo. Trong thí dụ trên đỉnh g
là đỉnh cô lập, a và d là các đỉnh treo. Bậc của đỉnh có tính chất sau:
∑
⊂
=
Vv
t ngữ
tương tự cho đồ thị có hướng.
Định nghiã 3: Nếu e = (u, v) là cung của đồ thị có hướng G thì ta nối hai đỉnh
u và v là kề nhau, và nói cung (u,v) nối đỉnh u với đỉnh v hoặc cũng nói cung này
là đi ra khỏi đỉnh u và đi vào đỉnh v. Đỉnh u(v) sẽ được gọi là đỉnh đầu (cuối) của
cung (u, v).
Tương tự như khái niệm bậc, đối với đồ thị có hướng ta có khái niệm bán bậc
ra (vào) của một đỉnh.
Định nghĩa 4: Ta gọi bán bậc ra (bán bậ
c vào) của các đỉnh v trong đồ thị có
hướng là số cung của đồ thị đi ra khỏi nó (đi vào nó) và ký hiệu là deg
+
(v)
(deg(v)).
Định lý 2: Giả sử G = (V,E) là đồ thị có hướng. Khi đó
Evv
VvVv
==
∑∑
∈
−
∈
+
)(deg)(deg
Rất nhiều tính chất của đồ thị có hướng không phụ thuộc vào hướng trên các
cung của nó. Vì vậy, trong nhiều trường hợp sẽ thuận tiện hơn nếu ta bỏ qua hướng
trên các cung của đồ thị. Đồ thị vô hướng thu được bằng cách bỏ qua hướng trên
2
), …, (x
n-1
, x
n
).
Đỉnh u gọi là đỉnh đầu còn đỉnh v gọi là đỉnh cuối của đường đi. Đường đi có
đỉnh đầøu trùng với đỉnh cuối (tức là u= v) được gọi là chu trình. Đường đi hay
chu trình được gọi là đơn nếu như không có cạnh nào bị lặp lại.
Định nghĩa 2: Đường đi độ dài n từ đỉnh u đến đỉnh v trong đó n là số nguyên
dương, trên đồ thị vô hướng G =(V, A) là dãy x
0
, x
1
, … ,x
n-1
,x
n
trong đó u =x
0
,
v=x
n
, (x
i
, x
i+1
) ∈A, i= 0, 1, 2… , n-1. Đường đi nói trên còn có thể biểu diễn dưới
dạng dãy các cung: (x
Định nghĩa 5: Đỉnh v được gọi là đỉnh rẽ nhánh nếu việc loại bỏ v cùng với
các cạnh liên thuộc với nó khỏi đồ thị làm tăng số thành phần liên thông của đồ thị.
Cạnh e được gọi là cầu nếu việc loại bỏ nó khỏi đồ thị làm tăng số thành phần liên
thông của đồ thị.
Định nghĩa 6: Đồ thị có hướng G= (V,A) được gọi là liên thông mạnh nếu
luôn tìm được đường đi giữa hai đỉnh bất kỳ của nó.
Định nghĩa 7: Đồ thị có hướng G =(V,A) được gọi là liên thông yếu nếu đồ thị
vô hướng tương ứng với nó là đồ thị vô hướng liên thông.
Rõ ràng nếu đồ thị là liên thông mạnh thì nó cũng là liên thông yếu, nhưng điều
ngược lại là không luôn đúng.
Định lý1: Đồ thị vô hướng liên thông là định hướng được khi và chỉ khi mỗi
cạnh của nó nằm trên ít nhất một chu trình.
Chứng minh: Đ
iều kiện cần, giả sử (u, v) là một cạnh của đồ thị. Sự tồn tại
đường đi có hướng từ u đến v và ngược lại suy ra (u, v) phải nằm trên ít nhất một
chu trình.
Điều kiện đủ, thủ tục sau đây cho phép định hướng các cạnh của đồ thi để thu
được đồ thị có hướng liên thông mạnh. Giả sử C là chu trình nào đó trong đồ thị.
Định hướ
ng các cạnh trên chu trình này theo một hướng đi vòng theo nó. Nếu tất
cả các cạnh của đồ thị đã được định hướng thì kết thúc thủ tục. Ngược lại chọn e là
cạnh chưa định hướng có chung đỉnh với ít nhất một trong số các cạnh đã định
hướng. Theo giả thiết tìm đựơc chu trình C’ chứa cạnh e định nghĩa các cạnh chưa
định hướng củ
a C
’
theo một hướng dọc theo chu trình này (không định hướng lại
các cạnh đã có hướng). Thủ tục trên sẽ lặp lại cho đến khi tất cả các cạnh của đồ
=0 nếu (i,j) ∉ E và a
ij
=1 nếu (i,j)∈ E, i,j =1, 2,…,n
Thí dụ1: Ma trận kề củae đồ thị vô hướng cho trong hình 1 là:
1 2 3 4 5 6
1
2
3
4
0 1 1 0 0 0
1 0 1 0 1 0
1 1 0 1 0 0
0 0 1 0 1 1
0 1 0 1 0 1
0 0 0 1 1 0
Trang:
23
5
6
3 4 2 5 1 6 1 4
2 5 3 6
G G
1
1
cho trong hình 1 có ma trận kề là ma trận sau.
1 2 3 4 5 6
1
2
3
4
5
6 Lưu ý rằng ma trận kề của đồ thị có hướng không phải là ma trận đối xứng.
Chú ý: Trên đây chúng ta chỉ xét đơn đồ thị. Ma trận kề của đa đồ thị có thể
xây dựng hồn tồn tương tự, chỉ khác, là thay vì ghi 1 vào vị trí a[i, j] nếu (i, j) là
cạnh của đồ thị, chúng ta sẽ ghi k là số cạnh nối hai đỉ
nh i và j.
Trong rất nhều vấn đề ứng dụng của lý thuyết đồ thị, mỗi cạnh e= (u, v) của đồ
thị được gán với một con số c(e) (còn viết là c (u, v)) gọi là trọng số của cạnh e.
Đồ thị trong trường hợp như vậy được gọi là đồ thị trọng số. Trong đồ thị có trọng
số, thay vì ma trận kề, để biểu diễn đồ thị ta dùng ma trận tr
ọng số.
C = c[i,j], i,j=1,2,…,n.
Với c(i, j)= c[i, j], nếu (i, j) ∈ E và c[i, j] =θ nếu (i, j) ∉ E
0 1 1 0 0 0
0 0 0 0 0 0
0 1 0 1 0 0
0 0 0 0 0 0
0 0 0 1 0 1
2.3. Danh sách kề.
Trong rất nhiều vấn đề ứng dụng của lý thuyết đồ thị, cách biểu diễn đồ thị
dưới dạng danh sách kề là cách biểu diễn thích hợp nhất được sử dụng.
Trong cách biểu diễn này, với mỗi đỉnh v của đồ thị chúng ta lưu trữ danh
sách các đỉnh kề với nó, mà ta sẽ ký hiệu là Ke(v), tức là Ke(v)={u∈V: (v, u) ∈ E}
khi đó vòng lặp thực hiện với mỗi m
ột phần tử trong danh sách này theo thứ tự
các phần tử được xắp xếp như sau:
For u∈ Ke(v) do…
Chẳng hạn, trên PASCAL có thể mô tả danh sách này như sau (Gọi là cấu trúc
Forward star ):
Const
m = 100; {m – số cạnh}
n = 100; {n – số đỉnh}
var
Ke: array {1..m} of integer ;
Tro: array {1..n+1} of integer ;
Trong đó Tro [i] ghi nhận vị trí bắt đầu của danh sách kề của đỉnh i, i = 1, 2, …n,
Tro[n+1] = 2m + 1.
III.
Bài tốn tìm đường đi ngắn nhất. Trong các ứng dụng thực tế, bài tốn tìm đường đi ngắn nhất giữa hai đỉnh của
đồ thị liên thông có một ý nghĩa to lớn, có thể dẫn về bài tốn như vậy nhiều bài tốn
thực tế quan trọng. Ví dụ, bài tốn chọn một hành trình tiết kiệm nhất (theo tiêu