ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC NGUYỄN THỊ BÍCH HẠNH TẬP LỒI ĐA DIỆN VÀ ỨNG DỤNG TRONG QUI HOẠCH TUYẾN TÍNH ĐA MỤC TIÊU LUẬN VĂN THẠC SĨ TOÁN HỌC Thái Nguyên 2015 Tai ngay!!! Ban co the xo[.]
ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC NGUYỄN THỊ BÍCH HẠNH TẬP LỒI ĐA DIỆN VÀ ỨNG DỤNG TRONG QUI HOẠCH TUYẾN TÍNH ĐA MỤC TIÊU LUẬN VĂN THẠC SĨ TOÁN HỌC Thái Nguyên - 2015 Tai ngay!!! Ban co the xoa dong chu nay!!! ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC NGUYỄN THỊ BÍCH HẠNH TẬP LỒI ĐA DIỆN VÀ ỨNG DỤNG TRONG QUI HOẠCH TUYẾN TÍNH ĐA MỤC TIÊU Chun ngành: Tố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: GS.TS TRẦN VŨ THIỆU Thái Nguyên - 2015 i Mục lục Danh sách ký hiệu iii Danh sách hình vẽ iv Mở đầu 1 Cấu trúc tập lồi đa diện 1.1 Tập lồi tập lồi đa diện 1.2 Hướng lùi xa tập lồi đa diện 1.3 Biểu diễn tập lồi đa diện 11 Nón pháp tuyến tập lồi đa diện 18 2.1 Nón pháp tuyến tập lồi 18 2.2 Nón pháp tuyến âm tập lồi đa diện 25 Phương pháp nón pháp tuyến 28 3.1 Bài tốn tối ưu đa mục tiêu tuyến tính 28 3.2 Thuật tốn nón pháp tuyến 32 3.2.1 Tìm đỉnh hữu hiệu ban đầu 33 3.2.2 Tìm đỉnh hữu hiệu cạnh hữu hiệu 34 3.2.3 Tìm diện hữu hiệu số chiều lớn 38 3.2.4 Tìm diện hữu hiệu (n -1) chiều 41 ii 3.2.5 3.3 Tập hữu hiệu R2 R3 41 Ví dụ minh họa 43 Kết luận 45 Tài liệu tham khảo 46 Phụ lục 47 iii Danh sách ký hiệu Rn : Không gian n chiều A ⊂ B : A tập B M ⊆ Rn : M tập Rn Rec A: Nón lùi xa A B(x, ε): Hình cầu tâm x bán kính ε dim A: Số chiều A rank A: Hạng A cone{a1 , a2 , a3 }: Nón sinh hệ véctơ {a1 , a2 , a3 } Nc (X): Nón pháp tuyến C x ri(A): Phần tương đối tập A | I | : Số phần tử I a ≥ b: Quan hệ không âm a > b: Quan hệ nửa dương a >> b: Quan hệ thực dương conv(X): Bao lồi tập X iv Danh sách hình vẽ 1.1 Tập A lồi, Tập B không lồi 1.2 Đường thẳng véctơ phương 1.3 Tập lồi không bị chặn hướng lùi xa 1.4 Biểu diễn tập đa diện qua đỉnh cạnh vô hạn (hướng cực biên) 17 2.1 Tập X nón X + 19 2.2 Minh họa Bổ đề 2.2 Mệnh đề 2.1 21 3.1 D1 D2 : x1 , x2 - đỉnh hữu hiệu, [x1 , x2 ] - cạnh hữu hiệu 29 3.2 Sơ đồ khối Thuật tốn 1: Tìm cạnh hữu hiệu kề x0 37 3.3 Sơ đồ khối Thuật tốn 2: Tìm diện hữu hiệu ` chiều kề x0 40 Hình 2.2 Nón cone {a1 , a2 , a3 } ⊂ R3 Mở đầu Tập lồi đa diện có tính chất đáng ý sử dụng rộng rãi lý thuyết ứng dụng, đặc biệt giải tích lồi tối ưu hóa Tập lồi đa diện dạng tập lồi có cấu trúc đơn giản biểu diễn thơng qua tập (hữu hạn) đỉnh cạnh Nhiều tốn tối ưu tuyến tính (một hay nhiều mục tiêu) giải hiệu nhờ khai thác cấu trúc tập lồi đa diện, đặc biệt cấu trúc đỉnh cạnh, diện, nón pháp tuyến Nón pháp tuyến mở rộng khái niệm véctơ pháp tuyến mặt cong trơn biết giải tích cổ điển nghiên cứu cấu trúc mặt cong tính tốn mặt cong Nón pháp tuyến tập lồi Minkowski (1911) đưa đầu tiên, sau Fenchel (1953) để xử lý đối tượng không trơn, tập lồi Rockafellar (1970) nghiên cứu có hệ thống nón pháp tuyến tập lồi Tiếp nghiên cứu mở rộng Morduhovic (1980) Clark (1983) xây dựng nón pháp tuyến qua véctơ pháp tuyến gần kề qua vi phân hàm Lipschitz Năm 2000, Nguyễn Thị Bạch Kim Đinh Thế Lục [5] đưa khái niệm nón pháp tuyến âm xây dựng điều kiện tối ưu cho toán qui hoạch đa mục tiêu tuyến tính theo ngơn từ nón pháp tuyến Từ đề xuất phương pháp nón pháp tuyến đơn giản để tìm diện nghiệm hữu hiệu tốn tối ưu đa mục tiêu tuyến tính Có thể nói nón pháp tuyến phương tiện khơng thể thiếu để thiết lập điều kiện tối ưu cho tốn tối ưu khơng trơn Sau học Giải tích lồi kiến thức tốn học có liên quan, với mong muốn tìm hiểu sâu kiến thức học, kiến thức mở rộng ứng dụng kiến thức này, chọn đề tài luận văn "Tập lồi đa diện ứng dụng qui hoạch tuyến tính đa mục tiêu" Luận văn có mục đích tìm hiểu, trình bày lại kết tập lồi đa diện ứng dụng kết xây dựng sở lý luận cho phương pháp nón pháp tuyến [5] giải tốn tối ưu đa mục tiêu tuyến tính Nội dung luận văn viết ba chương Chương "Cấu trúc tập lồi đa diện" trình bày kiến thức tập lồi, tập lồi đa diện khái niệm liên quan (đỉnh, cạnh diện tập lồi đa diện, nón lồi nón lồi đa diện, hướng lùi xa nón lùi xa, ) Tập lồi đa diện không bị chặn Tập lồi đa diện khác rỗng Chương "Nón pháp tuyến tập lồi đa diện" trình bày số kiến thức chuẩn bị nón pháp tuyến, nón pháp tuyến âm tập lồi đa diện điểm khái niệm liên quan tập chuẩn tắc tập chuẩn tắc âm Đồng thời giới thiệu kết nêu [5] làm sở lý luận cho phương pháp nón pháp tuyến tìm nghiệm hữu hiệu (tối ưu Paeto) tốn tối ưu đa mục tiêu tuyến tính Chương "Phương pháp nón pháp tuyến" trình bày chi tiết phương pháp nón pháp tuyến đề xuất [5] tìm đỉnh, cạnh diện nghiệm hữu hiệu toán tối ưu đa mục tiêu tuyến tính tập lồi đa diện cho trước Các thuật tốn mơ tả chi tiết diễn giải qua sơ đồ khối ví dụ minh họa: - Thuật tốn 1: Tìm cạnh hữu hiệu từ đỉnh hữu hiệu x0 biết - Thuật tốn 2: Tìm diện hữu hiệu ` chiều kề đỉnh hữu hiệu x0 biết - Thuật tốn 3: Tìm diện hữu hiệu (n - 1) chiều - Thuật tốn 4: Tìm tập điểm hữu hiệu R2 , R3 Do thời gian kiến thức hạn chế nên chắn luận văn cịn có thiếu sót định, kính mong q thầy bạn đóng gópý kiến để tác giả tiếp tục hoàn thiện luận văn sau Nhân dịp tác giả luận văn xin bày tỏ lòng cảm ơn sâu sắc tới GS TS Trần Vũ Thiệu, người tận tình giúp đỡ suốt trình làm luận văn Tác giả trân trọng cảm ơn giảng viên Trường Đại học Khoa học - Đại học Thái Nguyên, Viện Toán học - Viện Hàn lâm Khoa học Công nghệ Việt Nam tạo điều kiện thuận lợi trình học tập nghiên cứu Thái Nguyên, tháng 05 năm 2015 Tác giả Nguyễn Thị Bích Hạnh Chương Cấu trúc tập lồi đa diện Chương trình bày kiến thức tập lồi, tập lồi đa diện, nón lồi nón lồi đa diện Đặc biệt lưu ý khái niệm đỉnh, cạnh diện tập lồi đa diện, đặc trưng tập lồi đa diện không bị chặn, cách biểu diễn tập lồi đa diện qua đỉnh cạnh Nội dung chương tham khảo từ tài liệu [1], [2], [3] [4] 1.1 Tập lồi tập lồi đa diện Trước hết khái niệm liên quan tới tập afin Rn Định nghĩa 1.1 (Tập afin) Tập M ⊆ Rn gọi tập afin (affine set) ∀a, b ∈ M, λ ∈ R λa + (1 − λ)b ∈ M , tức M chứa hai điểm M chứa trọn đường thẳng qua hai điểm Một số tính chất tập afin: • Nếu M tập afin a + M = {a + x : x ∈ M } tập afin (a ∈ Rn ) • Giao họ tập afin tập afin • M ⊆ Rn tập afin M = {x ∈ Rn : Ax = b} với A ∈ Rm×n , b ∈ Rm 34 m P i=1 i µi a = p P λk ck , µi ≥ 0, i = 1, · · · , m, λk > 0, k = 1, · · · , p k=1 Nếu hệ vô nghiệm dừng: Bài tốn (VP) khơng có nghiệm hữu hiệu Trái lại, giả sử λ >> nghiệm Đặt v = C T λ Nếu v = dừng: Tập D hữu hiệu (tức x ∈ D nghiệm hữu hiệu) Còn v 6= 0, giải qui hoạch tuyến tính: {v T x : x ∈ D} Theo Hệ 3.3, tốn có nghiệm tối ưu, chẳng hạn đỉnh x0 , x0 đỉnh hữu hiệu ban đầu tốn (VP) 3.2.2 Tìm đỉnh hữu hiệu cạnh hữu hiệu Giả sử x0 đỉnh hữu hiệu Ký hiệu I(x0 ) = {i ∈ {1, · · · , m} : , x0 = bi } Bất kỳ tập I ⊂ I(x0 ) với |I| = n - {ai : i ∈ I} độc lập tuyến tính, xác định hướng v 6= từ hệ phương trình ak , x = 0, k ∈ I Theo Hệ 3.2 để biết cạnh từ x0 theo hướng v hữu hiệu ta cần kiểm tra: a) I tập chuẩn tắc âm hay theo Định nghĩa 2.6, nón sinh {−ai : i ∈ I} có chứa véctơ C - âm b) I tập chuẩn tắc hay theo Định nghĩa 2.4 Hệ 2.2, hệ i a , x = bi , i ∈ I i a , x ≥ bi , i ∈ {1, · · · , m} \ I có nghiệm x0 + tv với t > THUẬT TỐN 1: Tìm cạnh hữu hiệu từ đỉnh hữu hiệu x0 Bước (Khởi sự) Xác định tập số tích cực: I(x0 ) = {i ∈ {1, · · · , m} : , x = bi } Nếu |I(x0 )|= n, chuyển sang Bước Trái lại (|I(x0 )| > 0) chuyển sang Bước Bước (Đỉnh x0 không suy biến) Chọn tập I ⊂ I(x0 ) với |I| = n - (Có n tập) 35 1a) Kiểm tra I chuẩn tắc âm: Giải hệ X i∈I i µi a = p X λk ck , µi ≥ 0, k = 1, · · · , p (3.2) k=1 Nếu (3.2) vơ nghiệm chọn tập I ⊂ I(x0 ) khác (|I| = n - 1) quay lại thực 1a) Trái lại, I tập chuẩn tắc âm chuyển sang thực 1b) 1b) (Lúc I tập chuẩn tắc: Tìm cạnh hữu hiệu tương ứng) Tìm hướng v cạnh từ x0 cách giải hệ ak , v = 1, k ∈ I(x0 ) \ I, , v = 0, i ∈ I Đặt ti = max{t : , x0 + tv ≥ bi , t ≥ 0}, i ∈ {1, · · · , m} \ I, t0 = min{ti : i ∈ {1, · · · , m} \ I} 1c) Nếu < t0 < ∞ x0 + t0 v đỉnh hữu hiệu [x0 , x0 + t0 v] cạnh hữu hiệu kề x0 Lưu giữ đỉnh cạnh hữu hiệu trước chúng chưa lưu giữ Chọn tập I ⊂ I(x0 ) khác (|I| = n - 1) quay lại thực 1a) 1d) Nếu t0 = ∞ {x0 + tv : t ≥ 0} tia hữu hiệu Ghi lại kết Chọn tập I ⊂ I(x0 ) khác (|I| = n - 1) quay lại thực 1a) Bước (Đỉnh x0 suy biến) Chọn I ⊂ I(x0 ) với |I| = n - 2a) Nếu rank {ai : i ∈ I} = n − chuyến sang thực 2b) Trái lại, chọn tập I ⊂ I(x0 ) khác (|I| = n - 1) quay lại thực 2a) 2b) (Kiểm tra I chuẩn tắc âm giống Bước 1.a)): Giải hệ (3.2) Nếu (3.2) vơ nghiệm chọn tập I ⊂ I(x0 ) khác (|I| = n - 1) quay lại thực 2a) Trái lại, I tập chuẩn tắc âm chuyển sang thực 2c) 2c) (Kiểm tra I chuẩn tắc Nếu tìm cạnh hữu hiệu tương ứng): • Tìm hướng v 6= cạnh từ x0 nhờ giải hệ , v = 0, i ∈ I 36 • Tìm t nghiệm hệ , x0 + tv ≥ bi , i = 1, · · · , m Tập nghiệm t0 = 0, [t0 , 0] hay [0, t0 ] tùy thuộc t0 = 0, t0 < hay t0 > Có thể t0 = −∞ t0 = +∞ + Nếu t0 = D khơng có cạnh từ x0 theo phương v: I không tập chuẩn tắc Chọn tập I ⊂ I(x0 ) khác (|I| = n - 1) quay lại thực 2a) + Nếu t0 6= hữu hạn x0 + t0 v đỉnh hữu hiệu [x0 , x0 + t0 v] cạnh hữu hiệu Lưu giữ đỉnh cạnh hữu hiệu trước chúng chưa lưu giữ Chọn tập I ⊂ I(x0 ) khác (|I| = n - 1) quay lại thực 2a) + Nếu t0 vô hạn, chẳng hạn t0 = +∞, [x0 , tv : t ≥ 0] tia hữu hiệu Ghi lại kết Chọn tập I ⊂ I(x0 ) khác (|I| = n - 1) quay lại thực 2a) Thuật toán dừng tập I ⊂ I(x0 ), |I| = n - 1, xét Các bước Thuật toán diễn tả sơ đồ khối vẽ Hình 3.2 37 Hình 3.2: Sơ đồ khối Thuật tốn 1: Tìm cạnh hữu hiệu kề x0 38 Nhận xét 3.1 i) Do tập nghiệm hữu hiệu (VP) liên thông đường gấp khúc nên cách áp dụng thuật tốn nêu tìm tất đỉnh hữu hiệu tất cạnh hữu hiệu toán ii) Trong trường hợp suy biến ta tìm trước tập số tương ứng với cạnh, sau kiểm tra tính chuẩn tắc âm chúng Tuy nhiên, ta nên kiểm tra trước tính chuẩn tắc âm tập số đó, cách cho phép loại bỏ số tập số không tương ứng với cạnh hữu hiệu 3.2.3 Tìm diện hữu hiệu số chiều lớn Giả sử x0 đỉnh hữu hiệu toán (VP) [x0 , x0 + tj v j ], j = 1, · · · , k , cạnh hữu hiệu kề x0 với tj > Ở tiện, ta đặt tj = +∞ {x0 + tv j : t ≥ 0} tia hữu hiệu viết tia [x0 , x0 + tj vj ] Ký hiệu Ij ⊂ I(x0 ) tập (chỉ số) chuẩn tắc âm xác định cạnh hữu hiệu j, j = 1, , k Trước hết ta thấy số chiều lớn diện kề x0 {k, n−1} Với < ` ≤ min{k, n − 1} ta có thuật tốn sau THUẬT TỐN 2: Tìm diện hữu hiệu ` chiều kề x0 Bước (Khởi sự) Giống Bước Thuật tốn Tính I(x0 ) Nếu I(x0 ) = n, chuyển sang Bước Trái lại (|I(x0 |> n), chuyển sang Bước Bước (Đỉnh x0 không suy biến) Chọn tập J ⊆ K ≡ {1, · · · , k}, |J| = ` T xét tập I = j∈J Ij Do |Ij | = n − nên |I| = n - ` 1a) (Kiểm tra I chuẩn tắc âm) Giải hệ (3.2) với tập I Nếu (3.2) vô nghiệm, chọn tập J khác (J ⊆ K, |J| = ` quay lại thực 1a) Trái lại, I tập chuẩn tắc âm chuyển sang thực 1b) 1b) (Lúc chắn I tập chuẩn tắc) Diện ` chiều (xác định tập I) chứa conv {x0 , x0 + ti v i : i ∈ J} hữu hiệu Ghi lại kết Chọn tập J khác (J 39 ⊆ K, |J| = `) quay lại thực 1a) Bước (Đỉnh x0 suy biến) Chọn J ⊆ K ≡ {1, · · · , k} với |J| = ` 2a) Xét điểm xj = X x0 + λj v j x0 + , ` + j∈J ` + (3.3) λj = tj tj hữu hạn λj = tj = +∞ Xác định tập số tích cực I(xJ ) xJ Nếu rank {ai : i ∈ I(xJ )} < ` chọn tập J khác (J ⊆ K, |J| = `) quay lại thực 2a) Trái lại, chuyển sang thực 2b) 2b) Kiểm tra I(xJ ) chuẩn tắc âm) Giải (3.2) với I = I(xJ ) Nếu (3.2) vô nghiệm, chọn tập J khác (J ⊆ K, |J| = `) quay lại thực 2a) Trái lại, I(xJ ) chuẩn tắc âm chuyển sang thực 2c) 2c) (Tìm diện hữu hiệu ` chiều chứa cạnh [x0 , x0 + tj v j ], j ∈ J ) Xác định J0 = {j ∈ K : Ij ⊇ I(xJ )} (Rõ ràng J ⊆ J0 ) Bao lồi cạnh [x0 , x0 + tj v j ], j ∈ J0 chứa diện hữu hiệu ` chiều mà ta tìm (Mệnh đề 2.4) Chọn tập J khác, không chứa J0 (J ⊆ K, |J| = `), quay lại thực 2a) Thuật toán dừng tập J ⊆ K, |J| = `, xét Các bước Thuật toán thể sơ đồ khối vẽ Hình 3.3 Nhận xét 3.2 Áp dụng Thuật toán ta tìm diện hữu hiệu tối đại kề đỉnh hữu hiệu cho trước, theo nghĩa diện hữu hiệu không nằm diện hữu hiệu có số chiều lớn 40 Hình 3.3: Sơ đồ khối Thuật tốn 2: Tìm diện hữu hiệu ` chiều kề x0 41 3.2.4 Tìm diện hữu hiệu (n -1) chiều Nếu lý mà ta cần tìm diện nghiệm hữu hiệu (n - 1) chiều ta áp dụng thuật toán đơn giản (dựa Hệ 3.5) sau THUẬT TOÁN Giải m hệ (3.2), hệ tương ứng với I = {i}, i = 1, · · · , m a) Nếu với i ∈ {i = 1, · · · , m} (3.2) có nghiệm diện xác định hệ i a , x = bi , aj , x ≥ bj , ∀j ∈ {i = 1, · · · , m} \ i diện hữu hiệu (n - 1) chiều b) Trái lại, tốn (VP) khơng có diện nghiệm hữu hiệu (n - 1) chiều 3.2.5 Tập hữu hiệu R2 R3 Đôi ta cần tìm tập hữu hiệu tập lồi đa diện D bị chặn (tức đa diện lồi) R2 R3 Tập tương ứng với tập nghiệm hữu hiệu toán (VP) với C ma trận đơn vị Khi đó, ta áp dụng trực tiếp thuật tốn hiệu sau • Trường hợp D ⊆ R2 Biểu diễn a1 , · · · , am tọa độ cực = (|ai |, θi ), i = 1, · · · , m Bằng cách đánh số lại cần, ta giả thiết < θ1 < θ2 < · · · < θk < 21 π ≤ θk+1 ≤ · · · ≤ θm ≤ 2π Rõ ràng a1 , · · · , ak véctơ dương theo Hệ 3.5 véctơ xác định nên cạnh hữu hiệu Hơn nữa, cặp {m, 1}, {1, 2}, , {k, k + 1} tập chuẩn tắc âm Vì theo Hệ 3.1, chúng xác định tất diện hữu hiệu - chiều (đỉnh) D Ký hiệu Mi giao điểm hai đường thẳng 42 i a , x = bi , ai+1 , x = bi+1 , i = 0, 1, · · · , k, a0 = am , b0 = bm Khi đó, tập hữu hiệu D k S [di , di+1 ] i=0 • Trường hợp D ⊆ R3 Nếu dim D = D có diện hữu hiệu với số chiều 0, Ta biết x0 ∈ D điểm hữu hiệu lý tưởng (ideal efficient point) x0 ≤ x với x ∈ D Có thể thấy D khơng có điểm hữu hiệu lý tưởng D có diện hữu hiệu với số chiều THUẬT TOÁN Xác định tập tất điểm hữu hiệu D ⊆ R3 Bước (Kiểm tra D có điểm hữu hiệu lý tưởng) Giải qui hoạch tuyến tính ei , x : x ∈ D với i = 1, 2, 3, e1 = (1, 0, 0)T , e2 = (0, 1, 0)T , e3 = (0, 0, 1)T giả sử x∗1 , x∗2 , x∗3 giá trị cực tiểu thu 1a) Nếu x∗ (x∗1 , x∗2 , x∗3 )T ∈ D x∗ điểm hữu hiệu lý tưởng D điểm hữu hiệu D 1b) Trái lại, chuyển sang Bước Bước Phân hoạch tập số {1, , m} thành I1 , I2 , I3 với I1 = {i : 0}, I3 = {i : 0}, I2 = {1, , m} \(I1 ∪ I3 ) 2a) Nếu I1 = ∅ khơng có diện hữu hiệu - chiều Chuyển sang Bước để tìm diện hữu hiệu chiều 2b) Trái lại, , i ∈ I1 xác định diện hữu hiệu chiều từ hệ phương trình i a , x = bi , aj , x ≥ bj , ∀j ∈ {1, , m} \ {i} Chuyển sang Bước để tìm diện hữu hiệu chiều hơn, khơng kể diện hữu hiệu chiều vừa tìm 43 Bước Chọn i, j∈ I2 3a) (Kiểm tra {i, j} chuẩn tắc âm) Giải hệ tai + (1 − t) aj 0, ≤ t ≤ Nếu hệ có nghiệm {i, j} chuẩn tắc âm Chuyển sang thực 3b) Trái lại, {i, j} không chuẩn tắc âm Chọn cặp khác i, j∈ I2 quay lại thực 3a) 3b) Kiểm tra {i, j} chuẩn tắc Xây dựng tập ∆ij = {x ∈ D : , x = bi , aj , x ≥ bj } • Nếu ∆ij = ∅ ∆ij điểm {i, j} khơng chuẩn tắc Chọn cặp i, j ∈ I2 khác quay lại thực 3a) • Trái lại, ∆ij đoạn thẳng cạnh hữu hiệu Lưu giữ cạnh Chọn cặp i, j khác ∈ I2 quay lại thực 3a) Nhận xét Theo Hệ 3.6, Bước tạo toàn tập hữu hiệu D, diện hữu hiệu khác D nằm diện tìm hai bước 3.3 Ví dụ minh họa Sau số ví dụ minh hoạ thuật tốn nón pháp tuyến Ví dụ 3.1 ([5], tr 122) Giải toán −x1 − x2 − 0, 25x3 với điều kiện x ∈ D M in x1 + x2 + 1, 5x3 D = {x ∈ R3 |2x1 + x2 + 2x3 ≥ 2, x1 + 2x2 + x3 ≥ 2, − x1 − x2 − x3 ≥ −6, x1 , x2 , x3 ≥ 0} Kết thu diện hữu hiệu - chiều, xác định tập I(F) = Diện hữu hiệu chứa • đỉnh hữu hiệu: 44 x1 = (0.67, 0.67, 0) ; x2 = (2, 0, 0) ; x3 = (0, 2, 0) ; x4 = (6, 0, 0) ; x5 = (0, 6, 0) • cạnh hữu hiệu x1 , x2 , x1 , x3 x2 , x4 , x3 , x5 , x4 , x5 Ví dụ 3.2 ([5], tr 123) Giải toán −x1 + 100x2 + 0x3 Min −x1 − 100x2 + 0x3 0x1 + 0x2 − 1x3 với điệu kiện x ∈ D D = {x ∈ R3 : x1 + 2x2 + 2x3 ≤ 10, 2x1 + x2 + 2x3 ≤ 10, 5x1 + 5x2 + 6x3 ≤ 30, x1 , x2 , x3 ≥ 0} Kết thu diện hữu hiệu - chiều F1 , F2 , F3 xác định tập số I (F1 ) = {1} , I (F2 ) = {2} , I (F3 ) = {3} • Diện F1 có đỉnh x2 = (2, 4, 0)T , x4 = (0, 0, 5)T , x5 = (0, 5, 0)T cạnh x2 , x4 , x2 , x5 x4 , x5 • Diện F2 có đỉnh x1 = (4, 2, 0)T , x3 = (5, 0, 0)T , x4 = (0, 0, 5)T cạnh x1 , x3 , x1 , x4 x3 , x4 • Diện F3 có đỉnh x1 = (4, 2, 0)T , x2 = (2, 4, 0)T , x4 = (0, 0, 5)T cạnh x1 , x2 , x1 , x4 x2 , x4 Tóm lại, chương trình bày chi tiết phương pháp nón pháp tuyến tìm tập đỉnh, cạnh diện hữu hiệu toán tối ưu đa mục tiêu tuyến tính Cụ thể: Thuật tốn 1: Tìm cạnh hữu hiệu từ đỉnh hữu hiệu x0 Thuật toán 2: Tìm diện hữu hiệu ` chiều kề đỉnh hữu hiệu x0 Thuật tốn 3: Tìm diện hữu hiệu (n - 1) chiều Thuật tốn 4: Tìm tập điểm hữu hiệu R2 , R3 (khi C ma trận đơn vị) 45 Kết luận Luận văn trình bày khái quát kết chủ yếu lý thuyết tập lồi đa diện giới thiệu ứng dụng kết xây dựng sở lý luận cho phương pháp nón pháp tuyến [5] tìm đỉnh, cạnh diện hữu hiệu tốn tối ưu đa mục tiêu tuyến tính Luận văn đề cập tới số nội dung cụ thể sau Kiến thức tập lồi, tập lồi đa diện khái niệm có liên quan Tập lồi đa diện không bị chặn đặc trưng hướng cực biên lùi xa, tương ứng với cạnh vô hạn Tập lồi đa diện khác rỗng hoàn toàn xác định biết đỉnh cạnh vơ hạn (hướng cực biên) Kiến thức chuẩn bị nón pháp tuyến, nón pháp tuyến âm tập lồi đa diện điểm khái niệm kết có liên quan tập chuẩn tắc, tập chuẩn tắc âm làm sở lý luận cho phương pháp nón pháp tuyến tìm nghiệm hữu hiệu toán tối ưu đa mục tiêu tuyến tính Nội dung chi tiết phương pháp nón pháp tuyến [5] tìm đỉnh, cạnh diện hữu hiệu toán tối ưu đa mục tiêu tuyến tính, tập lồi đa diện Có thể xem bước tìm hiểu ban đầu phương pháp nón pháp tuyến giải tốn tối ưu đa mục tiêu tuyến tính Tác giả luận văn hy vọng có dịp tìm hiểu sâu phương pháp khác tìm nghiệm hữu hiệu tốn tối ưu đa mục tiêu tuyến tính phi tuyến 46 Tài liệu tham khảo Tiếng Việt [1] Nguyễn Thị Bạch Kim (2014), Giáo trình phương pháp tối ưu: Lý thuyết thuật toán, NXB Bách Khoa Hà Nội [2] Trần Vũ Thiệu, Nguyễn Thị Thu Thủy (2011), Giáo trình tối ưu phi tuyến, NXB Đại học Quốc gia Hà Nội Tiếng Anh [3] Bazara M.S et al (2006), Nonlinear Programming: Theory and Algorithms 3rd Edition, A John Willey and Sons, Inc, Publication [4] Griffin C (2012), Linear Programming: Penn State Math 484, Lecture Notes (Version 1.8.2.1) [5] Kim N.T.B and Luc D.T (2000), "Normal Cone to a Polyhedral Convex Set and Generating Efficient Faces in Linear Multi - Objective Programming", Acta Mathe-matica Vietnamica, Vol 25, N 1, pp 101 - 124 [6] Tuy H (1998), Convex Analysis and Global Optimization, Kluwer Academic Publishers, Boston/ London/ Dordrecht (Chapters and 2, pp - 81) 47 Phụ lục MỘT SỐ THUẬT NGỮ ĐÃ SỬ DỤNG Bao afin (Định nghĩa 1.2) Bao lồi (Định nghĩa 1.5) Cạnh tập lồi đa diện (Định nghĩa 1.18) Cạnh hữu hiệu (Định nghĩa 3.1) Diện tập lồi (Định nghĩa 1.14) Diện (nghiệm) hữu hiệu (Định nghĩa 3.1) Điểm biên tập (Định nghĩa 1.16) Điểm cực biên tập lồi (Định nghĩa 1.15) Đỉnh tập lồi đa diện (Định nghĩa 1.15) Đỉnh hữu hiệu (Định nghĩa 3.1) Đỉnh kề (Định nghĩa 1.18) Đỉnh không suy biến, đỉnh suy biến (Định nghĩa 1.17) Đường thẳng (Định nghĩa 1.9) Hình cầu (Định nghĩa 1.16) Hướng cực biên (Định nghĩa 1.19) Hướng lùi xa (Định nghĩa 1.12) Nghiệm hữu hiệu (Định nghĩa 3.1) Nghiệm hữu hiệu lý tưởng (Định nghĩa 3.2) Nghiệm hữu hiệu yếu (Định nghĩa 3.2) 48 Nón đối cực dương (Định nghĩa 2.1) Nón lồi (Định nghĩa 1.11) Nón lồi đa diện (Định nghĩa 1.11) Nón lùi xa (Định nghĩa 1.13) Nón pháp tuyến (Định nghĩa 2.3) Nón pháp tuyến âm (Định nghĩa 2.6) Nón sinh hệ véctơ (Định nghĩa 2.2) Nửa khơng gian đóng (Định nghĩa 1.7) Siêu phẳng (Định nghĩa 1.5) Tập afin (Định nghĩa 1.1) Tập chuẩn tắc (Định nghĩa 2.4) Tập chuẩn tắc âm (Định nghĩa 2.6) Tập lồi (Định nghĩa 1.4) Tập đa diện hay tập lồi đa diện Định nghĩa 1.8) Tia (Định nghĩa 1.10) Thứ nguyên (số chiều) tập afin (Định nghĩa 1.3) Thứ nguyên (số chiều) tập lồi (Định nghĩa 1.4) Tổ hợp lồi (Định nghĩa 1.5) Tổ hợp lồi chặt (Định nghĩa 1.5) Véctơ C - âm (Định nghĩa 2.5) Véctơ C - dương (Định nghĩa 2.5)