6Lý thuyết nhị nguyên vàPhân tích độ nhạyMột trong những khám phá quan trọng nhất trong giai đoạn phát triển của lập trình tuyến tính là khái niệm nhị nguyên, các chi nhánh quan trọng nhiều. Khám phá này cho rằng mọi vấn đề lập trình tuyến tính kết hợp với nó một vấn đề lập trình tuyến tính được gọi là kép. Các mối quan hệ giữa hai vấn đề và vấn đề ban đầu (được gọi là các nguyên) chứng minh là rất hữu ích trong nhiều cách khác nhau. Cho ví dụ phong phú, bạn sẽ sớm thấy rằng giá bóng được mô tả trong Sec. 4.7 thực sự là pro-vided bởi các giải pháp tối ưu cho vấn đề kép. Chúng tôi sẽ mô tả nhiều ứng dụng khác có thể valu của duality lý thuyết trong chương này là tốt$ $$Một trong những ứng dụng quan trọng của lý thuyết nhị nguyên nằm trong việc giải thích và thực hiện phân tích độ nhạy. Như chúng tôi đã đề cập trong khô. 2.3, 3.3, và 4.7, độ nhạy analy-sis là một phần rất quan trọng của hầu như tất cả nghiên cứu lập trình tuyến tính. Bởi vì hầu hết các giá trị tham số được sử dụng trong các mô hình ban đầu là ước tính chỉ trong điều kiện tương lai, có hiệu lực trên các giải pháp tối ưu, nếu các điều kiện ưu tiên áp dụng thay vào đó cần phải được investi có cổng vào. Hơn nữa, một số giá trị tham số (chẳng hạn như số lượng tài nguyên) có thể đại diện cho quản lý quyết định, trong đó trường hợp sự lựa chọn của các giá trị tham số có thể là các vấn đề chính để được nghiên cứu, mà có thể được thực hiện thông qua phân tích độ nhạy $$$Cho rõ ràng hơn, lần đầu tiên ba phần thảo luận về lý thuyết nhị nguyên dưới assump-tion vấn đề lập trình tuyến tính nguyên là trong mẫu tiêu chuẩn của chúng tôi (nhưng với không có re-striction giá trị bi cần phải tích cực). Các hình thức khác sau đó được thảo luận trong Sec. 6.4. Chúng tôi bắt đầu chương bằng cách giới thiệu bản chất của duality lý thuyết và ứng dụng của nó. Sau đó, chúng tôi mô tả việc giải thích kinh tế của vấn đề kép (Sec. 6.2) và nghiên cứu kỹ sâu hơn vào các mối quan hệ giữa các vấn đề nguyên và kép (Sec. 6.3). 6,5 phần tập trung vào vai trò của duality lý thuyết trong phân tích độ nhạy. Các thủ tục cơ bản cho phân tích sen-sitivity (mà dựa trên sự thấu hiểu cơ bản của Sec. 5,3) tóm tắt trong Sec. 6.6 và minh họa trong Sec. 6.7$ $$230$$$ 6.1 NHỮNG TINH TÚY CỦA DUALITY LÝ THUYẾT 2316.1 NHỮNG TINH TÚY CỦA DUALITY LÝ THUYẾT$ $$Đưa ra hình thức tiêu chuẩn của chúng tôi cho vấn đề nguyên ở phía bên trái (có lẽ sau khi chuyển đổi từ một hình thức), vấn đề kép có dạng hiển thị ở bên phải. $$$ Vấn đề nguyên nTối đa hóa Z _ _ cjxj, j_1tùy thuộc vào n_ aijxj _ bi, cho tôi _ 1, 2,..., mj_1vàXJ _ 0, cho j _ 1, 2,..., n$ $$ Hai vấn đề mGiảm thiểu W _ _ bi yi, i_1tùy thuộc vào m_ aij yi _ cj, cho j _ 1, 2,..., ni_1vàYi _ 0, cho tôi _ 1, 2,..., m$ $$Vì vậy, vấn đề kép sử dụng chính xác các tham số tương tự như vấn đề nguyên, nhưng ở vị trí c-ferent. Để làm nổi bật so sánh, bây giờ nhìn vào những vấn đề tương tự hai trong ma-trix ký hiệu (như giới thiệu đầu Sec. 5.2), nơi c và y _ [y1, y2,..., ym] hàng vectơ nhưng b và x là cột vector$ $$Nguyên vấn đề vấn đề kép Tối đa hóa Z _ cx, giảm thiểu W _ yb,tùy thuộc vào tùy thuộc vào Ax _ b yA _ cvà và x-0. y _ 0$ $$ Để minh họa, vấn đề nguyên và kép ví dụ Wyndor kính công của Sec. 3.1 được hiển thị trong bảng 6.1 trong cả hai đại số và dạng ma trận $$$Bàn nguyên kép cho lập trình tuyến tính (bảng 6.2) cũng sẽ giúp để làm nổi bật sự tương ứng giữa hai vấn đề. Nó cho thấy tất cả các tuyến tính lập trình parame-ters (aij, bi, và cj) và làm thế nào chúng được sử dụng để xây dựng hai vấn đề. Tất cả các đầu-ings cho vấn đề nguyên là ngang, trong khi các đề mục cho vấn đề kép được đọc bằng cách chuyển cuốn sách nghiêng. Đối với vấn đề nguyên, mỗi cột (ngoại trừ các cột bên phải) cho các hệ số của một biến duy nhất trong những hạn chế tương ứng và sau đó trong hàm mục tiêu, trong khi đó mỗi hàng (ngoại trừ phía dưới một) cho param-eters cho một contraint duy nhất. Đối với vấn đề kép, mỗi hàng (ngoại trừ dòng bên phải) cho các hệ số của một biến duy nhất trong những hạn chế tương ứng và sau đó trong chức năng ob-jective, trong khi mỗi cột (ngoại trừ một bìa phải) cho các tham số cho một hạn chế duy nhất. Ngoài ra, cột bên phải cho các bên tay phải cho vấn đề nguyên và hệ số hàm mục tiêu cho vấn đề kép, trong khi hàng dưới cùng cho hệ số hàm mục tiêu cho vấn đề nguyên và bên tay phải đối với vấn đề kép $$$ 232 6 DUALITY lý thuyết và phân tích độ nhạyBẢNG 6.1 Primal và các vấn đề kép ví dụ Wyndor kính công$$$Vấn đề nguyêntrong hình thức đại sốTối đa hóa Z _ 3 x 1 _ 5 x 2,tùy thuộc vàox 1 _ 4 2 x 2 _ 12_ _ 2 x 2 3 x 1 18andx1 _ 0, x 2 _ 0$ $$Vấn đề nguyênở dạng ma trậnTối đa hóa Z _ [3, 5] _xx12_,tùy thuộc vào 1 0 x 1 4 0 2 _x2_ _ 12 3 2 18 và_xx12_ _ _00_$ $$Hai vấn đềtrong hình thức đại sốGiảm thiểu W _ 4y1 _ 12y2 _ 18y3, tùy thuộc vào y1 _ 3y3 _ 3 2y2 _ 2y3 _ 5 và y1 _ 0, y2 _ 0, y3 _ 0. Hai vấn đề ở dạng ma trận 4 Giảm thiểu W _ [y1, y2, y3] 12 18 tùy thuộc vào 1 0 [y1, y2, y3] 0 2 _ [3, 5] 3 2 và[y1, y2, y3] _ [0, 0, 0] $$$Do đó, (1) các thông số cho một hạn chế ở một trong hai vấn đề là coeffi-cients của một biến trong các vấn đề khác và (2) các hệ số cho func-tion khách quan của một trong hai vấn đề là bên cho các vấn đề khác. Vì vậy, có là một trực tiếp cor-respondence giữa các thực thể trong hai vấn đề, tóm tắt trong bảng 6.3. Các correspondences là một chìa khóa cho một số ứng dụng của lý thuyết nhị nguyên, bao gồm cả phân tích sensi-cao $$$Nguồn gốc của vấn đề képLý thuyết nhị nguyên dựa trực tiếp trên sự thấu hiểu cơ bản (đặc biệt là đối với hàng 0) trình bày trong Sec. 5.3. Để xem lý do tại sao, chúng tôi tiếp tục sử dụng các ký hiệu được giới thiệu vào bảng 5,10 cho hàng 0 hoạt cảnh cuối cùng, ngoại trừ thay thế Z * bởi W * và thả các dấu sao từ z * và y * khi đề cập đến bất kỳ hoạt cảnh. Vì vậy, tại bất kỳ lặp nhất định của các phương pháp simplex cho vấn đề nguyên, các số tiền hiện tại trong hàng 0 được biểu hiện như minh hoạ trong các hoạt cảnh (một phần) được đưa ra trong bảng 6.4. Cho hệ số x 1, x 2,..., xn, nhớ lại rằng z _ (z1, z2,..., zn) là bắt các véc tơ simplex phương pháp bổ sung vào các véc tơ của hệ số ban đầu, _c, trong quá trình tiếp cận hoạt cảnh hiện tại. (Không nhầm lẫn z với giá trị của hàm mục tiêu Z). Tương tự như vậy, kể từ coeffi ban đầu-cients xn_1, xn_2,..., xn_m trong hàng 0 tất cả là 0, y _ (y1, y2,..., ym) là bắt vec-tor phương pháp simplex thêm vào những hệ số. Cũng nhớ lại [xem Eq. (1) trong các$$$ 6.1 NHỮNG TINH TÚY CỦA DUALITY LÝ THUYẾT 233BẢNG 6.2 Primal kép bảng cho lập trình tuyến tính, minh họa bằng ví dụ Wyndor kính công(a) Tổng trường hợp Vấn đề nguyên Hệ số: quyền x 1 x 2 xn mặt Vấn đề Coefficientof: y1 a11 a12 a1n _ b1 CoefficientsforObjectiveFunction(Minimize) y2 a21 a22 a2n _ b2 _ _ YM am1 am2 amn _ bm Kép RightSide VI VI VI c1 c2 cn Coefficients for Objective Function (Maximize)(b) Wyndor Glass Co. Example x1 x2 y1 1 0 _ 4 y2 0 2 _ 12 y3 3 2 _ 18 VI VI 3 5 “Mathematical Summary” subsection of Sec. 5.3] that the fundamental insight led to the following relationships between these quantities and the parameters of the original model:mW _ yb _ _ bi yi ,i_1mz _ yA, so zj _ _ aijyi , for j _ 1, 2, . . . , n$$$i_1To illustrate these relationships with the Wyndor example, the first equation gives W _ 4y1 _ 12y2 _ 18y3, which is just the objective function for the dual problem shownTABLE 6.3 Correspondence between entities in primal and dual problemsOne Problem Other ProblemConstraint i ← → Variable iObjective function ← → Right sides$$$234 6 DUALITY THEORY AND SENSITIVITY ANALYSIS TABLE 6.4 Notation for entries in row 0 of a simplex tableau Basic Coefficient of: Right xn xn_m Iteration Variable Eq. Z x1 x2 xn_1 xn_2 Side Any Z (0) 1 z1 _ c1 z2 _ c2 zn _ cn y1 y2 ym W in the upper right-hand box of Table 6.1. The second set of equations give z1 _ y1 _ 3y3 and z2 _ 2y2 _ 2y3, which are the left-hand sides of the functional constraints for this dual problem. Thus, by subtracting the right-hand sides of these _ constraints (c1 _ 3 and c2 _ 5), (z1 _ c1) and (z2 _ c2) can be interpreted as being the surplus variables for these functional constraints$$$The remaining key is to express what the simplex method tries to accomplish (ac-cording to the optimality test) in terms of these symbols. Specifically, it seeks a set of ba-sic variables, and the corresponding BF solution, such that all coefficients in row 0 are nonnegative. It then stops with this optimal solution. Using the notation in Table 6.4, this goal is expressed symbolically as follows:Condition for Optimality:zj _ cj _ 0 for j _ 1, 2, . . . , n, yi _ 0 for i _ 1, 2, . . . , m$$$After we substitute the preceding expression for zj, the condition for optimality says that the simplex method can be interpreted as seeking values for y1, y2, . . . , ym such thatmW _ _ biyi,i_1subject tom_ aijyi _ cj, for j _ 1, 2, . . . , ni_1andyi _ 0, for i _ 1, 2, . . . , m$$$But, except for lacking an objective for W, this problem is precisely the dual problem! To complete the formulation, let us now explore what the missing objective should be$$$Since W is just the current value of Z, and since the objective for the primal problem is to maximize Z, a natural first reaction is that W should be maximized also. However, this is not correct for the f
đang được dịch, vui lòng đợi..