Recall SEF
The solution of any LP must either be infeasible, unbounded, or optimal (Fundamental theorem of linear programming)
Let’s say we’re given a typical optimization problem $(P)$ $\max\{c^Tx:Ax=b,x≥0\}$
Recall canonical form on the right:
Note that you can delay computing the constraints until after step 5.
Canonical Form. $y$ should be multiplied additionally by $c_B$; the SS is wrong.
Repeat the following process:
Bland’s rule mod
Let’s say we’re given a typical optimization problem
$c^Tx:Ax=b,x≥0$ where $A$ has $m$ rows and $n$ columns
$2×3$ matrix in the example
<aside> 💡 If the right side $b$ has any negatives, just multiply both sides of the row by $-1$
</aside>
Phase 1: find a feasible solution for original by finding the optimal solution for the auxiliary problem
Example
Then our auxiliary problem is given by adding the identity matrix to the right of $A$
Note that the obj. function also changes to minimizing the sum of the new variables
To convert to canonical, just add all constraints to the obj. function
Auxiliary Problem
The obj. value in the example is $x_4 + x_5$
The obj. value is bounded above by $0$ for every iteration of phase 1