Đối ngẫu trong quy hoạch phân thức đa mục tiêu

40 8 0
Đối ngẫu trong quy hoạch phân thức đa mục tiêu

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN LÊ NGỌC BIÊN ĐỐI NGẪU TRONG QUY HOẠCH PHÂN THỨC ĐA MỤC TIÊU Chuyên ngành : TOÁN GIẢI TÍCH Mã số: 60 46 01 02 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 Hà Nội- 2015 Mục lục MỞ ĐẦU KIẾN THỨC CHUẨN BỊ 1.1 Tập lồi tập đa diện lồi 1.2 Hàm lồi hàm phân thức afin 1.3 Hàm liên hợp 10 1.4 Bài toán tối ưu đa mục tiêu 11 ĐỐI NGẪU TRONG QUY HOẠCH PHÂN TUYẾN TÍNH 13 2.1 Bài tốn quy hoạch phân tuyến tính 13 2.2 Bài toán đối ngẫu 14 2.3 Định lý đối ngẫu 15 2.4 Ví dụ minh họa 19 QUY HOẠCH PHÂN THỨC ĐA MỤC TIÊU 3.1 21 Bài toán gốc tốn tham số hóa 21 3.1.1 Bài toán gốc 21 3.1.2 Tham số hóa theo Dinkelbach 22 3.2 Đối ngẫu Fenchel-Lagrange tốn vơ hướng 24 3.3 Đối ngẫu Fenchel-Lagrange đa mục tiêu 27 3.4 Ví dụ 35 KẾT LUẬN 38 TÀI LIỆU THAM KHẢO 38 MỞ ĐẦU Lý thuyết đối ngẫu toán tối ưu, với hay nhiều hàm mục tiêu, chủ đề quan trọng lý thuyết tối ưu hóa Lý thuyết đối ngẫu tốn tối ưu với hàm mục tiêu hàm phân thức (tỉ số hai hàm số) phát triển mạnh mẽ vài chục năm gần Wolfe (1991), Weir - Mond (1989), Nakayama (1984), Jahn (1983) Wanka - Bot (2002) Trường hợp tối ưu phân thức Charnes Cooper ([6], 1962) nghiên cứu cho hàm mục tiêu phân tuyến tính Dinkelbach ([7], 1967) mối liên hệ toán phân thức tốn tham số hóa Schaible ([9], 1976) đưa phép biến đổi cho phép xử lý toán phân thức Đáng ý Wanka Bot [10] đưa đối ngẫu liên hợp dựa cách tiếp cận nhiễu Sau tác giả [4], [5] nghiên cứu quan hệ khái niệm đối ngẫu qui hoạch phân thức Bot R I., Charesy R Wanka G ([3], 2006) xét quan hệ đối ngẫu cho lớp toán tối ưu phân thức đa mục tiêu cụ thể toán với nhiều hàm mục tiêu, mục tiêu tỉ số hàm lồi hàm lõm Trên thực tế, kiểu toán tạo lớp riêng có đặc điểm tốn nói chung khơng lồi Kaul Lyall ([8], 1989) xây dựng toán đối ngẫu kết đối ngẫu cho toán tối ưu phân thức đa mục tiêu, với giả thiêt hàm khả vi Ohlendorf Tammer (1994) đưa đối ngẫu kiểu Fenchel cho toán tối ưu véctơ với hàm mục tiêu phân thức Để phát triển kiến thức giải tích học, chúng tơi chọn đề tài luận văn: "Đối ngẫu toán tối ưu phân thức đa mục tiêu" Mục đích luận văn tìm hiểu trình bày số kết có đối ngẫu toán qui hoạch phân thức, cụ thể đối ngẫu quy hoạch phân tuyến tính mục tiêu đối ngẫu toán quy hoạch phân thức đa mục tiêu không lồi Luận văn viết dựa chủ yếu tài liệu tham khảo [1] - [3] [7] Nội dung luận văn gồm ba chương • Chương “Kiến thức chuẩn bị”nhắc lại kiến thức tập lồi, tập lồi đa diện tính chất tập này; nhắc lại khái niệm hàm lồi, hàm afin tính chất đáng ý hàm afin, hàm liên hơp giới thiệu toán tối ưu đa mục tiêu số khái niệm có liên quan • Chương "Đối ngẫu quy hoạch phân tuyến tính"trình bày tốn quy hoạch phân tuyến tính gốc đối ngẫu, kết lý thuyết đối ngẫu quy hoạch phân tuyến tính, tương tự quy hoạch tuyến tính Cuối chương nêu số ví dụ minh họa • Chương "Quy hoạch phân thức đa mục tiêu" trình bày cách tiếp cận tham số Dinkelbach ([7]) để đặt tương ứng toán ban đầu (gọi toán gốc) với toán tối ưu lồi, đa mục tiêu trung gian Sau vơ hướng hóa toán đa mục tiêu trung gian xây dựng toán đối ngẫu đa mục tiêu tương ứng Trình bày kết tính đối ngẫu yếu, đối ngẫu mạnh đối ngẫu đảo cặp tốn đối ngẫu Từ cho phép nhận đặc trưng đối ngẫu nghiệm hữu hiệu toán tối ưu phân thức đa mục tiêu ban đầu 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 này, tác giả luận văn xin bày tỏ lòng biết ơn sâu sắc tới GS.TS Trần Vũ Thiệu, tận tình giúp đỡ suốt trình làm luận văn Tác giả chân thành cảm ơn thầy giáo, cô giáo Trường Đại học Khoa học Tự nhiên - Đại học Quốc gia Hà Nội, nhiệt tình giảng dạy tạo điều kiện thuận lợi trình tác giả học tập nghiên cứu Khoa Toán - Cơ - Tin học nhà trường Chương KIẾN THỨC CHUẨN BỊ Chương nhắc lại số kiến thức tập lồi, tập lồi đa diện, hàm lồi, hàm phân thức afin (tỉ số hai hàm tuyến tính afin), hàm liên hợp giới thiệu toán tối ưu đa mục tiêu khái niệm có liên quan Nội dung chương tham khảo chủ yếu từ tài liệu [1], [2] [3] 1.1 Tập lồi tập đa diện lồi A.Tập lồi khái niệm quan trọng dùng rộng rãi tối ưu hoá Định nghĩa 1.1 Tập C Rn gọi tập lồi C chứa trọn đoạn thẳng nối hai điểm thuộc Nói cách khác, tập C lồi λa+(1−λ)b ∈ C với a, b ∈ C ≤ λ ≤ Ví dụ 1.1 Các tập sau tập lồi: a) Tập afin, tức tập chứa trọn đường thẳng qua hai điểm thuộc b) Siêu phẳng, tức tập có dạng H = {x ∈ Rn : aT x = α, a ∈ Rn \ {0}, α ∈ R} c) Các nửa khơng gian đóng H1 = {x ∈ Rn : aT x ≤ α}, H2 = {x ∈ Rn : aT x ≥ α} d) Hình cầu đóng B(a, r) = {x ∈ Rn : ||x − a|| ≤ r}(a ∈ Rn , r > 0cho trước) Từ định nghĩa tập lồi trực tiếp suy số tính chất đơn giản sau đây: a) Giao họ tập lồi tập lồi (nhưng hợp không đúng!) b) Tổng hai tập lồi hiệu hai tập lồi tập lồi c) Nếu C ⊂ Rm , D ⊂ Rn tích C × D = {(x, y) : x ∈ C, y ∈ D} tập lồi Rm+n (Có thể mở rộng cho tích nhiều tập lồi) Định nghĩa 1.2 a) Điểm x ∈ Rn có dạng x = λ1 a1 + λ2 a2 + + λk ak với ∈ Rn , λi ≥ 0, λ1 +λ2 + +λk = 1, gọi tổ hợp lồi điểm a1 , a2 , , ak b) Điểm x ∈ Rn có dạng x = λ1 a1 + λ2 a2 + + λk ak với ∈ Rn , λi ≥ 0, gọi tổ hợp tuyến tính khơng âm hay tổ hợp nón điểm a1 , a2 , , ak Định nghĩa 1.3 Cho E tập Rn a) Giao tất tập afin chứa E gọi bao afin E , ký hiệu aff E Đó tập afin nhỏ chứa E b) Giao tất tập lồi chứa E gọi bao lồi E , ký hiệu conv E Đó tập lồi nhỏ chứa E Định nghĩa 1.4 a) Thứ nguyên (hay số chiều) tập afin M, ký hiệu dim M, thứ nguyên (số chiều) không gian song song với b) Thứ nguyên (hay số chiều) tập lồi C, ký hiệu dim C, thứ nguyên hay số chiều bao afin aff C B Tập lồi đa diện dạng tập lồi có cấu trúc đơn giản hay gặp lý thuyết tối ưu tuyến tính Định nghĩa 1.5 Một tập lồi mà giao số hữu hạn nửa khơng gian đóng gọi tập lồi đa diện Nói cách khác, tập nghiệm hệ hữu hạn bất phương trình tuyến tính: ai1 x1 + ai2 x2 + + ain xn ≤ bi , i = 1, 2, , m, (1.1) nghĩa tập x nghiệm Ax ≤ b với A = (aij ) ∈ Rm×n , b = (b1 , , bm )T Nhận xét 1.1 Do phương trình tuyến tính biểu diễn tương đương hai bất phương trình tuyến tính, nên tập nghiệm hệ (hữu hạn) phương trình bất phương trình tuyến tính tập lồi đa diện: ai1 x1 + ai2 x2 + + ain xn = bi , i = 1, 2, , k, ai1 x1 + ai2 x2 + + ain xn ≤ bi, i = k + 1, , m, Một tập lồi đa diện bị chặn (giới nội) không bị chặn (không giới nội) Một tập lồi đa diện bị chặn gọi đa diện lồi Các đa giác lồi theo nghĩa thông thường mặt phẳng hai chiều (tam giác, hình vng, hình trịn, ) ví dụ cụ thể đa diện lồi R2 Định nghĩa 1.6 Tập lồi đa diện K ⊆ Rn gọi nón lồi đa diện K có thêm tính chất x ∈ K ⇒ λx ∈ K với x ∈ K λ ≥ 0.(Ví dụ nón Rn+ ) Cho D tập lồi đa diện xác định hệ bất phương trình tuyến tính (1.1) Sau để đơn giản, ta giả thiết D không chứa đường thẳng (tức a, b ∈ D cho λa + (1 − λ)b ∈ D với λ ∈ R) Hai yếu tố tạo nên tập lồi đa diện D đỉnh cạnh vơ hạn D Theo giải tích lồi, hiểu khái niệm sau Định nghĩa 1.7 Điểm x0 ∈ D gọi đỉnh D rank{ai : , x0 = bi } = n (với = (ai1 , , ain )T , i = 1, , m) Định nghĩa tương đương: x0 ∈ D đỉnh D x1 , x2 ∈ D, x1 = x0 x2 = x0 , λ ∈ (0, 1) cho x0 = λx1 + (1 − λ)x2 , nói cách khác: x0 khơng thể điểm nằm đoạn thẳng nối hai điểm thuộc D Định nghĩa 1.8 Đoạn thẳng [x1 , x2 ], x1 = x2 , gọi cạnh hữu hạn D x1 , x2 đỉnh D rank{ai : , x1 = , x2 = bi } = n − Định nghĩa 1.9 Tia Γ = {x0 + λd : λ ≥ 0} ⊆ D, x0 ∈ Dvà (ra , sa , v a , ta ) ∈ Bλa thỏa mãn p p λak a ¯k λak ak ≥ k=1 k=1 31 Chứng minh (xem [3], tr 195) Tiếp theo ta đề cập tới định lý đối ngẫu đảo Ta cần điều kiện sau Định nghĩa 3.6 Cho λ ∈ Rp+ Điều kiện (Cµ,λ ) thỏa mãn từ p (µ) λk Φk (x) > −∞ inf x∈A k=1 suy tồn xλ ∈ A cho p p (µ) λk Φk (x) inf x∈A (µ) λk Φk (xλ ) = k=1 k=1 Định Lý đối ngẫu đảo (Pµ ) sau định lý mở rộng Định lý nêu [8] Định lý 3.8 Giả thiết điều kiện (CQ) thỏa mãn giả sử có điều kiện (Cµ,λ ) với λ ∈ int(Rp+ ) ¯ t¯) nghiệp hữu hiệu (Dµ ) Khi (i) Giả sử (r¯, s¯, v¯, λ, ¯ t¯ ∈ cl Φ(µ) (A) + Rp ; a) Ψ(µ) r¯, s¯, v¯, λ, + b) Tồn nghiệm hữu hiệu chân x¯λ¯ ∈ A (Pµ ) cho p (µ) (µ) λk Φk (¯ xλ¯ ) − Ψk ¯ t¯ r¯, s¯, v¯, λ, = k=1 (ii) Hơn nữa, Φ(µ) (A) + Rp+ tập đóng tồn nghiêm hữu hiệu thực x¯ ∈ A (Pµ ) cho p p ¯ k Φ(µ) (¯ λ xλ¯ ) k k=1 ¯ k Φ(µ) (¯ λ x) k = k=1 ¯ t¯ Φ(µ) (¯ x) = Ψ(µ) r¯, s¯, v¯, λ, ¯ t¯ Do α Chứng minh a) Ký hiệu α¯ = Ψ(µ) r¯, s¯, v¯, λ, ¯ cực đại Ψ(µ) (Bµ ) nên ta có α¯ ∈ Ψ(µ) (Bµ ) ∩ Rp = M Giả sử α¯ ∈ / cl Φ(µ) (A) + Rp+ Khi đó, tồn λ1 ∈ Rp \ {0} số α ∈ R cho p p λ1k a ¯k k=1 λ1k dk , ∀d ∈cl Φ(µ) (A) + Rp+

Ngày đăng: 10/03/2021, 17:59

Tài liệu cùng người dùng

Tài liệu liên quan