Homepage › Solution manuals › Dimitris Bertsimas › Introduction to Linear Optimization › Exercise 3.6 (Conditions for a unique optimum)
Exercise 3.6 (Conditions for a unique optimum)
Let be a basic feasible solution associated with some basis matrix B. Prove the following:
- (a)
- If the reduced cost of every nonbasic variable is positive, then is the unique optimal solution.
- (b)
- If is the unique optimal solution and is nondegenerate, then the reduced cost of every nonbasic variable is positive.
Answers
We implement some minor changes to the proof of Theorem 3.1. Accordingly, we denote the basic feasible solution by , the associated basis matrix by and the corresponding vector of reduced costs by .
Proof.
- (a)
- We assume that ,
we let
be an arbitrary feasible solution, and we define .
Feasibility implies that
and, therefore, .
The latter equality can be rewritten in the form
where is the set of indices corresponding to the nonbasic variables under the given basis. Since is invertible, we obtain
and
For any nonbasic index , we must have ; thus,
Since is feasible, we have . Suppose for the sake of contradiction that for all nonbasic indices . Then and thus . But this would imply that and agree both on basic and non-basic variables and are thus equal - a contradiction. Thus, there exists at least one such that and thus
We conclude that , and since was an arbitrary feasible solution, is the unique optimal solution.
- (b)
- Suppose that
is a nondegenerate basic feasible solution. Suppose for the sake of contradiction that
for
some .
Since the reduced cost of a basic variable is always zero,
must be a nonbasic
variable and is the rate of
cost change along the th
basic direction . We
use to construct a
contradiction. Since is
nondegenerate, the th
basic direction
is a feasbile direction of cost decrease (cf. page 86); thus, there exists a
such
that .
We have
since is everywhere zero for nonbasic indices except for . But then we have
In other words, we have constructed an element of whose costs are at most the costs of - a contradiction to the fact that is a unique opimal solution.