Beruflich Dokumente
Kultur Dokumente
12
LP-DUAL PROBLEMS AND DUALITY
LP-DUAL PROBLEM FOR EQUALITY_CONSTRAINTS_FORM PRIMAL
PROBLEM
Consider the LP in standard equality form
[P2] v(b) = { Max ( z = c'x ) s.t. { Ax =b ; x>=0 } } where
-> A has m rows and n columns, and m < n
-> A has rank m
-> b>=0
[See Example 4.1-1 /Taha-Ed.9/p.172 and its dual; and Tables 4.1 & 4.2 /TahaEd.9/p.172 & 174.]
The LP Dual of this LP [P2] is another Linear Program, say [P3], whose variables are in
the space of the column vector b, i.e. m-space; and such that the shadow prices or
Simplex multipliers corresponding to an optimal Basic Feasible Solution of [P2]
constitute an optimal solution to the Dual LP [P3].
Consider the problem where the Hard Constraints { Ax = b } are removed and instead
we permit Ax to equal ( b + epsilon), say, where epsilon is only subject to the condition
that the system { Ax = (b + epsilon ) ; x>=0 } has a feasible solution.; and we incorporate
in the objective function an additional linear term whose value depends on epsilon. This
operation is referred to as Dualizing the Constraints. The said linear term added in the
objective function will be considered to be
w.epsilon = w.( b -Ax)
Now consider the problem:
Max { cx + w(-Ax + b) } s.t. {x>=0} (1)
Since the original Hard Constraints {Ax=b} amounted to having an infinite negative
gain whenever Ax was not equal to b, whereas in (1) the term (w(Ax b) ) is finite for
finite w, we see that
v(b) <= Max { cx + w(-Ax + b) | x>=0} .(2)
Now we ask the question: for what values of w, does the r.h.s. in (2) yield a non-trivial (
i.e. not equal to infinity ) upper bound on v(b)? The answer is obviously:
{ w | c - wA <= 0 } ..(3)
because otherwise at least one component of x go to infinity and show that the r.h.s. in
(2) is in fact equal to infinity in that case, yielding only a trivial upper bound on v(b).
So when we restrict w to satisfy (3), the upper bound on v(b) that we get is wb.
Now we see the sharpest ( least ) such upper bound. Thus we get a Linear Program which
is called the LP Dual of [P2], say
[D2]: Min {bw} s.t. { wA >=c or Aw >= c } .(4)
We thus have:
v(b) = { Max ( z = c'x ) s.t. { Ax =b ; x>=0 } }
<= Min {bw} s.t. { wA >=c or Aw >= c } ..( 4A)
[Note: w is not restricted in sign in (4)]
We shall refer to [P2] as a Primal LP and [D2] as its Dual LP.
Now we shall see that Dual of the Dual is the Primal. To see that, let us rewrite [D2] as
[D2~]:
[D2~]: Min { bw } s.t. {Aw s = c, s>=0 }
Now since w is unrestricted in sign, let us write w as
w = w1 w2, where w1>=0, w2 >=0
So we re-write [D2~] as:
[D2~]:
Min { b(w1-w2) } s.t. {A(w1-w2) s = c, s>=0,w1>=0, w2>=0 } ..(5)
= - Max { b(w2-w1) } s.t. {A(w1-w2) s = c, s>=0,w1>=0, w2>=0 } ..(6)
Now just as we arrived at [D2] as the Dual of [P2], applying the same logic to the
Maximization problem occurring in the r,h.s. of (6), we get the Dual of Dual of [P2] as
the problem ( wherein we use variable vector y ), obtained by considering only the Max
term occurring in the r.h.s of (6),
Max { b(w2-w1) } s.t. {A(w1-w2) s = c, s>=0,w1>=0, w2>=0 }
= Min { cy } s.t. { Ay>=-b, -Ay>=(+b), (-I.y) >=0 } .(7)
= Min { cy } s.t. { Ay=-b, y<=0 } ..(8)
= - Max {c(-)y} s.t. { Ay=-b, y<=0 } ..(9)