Cặp bài toán đối ngẫu

Cặp bài toán đối ngẫu

3. Cặp bài toán đối ngẫu 3.1 Khái niệm 3.1.1 Mô hình cặp bài toán đối ngẫu Bài toán gốc: Một doanh nghiệp sản xuất ra hai loại chi tiết A, B. Số chi tiết A và B cần dùng là 138 và 101. Các chi tiết được chế tạo theo 3 cách: * Cách I: Tạo được 12 chi tiết A, 7 chi tiết B với chi phí là 24 đơn vò tiền. * Cách II: 8 A, 11 B, 26 đơn vò tiền. * Cách III: 15 A, 9 B, 23 đơn vò tiền. Hãy tìm cách sản xuất các chi tiết sao cho tổng chi phí là thấp nhất? Gọi x1, x2, x3 là số lần áp dụng cách I, II, III. Ta có bài toán QHTT: f(X) = 24x1 + 26x2 + 23x3 → min 12x1 + 8x2 + 15x3 ≥ 138 7x1 + 11x2 + 9x3 ≥ 101  xj ≥ 0 (j 1,3)= Bài toán đối ngẫu: Xét mô hình trên. Giả sử có người muốn bán hai loại chi tiết A và B cho doanh nghiệp. Vậy người này phải đònh giá các chi tiết này là bao nhiêu để doanh nghiệp đồng ý mua và tổng số tiền mà người này thu được là cao nhất. Gọi y1, y2 là giá một chi tiết A, B do người bán ấn đònh. Theo ý nghóa thực tế, ta có y1 ≥ 0, y2 ≥ 0. Tổng số tiền thu được (yêu cầu cao nhất): g(Y) = 138y1 + 101y2 → max Doanh nghiệp sản xuất cách I thì được 12 chi tiết A, 7 chi tiết B, chi phí là 24 đv.tiền. Nếu mua chừng ấy chi tiết thì phải trả 12y1 + 7y2 đv.tiền. Vậy, doanh nghiệp chỉ đồng ý mua khi số tiền phải trả không vượt quá chi phí sản xuất. Vậy: 12y1 + 7y2 ≤ 24 Tương tự: 8y1 + 11y2 ≤ 26 15y1 + 9y2 ≤ 23 Mô hình toán của bài đối ngẫu là bài toán QHTT: g(Y) = 138y1 + 101y2 → max 12y1 + 7y2 ≤ 24 8y1 + 11y2 ≤ 26 15y1 + 9y2 ≤ 23  yi ≥ 0 (i 1,2)= Vậy, mỗi bài toán QHTT đều tương ứng với một bài toán QHTT khác có liên quan mật thiết với nó. Ta gọi đây là cặp bài toán đối ngẫu. Bài cho trước được gọi là bài gốc. Từ dạng thức của cặp bài toán đối ngẫu trên, ta rút ra nhận xét sau: * Một bài yêu cầu min, một bài yêu cầu max. * Số biến của bài này bằng số ràng buộc của bài kia. * Hệ số C của bài này là hệ số B của bài kia. * Nếu xem các hệ số vế trái của hệ ràng buộc là một ma trận thì ma trận hệ số của bài này là chuyển vò ma trận hệ số của bài kia. 3.1.2 Lập bài toán đối ngẫu Bằng cách tổng quát hóa các cặp bài toán đối ngẫu có mô hình thực tế, người ta đề ra quy tắc như sau để thành lập bài toán đối ngẫu từ bài toán gốc có dạng tổng quát: nj jj 1nij j i 1j 1nij j i 2j 1nij j i 3j 1j 1j 2j 3 f(X) c x mina x b i I (1)a x b i I (2)a x b i I (3) x 0 j J (4) x j J (5) x 0 j J (6)===== →≥ ∈= ∈≤ ∈≥ ∈∈ ∈≤ ∈∑∑∑∑Đ mi ii 1mij i j 1i 1mij i j 2i 1mij i j 3i 1i 1i 2i 3 g(Y) b y maxa y c j J (1 )a y c j J (2 )a y c j J (3 ) y 0 i I (4 ) y i I (5 ) y 0 i I (6 )===== →′≤ ∈′= ∈′≥ ∈′≥ ∈′∈ ∈′≤ ∈∑∑∑∑Đ Các cặp ràng buộc và điều kiện về dấu có liên quan với nhau giữa hai bài toán là: (1)-(4′), (2)-(5′), (3)-(6′), (4)-(1′), (5)-(2′), (6)-(3′). Các cặp có liên quan và là bất đẳng thức được gọi là các cặp điều kiện đối ngẫu hay cặp ràng buộc đối ngẫu: (4)-(1′), (6)-(3′), (1)-(4′), (3)-(6′). Chú thích Nếu bài toán gốc là bài toán max thì ta đọc công thức trên từ phải sang trái. VD f(X) = 2x1 – 5x3 + 3x4 → max 3x1 + 7x2 – 3x3 + 7x4 ≤ 41 8x1 – 11x2 + 5x3 – 4x4 = 12 15x1 – 9x2 + 4x3 + 6x4 ≥ 8  xj ≥ 0 (j 1,4)= Bài toán đối ngẫu: g(Y) = 41y1 + 12y2 + 8y3 → min 3y1 + 8y2 + 15y3 ≥ 2 7y1 – 11y2 – 9y3 ≥ 0 –3y1 + 5y2 + 4y3 ≥ –5 7y1 – 4y2 + 6y3 ≥ 3  y1 ≥ 0, y2∈, y3 ≤ 0 Có 6 cặp điều kiện đối ngẫu là: x1 ≥ 0 và 3y1 + 8y2 + 15y3 ≥ 2 x2 ≥ 0 và 7y1 – 11y2 – 9y3 ≥ 0 x3 ≥ 0 và –3y1 + 5y2 + 4y3 ≥ –5 x4 ≥ 0 và 7y1 – 4y2 + 6y3 ≥ 3 3x1 + 7x2 – 3x3 + 7x4 ≤ 41 và y1 ≥ 0 15x1 – 9x2 + 4x3 + 6x4 ≥ 8 và y3 ≤ 0 3.2 Các đònh lý đối ngẫu Cặp bài toán đối ngẫu trong đó có một bài chính tắc được gọi là cặp đối ngẫu không đối xứng. Các kết quả sau đây đã được chứng minh cho cặp đối ngẫu không đối xứng. Tuy nhiên, mọi bài toán tổng quát đều đưa được về bài toán chính tắc, do đó các kết quả này cũng dùng được cho cặp bài toán đối ngẫu tổng quát. * Xét X là PA của bài toán min, Y là PA của bài toán max. Ta luôn luôn có: g(Y) ≤ f(X) * Nếu PA X* của bài toán min và PA Y* của bài toán max thỏa f(X*) = g(Y*) thì X* và Y* là PATU của bài toán min và bài toán max. * Nếu một bài toán có PATU thì bài đối ngẫu cũng có PATU và giá trò tối ưu của chúng bằng nhau. Đònh lý (Độ lệch bù yếu) Xét X* là PA của bài toán min, Y* là phương án của bài toán max. X* và Y* là PATU của bài toán min và bài toán max nếu và chỉ nếu trong mỗi cặp điều kiện đối ngẫu đều có một đẳng thức. Chú thích Trong cặp điều kiện đối ngẫu nếu biết một điều kiện là bất đẳng thức ngặt thì điều kiện còn lại là đẳng thức. [...]... 15x 1 – 9x 2 + 4x 3 + 6x 4 ≥ 8 vaø y 3 ≤ 0 VD Xét bài toán QHTT: f(X) = x 1 + 3x 2 + 2x 3 → min 2x 1 + x 2 + x 3 + x 4 ≥ 2 x 1 – x 3 + 3x 4 ≤ 5 –x 1 + x 3 + x 4 = 1        x j ≥ 0 (j 1,4)= Giải bài toán này ta có PATU X * = (1/3, 0, 0, 4/3). Ta muốn tìm PATU của bài toán đối ngẫu. Bài toán đối ngẫu: ... y 3 ≤ 0        y 1 ≥ 0, y 2 ≤ 0 Các cặp điều kiện đối ngẫu: x 1 ≥ 0 vaø 2y 1 + y 2 – y 3 ≤ 1 x 2 ≥ 0 vaø y 1 ≤ 3 x 3 ≥ 0 vaø y 1 – y 2 + y 3 ≤ 2 x 4 ≥ 0 vaø y 1 + 3y 2 + y 3 ≤ 0 2x 1 + x 2 + x 3 + x 4 ≥ 2 vaø y 1 ≥ 0 x 1 – x 3 + 3x 4 ≤ 5 vaø y 2 ≤ 0 Do bài toán gốc có PATU X * nên bài toán đối ngẫu cũng có PATU ký hiệu là Y * . Theo định lý Độ... tổng quát vào các ràng buộc và các điều kiện về dấu của bài toán đối ngẫu để tìm ra điều kiện của các ẩn tự do. g(Y) = 41y 1 + 12y 2 + 8y 3 → min 3y 1 + 8y 2 + 15y 3 ≥ 2 7y 1 – 11y 2 – 9y 3 ≥ 0 –3y 1 + 5y 2 + 4y 3 ≥ –5 7y 1 – 4y 2 + 6y 3 ≥ 3        y 1 ≥ 0, y 2 ∈  , y 3 ≤ 0 Có 6 cặp điều kiện đối ngẫu là: x 1 ≥ 0 và 3y 1 + 8y 2 + 15y 3 ≥ 2 x 2 . lý đối ngẫu Cặp bài toán đối ngẫu trong đó có một bài chính tắc được gọi là cặp đối ngẫu không đối xứng. Các kết quả sau đây đã được chứng minh cho cặp đối. 3. Cặp bài toán đối ngẫu 3.1 Khái niệm 3.1.1 Mô hình cặp bài toán đối ngẫu Bài toán gốc: Một doanh nghiệp sản xuất ra