Homepage › Solution manuals › Dimitris Bertsimas › Introduction to Linear Optimization › Exercise 2.13
Exercise 2.13
Consider the standard form polyhedron . Suppose that the matrix , of dimensions , has linearly independent rows, and that all basic feasible solutions are nondegenerate.
- (a)
- Let be an element of that has exactly positive components. Show that is a basic feasible solution.
- (b)
- Show that the result of part (a) is false if the nondegeneracy assumption is removed.
Answers
Proof. Let denote the indices of the nonzero components of . By Theorem 2.4, it suffices to demonstrate that
- (a)
- The columns are linearly independent; and
- (b)
- if , then .
The second condition is true by assumption. Suppose for the sake of contradiction that the first condition does not hold; in other words, are linearly dependent. Then, a degenerate basis formed by these columns, i.e.,
|
| (1) |
can be reduced to
|
| (2) |
where are such that . If are linearly independent, then by full row rank assumption, we can find another column , , such that are linearly independent. As such, the degenerate vector from (2) is a basic solution corresponding to the matrix
|
| (3) |
- a contradiction to the fact that cannot have degenerate solutions. In case that are linearly independent, repeat the procedure until a linearly independent sequence of columns is reached, and replenish it with the remaining columns from to get a linearly independent basis. □
For a counterexample, consider a simple three dimensional polyhedron defined by the standard form constraint
Then the vector is a basic feasible degenerate solution; yet the vector is not.
Comments
-
It seems like you only proved that if $A_{B(1)},...,A_{B(m)}$ are not linear independent, then we can find a degenerate basic solution. But such basic solution may not be feasible. We only have the assumption that all basic feasible solutions are nondegenerate.Qi • 2023-05-17
-
To Qi: the constructed degenerate solution is feasible since it satisfies the constraints defining P. I think for polyhedrons of standard form, as long as you have a solution, that would be feasible.GT_Buzz • 2024-08-27