First, we will multiply the second and third inequalities by minus one to make it so that they are all ≤ inequalities. We will introduce the three new variables x4, x5, x6, and perform the usual procedure for rewriting in slack form
For any number r>1, we can set x1=2r and x2=r. Then, the restaints become
−2(2r)−2r+−2r,rr=−3r2r=−4r≤≤≥−1−20.
All of these inequalities are clearly satisfied because of our initial restriction in selecting r. Now, we look to the objective function, it is 2r−r=r. So, since we can select r to be arbitrarily large, and still satisfy all of the constraints, we can achieve an arbitrarily large value of the objective function.
29.1-8
Suppose that we have a general linear program with n variables and m constraints, and suppose that we convert it into standard form. Give an upper bound on the number of variables and constraints in the resulting linear program.
In the worst case, we have to introduce 2 variables for every variable to ensure that we have nonnegativity constraints, so the resulting program will have 2n variables. If each constraint is an equality, we would have to double the number of constraints to create inequalities, resulting in 2m constraints. Changing minimization to maximization and greater-than signs to less-than signs don't affect the number of variables or constraints, so the upper bound is 2n on variables and 2m on constraints.
29.1-9
Give an example of a linear program for which the feasible region is not bounded, but the optimal objective value is finite.
Consider the linear program where we want to maximize x1−x2 subject to the constraints x1−x2≤1 and x1, x2≥0. clearly the objective value can never be greater than one, and it is easy to achieve the optimal value of 1, by setting x1=1 and x2=0. Then, this feasible region is unbounded because for any number r, we could set x1=x2=r, and that would be feasible because the difference of the two would be zero which is ≤1.
If we further wanted it so that there was a single solution that achieved the finite optimal value, we could add the requirements that x1≤1.