Tải bản đầy đủ (.pdf) (79 trang)

Giải thuật di truyền giải bài toán tối ưu đa mục tiêu

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (1.14 MB, 79 trang )

B ộ• GIÁO DỤC VÀ ĐÀO
TẠO




TRƯỜNG ĐẠI
• HỌC
• s ư PHẠM
• HÀ NỘI
• 2

NGUYỄN THỊ NHUNG

GIẢI THUÂT DI TRUYỀN GIẢI BÀI TOÁN TÓI ư u
ĐA MUC TIÊU

LUẬN
VĂN THẠC
SĨ TOÁN HỌC




Hà Nôi - 2015


B ộ• GIÁO DỤC VÀ ĐÀO
TẠO





TRƯỜNG ĐẠI
• HỌC
• s ư PHẠM
• HÀ NỘI
• 2

NGUYỄN THỊ NHUNG

GIẢI THUẬT DI TRUYỀN GIẢI BÀI TOÁN TÓI ư u
ĐA MUC TIÊU
Chuyên ngành: Toán ứng dụng
Mã số

: 60 46 01 12

LUẬN
VĂN THẠC
Sĩ TOÁN HỌC




Người hướng dẫn khoa học: TS.Phạm Thanh Hà

Hà Nội - 2015


LỜI CẢM ƠN


Trước khi đi vào từng phần cụ thể của khóa luận tốt nghiệp này, tôi
muốn gửi lời cảm ơn chân thành nhất đến TS Phạm Thanh Hà- người đã đưa
ra đề tài, tận tình giúp đỡ và hướng dẫn tôi trong suốt thời gian tôi thực hiện
khóa luận này.
Tôi xin cảm ơn phòng quản lý và đào tạo sau đại học trường Đại học
sư phạm Hà Nội 2 đã tạo điều kiện thuận lợi cho tôi trong suốt thời gian học
tập và thực hiện khóa luận. Đồng thời tôi cũng xin gửi lời cảm ơn chân thành
nhất đến gia đình, bạn bè, đồng nghiệp đã luôn đôn đốc, tạo điều kiện, hỗ trợ
về mặt tinh thần cho tôi trong quá trình thực hiện luận văn.
Cuối cùng tôi xin cảm ơn các bạn cao học khóa 17 chuyên ngành toán
ứng dụng trường Đại học sư phạm Hà Nội 2 đã quan tâm, chia sẻ và đóng góp
ý kiến để tôi hoàn thành luận văn.
Tôi xin chân thành cảm ơn!
Hà Nội tháng 10 năm 2015
Học viền

Nguyễn Thị Nhung


LỜI CAM ĐOAN

Tôi xin cam đoan rằng số liệu và kết quả nghiên cứu trong luận văn
này là trung thực và không trùng lặp với các đề tài khác. Tôi cũng xin cam
đoan rằng mọi sự giúp đỡ cho việc thực hiện luận văn này đã được cảm ơn và
các thông tin trích dẫn trong luận văn này đã được chỉ rõ nguồn gốc.

Hà Nội tháng 10 năm 2015
Học viên


Nguyễn Thị Nhung


MUC
LUC


Trang
LỜI CẢM ƠN
LỜI CAM ĐOAN
MỤC LỤC
DANH MỤC CÁC KÝ HIỆU
DANH MỤC CÁC HÌNH
MỞ Đ Ầ U ..................................................................................................................1

CHƯƠNG 1. CÁC KIẾN THỨC c ơ BẢN VỀ TỐI ư u ĐA MỤC TIÊU.... 4
1.1 Quan hệ thứ tự trong không gian............................................................... 4
1.2 Các định nghĩa........................................................................................... 4
1.3.Bài toán tối ưu đa mục tiê u ......................................................................10
1.4.

Các khái niệm tối ư u ........................................................................... 11

1.4.1. T ốiưupareto......................................................................................11
1.4.2. Nghiệm tối ưu Pareto chặt và yếu..................................................... 12
1.4.3. Nghiệm tối ưu Pareto chính thường và điểm hữu hiệu chính thường . 14
1.5. Một số các phương pháp giải bài toán tối ưu đa mục tiêu......................17
1.5.1. Phương pháp rằng buộc.....................................................................17
1.5.2. Phương pháp tổng trọng số ................................................................19
1.5.3. Phương pháp tổng trọng số chấp nhận được đối với bài toán tối ưu

2 mục tiêu.....................................................................................................20
1. 5.4. Phương pháp tổng trọng số chấp nhận được cho bài toán tối ưu đa
mục tiêu........................................................................................................24
CHƯƠNG 2. CÁC KHÁI NIỆM c ơ BẢN VỀ GIẢI THUẬT DI TRUYỀN.. 34
2.1. Các khái niệm cơ bản của giải thuật di truyền........................................ 34
2.1.1. Giới thiệu chung.................................................................................34
2.1.2 Giải thuật di truyền đơn giản.............................................................. 35


2.2. Thuật toán di truyền................................................................................ 39
2.3. Giới thiệu thuật toán di truyền (Genetic Algorithm)............................. 46
CHƯƠNG 3. GIẢI THUẬT DI TRUYỀN GIẢI BÀI TOÁN TỐI ư u ĐA

MỤC TIÊU...................................................................................................... 48
3.1. Một số thuật toán di truyền giải bài toán tối ưu đa mục tiêu.................48
3.1.1. Thuật toán MOGA ( Multi-Objective Genetic Algorithm)..............48
3.1.2. Thuật toán SPEA.............................................................................. 50
3.1.3. Thuật toán SPEA2............................................................................ 51
3.1.4. Thuật toán NSGA (Thuật toán di truyền sắp xếp các nghiệm
không trội ) .................................................................................................. 54
3.1.5. Thuật toán NSGA-II......................................................................... 55
3.2. Khoảng cách quy tụ - Crowding Distance.............................................57
3.3. So sánh ưu điểm và khuyết điểm của các thuật toán di truyền đa mục tiêu.. 60
3.4. Giải bài toán với thuật toán SPEA2:.......................................................61
3.5. Các giải thuật tiến hóa cho bài toán tối ưu đa mục tiêu......................... 64
KẾT LUẬN...................................................................................................... 69
TÀI LIỆU THAM KHẢO............................................................................... 70


DANH MUC

CÁC KÝ HIÊU



/ ưĩ (*)>/2 (*)) : Vector hàm mục tiêu
X = (x ,,..., xn)

. y e c to r

q Uy ế t đ ị n h

rii

: Số lượng đoạn càn mịn hóa thứ i

li

: Chiều dài đoạn thứ i

larg

. Chiều dài trung bình của tất cả các đoạn ở mỗi bước

c

: Hệ số nhân

Pi, p2

: Điểm cuối của đoạn


ỗi

: Khoảng cách vuông góc từ các điểm trên biên đến nón R+Q

Axi, Ax2

; Kích thước của lưới

f(x,p)

: Hàm mục tiêu của vector X và véc tơ tham số cố định p

p

: Vector tham số cố định

g(x, p)

: Vector ràng buộc bất đẳng thức YỚi tham số p

h(x,p)

: Vector ràng buộc đẳng thức với tham số p

p, w

: Vector trọng số

fi


: Hàm mục tiêu được chuẩn hóa

f

Điểm utopia

f

Điểm nadir

/*

Điểm anchor thứ i

Ne

. Số lượng lớn nhất mà tập E có thể chứa được các tập nghiệm
không trội

Np

. Số lượng cá thể trong quần thể/ kích thước tập p.

k

: Tham số của mật độ tính toán: k =f E

nu


: Số nghiệm trội hơn nghiệm u

s

: Tập nghiệm trội bởi nghiệm u


P0,Pt

; Quàn thể ban đầu và tại thế hệ thứ t

Qt

: Quần thể con tạo thành từ các cá thể trong pt

Fj

; Biên chứa các nghiệm không trội. Với j= 1,..., R

Hi =Ri=E(ri) : Kỳ vọng của ĩị
ƠI

. P h ư ơ n g sai

của Tị

Oij

: Hiệp phương sai giữa Tị và Ij


fxe R

: Vector giá trị kỳ vọng của li

reR ™

: Ma trận hiệp phương sai của Oịj


DANH MUC CÁC HÌNH

Hình 1.1. Mô phỏng bài toán tối ưu đa mục tiêu............................................. 10
Hình 1.2a: Minh họa cho i, iv,v Hình 1.2b: Minh họa cho 11,111 ..................... 12
Hình 1.3. Tuyến tính hóa các đoạn trên biên Pareto...................................... 21
Hình 1.4. Xác định khoảng cách giữa õi và ỗ2 dựa trên 5j............................. 23
Hình 1.5. Biên Pareto tìm được bằng phương pháp tổng trọng số................26
Hình 1.6. Biên Pareto tìm được bằng phương pháp tổng trọngsố chấp nhận
được hai mục tiêu............................................................................ 27
Hình 1.7: Minh họa phương pháp Adaptive Weight Sum.............................. 28
Hình 1.8: Trong trường hợp 3 chiều, biên Pareto là mặt và mảnh biên
Pareto đã được tuyến tính hóa bằng 4 đoạn thẳng nối4 đỉnh........ 30
Hình 1.9. Minh họa 3 chiều mô tả ràng buộc đẳng thức bổ sung cho quá
trình minh hóa biên Pareto...............................................................32
Hình 2.1. Sơ đồ lai ghép 1 điểm cắt.................................................................36
Hình 3.1: Minh họa bán kính ơshar° ..................................................................49
Hình 3.2: Minh họa thuật toán MOGA............................................................50
Hình 3.3: Minh họa tính toán độ thích nghi của các cá th ể ............................ 52
Hình 3.4.Minh họa cách xóa bỏ các nghiệm nào có ơk nhỏ nhất...................52
Hình 3.5. Sơ đồ khối của thuật toán SPEA2................................................... 53
Hình 3.6: Minh họa biên chứa các nghiệm không trội và thứ hạng tương

ứng................................................................................................... 54
Hình 3.7. Sơ đồ khối thể hiện thuật toán NSGA-II.........................................57
Hình 3.8. Minh họa khoảng cách quy tụ quanh nghiệm i ............................... 57
Hình 3.9. Minh họa các biên và thứ hạng....................................................... 58
Hình 3.10. Minh họa sự quy tụ của các nghiệm quanh một nghiệm...............58
Hình 3.11. Minh họa khoảng cách quy tụ quanh nghiệm X ............................ 59


Hình 3.12. Kết quả chạy thuật toán YỚi số lượng thế hệ tối đa là 50 và số
lượng cá thể trong mỗi thế hệ là 50................................................. 62
Hình 3.13. Kết quả thực hiện thuật toán với thông số đầu vào: số lượng cá
thể trong mỗi thế hệ là: 50 và số lượng thế hệ tối đa là 5 0 .............63
Hình 3.14. Kết quả thực hiện thuật toán với thông số đàu vào: số lượng cá
thể trong mỗi thế hệ là: 100 và số lượng thế hệ tối đa là 100....... 63
Hình 3.15. Kết quả thực hiện thuật toán với thông số đầu vào: số lượng cá
thể trong mỗi thế hệ là: 200 và số lượng thế hệ tối đa là 200....... 64


1
MỞ ĐẦU
1. Lý do chọn đề tài
Bài toán tối ưu hóa đa mục tiêu đặt ra yêu cầu tìm phương án tốt nhất
để đạt được cực tiểu, cực đại nhiều mục tiêu cùng lúc, nếu có một phương án
như vậy thì ta gọi là phương án lý tưởng.
Tuy nhiên trong bài toán tối ưu nhiều mục tiêu thường thì các mục tiêu
xung đột với nhau nên việc cố gắng làm tăng giá trị tiểu, cực đại của mục tiêu
này kéo theo giảm (tăng) cực đại, cực tiểu của mục tiêu khác, do đó việc tồn
tại phương án lý tưởng là rất hiếm.
Thông thường cách tốt nhất là tìm một phương án nhằm thỏa mãn các
yêu cầu các mục tiêu trong một mức độ chấp nhận được và phương án như thế

gọi là phương án thỏa hiệp các mục tiêu.
Trên thực tế có rất nhiều bài toán tối ưu đa mục tiêu, đặc biệt trong
kinh tế, kỹ thuật như các bài toán về thiết kế, lập kế hoạch.
Thuật toán tiến hóa hình thành dựa trên quan niệm cho rằng: quá trình
tiến hóa tự nhiên là quá trình hoàn hảo nhất, hợp lý nhất, và nó tự mang tính
tối ưu. Quan niệm này được xem là tiền đề đúng, không chứng minh được,
nhưng phù hợp YỚi thực tế khách quan. Quá trình tiến hóa thể hiện tính tối ưu
ở chỗ thế hệ sao bao giờ cũng tốt hơn (phát triển hơn, hoàn thiện hơn) thế hệ
trước.
Tiến hóa tự nhiên được duy trì nhờ hai quá trình cơ bản: sinh sản và
chọn lọc tự nhiên. Xuyên suốt quá trình chọn lọc tự nhiên, các thế hệ mới
luôn được sinh ra để bổ sung, thay thế thế hệ cũ. Cá thể nào phát triển hơn,
thích ứng hơn với môi trường sẽ tồn tại. Cá thể nào không thích ứng với môi
trường sẽ bị đào thải. Sự thay đổi của môi trường là động lực thúc đẩy quá
trình tiến hóa. Ngược lại, quá trình tiến hóa cũng tác động ngược lại làm thay
đổi môi trường.


2
Các cá thể mới được sinh ra trong quá trình tiến hóa nhờ sự lai ghép ở
thế hệ cha-mẹ. Một cá thể mới có thể mang những tính trạng của cha-mẹ (di
truyền), cũng có thể mang những tính trạng hoàn toàn mới (đột biến). Di
truyền và đột biến là hai cơ chế có vai trò quan trọng như nhau trong quá trình
tiến hóa, dù rằng đột biến xảy ra với xác xuất nhỏ hơn nhiều so YỚi hiện tượng
di truyền. Các thuật toán tiến hóa tuy có những điểm khác biệt, nhưng tất cả
đều mô phỏng bốn quá trình cơ bản: lai ghép, đột biến, sinh sản và chọn lọc tự
nhiên.
Với những khả năng tiềm tàng của giải thuật tiến hóa. Luận văn sẽ tập
trung nghiên cứu xây dựng giải thuật tiến hóa để giải quyết bài toán tối ưu đa
mục tiêu.

2. Mục đích nghiên cứu
Nghiên cứu bài toán tối ưu đa mục tiêu và một số phương pháp giải bài
toán tối ưu đa mục tiêu.
Nghiên cứu giải thuật tiến hóa trong đó có giải thuật di truyền.
Nghiên cứu xây dựng giải thuật di truyền trong giải bài toán tối ưu đa
mục tiêu.
Cài đặt chương trình giải quyết một bài toán ứng dụng tối ưu đa mục
tiêu.
3. Đối tượng và phạm vỉ nghiên cứu
Nghiên cứu bài toán tối ưu đa mục tiêu và một số phương pháp giải bài
toán tối ưu đa mục tiêu.
Nghiên cứu giải thuật tiến hóa trong đó có giải thuật di truyền.
Nghiên cứu xây dựng giải thuật di truyền trong giải bài toán tối ưu đa
mục tiêu.
4. Phương pháp nghiên cứu
- Nghiên cứu lý thuyết kết hợp với cài đặt thực nghiệm.


3
5. Ý nghĩa khoa học của đề tài
Hệ thống các kiến thức về tối ưu đa mục tiêu và giải thuật di truyền,
nghiên cứu ứng dụng giải thuật di truyền giải bài toán tối ưu hóa đa mục tiêu.


4
CHƯƠNG 1
CÁC KIẾN THỨC C ơ BẢN VỀ TỐI ư u ĐA MỤC TIÊU
1.1 Quan hệ thứ tự trong không gian
Trong Toán học, quan hệ hai ngôi là sự kết hợp hai phần tử bất kỳ trong
cùng một tập hợp hoặc YỚi các phàn tử của tập hợp khác. Quan hệ hai ngôi

được sử dụng trong nhiều nhánh khác nhau của toán học như trong số học ta
có các quan hệ: lớn hơn hoặc bằng, bằng... Trong hình học ta có các quan hệ:
đồng dạng, đối xứng, song song,... Trong lý thuyết đồ thị ta có các quan hệ:
kề nhau, liên thông,...Quan hệ hai ngôi cũng được sử dụng trong khoa học
máy tính, nhất là trong các mô hình quan hệ cơ sở dữ liệu như: các quan hệ:
một - nhiều, nhiều - nhiều.
Trong lý thuyết tối ưu nhiều mục tiêu quan hệ thứ tự hai ngôi có ý
nghĩa rất quan trọng trong việc đưa ra các khái niệm về nghiệm tối ưu. Thông
qua các khái niệm này ta lựa chọn nghiệm nào là nghiệm tốt nhất cho bài
toán.
1.2 Các định nghĩa
Xuất phát từ khái niệm tích Đe-cát của hai tập hợp các cặp có thứ tự
của hai tập hợp А, в bất kỳ
A x B = ị ị a , b ) l я e A , b G i?j
Một cách tổng quát, một quan hệ n ngôi là một tập họp bất kỳ của các
bộ n-thứ tự từ n tập hợp
Chúng ta chỉ xét trường hợp đơn giản nhất là quan hệ hai ngôi trên một
tập hợp. Điều này có nghĩa là tập hợp của cặp có thứ tự, ứng với các phàn tử
của mỗi tập là thuộc cùng một tập A.
Định nghĩa 1.1: Quan hệ hai ngôi trên tập A là tập con R của AxA. Ta
gọi đơn giản là quan hệ hai ngôi


5
Ký hiệu: aRb hoặc R[a,b) hoặc (a,b) e R gọi là “ a R- quan hệ b”
Ví dụ 1.1: Xét tập hợp s = {1,2,3,4,5} thì quan hệ “<” là tập hợp các
cặp thứ tự: {(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)}
Quan hệ hai ngôi R tương ứng với hàm đặc trưng
PR :A x B —>ịTrue,FalseỊ
Định nghĩa 1. 2: Quan hệ ngược là một quan hệ 2 ngôi R:AxB được

xác định:
R -l := {(b, a)|(a, b)e R}.
Ví dụ 1.2: <-1 = {(b, a) I a < b} = {(b, a) Ib > a} = >.
Ví dụ 1.3: Nếu xét quan hệ R: “Người” X “ăn” được định nghĩa bởi:
a Rb o a ầ n b ,
b R- 1 a <=>bûlì được ăn bởi a
Định nghĩa 1. 3: Cho R là một quan hệ 2 ngôi trên tập A, khi đó R gọi là:
i) Phản xạ nếu (a, a) 6 R, Va 6 A ( hoặc là a V A (aRa) )
Ví dụ 1.4: Các quan hệ =, 'có cùng tính chất toán học’,
<=, >=, Œ, =>, ... là phản xạ
ii) Phi phản xạ nếu (a, a) Ể R, Va E A hoặc là VaeA ( -ßRa )
Ví dụ 1.5: Quan hệ <, >, ‘có tính chất toán học khác nhau’, c là phi
phản xạ.
iii)Đối xứng nếu Va, b 6 A sao cho (a, b) 6 R =* (b, a) 6 R
Ví dụ 1.6: Quan hệ “ = ” là đối xứng.
iv)

Phản xứng nếu Va, b 6 A sao cho (a, b) E R = ) (b, a) Ề R

Ví dụ 1.7: Quan hệ “ < ” là phản xứng.
v) Phi đối xứng nếu Va, b G A sao cho (a, b) E R và (b, a) E R => a = b
Ví dụ 1.8: các quan hệ “ >, <, ÇZ, =” là Phi đối xứng
vi) Bắc cầu nếu Va, b, с E A sao cho (a, b) G R rà (b, c)E R = > (а, с) E R


6
Ví dụ 1.9: Quan hệ “ >, <, >, = “ là bắc cầu.
vii) Phủ định bắc cầu nếu Va, b, с E A sao cho (a, b) Ể R và (b, c ) Ể R
=> (a, c ) Ế R
Ví dụ 1.10: Nếu “ chó sói ăn cừu ” và “ cừu ăn cỏ ” nhưng “ sói không

ăn cỏ ” thì quan hệ “ ăn ” là phủ định và bắc cầu
viii) Phản bắc cầu nếu: Va, b, с : aRb A bRc => - ,aRc
Ví dụ 1.11: Nếu “ A quen B” và “ в quen C” nhưng “ A chưa chắc
quen C” thì quan hệ “ quen” là phản bắc cầu
ix) Liên hợp nếu V a, b eA sao cho a^b=>(a,b)eR hoặc (b,a)eR
Ví dụ 1.12: Cho A là tập các số chẵn thì quan hệ chia hết là lien hợp.
x) Liên hợp mạnh nếu Va, b e A=>(a,b) e R hoặc (b,a) e R
Ví dụ 1.13: Cho A=N. Thì quan hệ <, >,... là liên hợp mạnh.
Định lý 1.1: R là đối xứng khi và chỉ khi R= R- 1
Chủng minh:
=> Giả sử R là đối xứng. Thì: (x,y)eR <=>(y,x) eR <=>(x,y) eiỉ-1
<= Giả sử R = R - l Thì: (x,y) eR <^>(x,y) gR - ỉ <^>(y,x) eR
Định nghĩa 1.4: Cho R là một quan hệ 2 ngôi trên A khi đó:
i) R được gọi là quan hệ tương đương nếu R có tính chất phản xạ, đối
xứng và bắc càu.
ii) R được gọi là tiền thứ tự nếu R có tính chất phản xạ và bắc cầu.
Ví dụ 1.14: =; “các tập tương đương”; “chia hết”; mod...
Trong trường hợp quan hệ R là tiền thứ tự thì cặp (A,R) được gọi là tập
tiền thứ tự. Để tiện ta thay đổi quan hệ R là

Do đó ta quy ước viết:

a < b thay cho (a, b) G <
a =£ b thay cho (a, b) £ <
với bất kỳ một quan hệ =* là tiền thứ tự nào thì cũng có quan 2 quan hệ
khác mà ta định nghĩa chúng như sau:


7
x < y » x * < ỵ r à y ỉ x (1.1)

x~y<=^x^yrổy^x

(1.2)

Mệnh đề 1.1: Cho < là một tiền thứ tự trên tập A. Khi đó:
• Quan hệ -< định nghĩa trong (1.1) là phi phản xạ và bắc cầu.
• Quan hệ ~ định nghĩa trong (1.2) là quan hệ tương đương.
Mệnh đề 1.2:
• Một quan hệ hai ngôi phản xứng là phi phản xạ.
• Một quan hệ hai ngôi bắc cầu và phi phản xạ là phản xứng.
Định nghĩa 1.5: Một quan hệ hai ngôi < trên A là:
i)Tiền thứ tự tổng quát nếu < là phản xạ, bắc cầu và liên hợp.
ii)

Thứ tự tổng quát nếu < là tiền thứ tự tổng quát phi đối xứng. Như

quan hệ < đối với số nguyên là thứ tự tổng quát.
iii) Thứ tự yếu chặt nếu < là phản xứng và phủ định bắc cầu.
Mệnh đề 1.3:


Nếu < là tiền thứ tự tổng quát trên A, khi đó quan hệ -Nếu < là thứ tự yếu chặt trên A, khi đó < định nghĩa bởi:
X =< y

X < y hoặc ( x < y v ầ y < x )(1.3) là tiền thứ tự tổng.

Định nghĩa 1.6: Quan hệ hai ngôi < được gọi là thứ tự từng phần nếu
là phản xạ, bắc cầu và phi đối xứng.
Định nghĩa 1.7: Quan hệ hai ngôi < được gọi là thứ tự từng phần chặt

nếu =* là phản xứng và bắc càu ( hoặc =* là phi phản xạ và bắc càu )
Trong luận văn này chúng ta sử dụng quan hệ thứ tự trên không gian
EuclidRn.
Khi đó ta có một số thứ tự trên Rn.


8

Kí hiêu


Định nghĩa

Tên gọi
Thứ tự từng phân yêu

X
Nêu xỉ < y i với i= l,..,n

X
Neu xỉ
X « y

Neu xỉ < yỉ với ỉ= l ,..,n

Thứ tự từng phàn chặt


X —Lex y

Nếu x k < y k hoặc X = y

Thứ tự tự điển

X Sdoy

Neu maxi=l,...,n{xi}<

Maxthứ tự.

x±y

Thứ tự từng phàn

maxi=l,...,n{ yi}

Định nghĩa 1.8: Một tập con K QRn được gọi là nón nếu:
fix E K với mọi X EKvầJ3 6R ,fi > 0
Ví dụ 1.15: K=R2+ ={x eR2\Xi>0,1=1,2} là nón
Định nghĩa 1.9: Nón k trong Rn gọi là:
Không tàm thường nếu K Ỷ 0 và K Ỷ R n
Lồi nếu ơXj + (1 - ax2) E K với mọi xh x2 E K và 0 < a < 1
Nhọn nếu K n (~k) (={0}
Mệnh đề 1.4: Cho một quan hệ thứ tự < trên Rn, ta định nghĩa tập:
= {y - X \X

Khi đó


nón.

Chứng minh:
Cho u Ể Â ^k h i đó: u = y - X với X, y E R n
X =} fix
>0

Do đó: fiu =fi(x - y) =fix - f i y E K ^ y ở i fi >0
Định lý 1.2 : Cho =* một quan hệ 2 ngôi trên Rn là phép nhân vô hướng.
Khi đó:
i)

0 E K ^ nếu < là Phản xạ

ii)

K ^ ỉồ i nếu < là Bắc cầu

iii)

K< nhọn nếu < là Phi đối xứng


9
Chứng minh'.
(i): Giả sử quan hệ: =* là Phản xạ
Khi đó: X

với X ERn = ^x - X = 0 E K <


(ii): Giả sử quan hệ < là Bắc cầu và Cho u, r Eк <
Nên: и - 0 € K ^ và 0 —r E - K <
Điều này có nghĩa là: о < и và - r < 0. Mà < là Bắc cầu => - r < и
Do đó: и - r = и + r GК tức là к lồi
(iii): Giả sử ta có о ф и E K <
Thì и = y —X GК < và - и = X - у
Do о фи nên X <у và y

với X, у GRn

nhưng X фу. Điều này vô lý.

Định nghĩa 1.10: Cho к là nón. Ta định nghĩa thứ tự theo nón
x ^ Ky<=^y —x € K

là:

(112)

Mệnh đề 1.5: Cho к là nón và thứ tự theo nón =*K trong (1.12) là phép
nhân vô hướng và cộng trong Rn. Hơn nữa:
i)

là phản xạ nếu 0 £ к

ii)



iii)

là phi đối xứng nếu К nhọn

C h ứ n g minh: Cho X, y, z E R n v ầ O < ß E R với X <к у . Ta có: у - X Е К

Do К là nón nèn:ß(x - y) E к =>ßx
Và X

ßy

nghĩa là: y - X = (z + y ) - (x + z)

Do đó: (z + y ) ^ K(x + z)
Cho* ERn. Khi ầóx - X = 0 E K <£=>x <'Kx
Cho X ^ Ky và y ^K z khi đó: y —X Gк và z - y EK
Do К loi nên: y - x + z - y = z - x € K =>x ^ Kz
(3) Cho X, y ERn với X <'Ky vàj; =*KX. Khi đó ta CÓ:
y - X E K v ầ x - y G K .y - X GK(-K) = {0}. Do đó: y = X


10
1.3.Bàỉ toán tối ưu đa muc tiêu
Có rất nhiều lớp khác nhau để biểu diễn cho bài toán tối ưu đa mục
tiêu. Trong phạm vi luận văn này ta sẽ biểu diễn bài toán tối ưu đa mục tiêu
dưới dạng sau: Minựi[x),...,fk (x)}

(i^), sao cho-. x
Trong đó:

x: là biến quyết định
X

= ỊxeM" /g .(x)<0;/ỉ .(jc) = 0,7 = l,...,p
f t : M" -> M với

Đặt: 7 =

=

i =1

là các hàm mục tiêu.

(*),...,/* (x))eR*| là không gian hàm mục tiêu.

KHỔNG GIAN OUYỂT ĐĨNH

KHỔNG GIAN MUC TIỂU

ĩx /
Hình 1.1. Mô phỏng bài toán tối ưu đa mục tiêu
Định nghĩa 1.11: Một nghiệm / e I
nghiệm lý tưởng nếu: f i ( x ) ^

của bài toán (Pi) được gọi là

e X , i = {1


Nói một cách khác một nghiệm mà nó thỏa mãn tất cả các hàm mục
tiêu cần tối ưu ứng YỚi miền chấp nhận được là X. Thực tế thì những nghiệm
như vậy rất ít tồn tại. Nếu đưa ra một số khái niệm khác về tối ưu có vẻ ‘ mềm
dẻo’ hơn đó là nghiệm tối ưu Pareto.


11
Định nghĩa 1.12: Một nghiệm x =(x1,x2,...,x ) được gọi là trội hơn

ị,- y _=((yl,y2,...,yn)\ w
' xx I
nghiệm
ký ị,-hiệu 1là:
r\ f i ( x ) ^ f i { y )

ie{l,



Định nghĩa 1.13: x =(xl,x2,...,x ) được gọi là nghiệm không trội hơn
nghiệm

y

=( y l , y 2, . . . , y ) nếu VxeX, không tồn tại y & x sao cho:

y>-x X

1.4. Các khái niêm tối ưu

1.4.1. Tối ưu pareto
Định nghĩa 1.14: Một nghiệm x ' e l được gọi là một nghiệm tối ưu
Pareto nếu không tồn tại một nghiệm xjtx* e X sao cho X trội hơn X*. Nghĩa
là: /( * ) < /( * ’)
Tính chất
i) Nếu x là nghiệm tối ưu Pareto thì / (x*) gọi là điểm hữu hiệu
ii)Nếu xl, x 2e X và f { x ) < f ( x 2) thì ta gọi * trội hơn X2 và / ( * ) trội
hơn f [ x 2)
iii)

Tập hợp tất cả các nghiệm tối ưu Pareto X* € X và tập các điểm hữu

hiệu y = f (jt*) GY làn lượt là: X ar và 7eff
Định nghĩa 1.15: Các định nghĩa tương đương khác.
X là nghiệm tối ưu Pareto nếu:
i) Không tồn tại một nghiệm Xe X sao cho: / (jc) trội hơn /(**)
ii) Không tồn tại một nghiệm x e X sao cho:

(x*) e -R* \{o}

iii) f ( x ) - f (x ) e RK\ { - < l ị o ị v . E l
iv) /( ;r ) n ( /( * ) - .R ,) = { /( * -)}
v) Khôngtồntại / ( x ) g / ( x ) \ ị / ( x ') Ị sao cho
vi) / (x) < / (x*) với X e X nghía là: f {x) =f (x* Ị


12

Hình 1.2a: Minh họa cho i, iv,v Hình 1.2b: Minh họa cho ỉi,ỉỉỉ
1.4.2. Nghiệm tối ưu Pareto chặt và yếu

Định nghĩa 1.16: Nghiệm X*E X được gọi là một nghiệm tối ưu yếu
Pareto nếu không tồn tại một nghiệm X € X sao cho:
f(x) « f(x*)i = {1, ... k}
Khi đó: Điểmy =f(x*) E Y gọi là điểm hữu hiệu yếu.
Tập nghiệm tối ưu Pareto yếu và tập các điểm hữu hiệu yếu làn lượt ký
hiệu là:
Xw-par và Yw-eff
Định nghĩa 1.17:
Nghiệm X* E X được gọi là một nghiệm tối ưu chặt Pareto nếu không
tồn tại một nghiệm X G X và X ^x*sao cho: f ( x ) < f(x* ).
Khi đó: Tập nghiệm tối ưu Pareto chặt ký hiệu là: x s.par
Từ định nghĩa ta nhận xét rằng:
Yeff
yY
*-s-par

Yw.ẹff
^*-par

r~ -**-w-par
y

Định nghĩa 1.18: Cho X c R n , một ánh xạ / : X —>R và X

EX. Khi đó:

L<(f(x))= { X E X If(x)

13

L = (f(x) )= { x E X \f(x) =f(x )} được gọi là mặt mức của/tại X
L<( f( x)) = L<(f(x~))\L=(f(x~)) = { x e x \ f ( x ) < f(x~)} được gọi là
tập mức chặt của / tại x
Nhận xét: Từ định nghĩa ta nhận thấy: L=(f(x )) cL < (f(x ))
Định lý 1.3 : Cho X* E X v ầ định nghĩayq = f q (x*) khi đó:
1) X* là nghiệm tối ưu Pareto chặt nếu và chỉ nếu:
fq=ìK W = K }
2) X* là nghiệm tối ưu Pareto nếu và chỉ nếu:

q=\

q= 1

k
3) X* là nghiệm tối ưu Pareto yếu nếu và chỉ nếu:
q =1

Chứng minh:
(1): “ X* là nghiệm tối ưu Pareto chặt ”
không tồn tại một nghiệm X 6 X và X Ỷ X* sao cho: /(x) < /(x*)
không tồn tại một nghiệm X E X và X ý: X* sao cho:
fq(x) < fq(x*) với tỉ =^’k
<^> không tồn tại một nghiệm X G X và X Ỷ X* sao cho:

q=l

q =1

(2) “ X* là nghiệm tối ưu pareto”
không tồn tại một nghiệm xeX sao cho

f qM < f q(* ) với q =l,k và với /. (*) < /. [x ) với j ={ì,...,k}
o không tồn tại một nghiệm xeX sao cho


14

* e f | 4 ( yq ) và X E Ì<(>>,) và j = {l.....Ả:}

« nq=\4 ( ^ ) = qn=1^ U )

1.4.3. Nghiệm tối ưu Pareto chính thường và điểm hữu hiệu chính thường
Theo định nghĩa tối ưu Pareto ta nhận thấy rằng nếu X* là một nghiệm
tối ưu Pareto thì nó không cho phép cải thiện giá trị của một hàm mục tiêu
trong khi vẫn duy trì giá trị của các hàm mục tiêu khác. Do đó để cải thiện
một hay nhiều giá trị của hàm mục tiêu này ta buộc phải làm “giảm” giá trị
của các hàm mục tiêu khác đã được chấp nhận mà ta gọi đây là sự thỏa hiệp.
Sự thỏa hiệp giữa các tiêu chuẩn này được đo bằng cách tính toán việc giảm
giá trị của hàm mục tiêu fj trên đơn vị tăng về mặt giá trị của hàm mục tiêu fj.
Định nghĩa 1.19: (Geoffrion 1986)
X* E X được gọi là tối ưu Pareto chính thường theo Geoffrion nếu X* là
nghiệm tối ưu Pareto và nếu có một số M > 0 sao cho: mỗi i rà V X G X thỏa
mãn /i(x) < /i(x*) và tồn tại một chỉ số j sao cho /j(x*) < /j (x). Hơn nữa:

Khi đó giá trị hàm mục tiêu đạt được tương ứng tại X* là: y* = /(x*)
gọi là điểm hữu hiệu chính thường.


15
Nhận xét: Một nghiệm tối ưu Pareto chính thường có biên thỏa hiệp
giữa tất cả các hàm mục tiêu.

k
Ta xét bài toán lồi sau đây: min ^ Ẳị/ị (*) (P2)
i= ì

Thì (P2) gọi là bài toán trọng tổng số.
Trong đó: Ải với i = 1, . . k là các trọng số không âm đối với các hàm
k
mục tiêu và y , Ậ = 1
i=1
Định lý 1.4 (Geoffrion 1968): Cho Ầ. >0 với i = 1,
với

*

k YỚi i=l,...,k

=1. Nêu X* là nghiệm tôi ưu Pareto của bài toán (P2) khi đó X* là

i=l

nghiệm tối ưu Pareto chính thường.
Chứng minh:
Cho X* là nghiệm tối ưu Pareto của bài toán (P2). Để thấy rằng X* là
nghiệm tối ưu Pareto ta giả sử rằng tồn tại xr £ X với /(xr) < /(x*)
Bi > 0 với i = 1, . . k và /i(xr) - /i(x*) hàm ý sự mâu thuẫn rằng:

/—1

z'=l


Để thấy rằng X* là nghiệm tối ưu Pareto chính thường, ta chọn một số
M thích hợp sao cho có một sự thỏa hiệp lớn hơn M dẫn đến sự mâu thuẫn vối
tính tối ưu của X* đối YỚi bài toán tổng trọng số.
Cho: M = ( Q - l ) m a x 4 ^

ij

i

Giả sử X* không là nghiệm tối ưu Pareto chính thường. Tức là tồn tại
một i và X E X sao cho
/ i (x*) < / i (x) và / i (x*) - /i(x) > M (/j'(x) - /j(x*)) vj sao cho: